POMELLO CHINAGLIA POMELLO, LUCIA
 Distribuzione geografica
Continente #
AS - Asia 8.154
NA - Nord America 7.569
EU - Europa 3.310
Continente sconosciuto - Info sul continente non disponibili 442
SA - Sud America 436
AF - Africa 82
OC - Oceania 3
Totale 19.996
Nazione #
US - Stati Uniti d'America 7.046
SG - Singapore 5.777
IT - Italia 1.083
CN - Cina 880
VN - Vietnam 473
CA - Canada 444
HK - Hong Kong 442
RU - Federazione Russa 418
BR - Brasile 321
SE - Svezia 318
DE - Germania 315
IE - Irlanda 261
UA - Ucraina 225
GB - Regno Unito 148
FR - Francia 136
BD - Bangladesh 127
IN - India 103
AT - Austria 99
DK - Danimarca 98
KR - Corea 91
FI - Finlandia 65
NL - Olanda 50
AR - Argentina 39
TR - Turchia 31
PK - Pakistan 29
ID - Indonesia 28
IQ - Iraq 28
BE - Belgio 27
JP - Giappone 23
ZA - Sudafrica 23
SA - Arabia Saudita 19
EC - Ecuador 17
MX - Messico 16
MY - Malesia 16
IL - Israele 15
PH - Filippine 15
CO - Colombia 14
UZ - Uzbekistan 11
CR - Costa Rica 10
HN - Honduras 10
MA - Marocco 10
UY - Uruguay 10
VE - Venezuela 10
JM - Giamaica 9
PL - Polonia 9
PY - Paraguay 9
CL - Cile 8
KE - Kenya 8
SC - Seychelles 8
GT - Guatemala 7
RO - Romania 7
CW - ???statistics.table.value.countryCode.CW??? 6
ES - Italia 6
ET - Etiopia 6
GP - Guadalupe 6
JO - Giordania 6
LT - Lituania 6
NI - Nicaragua 6
NP - Nepal 6
RS - Serbia 6
TN - Tunisia 6
AE - Emirati Arabi Uniti 5
PS - Palestinian Territory 5
SV - El Salvador 5
TT - Trinidad e Tobago 5
AL - Albania 4
AZ - Azerbaigian 4
BO - Bolivia 4
CH - Svizzera 4
EE - Estonia 4
EG - Egitto 4
EU - Europa 4
KZ - Kazakistan 4
NG - Nigeria 4
PT - Portogallo 4
TH - Thailandia 4
DO - Repubblica Dominicana 3
DZ - Algeria 3
HR - Croazia 3
LB - Libano 3
LV - Lettonia 3
OM - Oman 3
PE - Perù 3
SK - Slovacchia (Repubblica Slovacca) 3
AO - Angola 2
BG - Bulgaria 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
CZ - Repubblica Ceca 1
GY - Guiana 1
Totale 19.556
Città #
Ann Arbor 1.006
Ashburn 640
Singapore 617
San Jose 581
Hong Kong 433
Milan 372
Woodbridge 372
Toronto 314
Chandler 302
Fairfield 273
Houston 272
Dublin 245
Council Bluffs 240
Frankfurt am Main 239
Wilmington 235
Santa Clara 233
Dearborn 232
Jacksonville 222
New York 163
Beijing 147
Seattle 126
Hefei 111
Princeton 101
Dong Ket 98
Los Angeles 95
Ho Chi Minh City 94
Vienna 94
Hanoi 92
Staranzano 92
Cambridge 91
Seoul 90
Nanjing 83
Rome 83
Chicago 79
Dallas 64
Shanghai 64
The Dalles 59
Lauterbourg 58
Boardman 55
Buffalo 43
Lawrence 39
São Paulo 39
Nanchang 38
Altamura 37
Lachine 34
Moscow 34
Columbus 24
Helsinki 22
Shenyang 22
Tianjin 22
Changsha 21
Jinan 21
Pune 21
Bologna 19
San Diego 19
Ottawa 18
Zhengzhou 18
Guangzhou 17
Da Nang 16
Tokyo 16
Montreal 15
Jakarta 14
London 14
Ningbo 14
Andover 13
Atlanta 13
Baghdad 13
Brussels 13
Denver 13
Jiaxing 13
Sacramento 13
Florence 12
Haiphong 12
Kuala Lumpur 12
Orem 12
Philadelphia 12
Chennai 11
Edmonton 11
Huizen 11
Kunming 11
Rio de Janeiro 11
Dhaka 10
Driebergen 10
Düsseldorf 10
Johannesburg 10
Montevideo 10
Phoenix 10
Brasília 9
Hebei 9
Lahore 9
Salt Lake City 9
San Francisco 9
Washington 9
Amsterdam 8
Biên Hòa 8
Cantù 8
Hangzhou 8
Hải Dương 8
Marseille 8
Memphis 8
Totale 9.740
Nome #
Logic and Algebra in Unfolded Petri Nets: On a Duality between Concurrency and Causal Dependence 604
An asynchronous game on distributed petri nets 546
Compositional discovery of workflow nets from event logs using morphisms 541
Preface by Guest Editors 529
Non-interference notions based on reveals and excludes relations for petri nets 495
On the Decomposition of Regional Events in Elementary Systems 491
On Stability of Regional Orthomodular Posets 479
Property-Preserving transformations of elementary net systems based on morphisms 472
A Two Player Asynchronous Game with Privacy Constraints on Petri Nets (short paper) 454
Asynchronous games on petri nets and partial orders 447
Soundness-preserving composition of synchronously and asynchronously interacting workflow net components 435
Modeling Distributed Private Key Generation by Composing Petri Nets 432
Local State Refinement and Composition of Elementary Net Systems: An Approach Based on Morphisms 430
Closure operators associated to partially ordered sets 427
Implementable strategies for a two-player asynchronous game on Petri nets 424
On Stability of Regional Orthomodular Posets 421
Solving a Safety Game on the Unfolding of Safe Petri Nets 416
Transactions on Petri Nets and Other Models of Concurrency XV 402
Implementable Strategies for a Two-Player Asynchronous Game on Petri Nets 400
Discovering architecture-aware and sound process models of multi-agent systems: a compositional approach 392
Computing a Parametric Reveals Relation For Bounded Equal-Conflict Petri Nets 390
Analyzing and Modeling Cooking Procedures 386
Checking weak observable liveness on unfoldings through asynchronous games 370
Property-Preserving Transformations of Elementary Net Systems Based on Morphisms 358
Weak observable liveness and infinite games on finite graphs 358
Synthesis of transition systems from quantum logics 357
Non-interference notions based on reveals and excludes relations for petri nets 341
A Two-Player Asynchronous Game on Fully Observable Petri Nets 311
Preface by guest editors 308
Orthomodular lattices induced by the concurrency relation 297
An Algebraic Model of Observable Properties in Distributed Systems 286
Information Flow Among Transitions of Bounded Equal-Conflict Petri Nets 282
Orthomodular lattices in occurrence nets 272
Composition of elementary net systems based on α-morphisms 271
Modelling Symport/Antiport P Systems with a Class of Hierarchical Petri Nets 269
Modelling mobility with Petri Hypernets 267
On orthomodular posets generated by transition systems 264
Modeling Distributed Private Key Generation by Composing Petri Nets 263
Local state refinement on Elementary Net Systems: an approach based on morphisms 262
Orthomodular lattices induced by the concurrency relation 257
Between quantum logic and concurrency 255
A Multi-facet Approach to Dynamic Agent Systems 250
Orthomodular algebraic lattices related to combinatorial posets 242
Closure Operators and Lattices Derived from Concurrency in Posets and Occurrence Nets 238
Between quantum logic and concurrency 236
Formal Tools for Modular System Development 235
Modelling and Analysing Systems of Agents by Agent-Aware Transition Systems 235
The legacy of Carl Adam Petri: From automata to communication 235
Modular system development with pullbacks 234
On preserving structural and behavioural properties by composing net systems on interfaces 226
Observation equivalences for the semantics of inheritance 220
Towards Modular Synthesis of EN Systems 219
On orthomodular posets generated by transition systems 214
The Road from Concurrency to Quantum Logics 211
Closed Sets in Occurrence Nets with Conflicts 204
Dynamically closed sets for the logical analysis of systems 197
Morphisms on Marked Graphs 197
Application and Theory of Petri Nets and Concurrency, 2012 190
Concurrency, communication and computation. A position paper 187
Application and Theory of Petri Nets, 33rd International Conference, PETRI NETS 2012, Hamburg, Germant, June 2012, Proceedings 184
Dynamically Closed Sets in Occurrence Nets 181
Totale 19.996
Categoria #
all - tutte 54.417
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 54.417


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022365 0 0 0 0 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/20271.551 56 191 519 597 188 0 0 0 0 0 0 0
Totale 19.996