UniSa - IRIS Institutional Research Information System

NAPOLI, Margherita
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.977
AS - Asia 1.303
EU - Europa 1.156
SA - Sud America 143
AF - Africa 29
Continente sconosciuto - Info sul continente non disponibili 5
OC - Oceania 1
Totale 6.614
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.935
SG - Singapore 555
IT - Italia 392
CN - Cina 320
UA - Ucraina 261
RU - Federazione Russa 114
VN - Vietnam 111
HK - Hong Kong 103
BR - Brasile 100
DE - Germania 91
IE - Irlanda 69
TR - Turchia 62
SE - Svezia 60
FI - Finlandia 57
FR - Francia 57
KR - Corea 44
IN - India 25
CA - Canada 22
AR - Argentina 19
GB - Regno Unito 19
IQ - Iraq 16
BD - Bangladesh 12
PK - Pakistan 11
PL - Polonia 10
JP - Giappone 9
MX - Messico 9
EC - Ecuador 6
NL - Olanda 6
NP - Nepal 6
VE - Venezuela 6
SA - Arabia Saudita 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
KE - Kenya 4
TN - Tunisia 4
EG - Egitto 3
MA - Marocco 3
AE - Emirati Arabi Uniti 2
AL - Albania 2
AT - Austria 2
DZ - Algeria 2
JM - Giamaica 2
JO - Giordania 2
LT - Lituania 2
OM - Oman 2
PE - Perù 2
AU - Australia 1
AZ - Azerbaigian 1
BA - Bosnia-Erzegovina 1
BB - Barbados 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
CR - Costa Rica 1
CW - ???statistics.table.value.countryCode.CW??? 1
CY - Cipro 1
DO - Repubblica Dominicana 1
GD - Grenada 1
GT - Guatemala 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
PR - Porto Rico 1
PT - Portogallo 1
PY - Paraguay 1
QA - Qatar 1
RO - Romania 1
SI - Slovenia 1
SK - Slovacchia (Repubblica Slovacca) 1
TT - Trinidad e Tobago 1
ZW - Zimbabwe 1
Totale 6.614
Salva come PNG Salva come JPEG
Città #
Ann Arbor 1.033
Wilmington 369
Jacksonville 316
Woodbridge 307
Singapore 302
Chandler 285
Houston 232
San Jose 231
Princeton 212
Milan 128
Hong Kong 103
Ashburn 95
Dallas 93
Dublin 69
Council Bluffs 63
Nanjing 60
Andover 54
Izmir 51
Beijing 49
Lauterbourg 49
Salerno 46
Pellezzano 42
The Dalles 41
Mestre 38
Boardman 33
Ho Chi Minh City 29
Hanoi 27
Rome 26
Moscow 24
Santa Clara 21
Düsseldorf 20
Shenyang 20
Fairfield 19
Hebei 19
Jiaxing 18
Figino 17
Dong Ket 16
Nanchang 16
Changsha 13
Dearborn 13
New York 13
Chicago 12
Norwalk 12
Los Angeles 11
Memphis 11
São Paulo 10
Warsaw 10
Brooklyn 9
San Diego 9
Tokyo 9
Turin 9
Chennai 8
Des Moines 8
Montreal 8
Philadelphia 8
Tianjin 8
Munich 7
Ottawa 7
Phoenix 7
Somma 7
Baghdad 6
Frankfurt am Main 6
Amsterdam 5
Avellino 5
Da Nang 5
Lahore 5
Napoli 5
Orem 5
Tashkent 5
Atlanta 4
Biên Hòa 4
Boston 4
Boydton 4
Brasília 4
Cambridge 4
Denver 4
Istanbul 4
Jinan 4
London 4
Nairobi 4
Naples 4
San Francisco 4
Seattle 4
Spinea 4
Washington 4
Ankara 3
Borgia 3
Guangzhou 3
Helsinki 3
Hải Dương 3
Johannesburg 3
Manchester 3
Pune 3
Redwood City 3
Santiago 3
Shanghai 3
Stockholm 3
Vũng Tàu 3
Amman 2
Araçatuba 2
Totale 4.936
Salva come PNG Salva come JPEG
Nome #
Firing Squad Synchronization Problem on Bidimensional Cellular Automata with Communication Constraints 190
Proceedings First Symposium on Games, Automata, Logic, and Formal Verification 175
A Compositional Approach to Synchronize Two Dimensional Networks of Processors 163
A Decidable Dense Branching-time Temporal Logic 162
Synchronization of a Line of Identical Processors at a Given Time 152
Verification of Scope-dependent Hierarchical State Machines 150
MODEL-CHECKING FOR GRADED CTL 147
Hierarchical and Recursive State Machines with Context-Dependent Properties 145
Timed tree Automata with an application to Temporal Logic 143
Compositionality in the Synchronization of Processors Exchanging a minimal amount of Information 142
Web structures: a tool for representing and manipulating programs 142
Representing hyper-graphs by regular languages 137
Verification of Succinct Hierarchical State Machines 135
Succinctness of descriptions of SBTA-languages 135
The word problem for visibly pushdown languages described by grammars 132
null 132
A Temporal Logic for Multi-threaded Programs 131
Automata-based Representations for Infinite Graphs 129
Graded-CTL: Satisfiability and Symbolic Model Checking 125
Graded CTL model checking for test generation. 124
A NuSMV Extension for Graded-CTL Model Checking 124
Different Time Solutions for the Firing Squad Synchronization Problem on Basic Grid Networks 123
C-tree systolic automata 122
Scope-Bounded Pushdown Languages 121
Coalitional Games with Priced-Resource Agents 119
Testing Programs by Queries 119
CTL Model-Checking with Graded Quantifiers 118
Graded Alternating-Time Temporal Logic 117
Parametric metric interval temporal logic 115
Synchronization of 1-way connected processors 113
Finite automata on timed omega-trees. 113
A Model of Finite Automata on Timed omega-Trees 111
Graded Alternating-Time Temporal Logic 110
Systolic Y-tree automata: closure properties and decision problemsFundamentals of Computation Theory 109
A Unifying Approach for Multistack Pushdown Automata 109
Proceedings of First International Symposium on Games, Automata, Logics and Formal Verification (GANDALF 2010) 107
Representing Infinite hyper-graphs by regular languages 104
Program Complexity in Hierarchical Module Checking 103
Specification and Verification of Protocols With Time Constraints 99
On a Logic for Coalitional Games with Priced-Resource Agents 99
Parallel Word Substitution 97
Weak Muller acceptance conditions for tree automata 96
Synchronization of a line of identical processors at a given timeTAPSOFT '97: Theory and Practice of Software Development 96
Model checking coalitional games in shortage resource scenarios 96
Scope-Bounded Pushdown Languages 93
Parametric Metric Interval Temporal Logic 91
State complexity of SBTA languagesLATIN '95: Theoretical Informatics 91
Graded Alternating Time Temporal Logic 90
On the Membership Problem for Visibly Pushdown Languages 89
Languages accepted by systolic Y-tree automata: structural characterizations 89
Weak Muller Acceptance Conditions for Tree Automata 82
Minimum and non-minimum time solutions to the firing squad synchronization problem 82
Reachability of scope-bounded multistack pushdown systems 79
Proceeding of the 1st International Sumposium on Games, Automata, Logics and Formal Verification (GANDALF 2010) 78
Reachability of Multistack Pushdown Systems with Scope-Bounded Matching Relations 75
Power of interconnections and of nondeterminism in regularY-tree systolic automata 72
null 67
Synchronization of 1-way connected processorsFundamentals of Computation Theory 62
Synchronization of a line of identical processors at a given time 48
Totale 6.719
Salva come PNG Salva come JPEG
Categoria #
all - tutte 22.910
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 22.910
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/202737 37 0 0 0 0 0 0 0 0 0 0 0
Totale 6.719