UniSa - IRIS Institutional Research Information System

NAPOLI, Margherita
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.903
AS - Asia 1.295
EU - Europa 950
SA - Sud America 139
AF - Africa 29
Continente sconosciuto - Info sul continente non disponibili 5
OC - Oceania 1
Totale 6.322
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.865
SG - Singapore 553
CN - Cina 316
UA - Ucraina 260
IT - Italia 190
RU - Federazione Russa 114
VN - Vietnam 111
HK - Hong Kong 101
BR - Brasile 98
DE - Germania 91
IE - Irlanda 69
TR - Turchia 62
SE - Svezia 60
FI - Finlandia 57
FR - Francia 56
KR - Corea 44
IN - India 25
CA - Canada 21
AR - Argentina 19
GB - Regno Unito 19
IQ - Iraq 16
BD - Bangladesh 12
PK - Pakistan 11
PL - Polonia 10
JP - Giappone 9
MX - Messico 8
EC - Ecuador 6
NL - Olanda 6
NP - Nepal 6
VE - Venezuela 6
SA - Arabia Saudita 5
UZ - Uzbekistan 5
ZA - Sudafrica 5
CL - Cile 4
ES - Italia 4
EU - Europa 4
ID - Indonesia 4
IL - Israele 4
KE - Kenya 4
TN - Tunisia 4
CO - Colombia 3
EG - Egitto 3
MA - Marocco 3
AE - Emirati Arabi Uniti 2
AL - Albania 2
AT - Austria 2
DZ - Algeria 2
JO - Giordania 2
LT - Lituania 2
OM - Oman 2
AU - Australia 1
AZ - Azerbaigian 1
BA - Bosnia-Erzegovina 1
BB - Barbados 1
BG - Bulgaria 1
BH - Bahrain 1
BO - Bolivia 1
BW - Botswana 1
BZ - Belize 1
CI - Costa d'Avorio 1
CM - Camerun 1
CR - Costa Rica 1
CW - ???statistics.table.value.countryCode.CW??? 1
CY - Cipro 1
DO - Repubblica Dominicana 1
GD - Grenada 1
GT - Guatemala 1
HR - Croazia 1
JM - Giamaica 1
LU - Lussemburgo 1
LY - Libia 1
MG - Madagascar 1
MY - Malesia 1
NE - Niger 1
NG - Nigeria 1
PA - Panama 1
PE - Perù 1
PT - Portogallo 1
PY - Paraguay 1
QA - Qatar 1
RO - Romania 1
SI - Slovenia 1
SK - Slovacchia (Repubblica Slovacca) 1
TT - Trinidad e Tobago 1
ZW - Zimbabwe 1
Totale 6.322
Salva come PNG Salva come JPEG
Città #
Ann Arbor 1.033
Wilmington 369
Jacksonville 316
Woodbridge 307
Singapore 301
Chandler 285
Houston 232
San Jose 231
Princeton 212
Hong Kong 101
Ashburn 94
Dallas 93
Dublin 69
Council Bluffs 63
Nanjing 60
Andover 54
Izmir 51
Lauterbourg 49
Salerno 46
Beijing 45
Pellezzano 42
The Dalles 41
Mestre 38
Boardman 33
Ho Chi Minh City 29
Hanoi 27
Moscow 24
Düsseldorf 20
Shenyang 20
Fairfield 19
Hebei 19
Jiaxing 18
Dong Ket 16
Nanchang 16
Changsha 13
Dearborn 13
Chicago 12
Norwalk 12
Los Angeles 11
New York 11
São Paulo 10
Warsaw 10
San Diego 9
Tokyo 9
Brooklyn 8
Chennai 8
Des Moines 8
Montreal 8
Tianjin 8
Munich 7
Ottawa 7
Santa Clara 7
Somma 7
Baghdad 6
Frankfurt am Main 6
Amsterdam 5
Avellino 5
Da Nang 5
Lahore 5
Napoli 5
Orem 5
Phoenix 5
Tashkent 5
Atlanta 4
Biên Hòa 4
Boston 4
Boydton 4
Brasília 4
Cambridge 4
Denver 4
Istanbul 4
Jinan 4
London 4
Nairobi 4
Philadelphia 4
San Francisco 4
Seattle 4
Spinea 4
Washington 4
Ankara 3
Borgia 3
Guangzhou 3
Helsinki 3
Hải Dương 3
Johannesburg 3
Manchester 3
Pune 3
Redwood City 3
Santiago 3
Shanghai 3
Stockholm 3
Vũng Tàu 3
Amman 2
Avellaneda 2
Buenos Aires 2
Cachan 2
Caracas 2
Cardiff 2
Catania 2
Charlotte 2
Totale 4.722
Salva come PNG Salva come JPEG
Nome #
Firing Squad Synchronization Problem on Bidimensional Cellular Automata with Communication Constraints 185
Proceedings First Symposium on Games, Automata, Logic, and Formal Verification 174
A Decidable Dense Branching-time Temporal Logic 161
A Compositional Approach to Synchronize Two Dimensional Networks of Processors 156
Synchronization of a Line of Identical Processors at a Given Time 146
Verification of Scope-dependent Hierarchical State Machines 145
MODEL-CHECKING FOR GRADED CTL 138
Hierarchical and Recursive State Machines with Context-Dependent Properties 137
Timed tree Automata with an application to Temporal Logic 136
null 132
Web structures: a tool for representing and manipulating programs 131
Verification of Succinct Hierarchical State Machines 130
Automata-based Representations for Infinite Graphs 129
The word problem for visibly pushdown languages described by grammars 129
Compositionality in the Synchronization of Processors Exchanging a minimal amount of Information 129
Representing hyper-graphs by regular languages 128
Succinctness of descriptions of SBTA-languages 126
A Temporal Logic for Multi-threaded Programs 125
A NuSMV Extension for Graded-CTL Model Checking 122
Different Time Solutions for the Firing Squad Synchronization Problem on Basic Grid Networks 120
Graded-CTL: Satisfiability and Symbolic Model Checking 118
Graded CTL model checking for test generation. 116
C-tree systolic automata 116
Graded Alternating-Time Temporal Logic 115
Testing Programs by Queries 114
Scope-Bounded Pushdown Languages 114
Coalitional Games with Priced-Resource Agents 112
Parametric metric interval temporal logic 109
Finite automata on timed omega-trees. 109
CTL Model-Checking with Graded Quantifiers 108
Synchronization of 1-way connected processors 107
Systolic Y-tree automata: closure properties and decision problemsFundamentals of Computation Theory 107
Graded Alternating-Time Temporal Logic 105
A Model of Finite Automata on Timed omega-Trees 103
Proceedings of First International Symposium on Games, Automata, Logics and Formal Verification (GANDALF 2010) 101
A Unifying Approach for Multistack Pushdown Automata 101
Specification and Verification of Protocols With Time Constraints 97
Program Complexity in Hierarchical Module Checking 97
Representing Infinite hyper-graphs by regular languages 94
Weak Muller acceptance conditions for tree automata 93
On a Logic for Coalitional Games with Priced-Resource Agents 93
Model checking coalitional games in shortage resource scenarios 92
Synchronization of a line of identical processors at a given timeTAPSOFT '97: Theory and Practice of Software Development 91
Scope-Bounded Pushdown Languages 91
On the Membership Problem for Visibly Pushdown Languages 88
Parallel Word Substitution 88
State complexity of SBTA languagesLATIN '95: Theoretical Informatics 88
Languages accepted by systolic Y-tree automata: structural characterizations 87
Parametric Metric Interval Temporal Logic 86
Graded Alternating Time Temporal Logic 83
Weak Muller Acceptance Conditions for Tree Automata 80
Minimum and non-minimum time solutions to the firing squad synchronization problem 80
Reachability of scope-bounded multistack pushdown systems 78
Reachability of Multistack Pushdown Systems with Scope-Bounded Matching Relations 74
Proceeding of the 1st International Sumposium on Games, Automata, Logics and Formal Verification (GANDALF 2010) 71
Power of interconnections and of nondeterminism in regularY-tree systolic automata 71
null 67
Synchronization of 1-way connected processorsFundamentals of Computation Theory 56
Synchronization of a line of identical processors at a given time 48
Totale 6.427
Salva come PNG Salva come JPEG
Categoria #
all - tutte 22.054
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 22.054
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202196 0 0 0 0 0 0 0 0 0 0 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.611 98 128 107 57 279 135 362 78 135 201 31 0
Totale 6.427