UniSa - IRIS Institutional Research Information System

NAPOLI, Margherita
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.435
EU - Europa 861
AS - Asia 664
SA - Sud America 79
AF - Africa 8
Continente sconosciuto - Info sul continente non disponibili 5
OC - Oceania 1
Totale 5.053
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.415
UA - Ucraina 259
CN - Cina 238
SG - Singapore 214
IT - Italia 186
RU - Federazione Russa 109
DE - Germania 85
BR - Brasile 70
IE - Irlanda 69
HK - Hong Kong 63
SE - Svezia 58
FI - Finlandia 57
TR - Turchia 54
KR - Corea 32
VN - Vietnam 29
CA - Canada 15
GB - Regno Unito 10
IN - India 10
PL - Polonia 7
FR - Francia 6
BD - Bangladesh 4
EU - Europa 4
IL - Israele 4
JP - Giappone 4
PK - Pakistan 4
IQ - Iraq 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
BA - Bosnia-Erzegovina 1
BB - Barbados 1
BG - Bulgaria 1
BO - Bolivia 1
CL - Cile 1
CM - Camerun 1
CW - ???statistics.table.value.countryCode.CW??? 1
DZ - Algeria 1
ES - Italia 1
HR - Croazia 1
JM - Giamaica 1
LU - Lussemburgo 1
MG - Madagascar 1
MX - Messico 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
TT - Trinidad e Tobago 1
UZ - Uzbekistan 1
ZW - Zimbabwe 1
Totale 5.053
Salva come PNG Salva come JPEG
Città #
Ann Arbor 1.033
Wilmington 369
Jacksonville 316
Woodbridge 307
Chandler 285
Houston 229
Princeton 212
Singapore 98
Dallas 92
Dublin 69
Hong Kong 63
Nanjing 60
Andover 54
Izmir 51
Salerno 46
Pellezzano 42
Mestre 38
Boardman 33
Ashburn 28
Moscow 24
Beijing 21
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 10
Los Angeles 8
New York 8
San Diego 8
Tianjin 8
Brooklyn 7
Hanoi 7
Munich 7
Ottawa 7
Somma 7
Warsaw 7
Des Moines 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
Tokyo 4
Washington 4
Borgia 3
Boydton 3
Guangzhou 3
Helsinki 3
Nairobi 3
Phoenix 3
Pune 3
Redwood City 3
Shanghai 3
Atlanta 2
Boston 2
Cachan 2
Catania 2
Curitiba 2
Dormagen 2
Edinburgh 2
Frankfurt am Main 2
Fuzhou 2
Grevenbroich 2
Ho Chi Minh City 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
Alto Paraíso de Goiás 1
Amargosa 1
Amsterdam 1
Ankara 1
Annapolis 1
Antananarivo 1
Aracaju 1
Araras 1
Araçatuba 1
Asunción 1
Aubervilliers 1
Totale 3.881
Salva come PNG Salva come JPEG
Nome #
Proceedings First Symposium on Games, Automata, Logic, and Formal Verification 159
Firing Squad Synchronization Problem on Bidimensional Cellular Automata with Communication Constraints 156
null 132
Verification of Scope-dependent Hierarchical State Machines 127
A Compositional Approach to Synchronize Two Dimensional Networks of Processors 124
Synchronization of a Line of Identical Processors at a Given Time 122
A Decidable Dense Branching-time Temporal Logic 119
Timed tree Automata with an application to Temporal Logic 116
Web structures: a tool for representing and manipulating programs 114
MODEL-CHECKING FOR GRADED CTL 111
Representing hyper-graphs by regular languages 110
Succinctness of descriptions of SBTA-languages 110
Verification of Succinct Hierarchical State Machines 109
The word problem for visibly pushdown languages described by grammars 106
Hierarchical and Recursive State Machines with Context-Dependent Properties 105
A Temporal Logic for Multi-threaded Programs 100
A NuSMV Extension for Graded-CTL Model Checking 100
Compositionality in the Synchronization of Processors Exchanging a minimal amount of Information 98
Testing Programs by Queries 97
Scope-Bounded Pushdown Languages 96
Graded CTL model checking for test generation. 95
Parametric metric interval temporal logic 95
Automata-based Representations for Infinite Graphs 94
C-tree systolic automata 92
Different Time Solutions for the Firing Squad Synchronization Problem on Basic Grid Networks 91
Graded-CTL: Satisfiability and Symbolic Model Checking 91
Coalitional Games with Priced-Resource Agents 90
Synchronization of 1-way connected processors 88
Graded Alternating-Time Temporal Logic 87
Finite automata on timed omega-trees. 87
Proceedings of First International Symposium on Games, Automata, Logics and Formal Verification (GANDALF 2010) 86
Systolic Y-tree automata: closure properties and decision problemsFundamentals of Computation Theory 85
Program Complexity in Hierarchical Module Checking 85
Specification and Verification of Protocols With Time Constraints 82
CTL Model-Checking with Graded Quantifiers 82
Graded Alternating-Time Temporal Logic 81
Representing Infinite hyper-graphs by regular languages 79
A Model of Finite Automata on Timed omega-Trees 76
Scope-Bounded Pushdown Languages 76
Synchronization of a line of identical processors at a given timeTAPSOFT '97: Theory and Practice of Software Development 75
On a Logic for Coalitional Games with Priced-Resource Agents 74
Weak Muller acceptance conditions for tree automata 72
A Unifying Approach for Multistack Pushdown Automata 71
Model checking coalitional games in shortage resource scenarios 71
Languages accepted by systolic Y-tree automata: structural characterizations 70
Parallel Word Substitution 68
null 67
On the Membership Problem for Visibly Pushdown Languages 66
Parametric Metric Interval Temporal Logic 66
State complexity of SBTA languagesLATIN '95: Theoretical Informatics 66
Graded Alternating Time Temporal Logic 64
Weak Muller Acceptance Conditions for Tree Automata 61
Reachability of Multistack Pushdown Systems with Scope-Bounded Matching Relations 61
Proceeding of the 1st International Sumposium on Games, Automata, Logics and Formal Verification (GANDALF 2010) 57
Power of interconnections and of nondeterminism in regularY-tree systolic automata 56
Minimum and non-minimum time solutions to the firing squad synchronization problem 49
Reachability of scope-bounded multistack pushdown systems 34
Synchronization of 1-way connected processorsFundamentals of Computation Theory 32
Synchronization of a line of identical processors at a given time 25
Totale 5.158
Salva come PNG Salva come JPEG
Categoria #
all - tutte 18.799
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 18.799
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/2026342 98 128 107 9 0 0 0 0 0 0 0 0
Totale 5.158