NAPOLI, Margherita
 Distribuzione geografica
Continente #
NA - Nord America 3.275
EU - Europa 844
AS - Asia 528
SA - Sud America 56
AF - Africa 4
Continente sconosciuto - Info sul continente non disponibili 4
OC - Oceania 1
Totale 4.712
Nazione #
US - Stati Uniti d'America 3.263
UA - Ucraina 259
CN - Cina 202
SG - Singapore 196
IT - Italia 186
RU - Federazione Russa 109
DE - Germania 80
IE - Irlanda 69
SE - Svezia 58
FI - Finlandia 57
TR - Turchia 54
BR - Brasile 52
KR - Corea 31
VN - Vietnam 22
CA - Canada 10
GB - Regno Unito 7
IN - India 6
FR - Francia 5
PL - Polonia 5
EU - Europa 4
IL - Israele 4
IQ - Iraq 3
AT - Austria 2
HK - Hong Kong 2
JP - Giappone 2
PK - Pakistan 2
VE - Venezuela 2
AE - Emirati Arabi Uniti 1
AL - Albania 1
AR - Argentina 1
AU - Australia 1
BD - Bangladesh 1
BG - Bulgaria 1
CM - Camerun 1
DZ - Algeria 1
EC - Ecuador 1
HR - Croazia 1
KE - Kenya 1
LT - Lituania 1
LU - Lussemburgo 1
MX - Messico 1
NE - Niger 1
NP - Nepal 1
PT - Portogallo 1
RO - Romania 1
SA - Arabia Saudita 1
TT - Trinidad e Tobago 1
Totale 4.712
Città #
Ann Arbor 1.033
Wilmington 369
Jacksonville 316
Woodbridge 307
Chandler 285
Houston 229
Princeton 212
Singapore 82
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
Ashburn 16
Dong Ket 16
Nanchang 16
Changsha 13
Dearborn 13
Norwalk 12
The Dalles 11
Tianjin 8
Los Angeles 7
San Diego 7
Somma 7
Des Moines 6
Ottawa 6
Avellino 5
Brooklyn 5
Chicago 5
Hanoi 5
Napoli 5
New York 5
Warsaw 5
Cambridge 4
Jinan 4
Montreal 4
Munich 4
Philadelphia 4
Spinea 4
Borgia 3
Brasília 3
Guangzhou 3
Helsinki 3
Pune 3
Redwood City 3
Shanghai 3
São Paulo 3
Washington 3
Cachan 2
Catania 2
Dormagen 2
Edinburgh 2
Fuzhou 2
Grevenbroich 2
Hong Kong 2
Ipatinga 2
Manaus 2
North Bergen 2
Phoenix 2
San Francisco 2
San Martino Valle Caudina 2
Tokyo 2
Agawam 1
Aiello Del Sabato 1
Amargosa 1
Ankara 1
Aracaju 1
Araras 1
Araçatuba 1
Atlanta 1
Aubervilliers 1
Avellaneda 1
Baghdad 1
Boston 1
Brisbane 1
Bursa 1
Cabimas 1
Campina Grande 1
Caraguatatuba 1
Chaguanas 1
Charlotte 1
Chennai 1
Chino Hills 1
Columbus 1
Contagem 1
Council Bluffs 1
Cruzeiro 1
Curitiba 1
Dallas 1
Duque de Caxias 1
Totale 3.646
Nome #
Proceedings First Symposium on Games, Automata, Logic, and Formal Verification 153
Firing Squad Synchronization Problem on Bidimensional Cellular Automata with Communication Constraints 149
null 132
Verification of Scope-dependent Hierarchical State Machines 121
Synchronization of a Line of Identical Processors at a Given Time 120
A Decidable Dense Branching-time Temporal Logic 114
Timed tree Automata with an application to Temporal Logic 113
A Compositional Approach to Synchronize Two Dimensional Networks of Processors 113
Succinctness of descriptions of SBTA-languages 109
Web structures: a tool for representing and manipulating programs 109
Verification of Succinct Hierarchical State Machines 106
Representing hyper-graphs by regular languages 105
Hierarchical and Recursive State Machines with Context-Dependent Properties 99
The word problem for visibly pushdown languages described by grammars 99
Testing Programs by Queries 94
Compositionality in the Synchronization of Processors Exchanging a minimal amount of Information 93
Graded CTL model checking for test generation. 92
Parametric metric interval temporal logic 91
Scope-Bounded Pushdown Languages 91
A Temporal Logic for Multi-threaded Programs 88
C-tree systolic automata 87
Different Time Solutions for the Firing Squad Synchronization Problem on Basic Grid Networks 86
Coalitional Games with Priced-Resource Agents 86
Automata-based Representations for Infinite Graphs 84
Systolic Y-tree automata: closure properties and decision problemsFundamentals of Computation Theory 84
Proceedings of First International Symposium on Games, Automata, Logics and Formal Verification (GANDALF 2010) 83
Graded-CTL: Satisfiability and Symbolic Model Checking 83
Finite automata on timed omega-trees. 83
A NuSMV Extension for Graded-CTL Model Checking 83
Synchronization of 1-way connected processors 81
Graded Alternating-Time Temporal Logic 81
Program Complexity in Hierarchical Module Checking 81
Specification and Verification of Protocols With Time Constraints 77
Graded Alternating-Time Temporal Logic 77
Representing Infinite hyper-graphs by regular languages 76
Scope-Bounded Pushdown Languages 76
Synchronization of a line of identical processors at a given timeTAPSOFT '97: Theory and Practice of Software Development 73
On a Logic for Coalitional Games with Priced-Resource Agents 72
CTL Model-Checking with Graded Quantifiers 71
Weak Muller acceptance conditions for tree automata 69
Languages accepted by systolic Y-tree automata: structural characterizations 68
Model checking coalitional games in shortage resource scenarios 68
A Model of Finite Automata on Timed omega-Trees 67
null 67
MODEL-CHECKING FOR GRADED CTL 66
On the Membership Problem for Visibly Pushdown Languages 64
Parametric Metric Interval Temporal Logic 62
Parallel Word Substitution 62
State complexity of SBTA languagesLATIN '95: Theoretical Informatics 62
A Unifying Approach for Multistack Pushdown Automata 62
Graded Alternating Time Temporal Logic 59
Weak Muller Acceptance Conditions for Tree Automata 56
Reachability of Multistack Pushdown Systems with Scope-Bounded Matching Relations 56
Power of interconnections and of nondeterminism in regularY-tree systolic automata 52
Proceeding of the 1st International Sumposium on Games, Automata, Logics and Formal Verification (GANDALF 2010) 51
Minimum and non-minimum time solutions to the firing squad synchronization problem 37
Synchronization of 1-way connected processorsFundamentals of Computation Theory 28
Reachability of scope-bounded multistack pushdown systems 24
Synchronization of a line of identical processors at a given time 22
Totale 4.817
Categoria #
all - tutte 15.816
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.816


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
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/2025456 41 1 19 23 19 61 77 56 54 23 51 31
2025/20261 1 0 0 0 0 0 0 0 0 0 0 0
Totale 4.817