Bicocca Open Archive

Logo unimib boa
POMELLO CHINAGLIA POMELLO, LUCIA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 6.131
NA - Nord America 4.668
EU - Europa 2.582
SA - Sud America 45
AF - Africa 8
Continente sconosciuto - Info sul continente non disponibili 5
OC - Oceania 2
Totale 13.441
Salva come PNG Salva come JPEG
Nazione #
SG - Singapore 5.008
US - Stati Uniti d'America 4.581
IT - Italia 606
CN - Cina 480
HK - Hong Kong 416
RU - Federazione Russa 383
SE - Svezia 312
DE - Germania 301
IE - Irlanda 259
UA - Ucraina 216
VN - Vietnam 138
GB - Regno Unito 107
DK - Danimarca 97
AT - Austria 96
CA - Canada 81
FI - Finlandia 60
FR - Francia 56
NL - Olanda 40
BR - Brasile 39
BE - Belgio 27
KR - Corea 25
IN - India 20
ID - Indonesia 14
TR - Turchia 11
ZA - Sudafrica 6
EU - Europa 4
JP - Giappone 4
PT - Portogallo 4
RS - Serbia 4
BD - Bangladesh 3
MX - Messico 3
PK - Pakistan 3
AZ - Azerbaigian 2
BG - Bulgaria 2
EC - Ecuador 2
EE - Estonia 2
JM - Giamaica 2
MY - Malesia 2
NZ - Nuova Zelanda 2
PH - Filippine 2
PL - Polonia 2
RO - Romania 2
SK - Slovacchia (Repubblica Slovacca) 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AR - Argentina 1
BO - Bolivia 1
CH - Svizzera 1
CO - Colombia 1
ES - Italia 1
HN - Honduras 1
HR - Croazia 1
IR - Iran 1
JO - Giordania 1
LV - Lettonia 1
MA - Marocco 1
OM - Oman 1
SN - Senegal 1
UY - Uruguay 1
Totale 13.441
Salva come PNG Salva come JPEG
Città #
Ann Arbor 1.006
Hong Kong 411
Woodbridge 372
Chandler 302
Fairfield 273
Houston 269
Singapore 265
Ashburn 254
Dublin 243
Milan 239
Wilmington 233
Dearborn 232
Frankfurt am Main 232
Jacksonville 218
Santa Clara 205
New York 133
Seattle 122
Princeton 101
Dong Ket 98
Vienna 93
Cambridge 91
Nanjing 81
Beijing 68
Shanghai 60
Boardman 51
Hefei 43
Lawrence 39
Altamura 37
Los Angeles 37
Nanchang 37
Lachine 34
Moscow 31
Council Bluffs 25
Seoul 25
Shenyang 22
Rome 21
Tianjin 21
Helsinki 19
Jinan 19
Pune 18
Toronto 18
Ottawa 17
Changsha 16
San Diego 15
Guangzhou 14
Ningbo 14
The Dalles 14
Zhengzhou 14
Andover 13
Brussels 13
Jakarta 13
Jiaxing 12
Sacramento 12
Huizen 11
Driebergen 10
Düsseldorf 10
Edmonton 10
Kunming 10
London 10
Hebei 9
Dallas 8
Hangzhou 8
Monza 8
Rennes 8
Brescia 7
Falls Church 7
Florence 7
Fremont 7
Seregno 7
Taizhou 7
University Park 7
Ardea 6
Cantù 6
Mountain View 6
Auburn Hills 5
Changchun 5
Kent 5
Kiev 5
Marseille 5
São Paulo 5
Amsterdam 4
Arcore 4
Bari 4
Lappeenranta 4
Norwalk 4
Saronno 4
Southwark 4
Bergamo 3
Biarritz 3
Bologna 3
Brasília 3
Cagliari 3
Cernusco sul Naviglio 3
Copenhagen 3
Delft 3
Imperia 3
Lanzhou 3
Lauterbourg 3
Lumezzane 3
Nuremberg 3
Totale 6.531
Salva come PNG Salva come JPEG
Nome #
Logic and Algebra in Unfolded Petri Nets: On a Duality between Concurrency and Causal Dependence 496
Preface by Guest Editors 442
Compositional discovery of workflow nets from event logs using morphisms 439
An asynchronous game on distributed petri nets 438
Non-interference notions based on reveals and excludes relations for petri nets 408
On Stability of Regional Orthomodular Posets 378
Property-Preserving transformations of elementary net systems based on morphisms 375
Modeling Distributed Private Key Generation by Composing Petri Nets 356
On the Decomposition of Regional Events in Elementary Systems 352
Asynchronous games on petri nets and partial orders 347
Local State Refinement and Composition of Elementary Net Systems: An Approach Based on Morphisms 331
On Stability of Regional Orthomodular Posets 325
Closure operators associated to partially ordered sets 318
Implementable strategies for a two-player asynchronous game on Petri nets 300
Transactions on Petri Nets and Other Models of Concurrency XV 299
Analyzing and Modeling Cooking Procedures 289
Soundness-preserving composition of synchronously and asynchronously interacting workflow net components 272
Discovering architecture-aware and sound process models of multi-agent systems: a compositional approach 267
Synthesis of transition systems from quantum logics 267
Weak observable liveness and infinite games on finite graphs 266
Checking weak observable liveness on unfoldings through asynchronous games 260
Solving a Safety Game on the Unfolding of Safe Petri Nets 253
Implementable Strategies for a Two-Player Asynchronous Game on Petri Nets 253
Property-Preserving Transformations of Elementary Net Systems Based on Morphisms 252
Non-interference notions based on reveals and excludes relations for petri nets 245
Computing a Parametric Reveals Relation For Bounded Equal-Conflict Petri Nets 238
A Two Player Asynchronous Game with Privacy Constraints on Petri Nets (short paper) 232
Preface by guest editors 222
Orthomodular lattices induced by the concurrency relation 214
A Two-Player Asynchronous Game on Fully Observable Petri Nets 209
Modelling mobility with Petri Hypernets 191
Modeling Distributed Private Key Generation by Composing Petri Nets 183
An Algebraic Model of Observable Properties in Distributed Systems 179
Orthomodular lattices in occurrence nets 177
Composition of Elementary Net Systems based on α-morphisms 177
Between quantum logic and concurrency 177
Modular system development with pullbacks 164
On orthomodular posets generated by transition systems 163
Modelling Symport/Antiport P Systems with a Class of Hierarchical Petri Nets 162
Orthomodular lattices induced by the concurrency relation 160
Between quantum logic and concurrency 157
Formal Tools for Modular System Development 156
Information Flow Among Transitions of Bounded Equal-Conflict Petri Nets 155
On orthomodular posets generated by transition systems 154
Orthomodular algebraic lattices related to combinatorial posets 152
Observation equivalences for the semantics of inheritance 150
Local state refinement on Elementary Net Systems: an approach based on morphisms 145
A Multi-facet Approach to Dynamic Agent Systems 142
On preserving structural and behavioural properties by composing net systems on interfaces 136
Closure Operators and Lattices Derived from Concurrency in Posets and Occurrence Nets 136
Dynamically closed sets for the logical analysis of systems 136
Modelling and Analysing Systems of Agents by Agent-Aware Transition Systems 135
The Road from Concurrency to Quantum Logics 133
Towards Modular Synthesis of EN Systems 127
Fundamenta Informaticae. Application and Theory of Petri Nets and Concurrency, 2012 116
Morphisms on Marked Graphs 115
Closed Sets in Occurrence Nets with Conflicts 114
Concurrency, communication and computation. A position paper 112
Application and Theory of Petri Nets, 33rd International Conference, PETRI NETS 2012, Hamburg, Germant, June 2012, Proceedings 110
The legacy of Carl Adam Petri: From automata to communication 110
Dynamically Closed Sets in Occurrence Nets 104
Totale 13.871
Salva come PNG Salva come JPEG
Categoria #
all - tutte 37.185
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 37.185
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20211.239 69 30 110 103 94 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/20264 4 0 0 0 0 0 0 0 0 0 0 0
Totale 13.871