POMELLO CHINAGLIA POMELLO, LUCIA
 Distribuzione geografica
Continente #
AS - Asia 8.134
NA - Nord America 6.728
EU - Europa 3.242
Continente sconosciuto - Info sul continente non disponibili 436
SA - Sud America 431
AF - Africa 74
OC - Oceania 3
Totale 19.048
Nazione #
US - Stati Uniti d'America 6.293
SG - Singapore 5.776
IT - Italia 1.054
CN - Cina 879
VN - Vietnam 473
HK - Hong Kong 442
RU - Federazione Russa 398
CA - Canada 390
SE - Svezia 318
BR - Brasile 317
DE - Germania 314
IE - Irlanda 261
UA - Ucraina 223
GB - Regno Unito 143
FR - Francia 134
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 23
SA - Arabia Saudita 19
EC - Ecuador 17
MX - Messico 16
MY - Malesia 16
PH - Filippine 15
CO - Colombia 13
UZ - Uzbekistan 11
MA - Marocco 10
UY - Uruguay 10
VE - Venezuela 10
PY - Paraguay 9
CL - Cile 8
JM - Giamaica 8
KE - Kenya 8
PL - Polonia 8
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
CR - Costa Rica 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
IR - Iran 2
LT - Lituania 2
NO - Norvegia 2
NZ - Nuova Zelanda 2
SN - Senegal 2
TT - Trinidad e Tobago 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
GP - Guadalupe 1
GT - Guatemala 1
GY - Guiana 1
HU - Ungheria 1
IL - Israele 1
KH - Cambogia 1
LY - Libia 1
Totale 18.610
Città #
Ann Arbor 1.006
Singapore 617
San Jose 579
Ashburn 470
Hong Kong 433
Woodbridge 372
Milan 370
Chandler 302
Toronto 302
Fairfield 273
Houston 272
Dublin 245
Frankfurt am Main 239
Wilmington 234
Dearborn 232
Santa Clara 229
Jacksonville 220
New York 158
Beijing 147
Council Bluffs 141
Seattle 124
Hefei 111
Princeton 101
Dong Ket 98
Ho Chi Minh City 94
Vienna 94
Hanoi 92
Staranzano 92
Cambridge 91
Los Angeles 91
Seoul 90
Nanjing 83
Rome 79
Chicago 76
Shanghai 64
Dallas 59
The Dalles 59
Lauterbourg 58
Boardman 55
Buffalo 42
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
San Diego 17
Da Nang 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
Florence 11
Huizen 11
Kunming 11
Montreal 11
Orem 11
Rio de Janeiro 11
Dhaka 10
Driebergen 10
Düsseldorf 10
Edmonton 10
Johannesburg 10
Montevideo 10
Brasília 9
Hebei 9
Lahore 9
Philadelphia 9
Salt Lake City 9
Amsterdam 8
Biên Hòa 8
Cantù 8
Denver 8
Hangzhou 8
Hải Dương 8
Marseille 8
Memphis 8
Monza 8
Quito 8
Rennes 8
San Francisco 8
Totale 9.387
Nome #
Logic and Algebra in Unfolded Petri Nets: On a Duality between Concurrency and Causal Dependence 586
An asynchronous game on distributed petri nets 531
Compositional discovery of workflow nets from event logs using morphisms 526
Preface by Guest Editors 516
Non-interference notions based on reveals and excludes relations for petri nets 482
On the Decomposition of Regional Events in Elementary Systems 479
On Stability of Regional Orthomodular Posets 468
Property-Preserving transformations of elementary net systems based on morphisms 458
A Two Player Asynchronous Game with Privacy Constraints on Petri Nets (short paper) 439
Asynchronous games on petri nets and partial orders 431
Soundness-preserving composition of synchronously and asynchronously interacting workflow net components 424
Modeling Distributed Private Key Generation by Composing Petri Nets 424
Local State Refinement and Composition of Elementary Net Systems: An Approach Based on Morphisms 416
Closure operators associated to partially ordered sets 403
On Stability of Regional Orthomodular Posets 403
Implementable strategies for a two-player asynchronous game on Petri nets 397
Solving a Safety Game on the Unfolding of Safe Petri Nets 392
Transactions on Petri Nets and Other Models of Concurrency XV 387
Implementable Strategies for a Two-Player Asynchronous Game on Petri Nets 379
Discovering architecture-aware and sound process models of multi-agent systems: a compositional approach 370
Computing a Parametric Reveals Relation For Bounded Equal-Conflict Petri Nets 369
Analyzing and Modeling Cooking Procedures 364
Checking weak observable liveness on unfoldings through asynchronous games 352
Synthesis of transition systems from quantum logics 343
Weak observable liveness and infinite games on finite graphs 341
Property-Preserving Transformations of Elementary Net Systems Based on Morphisms 340
Non-interference notions based on reveals and excludes relations for petri nets 327
A Two-Player Asynchronous Game on Fully Observable Petri Nets 294
Preface by guest editors 293
Orthomodular lattices induced by the concurrency relation 283
An Algebraic Model of Observable Properties in Distributed Systems 274
Information Flow Among Transitions of Bounded Equal-Conflict Petri Nets 260
Orthomodular lattices in occurrence nets 259
Composition of elementary net systems based on α-morphisms 259
Modeling Distributed Private Key Generation by Composing Petri Nets 255
Modelling Symport/Antiport P Systems with a Class of Hierarchical Petri Nets 253
Modelling mobility with Petri Hypernets 252
On orthomodular posets generated by transition systems 249
Local state refinement on Elementary Net Systems: an approach based on morphisms 244
Orthomodular lattices induced by the concurrency relation 242
Between quantum logic and concurrency 241
Orthomodular algebraic lattices related to combinatorial posets 229
A Multi-facet Approach to Dynamic Agent Systems 228
Modular system development with pullbacks 226
Formal Tools for Modular System Development 224
Modelling and Analysing Systems of Agents by Agent-Aware Transition Systems 224
Closure Operators and Lattices Derived from Concurrency in Posets and Occurrence Nets 223
Between quantum logic and concurrency 220
The legacy of Carl Adam Petri: From automata to communication 208
On preserving structural and behavioural properties by composing net systems on interfaces 206
Towards Modular Synthesis of EN Systems 205
Observation equivalences for the semantics of inheritance 205
On orthomodular posets generated by transition systems 204
The Road from Concurrency to Quantum Logics 199
Closed Sets in Occurrence Nets with Conflicts 190
Dynamically closed sets for the logical analysis of systems 185
Morphisms on Marked Graphs 183
Concurrency, communication and computation. A position paper 177
Application and Theory of Petri Nets and Concurrency, 2012 177
Application and Theory of Petri Nets, 33rd International Conference, PETRI NETS 2012, Hamburg, Germant, June 2012, Proceedings 167
Dynamically Closed Sets in Occurrence Nets 163
Totale 19.048
Categoria #
all - tutte 52.199
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 52.199


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022498 0 0 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/2027603 56 191 356 0 0 0 0 0 0 0 0 0
Totale 19.048