NAPOLI, Margherita
 Distribuzione geografica
Continente #
NA - Nord America 3.230
EU - Europa 835
AS - Asia 509
SA - Sud America 47
Continente sconosciuto - Info sul continente non disponibili 4
AF - Africa 3
OC - Oceania 1
Totale 4.629
Nazione #
US - Stati Uniti d'America 3.223
UA - Ucraina 259
CN - Cina 202
SG - Singapore 190
IT - Italia 186
RU - Federazione Russa 109
DE - Germania 78
IE - Irlanda 69
FI - Finlandia 57
SE - Svezia 57
TR - Turchia 53
BR - Brasile 43
KR - Corea 29
VN - Vietnam 22
CA - Canada 7
GB - Regno Unito 6
EU - Europa 4
FR - Francia 4
IN - India 4
IL - Israele 3
AT - Austria 2
IQ - Iraq 2
JP - Giappone 2
PK - Pakistan 2
PL - Polonia 2
VE - Venezuela 2
AL - Albania 1
AR - Argentina 1
AU - Australia 1
BG - Bulgaria 1
CM - Camerun 1
EC - Ecuador 1
HR - Croazia 1
KE - Kenya 1
LU - Lussemburgo 1
NE - Niger 1
PT - Portogallo 1
RO - Romania 1
Totale 4.629
Città #
Ann Arbor 1.033
Wilmington 369
Jacksonville 316
Woodbridge 307
Chandler 285
Houston 229
Princeton 212
Singapore 78
Dublin 69
Nanjing 60
Andover 54
Izmir 51
Salerno 46
Pellezzano 42
Mestre 38
Boardman 33
Moscow 24
Beijing 20
Düsseldorf 20
Shenyang 20
Fairfield 19
Hebei 19
Jiaxing 18
Dong Ket 16
Nanchang 16
Ashburn 15
Changsha 13
Dearborn 13
Norwalk 12
The Dalles 10
Tianjin 8
Somma 7
Des Moines 6
Ottawa 6
San Diego 6
Avellino 5
Hanoi 5
Los Angeles 5
Napoli 5
Cambridge 4
Jinan 4
Philadelphia 4
Spinea 4
Borgia 3
Guangzhou 3
Helsinki 3
Pune 3
Redwood City 3
Shanghai 3
São Paulo 3
Cachan 2
Catania 2
Dormagen 2
Edinburgh 2
Fuzhou 2
Grevenbroich 2
Munich 2
North Bergen 2
San Martino Valle Caudina 2
Tokyo 2
Warsaw 2
Washington 2
Agawam 1
Aiello Del Sabato 1
Amargosa 1
Aracaju 1
Araçatuba 1
Atlanta 1
Avellaneda 1
Brasília 1
Brisbane 1
Bursa 1
Cabimas 1
Campina Grande 1
Caraguatatuba 1
Chino Hills 1
Contagem 1
Council Bluffs 1
Cruzeiro 1
Curitiba 1
Dallas 1
Duque de Caxias 1
Erbil 1
Fazenda Rio Grande 1
Guarujá 1
Ho Chi Minh City 1
Ipatinga 1
Itabela 1
Jinhua 1
Joinville 1
Kirkuk 1
Kunming 1
La Guaira 1
Lahore 1
Lanzhou 1
Lappeenranta 1
Las Piñas de Julcuy 1
Las Vegas 1
Lisbon 1
London 1
Totale 3.609
Nome #
Proceedings First Symposium on Games, Automata, Logic, and Formal Verification 152
Firing Squad Synchronization Problem on Bidimensional Cellular Automata with Communication Constraints 148
null 132
Verification of Scope-dependent Hierarchical State Machines 120
Synchronization of a Line of Identical Processors at a Given Time 119
A Decidable Dense Branching-time Temporal Logic 113
Timed tree Automata with an application to Temporal Logic 112
A Compositional Approach to Synchronize Two Dimensional Networks of Processors 109
Succinctness of descriptions of SBTA-languages 108
Web structures: a tool for representing and manipulating programs 108
Verification of Succinct Hierarchical State Machines 105
Representing hyper-graphs by regular languages 102
Hierarchical and Recursive State Machines with Context-Dependent Properties 98
The word problem for visibly pushdown languages described by grammars 98
Testing Programs by Queries 93
Compositionality in the Synchronization of Processors Exchanging a minimal amount of Information 91
Graded CTL model checking for test generation. 90
Parametric metric interval temporal logic 90
Scope-Bounded Pushdown Languages 88
Different Time Solutions for the Firing Squad Synchronization Problem on Basic Grid Networks 85
Coalitional Games with Priced-Resource Agents 85
A Temporal Logic for Multi-threaded Programs 85
C-tree systolic automata 85
Proceedings of First International Symposium on Games, Automata, Logics and Formal Verification (GANDALF 2010) 83
Systolic Y-tree automata: closure properties and decision problemsFundamentals of Computation Theory 83
Automata-based Representations for Infinite Graphs 81
A NuSMV Extension for Graded-CTL Model Checking 81
Synchronization of 1-way connected processors 80
Graded Alternating-Time Temporal Logic 80
Graded-CTL: Satisfiability and Symbolic Model Checking 80
Finite automata on timed omega-trees. 80
Program Complexity in Hierarchical Module Checking 79
Specification and Verification of Protocols With Time Constraints 76
Scope-Bounded Pushdown Languages 76
Representing Infinite hyper-graphs by regular languages 75
Graded Alternating-Time Temporal Logic 75
On a Logic for Coalitional Games with Priced-Resource Agents 72
Synchronization of a line of identical processors at a given timeTAPSOFT '97: Theory and Practice of Software Development 72
Weak Muller acceptance conditions for tree automata 69
CTL Model-Checking with Graded Quantifiers 68
Languages accepted by systolic Y-tree automata: structural characterizations 67
null 67
Model checking coalitional games in shortage resource scenarios 67
A Model of Finite Automata on Timed omega-Trees 65
On the Membership Problem for Visibly Pushdown Languages 63
MODEL-CHECKING FOR GRADED CTL 63
Parametric Metric Interval Temporal Logic 62
Parallel Word Substitution 61
State complexity of SBTA languagesLATIN '95: Theoretical Informatics 61
A Unifying Approach for Multistack Pushdown Automata 61
Weak Muller Acceptance Conditions for Tree Automata 56
Graded Alternating Time Temporal Logic 56
Reachability of Multistack Pushdown Systems with Scope-Bounded Matching Relations 56
Proceeding of the 1st International Sumposium on Games, Automata, Logics and Formal Verification (GANDALF 2010) 50
Power of interconnections and of nondeterminism in regularY-tree systolic automata 49
Minimum and non-minimum time solutions to the firing squad synchronization problem 35
Synchronization of 1-way connected processorsFundamentals of Computation Theory 27
Reachability of scope-bounded multistack pushdown systems 21
Synchronization of a line of identical processors at a given time 21
Totale 4.734
Categoria #
all - tutte 15.026
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 15.026


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202070 0 0 0 0 0 0 0 0 0 0 62 8
2020/2021439 4 56 53 0 52 14 58 0 103 3 66 30
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/2025374 41 1 19 23 19 61 77 56 54 23 0 0
Totale 4.734