IRIS
PANI, Giovanni
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.843
EU - Europa 890
AS - Asia 822
SA - Sud America 142
Continente sconosciuto - Info sul continente non disponibili 60
AF - Africa 29
OC - Oceania 3
Totale 3.789
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.804
SG - Singapore 339
IT - Italia 321
CN - Cina 226
SE - Svezia 145
BR - Brasile 103
HK - Hong Kong 91
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 20
BD - Bangladesh 17
BE - Belgio 16
CZ - Repubblica Ceca 11
IQ - Iraq 11
MX - Messico 11
PL - Polonia 11
SA - Arabia Saudita 11
AR - Argentina 10
TR - Turchia 10
ZA - Sudafrica 10
IE - Irlanda 9
CO - Colombia 8
JP - Giappone 8
PK - Pakistan 8
NL - Olanda 7
UZ - Uzbekistan 7
AT - Austria 6
CL - Cile 5
LB - Libano 5
EC - Ecuador 4
ES - Italia 4
ID - Indonesia 4
PH - Filippine 4
TN - Tunisia 4
VE - Venezuela 4
AU - Australia 3
DZ - Algeria 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
CY - Cipro 2
ET - Etiopia 2
EU - Europa 2
GT - Guatemala 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
CR - Costa Rica 1
DO - Repubblica Dominicana 1
EE - Estonia 1
GD - Grenada 1
GH - Ghana 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
PA - Panama 1
PT - Portogallo 1
PY - Paraguay 1
SC - Seychelles 1
Totale 3.731
Salva come PNG Salva come JPEG
Città #
Chandler 218
Singapore 192
Ashburn 187
Jacksonville 143
San Jose 138
Nyköping 107
Houston 104
Ann Arbor 92
Hong Kong 91
Beijing 88
Bari 72
Milan 72
Fairfield 66
Woodbridge 60
Council Bluffs 49
Cambridge 40
Wilmington 35
Roxbury 33
Lawrence 30
Inglewood 29
Seattle 29
New York 28
Rome 27
Nanjing 25
Lauterbourg 24
Helsinki 23
Los Angeles 23
Boardman 18
Dallas 18
Munich 18
Des Moines 17
Princeton 17
Brussels 16
Tianjin 13
Santa Clara 12
Columbus 11
Nanchang 11
Catania 10
Brooklyn 9
Chicago 9
Ho Chi Minh City 9
Montreal 9
Buffalo 8
Changsha 8
Dublin 8
Napoli 8
Tokyo 8
Hebei 7
Jiaxing 7
Phoenix 7
São Paulo 7
Warsaw 7
Zhengzhou 7
Charlotte 6
Jeddah 6
Naples 6
Paris 6
San Francisco 6
Stockholm 6
Tashkent 6
Turku 6
Atlanta 5
Brno 5
Chennai 5
Dearborn 5
Frankfurt am Main 5
Hanoi 5
Ankara 4
Baghdad 4
Bogotá 4
Dhaka 4
Falkenstein 4
Guangzhou 4
Johannesburg 4
London 4
Noci 4
Olomouc 4
Santiago 4
Shenyang 4
The Dalles 4
Toronto 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
Totale 2.497
Salva come PNG Salva come JPEG
Nome #
A Formal Approach for Modeling Interactive Visual Interfaces 179
A Predicative Approach to the Classification Problem 169
A Compress Filesystem to Improve the Files Contents Search 160
HSFS: a compress filesystem for metadata files 155
A tool for the evaluation of the complexity of programs using C++ templetates 146
IFHNFS: fast indexing information in mobile devices, 143
Bluetooth and filesystem to manage a ubiquitous mesh network 137
A visual tool for multidimensional data analysis 132
Extending the Implicit Computational Complexity Approach to the sub-elementary time-space classes 131
A hierarchy of imperative languages for the feasible classes DTIMEF(n^k) and for the k-superexponential classes(k_n) 131
Complexity certification of C++ template metaprogramming 128
A Sequential Approach to the Hereditarily Recursive Continuous Functionals 124
Complexity certification of C++ template metaprogramming (extended version) 120
Template Metaprogramming, Partial Evaluation and Computational Complexity Classes 117
Compile-time Computation of Polytime Functions. 116
A refinement of the mu-measure for stack programs 114
Recursive programming languages for complexity classes 113
Complexity certification of C++ templates 113
Predicative Recursion, Ramified Diagonalization and the Elementary Functions 111
Extending C++ static computation of polynomial-time algorithms 106
A Java Application for Modeling and Simulating Mobile Ad-hoc NETworks 98
Analysis of Mobile Networks’ Protocols Based on Abstract State Machines 97
Conversazioni in una veranda 90
A tool for the analysis of MANET Routing Protocols based on Abstract State Machines 89
On the complexity of programs with nested loops 88
A Tool for the Analysis of MANET Routing Protocols based on Abstract State Machines (book version), 82
A specialized recursive language for capturing time-space complexity classes 75
Diagonalization and Elementary Complexity 74
C++ Template Metaprogramming and Polynomial-Time Functions 73
Predicative recursion, diagonalization, and slow-growing hierarchies of time-bounded programs 64
Implicit computational complexity and the exponential time-space classes 64
Incompleteness in linear time 56
null 37
Undecidability vs Transfinite Induction for the Consistency of Hyperarithmetics sets 34
null 28
null 25
null 24
null 23
null 23
Totale 3.789
Salva come PNG Salva come JPEG
Categoria #
all - tutte 14.183
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 14.183
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022214 0 0 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/2027167 29 78 60 0 0 0 0 0 0 0 0 0
Totale 3.789