IRIS
PANI, Giovanni
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.234
EU - Europa 542
AS - Asia 169
OC - Oceania 3
AF - Africa 2
Continente sconosciuto - Info sul continente non disponibili 2
Totale 1.952
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.233
IT - Italia 172
CN - Cina 157
SE - Svezia 143
UA - Ucraina 60
FI - Finlandia 44
DE - Germania 42
GB - Regno Unito 31
BE - Belgio 15
CZ - Repubblica Ceca 13
FR - Francia 12
IE - Irlanda 6
SG - Singapore 6
AU - Australia 3
AT - Austria 2
EU - Europa 2
IN - India 2
VN - Vietnam 2
CA - Canada 1
ES - Italia 1
GH - Ghana 1
JP - Giappone 1
MO - Macao, regione amministrativa speciale della Cina 1
PT - Portogallo 1
ZA - Sudafrica 1
Totale 1.952
Salva come PNG Salva come JPEG
Città #
Chandler 227
Jacksonville 143
Houston 113
Nyköping 111
Ann Arbor 92
Ashburn 70
Bari 68
Fairfield 66
Woodbridge 60
Beijing 48
Cambridge 41
Wilmington 36
Roxbury 33
Lawrence 31
Inglewood 29
Seattle 29
Nanjing 27
New York 19
Helsinki 18
Des Moines 17
Princeton 17
Boardman 15
Brussels 15
Tianjin 13
Nanchang 12
Paris 9
Changsha 8
Napoli 8
Hebei 7
Jiaxing 7
Catania 6
Dublin 6
Olomouc 6
Zhengzhou 6
Brno 5
Brooklyn 5
Dearborn 5
Rome 5
Ningbo 4
Noci 4
Shenyang 4
Washington 4
Auburn Hills 3
Gravina In Puglia 3
Guangzhou 3
Jinan 3
Los Angeles 3
Parma 3
Prato 3
Brisbane 2
Dong Ket 2
London 2
Shanghai 2
Singapore 2
Acton 1
Altamura 1
Atlanta 1
Augusta 1
Bitonto 1
Boston 1
Braunschweig 1
Cardiff 1
Casamassima 1
Cesano Maderno 1
Frankfurt am Main 1
Fuzhou 1
Grafing 1
Hangzhou 1
Harbin 1
Hefei 1
Hillsboro 1
Hyderabad 1
Indiana 1
Jinhua 1
Kamampa 1
Lisbon 1
Macao 1
Madrid 1
Manfredonia 1
Molfetta 1
Muizenberg 1
Nakahara 1
Oakland 1
Prescot 1
Pune 1
Salzburg 1
San Diego 1
San Francisco 1
Scafati 1
Scandiano 1
Shenzhen 1
Sydney 1
Taizhou 1
Toronto 1
Vienna 1
Wuhu 1
Totale 1.522
Salva come PNG Salva come JPEG
Nome #
A Formal Approach for Modeling Interactive Visual Interfaces 111
HSFS: a compress filesystem for metadata files 107
IFHNFS: fast indexing information in mobile devices, 104
A Predicative Approach to the Classification Problem 98
Extending the Implicit Computational Complexity Approach to the sub-elementary time-space classes 91
A Compress Filesystem to Improve the Files Contents Search 84
A tool for the evaluation of the complexity of programs using C++ templetates 84
Bluetooth and filesystem to manage a ubiquitous mesh network 74
Template Metaprogramming, Partial Evaluation and Computational Complexity Classes 72
A hierarchy of imperative languages for the feasible classes DTIMEF(n^k) and for the k-superexponential classes(k_n) 72
Recursive programming languages for complexity classes 68
Complexity certification of C++ template metaprogramming 67
Predicative Recursion, Ramified Diagonalization and the Elementary Functions 66
A visual tool for multidimensional data analysis 63
Compile-time Computation of Polytime Functions. 61
Complexity certification of C++ template metaprogramming (extended version) 57
A Sequential Approach to the Hereditarily Recursive Continuous Functionals 57
Complexity certification of C++ templates 55
Conversazioni in una veranda 46
A refinement of the mu-measure for stack programs 45
Extending C++ static computation of polynomial-time algorithms 42
null 40
null 37
C++ Template Metaprogramming and Polynomial-Time Functions 36
A tool for the analysis of MANET Routing Protocols based on Abstract State Machines 35
Implicit computational complexity and the exponential time-space classes 31
Analysis of Mobile Networks’ Protocols Based on Abstract State Machines 29
On the complexity of programs with nested loops 29
null 28
null 25
null 24
null 23
null 23
Diagonalization and Elementary Complexity 22
Incompleteness in linear time 21
null 18
A Tool for the Analysis of MANET Routing Protocols based on Abstract State Machines (book version), 18
A Java Application for Modeling and Simulating Mobile Ad-hoc NETworks 14
A specialized recursive language for capturing time-space complexity classes 11
Undecidability vs Transfinite Induction for the Consistency of Hyperarithmetics sets 3
Predicative recursion, diagonalization, and slow-growing hierarchies of time-bounded programs 2
Totale 1.993
Salva come PNG Salva come JPEG
Categoria #
all - tutte 7.217
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 7.217
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020341 77 25 6 13 32 12 37 19 45 30 37 8
2020/2021272 25 8 19 13 43 8 15 9 71 28 9 24
2021/2022242 8 19 2 10 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/20258 8 0 0 0 0 0 0 0 0 0 0 0
Totale 1.993