IRIS
PANI, Giovanni
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.233
EU - Europa 528
AS - Asia 157
OC - Oceania 3
AF - Africa 2
Continente sconosciuto - Info sul continente non disponibili 2
Totale 1.925
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.232
IT - Italia 172
CN - Cina 149
SE - Svezia 143
UA - Ucraina 60
FI - Finlandia 43
DE - Germania 42
GB - Regno Unito 31
BE - Belgio 15
FR - Francia 10
IE - Irlanda 6
AU - Australia 3
AT - Austria 2
CZ - Repubblica Ceca 2
EU - Europa 2
IN - India 2
SG - Singapore 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.925
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
Des Moines 17
Helsinki 17
Princeton 17
Boardman 15
Brussels 15
Tianjin 13
Nanchang 12
Changsha 8
Napoli 8
Hebei 7
Jiaxing 7
Paris 7
Catania 6
Dublin 6
Zhengzhou 6
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
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
Kamampa 1
Lisbon 1
Macao 1
Madrid 1
Manfredonia 1
Molfetta 1
Muizenberg 1
Nakahara 1
Prescot 1
Pune 1
Salzburg 1
San Diego 1
San Francisco 1
Scafati 1
Scandiano 1
Shanghai 1
Sydney 1
Taizhou 1
Toronto 1
Vienna 1
Totale 1.501
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, 103
A Predicative Approach to the Classification Problem 98
Extending the Implicit Computational Complexity Approach to the sub-elementary time-space classes 89
A Compress Filesystem to Improve the Files Contents Search 84
A tool for the evaluation of the complexity of programs using C++ templetates 83
Bluetooth and filesystem to manage a ubiquitous mesh network 74
Template Metaprogramming, Partial Evaluation and Computational Complexity Classes 71
A hierarchy of imperative languages for the feasible classes DTIMEF(n^k) and for the k-superexponential classes(k_n) 70
Recursive programming languages for complexity classes 67
Predicative Recursion, Ramified Diagonalization and the Elementary Functions 65
Complexity certification of C++ template metaprogramming 65
A visual tool for multidimensional data analysis 63
Compile-time Computation of Polytime Functions. 60
Complexity certification of C++ template metaprogramming (extended version) 57
A Sequential Approach to the Hereditarily Recursive Continuous Functionals 57
Complexity certification of C++ templates 54
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
A tool for the analysis of MANET Routing Protocols based on Abstract State Machines 33
C++ Template Metaprogramming and Polynomial-Time Functions 32
Implicit computational complexity and the exponential time-space classes 31
Analysis of Mobile Networks’ Protocols Based on Abstract State Machines 28
On the complexity of programs with nested loops 28
null 28
null 25
null 24
null 23
null 23
Incompleteness in linear time 20
Diagonalization and Elementary Complexity 20
null 18
A Tool for the Analysis of MANET Routing Protocols based on Abstract State Machines (book version), 16
A Java Application for Modeling and Simulating Mobile Ad-hoc NETworks 13
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.966
Salva come PNG Salva come JPEG
Categoria #
all - tutte 6.684
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 6.684
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/201982 0 0 0 0 0 0 0 0 0 0 27 55
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/2024176 18 34 6 7 42 46 4 14 0 5 0 0
Totale 1.966