Bicocca Open Archive

Logo unimib boa
POMELLO CHINAGLIA POMELLO, LUCIA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.463
EU - Europa 2.284
AS - Asia 962
Continente sconosciuto - Info sul continente non disponibili 5
SA - Sud America 5
OC - Oceania 2
Totale 7.721
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.382
IT - Italia 549
CN - Cina 415
SE - Svezia 311
DE - Germania 268
IE - Irlanda 259
SG - Singapore 243
RU - Federazione Russa 216
UA - Ucraina 209
VN - Vietnam 138
HK - Hong Kong 120
GB - Regno Unito 102
DK - Danimarca 97
AT - Austria 92
CA - Canada 80
FI - Finlandia 59
FR - Francia 44
NL - Olanda 34
BE - Belgio 27
IN - India 18
ID - Indonesia 13
TR - Turchia 8
BR - Brasile 5
EU - Europa 4
PT - Portogallo 4
RS - Serbia 4
BG - Bulgaria 2
EE - Estonia 2
JP - Giappone 2
MY - Malesia 2
NZ - Nuova Zelanda 2
PH - Filippine 2
SK - Slovacchia (Repubblica Slovacca) 2
A2 - ???statistics.table.value.countryCode.A2??? 1
CH - Svizzera 1
IR - Iran 1
LV - Lettonia 1
MX - Messico 1
RO - Romania 1
Totale 7.721
Salva come PNG Salva come JPEG
Città #
Ann Arbor 1.006
Woodbridge 372
Chandler 302
Fairfield 273
Houston 269
Dublin 243
Wilmington 233
Dearborn 232
Frankfurt am Main 227
Milan 225
Jacksonville 218
Santa Clara 208
Singapore 204
Ashburn 161
New York 127
Seattle 120
Hong Kong 117
Princeton 101
Dong Ket 98
Cambridge 91
Vienna 91
Nanjing 81
Shanghai 60
Boardman 50
Beijing 45
Lawrence 39
Altamura 37
Nanchang 37
Lachine 34
Los Angeles 31
Shenyang 22
Tianjin 21
Helsinki 19
Jinan 19
Rome 19
Pune 18
Ottawa 17
Toronto 17
Changsha 16
San Diego 15
Guangzhou 14
Ningbo 14
Zhengzhou 14
Andover 13
Brussels 13
Jakarta 13
Jiaxing 12
Sacramento 12
Huizen 11
Driebergen 10
Edmonton 10
Kunming 10
Hebei 9
London 9
Hangzhou 8
Monza 8
Rennes 8
Dallas 7
Falls Church 7
Fremont 7
Moscow 7
Taizhou 7
University Park 7
Ardea 6
Cantù 6
Mountain View 6
Auburn Hills 5
Brescia 5
Changchun 5
Kiev 5
Arcore 4
Bari 4
Council Bluffs 4
Florence 4
Lappeenranta 4
Marseille 4
Norwalk 4
Southwark 4
São Paulo 4
Amsterdam 3
Bergamo 3
Biarritz 3
Cagliari 3
Cernusco sul Naviglio 3
Copenhagen 3
Delft 3
Hefei 3
Imperia 3
Lanzhou 3
Lumezzane 3
Palermo 3
Pombia 3
Prata 3
Sesto San Giovanni 3
Albinea 2
Assago 2
Atlanta 2
Auckland 2
Augusta 2
Belgrade 2
Totale 5.876
Salva come PNG Salva come JPEG
Nome #
Logic and Algebra in Unfolded Petri Nets: On a Duality between Concurrency and Causal Dependence 292
An asynchronous game on distributed petri nets 275
Asynchronous games on petri nets and partial orders 263
Compositional discovery of workflow nets from event logs using morphisms 243
On Stability of Regional Orthomodular Posets 240
Preface (by Guest Editors) 235
Non-interference notions based on reveals and excludes relations for petri nets 214
Orthomodular lattices induced by the concurrency relation 194
Weak observable liveness and infinite games on finite graphs 194
Checking weak observable liveness on unfoldings through asynchronous games 188
Synthesis of transition systems from quantum logics 182
Modelling mobility with Petri Hypernets 181
On Stability of Regional Orthomodular Posets 180
Non-interference notions based on reveals and excludes relations for petri nets 176
Property-Preserving transformations of elementary net systems based on morphisms 174
Orthomodular lattices in occurrence nets 167
Between quantum logic and concurrency 165
An Algebraic Model of Observable Properties in Distributed Systems 163
Modeling Distributed Private Key Generation by Composing Petri Nets 163
Modular system development with pullbacks 152
On orthomodular posets generated by transition systems 150
Orthomodular lattices induced by the concurrency relation 148
On the Decomposition of Regional Events in Elementary Systems 148
Modelling Symport/Antiport P Systems with a Class of Hierarchical Petri Nets 146
Formal Tools for Modular System Development 144
Between quantum logic and concurrency 143
Observation equivalences for the semantics of inheritance 140
Local State Refinement and Composition of Elementary Net Systems: An Approach Based on Morphisms 140
On orthomodular posets generated by transition systems 139
Orthomodular algebraic lattices related to combinatorial posets 137
A Two-Player Asynchronous Game on Fully Observable Petri Nets 133
A Multi-facet Approach to Dynamic Agent Systems 129
Closure Operators and Lattices Derived from Concurrency in Posets and Occurrence Nets 126
Dynamically closed sets for the logical analysis of systems 124
On preserving structural and behavioural properties by composing net systems on interfaces 123
Modelling and Analysing Systems of Agents by Agent-Aware Transition Systems 123
Local state refinement on Elementary Net Systems: an approach based on morphisms 118
Composition of Elementary Net Systems based on α-morphisms 114
Modeling Distributed Private Key Generation by Composing Petri Nets 112
Towards Modular Synthesis of EN Systems 111
Closure operators associated to partially ordered sets 110
The legacy of Carl Adam Petri: From automata to communication 102
Concurrency, communication and computation. A position paper 100
Application and Theory of Petri Nets, 33rd International Conference, PETRI NETS 2012, Hamburg, Germant, June 2012, Proceedings 99
Fundamenta Informaticae. Application and Theory of Petri Nets and Concurrency, 2012 99
Closed Sets in Occurrence Nets with Conflicts 97
Morphisms on Marked Graphs 95
Implementable strategies for a two-player asynchronous game on Petri nets 88
Transactions on Petri Nets and Other Models of Concurrency XV 88
Dynamically Closed Sets in Occurrence Nets 87
Analyzing and Modeling Cooking Procedures 80
Information Flow Among Transitions of Bounded Equal-Conflict Petri Nets 66
Discovering architecture-aware and sound process models of multi-agent systems: a compositional approach 63
Soundness-preserving composition of synchronously and asynchronously interacting workflow net components 47
Property-Preserving Transformations of Elementary Net Systems Based on Morphisms 46
Solving a Safety Game on the Unfolding of Safe Petri Nets 46
Implementable Strategies for a Two-Player Asynchronous Game on Petri Nets 36
The Road from Concurrency to Quantum Logics 35
Computing a Parametric Reveals Relation For Bounded Equal-Conflict Petri Nets 29
Preface by guest editors 18
null 16
Totale 8.136
Salva come PNG Salva come JPEG
Categoria #
all - tutte 27.075
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 27.075
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020899 0 0 0 0 0 192 222 147 156 70 96 16
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/2025774 152 244 41 88 167 82 0 0 0 0 0 0
Totale 8.136