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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021435 0 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/2026167 98 69 0 0 0 0 0 0 0 0 0 0
Totale 4.983