UniSa - IRIS Institutional Research Information System

NAPOLI, Margherita
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.490
AS - Asia 906
EU - Europa 868
SA - Sud America 92
AF - Africa 10
Continente sconosciuto - Info sul continente non disponibili 5
OC - Oceania 1
Totale 5.372
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.462
SG - Singapore 391
CN - Cina 280
UA - Ucraina 259
IT - Italia 187
RU - Federazione Russa 109
DE - Germania 86
BR - Brasile 78
IE - Irlanda 69
HK - Hong Kong 64
SE - Svezia 59
FI - Finlandia 57
TR - Turchia 54
VN - Vietnam 45
KR - Corea 32
CA - Canada 18
IN - India 11
GB - Regno Unito 10
PL - Polonia 9
FR - Francia 6
JP - Giappone 6
BD - Bangladesh 5
AR - Argentina 4
EU - Europa 4
IL - Israele 4
PK - Pakistan 4
EC - Ecuador 3
IQ - Iraq 3
KE - Kenya 3
MX - Messico 3
AE - Emirati Arabi Uniti 2
AL - Albania 2
AT - Austria 2
CL - Cile 2
ES - Italia 2
LT - Lituania 2
NP - Nepal 2
VE - Venezuela 2
AU - Australia 1
BA - Bosnia-Erzegovina 1
BB - Barbados 1
BG - Bulgaria 1
BO - Bolivia 1
CM - Camerun 1
CO - Colombia 1
CR - Costa Rica 1
CW - ???statistics.table.value.countryCode.CW??? 1
DO - Repubblica Dominicana 1
DZ - Algeria 1
GD - Grenada 1
HR - Croazia 1
JM - Giamaica 1
JO - Giordania 1
LU - Lussemburgo 1
MG - Madagascar 1
NE - Niger 1
NL - Olanda 1
PA - Panama 1
PT - Portogallo 1
PY - Paraguay 1
RO - Romania 1
SA - Arabia Saudita 1
SI - Slovenia 1
SK - Slovacchia (Repubblica Slovacca) 1
TN - Tunisia 1
TT - Trinidad e Tobago 1
UZ - Uzbekistan 1
ZA - Sudafrica 1
ZW - Zimbabwe 1
Totale 5.372
Salva come PNG Salva come JPEG
Città #
Ann Arbor 1.033
Wilmington 369
Jacksonville 316
Woodbridge 307
Chandler 285
Houston 231
Princeton 212
Singapore 194
Dallas 92
Dublin 69
Hong Kong 64
Nanjing 60
Andover 54
Izmir 51
Salerno 46
Ashburn 45
Pellezzano 42
Beijing 40
Mestre 38
Boardman 33
Moscow 24
Düsseldorf 20
Shenyang 20
Fairfield 19
Hebei 19
Jiaxing 18
Dong Ket 16
Nanchang 16
Changsha 13
Dearborn 13
Norwalk 12
The Dalles 12
Chicago 11
Hanoi 10
Los Angeles 10
Warsaw 9
Brooklyn 8
New York 8
San Diego 8
Tianjin 8
Des Moines 7
Munich 7
Ottawa 7
Somma 7
Ho Chi Minh City 6
Montreal 6
Tokyo 6
Avellino 5
Chennai 5
Council Bluffs 5
Napoli 5
São Paulo 5
Boydton 4
Brasília 4
Cambridge 4
Jinan 4
Philadelphia 4
Phoenix 4
San Francisco 4
Seattle 4
Spinea 4
Washington 4
Borgia 3
Boston 3
Frankfurt am Main 3
Guangzhou 3
Helsinki 3
Nairobi 3
Pune 3
Redwood City 3
Santa Clara 3
Shanghai 3
Atlanta 2
Biên Hòa 2
Cachan 2
Catania 2
Columbus 2
Curitiba 2
Denver 2
Dormagen 2
Edinburgh 2
Francisco I. Madero Municipality 2
Fuzhou 2
Grevenbroich 2
Ipatinga 2
Lahore 2
Las Vegas 2
London 2
Manaus 2
Mumbai 2
North Bergen 2
Providence 2
Quito 2
Rome 2
San Jose 2
San Martino Valle Caudina 2
Santiago 2
Stockholm 2
Thái Bình 2
Toronto 2
Totale 4.052
Salva come PNG Salva come JPEG
Nome #
Firing Squad Synchronization Problem on Bidimensional Cellular Automata with Communication Constraints 164
Proceedings First Symposium on Games, Automata, Logic, and Formal Verification 163
A Compositional Approach to Synchronize Two Dimensional Networks of Processors 135
null 132
Verification of Scope-dependent Hierarchical State Machines 129
A Decidable Dense Branching-time Temporal Logic 128
Synchronization of a Line of Identical Processors at a Given Time 127
MODEL-CHECKING FOR GRADED CTL 120
Timed tree Automata with an application to Temporal Logic 119
Web structures: a tool for representing and manipulating programs 119
Hierarchical and Recursive State Machines with Context-Dependent Properties 114
Representing hyper-graphs by regular languages 114
Succinctness of descriptions of SBTA-languages 114
Verification of Succinct Hierarchical State Machines 113
The word problem for visibly pushdown languages described by grammars 110
Compositionality in the Synchronization of Processors Exchanging a minimal amount of Information 109
A Temporal Logic for Multi-threaded Programs 108
A NuSMV Extension for Graded-CTL Model Checking 108
Automata-based Representations for Infinite Graphs 106
Graded CTL model checking for test generation. 104
Graded-CTL: Satisfiability and Symbolic Model Checking 101
Testing Programs by Queries 100
C-tree systolic automata 100
Parametric metric interval temporal logic 99
Different Time Solutions for the Firing Squad Synchronization Problem on Basic Grid Networks 98
Scope-Bounded Pushdown Languages 98
Finite automata on timed omega-trees. 98
Coalitional Games with Priced-Resource Agents 97
Graded Alternating-Time Temporal Logic 95
Synchronization of 1-way connected processors 93
Systolic Y-tree automata: closure properties and decision problemsFundamentals of Computation Theory 90
Program Complexity in Hierarchical Module Checking 90
Graded Alternating-Time Temporal Logic 89
CTL Model-Checking with Graded Quantifiers 88
Proceedings of First International Symposium on Games, Automata, Logics and Formal Verification (GANDALF 2010) 88
Specification and Verification of Protocols With Time Constraints 86
A Model of Finite Automata on Timed omega-Trees 84
Representing Infinite hyper-graphs by regular languages 84
Synchronization of a line of identical processors at a given timeTAPSOFT '97: Theory and Practice of Software Development 80
A Unifying Approach for Multistack Pushdown Automata 80
Scope-Bounded Pushdown Languages 79
Model checking coalitional games in shortage resource scenarios 78
On a Logic for Coalitional Games with Priced-Resource Agents 77
Weak Muller acceptance conditions for tree automata 76
Languages accepted by systolic Y-tree automata: structural characterizations 74
Parallel Word Substitution 71
Graded Alternating Time Temporal Logic 70
On the Membership Problem for Visibly Pushdown Languages 69
State complexity of SBTA languagesLATIN '95: Theoretical Informatics 69
Parametric Metric Interval Temporal Logic 67
null 67
Weak Muller Acceptance Conditions for Tree Automata 64
Reachability of Multistack Pushdown Systems with Scope-Bounded Matching Relations 63
Minimum and non-minimum time solutions to the firing squad synchronization problem 61
Proceeding of the 1st International Sumposium on Games, Automata, Logics and Formal Verification (GANDALF 2010) 59
Power of interconnections and of nondeterminism in regularY-tree systolic automata 58
Reachability of scope-bounded multistack pushdown systems 36
Synchronization of 1-way connected processorsFundamentals of Computation Theory 35
Synchronization of a line of identical processors at a given time 30
Totale 5.477
Salva come PNG Salva come JPEG
Categoria #
all - tutte 20.052
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 20.052
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021326 0 0 0 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/2026661 98 128 107 57 271 0 0 0 0 0 0 0
Totale 5.477