UniSa - IRIS Institutional Research Information System

NAPOLI, Margherita
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.084
AS - Asia 1.331
EU - Europa 1.162
SA - Sud America 143
Continente sconosciuto - Info sul continente non disponibili 110
AF - Africa 29
OC - Oceania 1
Totale 6.860
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.031
SG - Singapore 565
IT - Italia 398
CN - Cina 333
UA - Ucraina 261
RU - Federazione Russa 114
VN - Vietnam 111
HK - Hong Kong 108
BR - Brasile 100
DE - Germania 91
IE - Irlanda 69
TR - Turchia 62
SE - Svezia 60
FI - Finlandia 57
FR - Francia 57
KR - Corea 44
CA - Canada 26
IN - India 25
AR - Argentina 19
GB - Regno Unito 19
IQ - Iraq 16
BD - Bangladesh 12
PK - Pakistan 11
MX - Messico 10
PL - Polonia 10
JP - Giappone 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
JM - Giamaica 4
KE - Kenya 4
TN - Tunisia 4
EG - Egitto 3
MA - Marocco 3
PR - Porto Rico 3
AE - Emirati Arabi Uniti 2
AL - Albania 2
AT - Austria 2
DZ - Algeria 2
JO - Giordania 2
LT - Lituania 2
OM - Oman 2
PE - Perù 2
TT - Trinidad e Tobago 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
NI - Nicaragua 1
PA - Panama 1
PT - Portogallo 1
PY - Paraguay 1
QA - Qatar 1
RO - Romania 1
SI - Slovenia 1
SK - Slovacchia (Repubblica Slovacca) 1
ZW - Zimbabwe 1
Totale 6.755
Salva come PNG Salva come JPEG
Città #
Ann Arbor 1.033
Wilmington 369
Jacksonville 317
Singapore 310
Woodbridge 308
Chandler 285
Houston 233
San Jose 231
Princeton 212
Milan 128
Council Bluffs 120
Hong Kong 108
Ashburn 98
Dallas 93
Dublin 69
Nanjing 60
Beijing 59
Andover 54
Izmir 51
Lauterbourg 49
Salerno 46
Pellezzano 42
The Dalles 42
Mestre 38
Boardman 33
Ho Chi Minh City 29
Hanoi 27
Santa Clara 27
Rome 26
Moscow 24
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
Los Angeles 12
Norwalk 12
Memphis 11
São Paulo 10
Warsaw 10
Brooklyn 9
Philadelphia 9
San Diego 9
Tokyo 9
Turin 9
Chennai 8
Des Moines 8
Montreal 8
Phoenix 8
Tianjin 8
Munich 7
Ottawa 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
Shanghai 4
Spinea 4
Washington 4
Ankara 3
Borgia 3
Columbus 3
Guangzhou 3
Helsinki 3
Hải Dương 3
Johannesburg 3
Manchester 3
Pune 3
Redwood City 3
Santiago 3
Stockholm 3
Toronto 3
Vũng Tàu 3
Totale 5.035
Salva come PNG Salva come JPEG
Nome #
Firing Squad Synchronization Problem on Bidimensional Cellular Automata with Communication Constraints 196
Proceedings First Symposium on Games, Automata, Logic, and Formal Verification 175
A Decidable Dense Branching-time Temporal Logic 166
A Compositional Approach to Synchronize Two Dimensional Networks of Processors 166
Synchronization of a Line of Identical Processors at a Given Time 159
Verification of Scope-dependent Hierarchical State Machines 151
Timed tree Automata with an application to Temporal Logic 148
MODEL-CHECKING FOR GRADED CTL 148
Hierarchical and Recursive State Machines with Context-Dependent Properties 147
Compositionality in the Synchronization of Processors Exchanging a minimal amount of Information 146
Web structures: a tool for representing and manipulating programs 144
Representing hyper-graphs by regular languages 139
Succinctness of descriptions of SBTA-languages 138
Verification of Succinct Hierarchical State Machines 136
The word problem for visibly pushdown languages described by grammars 133
A Temporal Logic for Multi-threaded Programs 133
null 132
Automata-based Representations for Infinite Graphs 130
Different Time Solutions for the Firing Squad Synchronization Problem on Basic Grid Networks 127
Graded CTL model checking for test generation. 126
Graded-CTL: Satisfiability and Symbolic Model Checking 126
A NuSMV Extension for Graded-CTL Model Checking 126
Coalitional Games with Priced-Resource Agents 124
Scope-Bounded Pushdown Languages 124
C-tree systolic automata 123
Graded Alternating-Time Temporal Logic 122
Testing Programs by Queries 120
CTL Model-Checking with Graded Quantifiers 119
Parametric metric interval temporal logic 117
Finite automata on timed omega-trees. 115
Synchronization of 1-way connected processors 114
A Model of Finite Automata on Timed omega-Trees 113
Systolic Y-tree automata: closure properties and decision problemsFundamentals of Computation Theory 113
A Unifying Approach for Multistack Pushdown Automata 113
Graded Alternating-Time Temporal Logic 112
Proceedings of First International Symposium on Games, Automata, Logics and Formal Verification (GANDALF 2010) 110
Representing Infinite hyper-graphs by regular languages 107
Program Complexity in Hierarchical Module Checking 105
On a Logic for Coalitional Games with Priced-Resource Agents 101
Weak Muller acceptance conditions for tree automata 100
Specification and Verification of Protocols With Time Constraints 100
Synchronization of a line of identical processors at a given timeTAPSOFT '97: Theory and Practice of Software Development 99
Model checking coalitional games in shortage resource scenarios 99
Parallel Word Substitution 98
Scope-Bounded Pushdown Languages 95
Parametric Metric Interval Temporal Logic 94
State complexity of SBTA languagesLATIN '95: Theoretical Informatics 94
Graded Alternating Time Temporal Logic 93
Languages accepted by systolic Y-tree automata: structural characterizations 91
On the Membership Problem for Visibly Pushdown Languages 90
Minimum and non-minimum time solutions to the firing squad synchronization problem 87
Weak Muller Acceptance Conditions for Tree Automata 85
Reachability of scope-bounded multistack pushdown systems 82
Proceeding of the 1st International Sumposium on Games, Automata, Logics and Formal Verification (GANDALF 2010) 79
Reachability of Multistack Pushdown Systems with Scope-Bounded Matching Relations 77
Power of interconnections and of nondeterminism in regularY-tree systolic automata 74
null 67
Synchronization of 1-way connected processorsFundamentals of Computation Theory 63
Synchronization of a line of identical processors at a given time 49
Totale 6.860
Salva come PNG Salva come JPEG
Categoria #
all - tutte 24.112
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 24.112
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/2027178 89 68 21 0 0 0 0 0 0 0 0 0
Totale 6.860