Bicocca Open Archive

Logo unimib boa
POMELLO CHINAGLIA POMELLO, LUCIA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 7.278
NA - Nord America 5.047
EU - Europa 2.676
SA - Sud America 287
AF - Africa 24
Continente sconosciuto - Info sul continente non disponibili 5
OC - Oceania 2
Totale 15.319
Salva come PNG Salva come JPEG
Nazione #
SG - Singapore 5.533
US - Stati Uniti d'America 4.942
CN - Cina 819
IT - Italia 644
HK - Hong Kong 435
RU - Federazione Russa 387
SE - Svezia 314
VN - Vietnam 312
DE - Germania 307
IE - Irlanda 260
BR - Brasile 239
UA - Ucraina 221
GB - Regno Unito 124
AT - Austria 99
DK - Danimarca 97
CA - Canada 88
FI - Finlandia 62
FR - Francia 59
KR - Corea 46
NL - Olanda 42
IN - India 36
BE - Belgio 27
AR - Argentina 18
ID - Indonesia 18
TR - Turchia 17
JP - Giappone 14
BD - Bangladesh 12
MX - Messico 12
ZA - Sudafrica 12
PK - Pakistan 10
EC - Ecuador 9
PL - Polonia 8
UY - Uruguay 7
IQ - Iraq 5
EU - Europa 4
MA - Marocco 4
PH - Filippine 4
PT - Portogallo 4
PY - Paraguay 4
RS - Serbia 4
BO - Bolivia 3
CO - Colombia 3
ES - Italia 3
JM - Giamaica 3
KE - Kenya 3
MY - Malesia 3
AE - Emirati Arabi Uniti 2
AZ - Azerbaigian 2
BG - Bulgaria 2
CH - Svizzera 2
CL - Cile 2
DZ - Algeria 2
EE - Estonia 2
HN - Honduras 2
IR - Iran 2
NZ - Nuova Zelanda 2
RO - Romania 2
SK - Slovacchia (Repubblica Slovacca) 2
UZ - Uzbekistan 2
VE - Venezuela 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AF - Afghanistan, Repubblica islamica di 1
AL - Albania 1
BN - Brunei Darussalam 1
ET - Etiopia 1
HR - Croazia 1
JO - Giordania 1
KZ - Kazakistan 1
LT - Lituania 1
LV - Lettonia 1
NP - Nepal 1
OM - Oman 1
SN - Senegal 1
TN - Tunisia 1
Totale 15.319
Salva come PNG Salva come JPEG
Città #
Ann Arbor 1.006
Singapore 495
Hong Kong 430
Woodbridge 372
Ashburn 327
Chandler 302
Fairfield 273
Houston 269
Milan 246
Dublin 244
Frankfurt am Main 235
Wilmington 233
Dearborn 232
Jacksonville 218
Santa Clara 208
New York 148
Beijing 142
Seattle 123
Hefei 111
Princeton 101
Dong Ket 98
Vienna 94
Cambridge 91
Nanjing 82
Los Angeles 77
Shanghai 63
Ho Chi Minh City 57
Boardman 51
Hanoi 50
Dallas 46
Seoul 46
Lawrence 39
Nanchang 38
Altamura 37
Buffalo 34
Lachine 34
Rome 33
Moscow 31
The Dalles 30
Council Bluffs 25
São Paulo 24
Shenyang 22
Changsha 21
Jinan 21
Tianjin 21
Helsinki 19
Toronto 19
Pune 18
Guangzhou 17
Ottawa 17
Zhengzhou 17
San Diego 15
Ningbo 14
Andover 13
Brussels 13
Jakarta 13
Jiaxing 13
London 13
Sacramento 12
Tokyo 12
Chicago 11
Huizen 11
Kunming 11
Driebergen 10
Düsseldorf 10
Edmonton 10
Brasília 9
Hebei 9
Salt Lake City 9
Cantù 8
Hangzhou 8
Monza 8
Rennes 8
Rio de Janeiro 8
Warsaw 8
Bologna 7
Brescia 7
Falls Church 7
Florence 7
Fremont 7
Montevideo 7
Seregno 7
Taizhou 7
University Park 7
Ardea 6
Boston 6
Chennai 6
Denver 6
Hải Dương 6
Mountain View 6
Phoenix 6
Poplar 6
Quito 6
Amsterdam 5
Auburn Hills 5
Changchun 5
Da Nang 5
Elk Grove Village 5
Haiphong 5
Kent 5
Totale 7.395
Salva come PNG Salva come JPEG
Nome #
Logic and Algebra in Unfolded Petri Nets: On a Duality between Concurrency and Causal Dependence 529
An asynchronous game on distributed petri nets 470
Preface by Guest Editors 469
Compositional discovery of workflow nets from event logs using morphisms 466
Non-interference notions based on reveals and excludes relations for petri nets 430
On Stability of Regional Orthomodular Posets 410
Property-Preserving transformations of elementary net systems based on morphisms 405
On the Decomposition of Regional Events in Elementary Systems 384
Modeling Distributed Private Key Generation by Composing Petri Nets 383
Asynchronous games on petri nets and partial orders 376
A Two Player Asynchronous Game with Privacy Constraints on Petri Nets (short paper) 367
Local State Refinement and Composition of Elementary Net Systems: An Approach Based on Morphisms 359
On Stability of Regional Orthomodular Posets 358
Closure operators associated to partially ordered sets 346
Implementable strategies for a two-player asynchronous game on Petri nets 343
Transactions on Petri Nets and Other Models of Concurrency XV 323
Soundness-preserving composition of synchronously and asynchronously interacting workflow net components 319
Analyzing and Modeling Cooking Procedures 318
Discovering architecture-aware and sound process models of multi-agent systems: a compositional approach 315
Implementable Strategies for a Two-Player Asynchronous Game on Petri Nets 306
Solving a Safety Game on the Unfolding of Safe Petri Nets 300
Property-Preserving Transformations of Elementary Net Systems Based on Morphisms 298
Computing a Parametric Reveals Relation For Bounded Equal-Conflict Petri Nets 298
Synthesis of transition systems from quantum logics 294
Weak observable liveness and infinite games on finite graphs 288
Checking weak observable liveness on unfoldings through asynchronous games 288
Non-interference notions based on reveals and excludes relations for petri nets 269
Preface by guest editors 256
A Two-Player Asynchronous Game on Fully Observable Petri Nets 241
Orthomodular lattices induced by the concurrency relation 234
Modelling mobility with Petri Hypernets 215
Modeling Distributed Private Key Generation by Composing Petri Nets 210
An Algebraic Model of Observable Properties in Distributed Systems 207
Composition of elementary net systems based on α-morphisms 206
Orthomodular lattices in occurrence nets 204
Between quantum logic and concurrency 200
Information Flow Among Transitions of Bounded Equal-Conflict Petri Nets 198
On orthomodular posets generated by transition systems 196
Orthomodular lattices induced by the concurrency relation 195
Modelling Symport/Antiport P Systems with a Class of Hierarchical Petri Nets 190
Modular system development with pullbacks 187
Formal Tools for Modular System Development 185
Local state refinement on Elementary Net Systems: an approach based on morphisms 182
Orthomodular algebraic lattices related to combinatorial posets 176
Observation equivalences for the semantics of inheritance 173
On orthomodular posets generated by transition systems 173
Between quantum logic and concurrency 172
A Multi-facet Approach to Dynamic Agent Systems 171
Closure Operators and Lattices Derived from Concurrency in Posets and Occurrence Nets 168
Modelling and Analysing Systems of Agents by Agent-Aware Transition Systems 167
The Road from Concurrency to Quantum Logics 161
On preserving structural and behavioural properties by composing net systems on interfaces 155
Towards Modular Synthesis of EN Systems 149
Dynamically closed sets for the logical analysis of systems 149
Application and Theory of Petri Nets and Concurrency, 2012 138
Morphisms on Marked Graphs 134
The legacy of Carl Adam Petri: From automata to communication 134
Closed Sets in Occurrence Nets with Conflicts 133
Application and Theory of Petri Nets, 33rd International Conference, PETRI NETS 2012, Hamburg, Germant, June 2012, Proceedings 131
Concurrency, communication and computation. A position paper 125
Dynamically Closed Sets in Occurrence Nets 123
Totale 15.749
Salva come PNG Salva come JPEG
Categoria #
all - tutte 43.032
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 43.032
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021833 0 0 0 0 0 100 116 96 124 129 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/20261.882 274 338 309 355 448 158 0 0 0 0 0 0
Totale 15.749