UniSa - IRIS Institutional Research Information System

NAPOLI, Margherita
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.393
AS - Asia 1.332
EU - Europa 1.232
SA - Sud America 143
Continente sconosciuto - Info sul continente non disponibili 111
AF - Africa 30
OC - Oceania 1
Totale 7.242
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.280
SG - Singapore 566
IT - Italia 460
CN - Cina 333
UA - Ucraina 261
RU - Federazione Russa 116
VN - Vietnam 111
HK - Hong Kong 108
BR - Brasile 100
DE - Germania 91
IE - Irlanda 69
TR - Turchia 62
SE - Svezia 60
FR - Francia 58
FI - Finlandia 57
KR - Corea 44
CA - Canada 41
IN - India 25
GB - Regno Unito 21
AR - Argentina 19
IQ - Iraq 16
HN - Honduras 13
BD - Bangladesh 12
PL - Polonia 12
PK - Pakistan 11
GP - Guadalupe 10
MX - Messico 10
JP - Giappone 9
SV - El Salvador 8
NL - Olanda 7
PR - Porto Rico 7
EC - Ecuador 6
NP - Nepal 6
VE - Venezuela 6
SA - Arabia Saudita 5
TT - Trinidad e Tobago 5
UZ - Uzbekistan 5
ZA - Sudafrica 5
CL - Cile 4
CO - Colombia 4
ES - Italia 4
EU - Europa 4
ID - Indonesia 4
IL - Israele 4
JM - Giamaica 4
KE - Kenya 4
TN - Tunisia 4
CR - Costa Rica 3
EG - Egitto 3
GT - Guatemala 3
MA - Marocco 3
NI - Nicaragua 3
AE - Emirati Arabi Uniti 2
AL - Albania 2
AT - Austria 2
BB - Barbados 2
CW - ???statistics.table.value.countryCode.CW??? 2
DZ - Algeria 2
JO - Giordania 2
LT - Lituania 2
OM - Oman 2
PE - Perù 2
AU - Australia 1
AZ - Azerbaigian 1
BA - Bosnia-Erzegovina 1
BG - Bulgaria 1
BH - Bahrain 1
BO - Bolivia 1
BW - Botswana 1
BZ - Belize 1
CH - Svizzera 1
CI - Costa d'Avorio 1
CM - Camerun 1
CY - Cipro 1
DO - Repubblica Dominicana 1
GD - Grenada 1
HR - Croazia 1
LU - Lussemburgo 1
LV - Lettonia 1
LY - Libia 1
MG - Madagascar 1
MY - Malesia 1
NE - Niger 1
NG - Nigeria 1
PA - Panama 1
PT - Portogallo 1
PY - Paraguay 1
QA - Qatar 1
RO - Romania 1
SC - Seychelles 1
SI - Slovenia 1
SK - Slovacchia (Repubblica Slovacca) 1
ZW - Zimbabwe 1
Totale 7.137
Salva come PNG Salva come JPEG
Città #
Ann Arbor 1.033
Wilmington 369
Jacksonville 317
San Jose 314
Singapore 311
Woodbridge 308
Chandler 285
Houston 233
Princeton 212
Milan 129
Council Bluffs 120
Ashburn 109
Hong Kong 108
Dallas 94
Dublin 69
Nanjing 60
Beijing 59
Andover 54
Izmir 51
Lauterbourg 49
Staranzano 47
Salerno 46
Pellezzano 42
The Dalles 42
Mestre 38
Boardman 33
Santa Clara 30
Ho Chi Minh City 29
Rome 28
Hanoi 27
Moscow 24
Düsseldorf 20
Shenyang 20
Fairfield 19
Hebei 19
Jiaxing 18
Figino 17
New York 17
Dong Ket 16
Nanchang 16
Los Angeles 14
Changsha 13
Dearborn 13
Chicago 12
Montreal 12
Norwalk 12
Warsaw 12
Memphis 11
Brooklyn 10
Philadelphia 10
São Paulo 10
Turin 10
San Diego 9
Tokyo 9
Atlanta 8
Chennai 8
Des Moines 8
Phoenix 8
Tianjin 8
Munich 7
Ottawa 7
San Salvador 7
Somma 7
Baghdad 6
Frankfurt am Main 6
Orem 6
San Pedro Sula 6
Amsterdam 5
Avellino 5
Da Nang 5
Lahore 5
Naples 5
Napoli 5
San Francisco 5
Tashkent 5
Washington 5
Biên Hòa 4
Boston 4
Boydton 4
Brasília 4
Cambridge 4
Denver 4
Istanbul 4
Jinan 4
Las Vegas 4
London 4
Nairobi 4
Richmond 4
Seattle 4
Shanghai 4
Spinea 4
Tegucigalpa 4
Toronto 4
Ankara 3
Bologna 3
Borgia 3
Chaguanas 3
Charlotte 3
Columbus 3
Guangzhou 3
Totale 5.215
Salva come PNG Salva come JPEG
Nome #
Firing Squad Synchronization Problem on Bidimensional Cellular Automata with Communication Constraints 201
Proceedings First Symposium on Games, Automata, Logic, and Formal Verification 180
A Compositional Approach to Synchronize Two Dimensional Networks of Processors 173
A Decidable Dense Branching-time Temporal Logic 172
Synchronization of a Line of Identical Processors at a Given Time 167
Verification of Scope-dependent Hierarchical State Machines 158
Timed tree Automata with an application to Temporal Logic 154
Hierarchical and Recursive State Machines with Context-Dependent Properties 154
MODEL-CHECKING FOR GRADED CTL 152
Compositionality in the Synchronization of Processors Exchanging a minimal amount of Information 152
Web structures: a tool for representing and manipulating programs 150
Representing hyper-graphs by regular languages 146
Succinctness of descriptions of SBTA-languages 146
A NuSMV Extension for Graded-CTL Model Checking 143
Different Time Solutions for the Firing Squad Synchronization Problem on Basic Grid Networks 141
The word problem for visibly pushdown languages described by grammars 141
Verification of Succinct Hierarchical State Machines 140
A Temporal Logic for Multi-threaded Programs 140
Automata-based Representations for Infinite Graphs 135
Graded CTL model checking for test generation. 133
CTL Model-Checking with Graded Quantifiers 132
Graded-CTL: Satisfiability and Symbolic Model Checking 132
null 132
Scope-Bounded Pushdown Languages 131
Synchronization of 1-way connected processors 129
Coalitional Games with Priced-Resource Agents 129
Graded Alternating-Time Temporal Logic 128
C-tree systolic automata 127
Parametric metric interval temporal logic 124
Testing Programs by Queries 123
Finite automata on timed omega-trees. 122
A Unifying Approach for Multistack Pushdown Automata 121
Systolic Y-tree automata: closure properties and decision problemsFundamentals of Computation Theory 119
A Model of Finite Automata on Timed omega-Trees 118
Graded Alternating-Time Temporal Logic 118
Proceedings of First International Symposium on Games, Automata, Logics and Formal Verification (GANDALF 2010) 114
Representing Infinite hyper-graphs by regular languages 113
Synchronization of a line of identical processors at a given timeTAPSOFT '97: Theory and Practice of Software Development 112
Program Complexity in Hierarchical Module Checking 110
On a Logic for Coalitional Games with Priced-Resource Agents 107
Weak Muller acceptance conditions for tree automata 106
Specification and Verification of Protocols With Time Constraints 106
Parallel Word Substitution 104
Scope-Bounded Pushdown Languages 102
Model checking coalitional games in shortage resource scenarios 101
Parametric Metric Interval Temporal Logic 100
Graded Alternating Time Temporal Logic 97
State complexity of SBTA languagesLATIN '95: Theoretical Informatics 97
On the Membership Problem for Visibly Pushdown Languages 96
Languages accepted by systolic Y-tree automata: structural characterizations 96
Minimum and non-minimum time solutions to the firing squad synchronization problem 93
Proceeding of the 1st International Sumposium on Games, Automata, Logics and Formal Verification (GANDALF 2010) 90
Weak Muller Acceptance Conditions for Tree Automata 89
Reachability of scope-bounded multistack pushdown systems 89
Reachability of Multistack Pushdown Systems with Scope-Bounded Matching Relations 83
Power of interconnections and of nondeterminism in regularY-tree systolic automata 79
null 67
Synchronization of 1-way connected processorsFundamentals of Computation Theory 67
Synchronization of a line of identical processors at a given time 61
Totale 7.242
Salva come PNG Salva come JPEG
Categoria #
all - tutte 25.267
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 25.267
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022357 0 0 0 4 16 1 5 13 55 50 46 167
2022/2023630 62 47 3 82 88 141 1 65 100 4 31 6
2023/2024146 16 36 11 10 7 6 7 2 1 12 13 25
2024/2025456 41 1 19 23 19 61 77 56 54 23 51 31
2025/20261.866 98 128 107 57 279 135 362 78 135 201 57 229
2026/2027560 89 68 191 212 0 0 0 0 0 0 0 0
Totale 7.242