IRIS
PANI, Giovanni
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.687
AS - Asia 813
EU - Europa 778
SA - Sud America 137
AF - Africa 28
OC - Oceania 3
Continente sconosciuto - Info sul continente non disponibili 2
Totale 3.448
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.655
SG - Singapore 338
CN - Cina 226
IT - Italia 211
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 17
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
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.448
Salva come PNG Salva come JPEG
Città #
Chandler 218
Singapore 192
Ashburn 180
Jacksonville 143
San Jose 109
Nyköping 107
Houston 104
Ann Arbor 92
Hong Kong 90
Beijing 88
Bari 72
Fairfield 66
Woodbridge 60
Cambridge 40
Wilmington 35
Roxbury 33
Lawrence 30
Inglewood 29
Seattle 29
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
Nanchang 11
Catania 10
Santa Clara 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
Rome 6
Stockholm 6
Tashkent 6
Turku 6
Warsaw 6
Brno 5
Chennai 5
Dearborn 5
Frankfurt am Main 5
Hanoi 5
Jeddah 5
Ankara 4
Atlanta 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
Milan 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
Toronto 3
Totale 2.304
Salva come PNG Salva come JPEG
Nome #
A Formal Approach for Modeling Interactive Visual Interfaces 174
A Predicative Approach to the Classification Problem 159
HSFS: a compress filesystem for metadata files 152
A Compress Filesystem to Improve the Files Contents Search 139
A tool for the evaluation of the complexity of programs using C++ templetates 136
IFHNFS: fast indexing information in mobile devices, 133
A visual tool for multidimensional data analysis 128
Bluetooth and filesystem to manage a ubiquitous mesh network 127
Extending the Implicit Computational Complexity Approach to the sub-elementary time-space classes 124
A hierarchy of imperative languages for the feasible classes DTIMEF(n^k) and for the k-superexponential classes(k_n) 122
Complexity certification of C++ template metaprogramming 120
A Sequential Approach to the Hereditarily Recursive Continuous Functionals 116
Complexity certification of C++ template metaprogramming (extended version) 115
Template Metaprogramming, Partial Evaluation and Computational Complexity Classes 111
Compile-time Computation of Polytime Functions. 109
Complexity certification of C++ templates 107
A refinement of the mu-measure for stack programs 107
Predicative Recursion, Ramified Diagonalization and the Elementary Functions 106
Recursive programming languages for complexity classes 101
Analysis of Mobile Networks’ Protocols Based on Abstract State Machines 95
Extending C++ static computation of polynomial-time algorithms 93
A Java Application for Modeling and Simulating Mobile Ad-hoc NETworks 91
A tool for the analysis of MANET Routing Protocols based on Abstract State Machines 85
Conversazioni in una veranda 82
A Tool for the Analysis of MANET Routing Protocols based on Abstract State Machines (book version), 78
Diagonalization and Elementary Complexity 69
A specialized recursive language for capturing time-space complexity classes 65
On the complexity of programs with nested loops 64
Implicit computational complexity and the exponential time-space classes 57
Predicative recursion, diagonalization, and slow-growing hierarchies of time-bounded programs 55
Incompleteness in linear time 50
C++ Template Metaprogramming and Polynomial-Time Functions 47
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.506
Salva come PNG Salva come JPEG
Categoria #
all - tutte 13.154
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.154
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202124 0 0 0 0 0 0 0 0 0 0 0 24
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.048 186 54 43 122 153 70 136 31 105 88 36 24
Totale 3.506