IRIS
COVINO, Emanuele
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.647
EU - Europa 1.164
AS - Asia 1.073
SA - Sud America 206
Continente sconosciuto - Info sul continente non disponibili 80
AF - Africa 37
OC - Oceania 3
Totale 5.210
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.558
SG - Singapore 456
IT - Italia 448
CN - Cina 269
SE - Svezia 168
BR - Brasile 156
HK - Hong Kong 118
RU - Federazione Russa 102
DE - Germania 89
UA - Ucraina 84
FI - Finlandia 70
FR - Francia 58
GB - Regno Unito 54
VN - Vietnam 42
CA - Canada 39
IN - India 37
BD - Bangladesh 24
BE - Belgio 18
IQ - Iraq 17
PK - Pakistan 15
PL - Polonia 15
MX - Messico 14
AR - Argentina 13
SA - Arabia Saudita 13
CO - Colombia 12
TR - Turchia 12
CZ - Repubblica Ceca 11
JP - Giappone 11
CR - Costa Rica 10
GT - Guatemala 10
IE - Irlanda 10
NL - Olanda 9
ZA - Sudafrica 9
AT - Austria 8
ES - Italia 7
LB - Libano 7
UZ - Uzbekistan 7
ID - Indonesia 6
TN - Tunisia 6
CL - Cile 5
EC - Ecuador 5
JO - Giordania 5
MA - Marocco 5
PH - Filippine 5
DZ - Algeria 4
EG - Egitto 4
OM - Oman 4
PE - Perù 4
UY - Uruguay 4
VE - Venezuela 4
AU - Australia 3
AZ - Azerbaigian 3
IL - Israele 3
KE - Kenya 3
LT - Lituania 3
MY - Malesia 3
SV - El Salvador 3
AE - Emirati Arabi Uniti 2
CW - ???statistics.table.value.countryCode.CW??? 2
CY - Cipro 2
EE - Estonia 2
ET - Etiopia 2
EU - Europa 2
GR - Grecia 2
IR - Iran 2
KZ - Kazakistan 2
NI - Nicaragua 2
NP - Nepal 2
PA - Panama 2
PR - Porto Rico 2
PY - Paraguay 2
SC - Seychelles 2
TT - Trinidad e Tobago 2
AL - Albania 1
BG - Bulgaria 1
BH - Bahrain 1
BO - Bolivia 1
BY - Bielorussia 1
BZ - Belize 1
DO - Repubblica Dominicana 1
GD - Grenada 1
GH - Ghana 1
HN - Honduras 1
KG - Kirghizistan 1
KN - Saint Kitts e Nevis 1
LA - Repubblica Popolare Democratica del Laos 1
LV - Lettonia 1
MM - Myanmar 1
MN - Mongolia 1
MO - Macao, regione amministrativa speciale della Cina 1
PT - Portogallo 1
RS - Serbia 1
UG - Uganda 1
Totale 5.134
Salva come PNG Salva come JPEG
Città #
Chandler 282
Ashburn 274
Singapore 252
San Jose 196
Jacksonville 189
Houston 135
Nyköping 125
Ann Arbor 120
Hong Kong 118
Beijing 111
Woodbridge 106
Bari 102
Fairfield 93
Milan 91
Council Bluffs 77
Cambridge 51
Wilmington 50
New York 42
Roxbury 40
Lawrence 39
Lauterbourg 35
Seattle 34
Inglewood 33
Nanjing 33
Rome 33
Los Angeles 32
Helsinki 30
Dallas 27
Boardman 24
Des Moines 22
Santa Clara 22
Munich 19
Princeton 19
Brussels 18
Columbus 18
Staranzano 17
Montreal 16
Phoenix 15
São Paulo 15
Brooklyn 14
Buffalo 14
Catania 12
Tianjin 12
Ho Chi Minh City 11
Nanchang 11
Changsha 10
Chicago 10
Jiaxing 10
Warsaw 10
Dublin 9
Falkenstein 9
Hebei 9
Tokyo 9
Atlanta 8
Guatemala City 8
Hanoi 8
Napoli 8
San Francisco 8
San José 8
Turku 8
Bologna 7
Dhaka 7
Jeddah 7
Mottola 7
Stockholm 7
Chennai 6
Frankfurt am Main 6
San Diego 6
The Dalles 6
Toronto 6
Turin 6
Zhengzhou 6
Boston 5
Brno 5
Charlotte 5
Denver 5
Naples 5
Paris 5
Puebla City 5
Senigallia 5
Shenyang 5
Tashkent 5
Amman 4
Ankara 4
Baghdad 4
Barletta 4
Biên Hòa 4
Bogotá 4
Calenzano 4
Figino 4
Johannesburg 4
London 4
Montevideo 4
Ningbo 4
Noci 4
Olomouc 4
Santiago 4
Vienna 4
Washington 4
Wroclaw 4
Totale 3.360
Salva come PNG Salva come JPEG
Nome #
A Formal Approach for Modeling Interactive Visual Interfaces 184
A Predicative Approach to the Classification Problem 178
An approach to use FB-AODV with Android 168
A Compress Filesystem to Improve the Files Contents Search 163
HSFS: a compress filesystem for metadata files 160
Syntactic characterization in Lisp of the polynomial complexity classes and hierarchy 156
A tool for the evaluation of the complexity of programs using C++ templetates 154
Bayesian Cognitive Diagnosis in Believable Multiagent Systems 149
A visual tool for multidimensional data analysis 142
Bluetooth and filesystem to manage a ubiquitous mesh network 141
A hierarchy of imperative languages for the feasible classes DTIMEF(n^k) and for the k-superexponential classes(k_n) 135
Extending the Implicit Computational Complexity Approach to the sub-elementary time-space classes 134
Complexity certification of C++ templates 131
Complexity certification of C++ template metaprogramming 131
A resource-free classification of the time-space complexity classes between Lintime and Expspace 130
A refinement of the mu-measure for stack programs 128
Complexity certification of C++ template metaprogramming (extended version) 126
Compile-time Computation of Polytime Functions. 126
Template Metaprogramming, Partial Evaluation and Computational Complexity Classes 121
Characterizing the time-space classes by unlimited operators 120
Recursive programming languages for complexity classes 116
Predicative Recursion, Ramified Diagonalization and the Elementary Functions 116
An implicit recursive language for the polynomial time-space complexity classes 112
Extending C++ static computation of polynomial-time algorithms 110
Analysis of Mobile Networks’ Protocols Based on Abstract State Machines 103
A Java Application for Modeling and Simulating Mobile Ad-hoc NETworks 101
Time-space computational complexity of imperative programming languages 97
Predicative Recursion, Constructive Diagonalization and the Elementary Functions 95
Space complexity analysis for stack programs 94
A tool for the analysis of MANET Routing Protocols based on Abstract State Machines 94
On the complexity of programs with nested loops 90
A Tool for the Analysis of MANET Routing Protocols based on Abstract State Machines (book version), 89
A specialized recursive language for capturing time-space complexity classes 83
Simulation of mobile ad-hoc networks' protocols 82
C++ Template Metaprogramming and Polynomial-Time Functions 79
1. A formal model for the simulation of mobile networks 78
Diagonalization and Elementary Complexity 78
Predicative recursion, diagonalization, and slow-growing hierarchies of time-bounded programs 74
Static Computation of Polynomial-time Functions in C++, 70
Analysis of a formal model for social groups 68
A slow-growing hierarchy of time-bounded programs 68
Implicit computational complexity and the exponential time-space classes 67
Diagonalization and the complexity of programs 65
A note on a syntactical measure of the complexity of programs 63
Incompleteness in linear time 61
null 37
null 28
null 25
null 24
null 23
null 23
A Note on a Syntactical Measure of the Time-Space Complexity of Stack Programs 20
Totale 5.210
Salva come PNG Salva come JPEG
Categoria #
all - tutte 19.435
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 19.435
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022242 0 0 0 0 9 16 7 8 18 37 58 89
2022/2023645 73 74 55 87 66 90 5 54 110 4 14 13
2023/2024216 17 38 9 6 40 57 4 17 2 7 2 17
2024/2025728 15 11 64 18 39 42 41 78 38 24 121 237
2025/20261.559 244 82 64 162 199 93 187 40 136 120 42 190
2026/2027492 39 98 171 174 10 0 0 0 0 0 0 0
Totale 5.210