Bicocca Open Archive

Logo unimib boa
POMELLO CHINAGLIA POMELLO, LUCIA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 8.048
NA - Nord America 5.853
EU - Europa 2.845
SA - Sud America 427
AF - Africa 73
Continente sconosciuto - Info sul continente non disponibili 6
OC - Oceania 3
Totale 17.255
Salva come PNG Salva come JPEG
Nazione #
SG - Singapore 5.770
US - Stati Uniti d'America 5.723
CN - Cina 878
IT - Italia 670
VN - Vietnam 469
HK - Hong Kong 441
RU - Federazione Russa 398
BR - Brasile 316
SE - Svezia 315
DE - Germania 314
IE - Irlanda 261
UA - Ucraina 222
GB - Regno Unito 140
FR - Francia 130
IN - India 102
AT - Austria 99
DK - Danimarca 98
CA - Canada 96
KR - Corea 91
FI - Finlandia 65
BD - Bangladesh 58
NL - Olanda 47
AR - Argentina 39
TR - Turchia 30
PK - Pakistan 29
IQ - Iraq 28
BE - Belgio 27
ID - Indonesia 27
ZA - Sudafrica 22
JP - Giappone 21
SA - Arabia Saudita 19
EC - Ecuador 17
MX - Messico 16
PH - Filippine 15
MY - Malesia 14
UZ - Uzbekistan 11
CO - Colombia 10
MA - Marocco 10
UY - Uruguay 10
VE - Venezuela 10
PY - Paraguay 9
CL - Cile 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
JM - Giamaica 5
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
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
HN - Honduras 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
CR - Costa Rica 1
GP - Guadalupe 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
ML - Mali 1
Totale 17.250
Salva come PNG Salva come JPEG
Città #
Ann Arbor 1.006
Singapore 614
San Jose 498
Hong Kong 432
Ashburn 401
Woodbridge 372
Chandler 302
Fairfield 273
Houston 269
Milan 250
Dublin 245
Frankfurt am Main 239
Wilmington 234
Dearborn 232
Jacksonville 219
Santa Clara 209
New York 149
Beijing 147
Seattle 124
Hefei 111
Princeton 101
Dong Ket 98
Vienna 94
Ho Chi Minh City 92
Cambridge 91
Hanoi 90
Seoul 90
Nanjing 83
Los Angeles 82
Chicago 73
Shanghai 64
Lauterbourg 58
The Dalles 58
Boardman 51
Dallas 49
Lawrence 39
Nanchang 38
Altamura 37
Council Bluffs 37
Buffalo 36
São Paulo 35
Lachine 34
Moscow 34
Rome 34
Helsinki 22
Shenyang 22
Tianjin 22
Changsha 21
Jinan 21
Pune 21
Toronto 20
Ottawa 18
Zhengzhou 18
Guangzhou 17
Da Nang 16
San Diego 15
Tokyo 15
Jakarta 14
Ningbo 14
Andover 13
Baghdad 13
Brussels 13
Jiaxing 13
London 13
Bologna 12
Haiphong 12
Sacramento 12
Chennai 11
Huizen 11
Kuala Lumpur 11
Kunming 11
Orem 11
Rio de Janeiro 11
Dhaka 10
Driebergen 10
Düsseldorf 10
Edmonton 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
Florence 8
Hangzhou 8
Hải Dương 8
Marseille 8
Montreal 8
Monza 8
Quito 8
Rennes 8
Tashkent 8
Warsaw 8
Brescia 7
Falls Church 7
Fremont 7
Nairobi 7
Totale 8.494
Salva come PNG Salva come JPEG
Nome #
Logic and Algebra in Unfolded Petri Nets: On a Duality between Concurrency and Causal Dependence 564
An asynchronous game on distributed petri nets 500
Compositional discovery of workflow nets from event logs using morphisms 499
Preface by Guest Editors 497
Non-interference notions based on reveals and excludes relations for petri nets 465
On Stability of Regional Orthomodular Posets 447
Property-Preserving transformations of elementary net systems based on morphisms 440
On the Decomposition of Regional Events in Elementary Systems 424
A Two Player Asynchronous Game with Privacy Constraints on Petri Nets (short paper) 413
Modeling Distributed Private Key Generation by Composing Petri Nets 410
Asynchronous games on petri nets and partial orders 404
Local State Refinement and Composition of Elementary Net Systems: An Approach Based on Morphisms 391
Closure operators associated to partially ordered sets 386
On Stability of Regional Orthomodular Posets 383
Implementable strategies for a two-player asynchronous game on Petri nets 375
Solving a Safety Game on the Unfolding of Safe Petri Nets 359
Soundness-preserving composition of synchronously and asynchronously interacting workflow net components 358
Transactions on Petri Nets and Other Models of Concurrency XV 354
Analyzing and Modeling Cooking Procedures 354
Implementable Strategies for a Two-Player Asynchronous Game on Petri Nets 348
Discovering architecture-aware and sound process models of multi-agent systems: a compositional approach 343
Computing a Parametric Reveals Relation For Bounded Equal-Conflict Petri Nets 341
Checking weak observable liveness on unfoldings through asynchronous games 323
Property-Preserving Transformations of Elementary Net Systems Based on Morphisms 322
Synthesis of transition systems from quantum logics 322
Weak observable liveness and infinite games on finite graphs 321
Non-interference notions based on reveals and excludes relations for petri nets 303
Preface by guest editors 277
A Two-Player Asynchronous Game on Fully Observable Petri Nets 277
Orthomodular lattices induced by the concurrency relation 267
An Algebraic Model of Observable Properties in Distributed Systems 255
Composition of elementary net systems based on α-morphisms 245
Information Flow Among Transitions of Bounded Equal-Conflict Petri Nets 240
Orthomodular lattices in occurrence nets 237
Modeling Distributed Private Key Generation by Composing Petri Nets 236
Modelling mobility with Petri Hypernets 235
On orthomodular posets generated by transition systems 233
Orthomodular lattices induced by the concurrency relation 226
Between quantum logic and concurrency 226
Modelling Symport/Antiport P Systems with a Class of Hierarchical Petri Nets 224
Local state refinement on Elementary Net Systems: an approach based on morphisms 214
Formal Tools for Modular System Development 213
Modular system development with pullbacks 207
Orthomodular algebraic lattices related to combinatorial posets 205
Closure Operators and Lattices Derived from Concurrency in Posets and Occurrence Nets 203
Between quantum logic and concurrency 203
Modelling and Analysing Systems of Agents by Agent-Aware Transition Systems 202
A Multi-facet Approach to Dynamic Agent Systems 200
Observation equivalences for the semantics of inheritance 191
On orthomodular posets generated by transition systems 191
The Road from Concurrency to Quantum Logics 189
On preserving structural and behavioural properties by composing net systems on interfaces 186
Towards Modular Synthesis of EN Systems 182
Dynamically closed sets for the logical analysis of systems 172
Closed Sets in Occurrence Nets with Conflicts 170
The legacy of Carl Adam Petri: From automata to communication 167
Morphisms on Marked Graphs 163
Concurrency, communication and computation. A position paper 157
Application and Theory of Petri Nets and Concurrency, 2012 154
Application and Theory of Petri Nets, 33rd International Conference, PETRI NETS 2012, Hamburg, Germant, June 2012, Proceedings 151
Dynamically Closed Sets in Occurrence Nets 141
Totale 17.685
Salva come PNG Salva come JPEG
Categoria #
all - tutte 46.934
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 46.934
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021268 0 0 0 0 0 0 0 0 0 0 70 198
2021/2022659 69 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/20263.818 274 338 309 355 448 190 794 201 380 466 63 0
Totale 17.685