POMELLO CHINAGLIA POMELLO, LUCIA
 Distribuzione geografica
Continente #
AS - Asia 8.133
NA - Nord America 6.479
EU - Europa 3.130
Continente sconosciuto - Info sul continente non disponibili 436
SA - Sud America 429
AF - Africa 73
OC - Oceania 3
Totale 18.683
Nazione #
US - Stati Uniti d'America 6.053
SG - Singapore 5.776
IT - Italia 951
CN - Cina 878
VN - Vietnam 473
HK - Hong Kong 442
RU - Federazione Russa 398
CA - Canada 385
BR - Brasile 316
SE - Svezia 315
DE - Germania 314
IE - Irlanda 261
UA - Ucraina 223
GB - Regno Unito 142
FR - Francia 131
BD - Bangladesh 126
IN - India 103
AT - Austria 99
DK - Danimarca 98
KR - Corea 91
FI - Finlandia 65
NL - Olanda 47
AR - Argentina 39
TR - Turchia 30
PK - Pakistan 29
ID - Indonesia 28
IQ - Iraq 28
BE - Belgio 27
JP - Giappone 23
ZA - Sudafrica 22
SA - Arabia Saudita 19
EC - Ecuador 17
MX - Messico 16
MY - Malesia 16
PH - Filippine 15
CO - Colombia 12
UZ - Uzbekistan 11
MA - Marocco 10
UY - Uruguay 10
VE - Venezuela 10
PY - Paraguay 9
CL - Cile 8
KE - Kenya 8
PL - Polonia 8
JM - Giamaica 7
RO - Romania 7
ES - Italia 6
ET - Etiopia 6
JO - Giordania 6
NP - Nepal 6
RS - Serbia 6
TN - Tunisia 6
PS - Palestinian Territory 5
AE - Emirati Arabi Uniti 4
AL - Albania 4
AZ - Azerbaigian 4
BO - Bolivia 4
CH - Svizzera 4
EG - Egitto 4
EU - Europa 4
HN - Honduras 4
NG - Nigeria 4
PT - Portogallo 4
TH - Thailandia 4
DO - Repubblica Dominicana 3
DZ - Algeria 3
EE - Estonia 3
HR - Croazia 3
KZ - Kazakistan 3
LB - Libano 3
LV - Lettonia 3
NI - Nicaragua 3
OM - Oman 3
PE - Perù 3
SK - Slovacchia (Repubblica Slovacca) 3
AO - Angola 2
BG - Bulgaria 2
CR - Costa Rica 2
IR - Iran 2
NO - Norvegia 2
NZ - Nuova Zelanda 2
SN - Senegal 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AF - Afghanistan, Repubblica islamica di 1
AU - Australia 1
BN - Brunei Darussalam 1
BZ - Belize 1
CG - Congo 1
CI - Costa d'Avorio 1
CM - Camerun 1
GP - Guadalupe 1
GT - Guatemala 1
GY - Guiana 1
HU - Ungheria 1
IL - Israele 1
KH - Cambogia 1
LT - Lituania 1
LY - Libia 1
MD - Moldavia 1
ME - Montenegro 1
Totale 18.246
Città #
Ann Arbor 1.006
Singapore 617
San Jose 515
Hong Kong 433
Ashburn 423
Woodbridge 372
Milan 365
Chandler 302
Toronto 301
Fairfield 273
Houston 271
Dublin 245
Frankfurt am Main 239
Wilmington 234
Dearborn 232
Santa Clara 229
Jacksonville 220
New York 156
Beijing 147
Council Bluffs 129
Seattle 124
Hefei 111
Princeton 101
Dong Ket 98
Ho Chi Minh City 94
Vienna 94
Hanoi 92
Cambridge 91
Los Angeles 90
Seoul 90
Nanjing 83
Rome 79
Chicago 74
Shanghai 64
The Dalles 59
Lauterbourg 58
Dallas 57
Boardman 55
Buffalo 40
Lawrence 39
Nanchang 38
Altamura 37
São Paulo 35
Lachine 34
Moscow 34
Columbus 22
Helsinki 22
Shenyang 22
Tianjin 22
Changsha 21
Jinan 21
Pune 21
Ottawa 18
Zhengzhou 18
Guangzhou 17
Da Nang 16
San Diego 16
Tokyo 16
Bologna 15
Jakarta 14
Ningbo 14
Andover 13
Baghdad 13
Brussels 13
Jiaxing 13
London 13
Sacramento 13
Haiphong 12
Kuala Lumpur 12
Chennai 11
Huizen 11
Kunming 11
Montreal 11
Orem 11
Rio de Janeiro 11
Dhaka 10
Driebergen 10
Düsseldorf 10
Edmonton 10
Florence 10
Montevideo 10
Brasília 9
Hebei 9
Johannesburg 9
Lahore 9
Salt Lake City 9
Amsterdam 8
Biên Hòa 8
Cantù 8
Hangzhou 8
Hải Dương 8
Marseille 8
Memphis 8
Monza 8
Quito 8
Rennes 8
Tashkent 8
Turin 8
Warsaw 8
Brescia 7
Totale 9.159
Nome #
Logic and Algebra in Unfolded Petri Nets: On a Duality between Concurrency and Causal Dependence 582
Compositional discovery of workflow nets from event logs using morphisms 523
An asynchronous game on distributed petri nets 522
Preface by Guest Editors 515
Non-interference notions based on reveals and excludes relations for petri nets 478
On the Decomposition of Regional Events in Elementary Systems 472
On Stability of Regional Orthomodular Posets 462
Property-Preserving transformations of elementary net systems based on morphisms 456
A Two Player Asynchronous Game with Privacy Constraints on Petri Nets (short paper) 426
Asynchronous games on petri nets and partial orders 424
Modeling Distributed Private Key Generation by Composing Petri Nets 419
Soundness-preserving composition of synchronously and asynchronously interacting workflow net components 413
Local State Refinement and Composition of Elementary Net Systems: An Approach Based on Morphisms 409
On Stability of Regional Orthomodular Posets 400
Closure operators associated to partially ordered sets 397
Implementable strategies for a two-player asynchronous game on Petri nets 391
Transactions on Petri Nets and Other Models of Concurrency XV 380
Solving a Safety Game on the Unfolding of Safe Petri Nets 379
Implementable Strategies for a Two-Player Asynchronous Game on Petri Nets 374
Discovering architecture-aware and sound process models of multi-agent systems: a compositional approach 367
Computing a Parametric Reveals Relation For Bounded Equal-Conflict Petri Nets 362
Analyzing and Modeling Cooking Procedures 361
Checking weak observable liveness on unfoldings through asynchronous games 346
Synthesis of transition systems from quantum logics 339
Property-Preserving Transformations of Elementary Net Systems Based on Morphisms 337
Weak observable liveness and infinite games on finite graphs 336
Non-interference notions based on reveals and excludes relations for petri nets 323
A Two-Player Asynchronous Game on Fully Observable Petri Nets 291
Preface by guest editors 289
Orthomodular lattices induced by the concurrency relation 279
An Algebraic Model of Observable Properties in Distributed Systems 268
Orthomodular lattices in occurrence nets 254
Information Flow Among Transitions of Bounded Equal-Conflict Petri Nets 253
Composition of elementary net systems based on α-morphisms 250
Modeling Distributed Private Key Generation by Composing Petri Nets 249
Modelling mobility with Petri Hypernets 247
Modelling Symport/Antiport P Systems with a Class of Hierarchical Petri Nets 245
On orthomodular posets generated by transition systems 243
Orthomodular lattices induced by the concurrency relation 239
Between quantum logic and concurrency 236
Local state refinement on Elementary Net Systems: an approach based on morphisms 229
Orthomodular algebraic lattices related to combinatorial posets 222
Modular system development with pullbacks 220
A Multi-facet Approach to Dynamic Agent Systems 219
Formal Tools for Modular System Development 218
Closure Operators and Lattices Derived from Concurrency in Posets and Occurrence Nets 218
Modelling and Analysing Systems of Agents by Agent-Aware Transition Systems 214
Between quantum logic and concurrency 214
Observation equivalences for the semantics of inheritance 202
On orthomodular posets generated by transition systems 200
On preserving structural and behavioural properties by composing net systems on interfaces 198
The Road from Concurrency to Quantum Logics 198
Towards Modular Synthesis of EN Systems 196
The legacy of Carl Adam Petri: From automata to communication 193
Closed Sets in Occurrence Nets with Conflicts 184
Dynamically closed sets for the logical analysis of systems 183
Morphisms on Marked Graphs 178
Concurrency, communication and computation. A position paper 175
Application and Theory of Petri Nets and Concurrency, 2012 167
Dynamically Closed Sets in Occurrence Nets 160
Application and Theory of Petri Nets, 33rd International Conference, PETRI NETS 2012, Hamburg, Germant, June 2012, Proceedings 159
Totale 18.683
Categoria #
all - tutte 51.256
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 51.256


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022590 0 92 73 60 26 40 30 36 22 33 67 111
2022/20231.235 155 357 94 132 88 190 14 66 77 11 29 22
2023/2024945 34 20 48 91 133 225 175 15 85 17 14 88
2024/20256.505 151 237 36 87 164 81 91 67 262 437 2.601 2.291
2025/20264.578 274 338 309 355 448 190 794 201 380 466 449 374
2026/2027238 56 182 0 0 0 0 0 0 0 0 0 0
Totale 18.683