IRIS
PANI, Giovanni
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.538
EU - Europa 748
AS - Asia 694
SA - Sud America 100
AF - Africa 17
OC - Oceania 3
Continente sconosciuto - Info sul continente non disponibili 2
Totale 3.102
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.512
SG - Singapore 296
CN - Cina 221
IT - Italia 202
SE - Svezia 149
HK - Hong Kong 93
BR - Brasile 91
RU - Federazione Russa 80
DE - Germania 68
UA - Ucraina 62
FI - Finlandia 51
GB - Regno Unito 42
FR - Francia 27
VN - Vietnam 22
CA - Canada 16
BE - Belgio 15
IN - India 15
CZ - Repubblica Ceca 13
IQ - Iraq 9
PL - Polonia 9
ZA - Sudafrica 9
BD - Bangladesh 8
MX - Messico 8
IE - Irlanda 7
JP - Giappone 7
AT - Austria 6
NL - Olanda 6
SA - Arabia Saudita 5
TR - Turchia 5
ES - Italia 4
AU - Australia 3
AR - Argentina 2
AZ - Azerbaigian 2
DZ - Algeria 2
EU - Europa 2
ID - Indonesia 2
KE - Kenya 2
LT - Lituania 2
NP - Nepal 2
PE - Perù 2
UZ - Uzbekistan 2
VE - Venezuela 2
AE - Emirati Arabi Uniti 1
AL - Albania 1
BG - Bulgaria 1
CO - Colombia 1
DO - Repubblica Dominicana 1
EE - Estonia 1
EG - Egitto 1
GD - Grenada 1
GH - Ghana 1
LB - Libano 1
LV - Lettonia 1
MA - Marocco 1
MN - Mongolia 1
MO - Macao, regione amministrativa speciale della Cina 1
MY - Malesia 1
PT - Portogallo 1
PY - Paraguay 1
TN - Tunisia 1
UY - Uruguay 1
Totale 3.102
Salva come PNG Salva come JPEG
Città #
Chandler 227
Ashburn 173
Singapore 156
Jacksonville 143
Nyköping 111
Houston 104
Hong Kong 93
Ann Arbor 92
Beijing 88
Bari 73
Fairfield 66
Woodbridge 60
Cambridge 40
Wilmington 35
Roxbury 33
Lawrence 31
Inglewood 29
Seattle 29
Nanjing 25
New York 25
Los Angeles 21
Helsinki 20
Munich 20
Dallas 18
Boardman 17
Des Moines 17
Princeton 17
Brussels 15
Tianjin 13
Nanchang 11
Buffalo 10
Catania 10
Brooklyn 9
Montreal 9
Paris 9
Changsha 8
Ho Chi Minh City 8
Napoli 8
Dublin 7
Hebei 7
Jiaxing 7
Santa Clara 7
São Paulo 7
Zhengzhou 7
Charlotte 6
Chicago 6
Council Bluffs 6
Olomouc 6
Stockholm 6
Tokyo 6
Turku 6
Brno 5
Dearborn 5
Naples 5
Rome 5
Warsaw 5
Dhaka 4
Frankfurt am Main 4
Guangzhou 4
London 4
Noci 4
Shenyang 4
Washington 4
Wroclaw 4
Amersfoort 3
Ankara 3
Atlanta 3
Auburn Hills 3
Baghdad 3
Barletta 3
Barra do Garças 3
Biên Hòa 3
Boston 3
Chennai 3
Denver 3
Gravina In Puglia 3
Hanoi 3
Jinan 3
Johannesburg 3
Linz 3
Manchester 3
Milan 3
Ningbo 3
Parma 3
Poplar 3
Prato 3
Querétaro 3
San Francisco 3
Secaucus 3
The Dalles 3
Toronto 3
Baku 2
Belo Horizonte 2
Bexley 2
Brisbane 2
Campinas 2
Capua 2
Carney 2
Cuiabá 2
Dong Ket 2
Totale 2.113
Salva come PNG Salva come JPEG
Nome #
A Formal Approach for Modeling Interactive Visual Interfaces 162
A Predicative Approach to the Classification Problem 146
HSFS: a compress filesystem for metadata files 134
A Compress Filesystem to Improve the Files Contents Search 123
IFHNFS: fast indexing information in mobile devices, 119
A tool for the evaluation of the complexity of programs using C++ templetates 119
Extending the Implicit Computational Complexity Approach to the sub-elementary time-space classes 114
A visual tool for multidimensional data analysis 114
Bluetooth and filesystem to manage a ubiquitous mesh network 113
A hierarchy of imperative languages for the feasible classes DTIMEF(n^k) and for the k-superexponential classes(k_n) 111
Complexity certification of C++ template metaprogramming 108
Template Metaprogramming, Partial Evaluation and Computational Complexity Classes 103
Complexity certification of C++ template metaprogramming (extended version) 101
A Sequential Approach to the Hereditarily Recursive Continuous Functionals 101
Complexity certification of C++ templates 97
Compile-time Computation of Polytime Functions. 95
Predicative Recursion, Ramified Diagonalization and the Elementary Functions 94
Recursive programming languages for complexity classes 91
C++ Template Metaprogramming and Polynomial-Time Functions 85
Analysis of Mobile Networks’ Protocols Based on Abstract State Machines 83
A refinement of the mu-measure for stack programs 82
Extending C++ static computation of polynomial-time algorithms 76
A tool for the analysis of MANET Routing Protocols based on Abstract State Machines 76
Conversazioni in una veranda 71
A Java Application for Modeling and Simulating Mobile Ad-hoc NETworks 69
A Tool for the Analysis of MANET Routing Protocols based on Abstract State Machines (book version), 63
On the complexity of programs with nested loops 53
A specialized recursive language for capturing time-space complexity classes 53
Diagonalization and Elementary Complexity 53
Implicit computational complexity and the exponential time-space classes 50
null 42
Incompleteness in linear time 41
null 37
Predicative recursion, diagonalization, and slow-growing hierarchies of time-bounded programs 33
null 28
null 25
null 24
Undecidability vs Transfinite Induction for the Consistency of Hyperarithmetics sets 23
null 23
null 23
Totale 3.158
Salva come PNG Salva come JPEG
Categoria #
all - tutte 12.611
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 12.611
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021164 0 0 0 0 0 8 15 9 71 28 9 24
2021/2022240 8 18 2 9 9 13 5 9 13 31 49 74
2022/2023530 64 61 53 70 49 66 7 44 94 3 10 9
2023/2024195 18 34 6 7 42 46 4 14 0 5 2 17
2024/2025549 13 11 51 17 28 38 32 56 18 15 98 172
2025/2026642 193 56 44 130 160 59 0 0 0 0 0 0
Totale 3.158