Bicocca Open Archive

Logo unimib boa
POMELLO CHINAGLIA POMELLO, LUCIA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 7.194
NA - Nord America 5.031
EU - Europa 2.672
SA - Sud America 286
AF - Africa 23
Continente sconosciuto - Info sul continente non disponibili 5
OC - Oceania 2
Totale 15.213
Salva come PNG Salva come JPEG
Nazione #
SG - Singapore 5.454
US - Stati Uniti d'America 4.928
CN - Cina 817
IT - Italia 643
HK - Hong Kong 435
RU - Federazione Russa 387
SE - Svezia 314
VN - Vietnam 312
DE - Germania 307
IE - Irlanda 260
BR - Brasile 238
UA - Ucraina 221
GB - Regno Unito 122
AT - Austria 99
DK - Danimarca 97
CA - Canada 88
FI - Finlandia 62
FR - Francia 59
KR - Corea 46
NL - Olanda 42
IN - India 34
BE - Belgio 27
AR - Argentina 18
ID - Indonesia 18
TR - Turchia 17
JP - Giappone 14
BD - Bangladesh 12
ZA - Sudafrica 12
MX - Messico 10
EC - Ecuador 9
PK - Pakistan 9
PL - Polonia 7
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
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
KE - Kenya 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.213
Salva come PNG Salva come JPEG
Città #
Ann Arbor 1.006
Singapore 475
Hong Kong 430
Woodbridge 372
Ashburn 324
Chandler 302
Fairfield 273
Houston 269
Milan 245
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 76
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 23
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 12
Sacramento 12
Tokyo 12
Huizen 11
Kunming 11
Chicago 10
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
Bologna 7
Brescia 7
Falls Church 7
Florence 7
Fremont 7
Montevideo 7
Seregno 7
Taizhou 7
University Park 7
Warsaw 7
Ardea 6
Denver 6
Hải Dương 6
Mountain View 6
Phoenix 6
Poplar 6
Quito 6
Amsterdam 5
Auburn Hills 5
Changchun 5
Chennai 5
Da Nang 5
Elk Grove Village 5
Haiphong 5
Kent 5
Kiev 5
Totale 7.364
Salva come PNG Salva come JPEG
Nome #
Logic and Algebra in Unfolded Petri Nets: On a Duality between Concurrency and Causal Dependence 526
Preface by Guest Editors 468
An asynchronous game on distributed petri nets 467
Compositional discovery of workflow nets from event logs using morphisms 465
Non-interference notions based on reveals and excludes relations for petri nets 428
On Stability of Regional Orthomodular Posets 408
Property-Preserving transformations of elementary net systems based on morphisms 404
On the Decomposition of Regional Events in Elementary Systems 383
Modeling Distributed Private Key Generation by Composing Petri Nets 382
Asynchronous games on petri nets and partial orders 374
A Two Player Asynchronous Game with Privacy Constraints on Petri Nets (short paper) 364
Local State Refinement and Composition of Elementary Net Systems: An Approach Based on Morphisms 358
On Stability of Regional Orthomodular Posets 355
Closure operators associated to partially ordered sets 345
Implementable strategies for a two-player asynchronous game on Petri nets 341
Transactions on Petri Nets and Other Models of Concurrency XV 323
Soundness-preserving composition of synchronously and asynchronously interacting workflow net components 316
Analyzing and Modeling Cooking Procedures 315
Discovering architecture-aware and sound process models of multi-agent systems: a compositional approach 313
Implementable Strategies for a Two-Player Asynchronous Game on Petri Nets 304
Property-Preserving Transformations of Elementary Net Systems Based on Morphisms 296
Solving a Safety Game on the Unfolding of Safe Petri Nets 296
Computing a Parametric Reveals Relation For Bounded Equal-Conflict Petri Nets 294
Synthesis of transition systems from quantum logics 293
Weak observable liveness and infinite games on finite graphs 287
Checking weak observable liveness on unfoldings through asynchronous games 285
Non-interference notions based on reveals and excludes relations for petri nets 266
Preface by guest editors 255
A Two-Player Asynchronous Game on Fully Observable Petri Nets 239
Orthomodular lattices induced by the concurrency relation 233
Modelling mobility with Petri Hypernets 214
Modeling Distributed Private Key Generation by Composing Petri Nets 209
An Algebraic Model of Observable Properties in Distributed Systems 206
Composition of elementary net systems based on α-morphisms 204
Orthomodular lattices in occurrence nets 203
Between quantum logic and concurrency 198
Information Flow Among Transitions of Bounded Equal-Conflict Petri Nets 195
On orthomodular posets generated by transition systems 194
Orthomodular lattices induced by the concurrency relation 193
Modelling Symport/Antiport P Systems with a Class of Hierarchical Petri Nets 189
Modular system development with pullbacks 186
Formal Tools for Modular System Development 181
Local state refinement on Elementary Net Systems: an approach based on morphisms 180
Orthomodular algebraic lattices related to combinatorial posets 175
Observation equivalences for the semantics of inheritance 172
On orthomodular posets generated by transition systems 172
Between quantum logic and concurrency 171
A Multi-facet Approach to Dynamic Agent Systems 168
Closure Operators and Lattices Derived from Concurrency in Posets and Occurrence Nets 166
Modelling and Analysing Systems of Agents by Agent-Aware Transition Systems 165
The Road from Concurrency to Quantum Logics 160
On preserving structural and behavioural properties by composing net systems on interfaces 154
Towards Modular Synthesis of EN Systems 148
Dynamically closed sets for the logical analysis of systems 148
Application and Theory of Petri Nets and Concurrency, 2012 137
Morphisms on Marked Graphs 133
The legacy of Carl Adam Petri: From automata to communication 132
Closed Sets in Occurrence Nets with Conflicts 131
Application and Theory of Petri Nets, 33rd International Conference, PETRI NETS 2012, Hamburg, Germant, June 2012, Proceedings 130
Concurrency, communication and computation. A position paper 124
Dynamically Closed Sets in Occurrence Nets 122
Totale 15.643
Salva come PNG Salva come JPEG
Categoria #
all - tutte 42.623
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 42.623
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.776 274 338 309 355 448 52 0 0 0 0 0 0
Totale 15.643