IRIS
COVINO, Emanuele
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.640
EU - Europa 642
AS - Asia 271
OC - Oceania 3
Continente sconosciuto - Info sul continente non disponibili 2
AF - Africa 1
Totale 2.559
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.637
IT - Italia 196
CN - Cina 175
SE - Svezia 165
SG - Singapore 85
UA - Ucraina 80
FI - Finlandia 56
DE - Germania 55
GB - Regno Unito 38
BE - Belgio 17
CZ - Repubblica Ceca 13
FR - Francia 9
IE - Irlanda 8
IN - India 4
AT - Austria 3
AU - Australia 3
CA - Canada 3
EU - Europa 2
IR - Iran 2
JP - Giappone 2
VN - Vietnam 2
ES - Italia 1
GH - Ghana 1
MO - Macao, regione amministrativa speciale della Cina 1
PT - Portogallo 1
Totale 2.559
Salva come PNG Salva come JPEG
Città #
Chandler 291
Jacksonville 189
Houston 132
Nyköping 129
Ann Arbor 120
Woodbridge 104
Fairfield 93
Ashburn 91
Bari 89
Singapore 66
Beijing 53
Cambridge 51
Wilmington 47
Lawrence 40
Roxbury 40
Seattle 34
Inglewood 33
Nanjing 33
Helsinki 24
New York 24
Des Moines 21
Boardman 20
Princeton 19
Brussels 17
Tianjin 12
Los Angeles 11
Nanchang 11
Changsha 10
Jiaxing 10
Hebei 9
Dublin 8
Napoli 8
Brooklyn 7
Paris 7
Catania 6
Olomouc 6
Santa Clara 6
Brno 5
Rome 5
San Diego 5
Shenyang 5
Zhengzhou 5
Barletta 4
Ningbo 4
Noci 4
Washington 4
Gravina In Puglia 3
Jinan 3
Parma 3
Prato 3
Toronto 3
Auburn Hills 2
Brisbane 2
Capua 2
Dearborn 2
Dong Ket 2
Jinhua 2
London 2
Pune 2
Shanghai 2
Vienna 2
Wuhu 2
Acton 1
Altamura 1
Atlanta 1
Augusta 1
Bitonto 1
Boston 1
Braunschweig 1
Cardiff 1
Casamassima 1
Cesano Maderno 1
Chicago 1
Frankfurt am Main 1
Fuzhou 1
Gattatico 1
Grafing 1
Guangzhou 1
Harbin 1
Hefei 1
Hillsboro 1
Hyderabad 1
Indiana 1
Kamampa 1
Kashan 1
Kish 1
Lisbon 1
Macao 1
Madrid 1
Manfredonia 1
Nakahara 1
Oakland 1
Prescot 1
Salzburg 1
San Francisco 1
Scafati 1
Scandiano 1
Shenzhen 1
Sydney 1
Taizhou 1
Totale 1.987
Salva come PNG Salva come JPEG
Nome #
A Formal Approach for Modeling Interactive Visual Interfaces 114
HSFS: a compress filesystem for metadata files 109
Syntactic characterization in Lisp of the polynomial complexity classes and hierarchy 108
An approach to use FB-AODV with Android 107
A Predicative Approach to the Classification Problem 104
Bayesian Cognitive Diagnosis in Believable Multiagent Systems 98
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 resource-free classification of the time-space complexity classes between Lintime and Expspace 75
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
Characterizing the time-space classes by unlimited operators 67
A visual tool for multidimensional data analysis 66
Compile-time Computation of Polytime Functions. 65
Complexity certification of C++ templates 64
Complexity certification of C++ template metaprogramming (extended version) 62
An implicit recursive language for the polynomial time-space complexity classes 57
Predicative Recursion, Constructive Diagonalization and the Elementary Functions 56
Space complexity analysis for stack programs 53
Time-space computational complexity of imperative programming languages 51
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
Static Computation of Polynomial-time Functions in C++, 35
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
A slow-growing hierarchy of time-bounded programs 17
A Java Application for Modeling and Simulating Mobile Ad-hoc NETworks 17
Diagonalization and the complexity of programs 16
A specialized recursive language for capturing time-space complexity classes 13
Analysis of a formal model for social groups 4
A note on a syntactical measure of the complexity of programs 4
1. A formal model for the simulation of mobile networks 3
Simulation of mobile ad-hoc networks' protocols 2
Predicative recursion, diagonalization, and slow-growing hierarchies of time-bounded programs 2
Totale 2.618
Salva come PNG Salva come JPEG
Categoria #
all - tutte 10.371
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 10.371
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020272 0 0 0 0 43 14 45 22 56 30 54 8
2020/2021327 33 8 28 13 52 8 26 10 76 36 13 24
2021/2022289 10 24 3 10 9 16 7 8 18 37 58 89
2022/2023667 74 77 58 91 67 91 6 57 113 4 15 14
2023/2024230 18 38 9 7 44 58 4 20 2 7 2 21
2024/2025151 16 11 66 20 38 0 0 0 0 0 0 0
Totale 2.618