IRIS
PANI, Giovanni
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.717
EU - Europa 887
AS - Asia 813
SA - Sud America 137
AF - Africa 28
OC - Oceania 3
Continente sconosciuto - Info sul continente non disponibili 2
Totale 3.587
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.682
SG - Singapore 338
IT - Italia 320
CN - Cina 226
SE - Svezia 145
BR - Brasile 102
HK - Hong Kong 90
RU - Federazione Russa 76
DE - Germania 70
UA - Ucraina 62
FI - Finlandia 54
FR - Francia 48
GB - Regno Unito 41
VN - Vietnam 35
IN - India 26
CA - Canada 19
BE - Belgio 16
BD - Bangladesh 15
CZ - Repubblica Ceca 11
IQ - Iraq 11
MX - Messico 11
AR - Argentina 10
PL - Polonia 10
SA - Arabia Saudita 10
TR - Turchia 10
ZA - Sudafrica 10
IE - Irlanda 8
JP - Giappone 8
NL - Olanda 7
PK - Pakistan 7
UZ - Uzbekistan 7
AT - Austria 6
CO - Colombia 6
CL - Cile 4
ES - Italia 4
ID - Indonesia 4
LB - Libano 4
PH - Filippine 4
TN - Tunisia 4
VE - Venezuela 4
AU - Australia 3
DZ - Algeria 3
EC - Ecuador 3
EG - Egitto 3
KE - Kenya 3
OM - Oman 3
PE - Perù 3
UY - Uruguay 3
AE - Emirati Arabi Uniti 2
AZ - Azerbaigian 2
BY - Bielorussia 2
ET - Etiopia 2
EU - Europa 2
KZ - Kazakistan 2
LT - Lituania 2
MA - Marocco 2
MY - Malesia 2
NP - Nepal 2
AL - Albania 1
BG - Bulgaria 1
BO - Bolivia 1
DO - Repubblica Dominicana 1
EE - Estonia 1
GD - Grenada 1
GH - Ghana 1
GT - Guatemala 1
JO - Giordania 1
KN - Saint Kitts e Nevis 1
KW - Kuwait 1
LA - Repubblica Popolare Democratica del Laos 1
LV - Lettonia 1
MN - Mongolia 1
MO - Macao, regione amministrativa speciale della Cina 1
NI - Nicaragua 1
PT - Portogallo 1
PY - Paraguay 1
Totale 3.587
Salva come PNG Salva come JPEG
Città #
Chandler 218
Singapore 192
Ashburn 182
Jacksonville 143
San Jose 110
Nyköping 107
Houston 104
Ann Arbor 92
Hong Kong 90
Beijing 88
Bari 72
Milan 72
Fairfield 66
Woodbridge 60
Cambridge 40
Wilmington 35
Roxbury 33
Lawrence 30
Inglewood 29
Seattle 29
Rome 27
New York 26
Nanjing 25
Lauterbourg 24
Helsinki 23
Los Angeles 21
Boardman 18
Dallas 18
Munich 18
Des Moines 17
Princeton 17
Brussels 16
Tianjin 13
Council Bluffs 12
Columbus 11
Nanchang 11
Santa Clara 11
Catania 10
Ho Chi Minh City 9
Montreal 9
Brooklyn 8
Buffalo 8
Changsha 8
Dublin 8
Napoli 8
Tokyo 8
Chicago 7
Hebei 7
Jiaxing 7
São Paulo 7
Zhengzhou 7
Charlotte 6
Naples 6
Paris 6
Stockholm 6
Tashkent 6
Turku 6
Warsaw 6
Atlanta 5
Brno 5
Chennai 5
Dearborn 5
Frankfurt am Main 5
Hanoi 5
Jeddah 5
Ankara 4
Baghdad 4
Dhaka 4
Falkenstein 4
Guangzhou 4
Johannesburg 4
London 4
Noci 4
Olomouc 4
Santiago 4
Shenyang 4
The Dalles 4
Washington 4
Wroclaw 4
Amersfoort 3
Auburn Hills 3
Barletta 3
Barra do Garças 3
Biên Hòa 3
Boston 3
Denver 3
Gravina In Puglia 3
Jinan 3
Linz 3
Manchester 3
Montevideo 3
Ningbo 3
Nuremberg 3
Parma 3
Prato 3
Querétaro 3
Rio de Janeiro 3
San Francisco 3
Secaucus 3
Shanghai 3
Totale 2.407
Salva come PNG Salva come JPEG
Nome #
A Formal Approach for Modeling Interactive Visual Interfaces 174
A Predicative Approach to the Classification Problem 161
A Compress Filesystem to Improve the Files Contents Search 155
HSFS: a compress filesystem for metadata files 154
A tool for the evaluation of the complexity of programs using C++ templetates 143
IFHNFS: fast indexing information in mobile devices, 138
Bluetooth and filesystem to manage a ubiquitous mesh network 132
Extending the Implicit Computational Complexity Approach to the sub-elementary time-space classes 129
A visual tool for multidimensional data analysis 129
A hierarchy of imperative languages for the feasible classes DTIMEF(n^k) and for the k-superexponential classes(k_n) 126
Complexity certification of C++ template metaprogramming 123
A Sequential Approach to the Hereditarily Recursive Continuous Functionals 121
Complexity certification of C++ template metaprogramming (extended version) 116
Compile-time Computation of Polytime Functions. 115
Template Metaprogramming, Partial Evaluation and Computational Complexity Classes 114
A refinement of the mu-measure for stack programs 111
Recursive programming languages for complexity classes 108
Complexity certification of C++ templates 108
Predicative Recursion, Ramified Diagonalization and the Elementary Functions 107
Extending C++ static computation of polynomial-time algorithms 102
A Java Application for Modeling and Simulating Mobile Ad-hoc NETworks 96
Analysis of Mobile Networks’ Protocols Based on Abstract State Machines 95
Conversazioni in una veranda 87
A tool for the analysis of MANET Routing Protocols based on Abstract State Machines 86
A Tool for the Analysis of MANET Routing Protocols based on Abstract State Machines (book version), 79
On the complexity of programs with nested loops 71
A specialized recursive language for capturing time-space complexity classes 70
Diagonalization and Elementary Complexity 70
Implicit computational complexity and the exponential time-space classes 62
C++ Template Metaprogramming and Polynomial-Time Functions 61
Predicative recursion, diagonalization, and slow-growing hierarchies of time-bounded programs 57
Incompleteness in linear time 56
null 37
Undecidability vs Transfinite Induction for the Consistency of Hyperarithmetics sets 29
null 28
null 25
null 24
null 23
null 23
Totale 3.645
Salva come PNG Salva come JPEG
Categoria #
all - tutte 13.704
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 13.704
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022240 8 18 2 9 9 13 5 9 13 31 49 74
2022/2023508 63 58 50 66 48 65 6 41 91 3 9 8
2023/2024181 17 34 6 6 38 45 4 11 0 5 2 13
2024/2025527 12 11 49 15 28 37 31 53 17 15 93 166
2025/20261.164 186 54 43 122 153 70 136 31 105 88 36 140
2026/202723 23 0 0 0 0 0 0 0 0 0 0 0
Totale 3.645