IRIS
PANI, Giovanni
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.268
EU - Europa 552
AS - Asia 231
OC - Oceania 3
AF - Africa 2
Continente sconosciuto - Info sul continente non disponibili 2
Totale 2.058
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.266
IT - Italia 180
CN - Cina 159
SE - Svezia 143
SG - Singapore 66
UA - Ucraina 60
FI - Finlandia 45
DE - Germania 42
GB - Regno Unito 31
BE - Belgio 15
CZ - Repubblica Ceca 13
FR - Francia 12
IE - Irlanda 7
AU - Australia 3
AT - Austria 2
CA - Canada 2
EU - Europa 2
IN - India 2
VN - Vietnam 2
ES - Italia 1
GH - Ghana 1
JP - Giappone 1
MO - Macao, regione amministrativa speciale della Cina 1
PT - Portogallo 1
ZA - Sudafrica 1
Totale 2.058
Salva come PNG Salva come JPEG
Città #
Chandler 227
Jacksonville 143
Houston 113
Nyköping 111
Ann Arbor 92
Ashburn 71
Bari 70
Fairfield 66
Woodbridge 60
Singapore 52
Beijing 48
Cambridge 41
Wilmington 36
Roxbury 33
Lawrence 31
Inglewood 29
Seattle 29
Nanjing 27
Helsinki 19
New York 19
Boardman 17
Des Moines 17
Princeton 17
Brussels 15
Tianjin 13
Nanchang 12
Paris 9
Changsha 8
Los Angeles 8
Napoli 8
Dublin 7
Hebei 7
Jiaxing 7
Catania 6
Olomouc 6
Zhengzhou 6
Brno 5
Brooklyn 5
Dearborn 5
Rome 5
Ningbo 4
Noci 4
Santa Clara 4
Shenyang 4
Washington 4
Auburn Hills 3
Barletta 3
Gravina In Puglia 3
Guangzhou 3
Jinan 3
Parma 3
Prato 3
Brisbane 2
Capua 2
Dong Ket 2
London 2
Shanghai 2
Toronto 2
Wuhu 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
Vienna 1
Totale 1.595
Salva come PNG Salva come JPEG
Nome #
A Formal Approach for Modeling Interactive Visual Interfaces 114
HSFS: a compress filesystem for metadata files 109
IFHNFS: fast indexing information in mobile devices, 105
A Predicative Approach to the Classification Problem 104
Extending the Implicit Computational Complexity Approach to the sub-elementary time-space classes 93
A tool for the evaluation of the complexity of programs using C++ templetates 88
A Compress Filesystem to Improve the Files Contents Search 87
Template Metaprogramming, Partial Evaluation and Computational Complexity Classes 77
Bluetooth and filesystem to manage a ubiquitous mesh network 77
A hierarchy of imperative languages for the feasible classes DTIMEF(n^k) and for the k-superexponential classes(k_n) 75
Recursive programming languages for complexity classes 72
Complexity certification of C++ template metaprogramming 71
Predicative Recursion, Ramified Diagonalization and the Elementary Functions 69
A visual tool for multidimensional data analysis 66
Compile-time Computation of Polytime Functions. 65
Complexity certification of C++ templates 64
A Sequential Approach to the Hereditarily Recursive Continuous Functionals 63
Complexity certification of C++ template metaprogramming (extended version) 62
Conversazioni in una veranda 49
A refinement of the mu-measure for stack programs 47
Extending C++ static computation of polynomial-time algorithms 45
null 41
C++ Template Metaprogramming and Polynomial-Time Functions 41
A tool for the analysis of MANET Routing Protocols based on Abstract State Machines 40
null 37
Analysis of Mobile Networks’ Protocols Based on Abstract State Machines 33
On the complexity of programs with nested loops 33
Implicit computational complexity and the exponential time-space classes 32
null 28
null 25
null 24
null 23
Incompleteness in linear time 23
null 23
Diagonalization and Elementary Complexity 23
A Tool for the Analysis of MANET Routing Protocols based on Abstract State Machines (book version), 22
null 18
A Java Application for Modeling and Simulating Mobile Ad-hoc NETworks 17
A specialized recursive language for capturing time-space complexity classes 13
Undecidability vs Transfinite Induction for the Consistency of Hyperarithmetics sets 4
Predicative recursion, diagonalization, and slow-growing hierarchies of time-bounded programs 2
Totale 2.104
Salva come PNG Salva come JPEG
Categoria #
all - tutte 8.257
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 8.257
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020220 0 0 0 0 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/2025119 13 11 51 17 27 0 0 0 0 0 0 0
Totale 2.104