Bicocca Open Archive

Logo unimib boa
BERNARDINELLO, LUCA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.817
EU - Europa 1.975
AS - Asia 658
SA - Sud America 6
Continente sconosciuto - Info sul continente non disponibili 5
OC - Oceania 2
Totale 6.463
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.739
IT - Italia 487
CN - Cina 388
SE - Svezia 297
DE - Germania 259
IE - Irlanda 252
UA - Ucraina 198
VN - Vietnam 126
HK - Hong Kong 110
GB - Regno Unito 98
AT - Austria 92
DK - Danimarca 89
CA - Canada 77
FI - Finlandia 54
FR - Francia 38
RU - Federazione Russa 37
NL - Olanda 31
BE - Belgio 27
IN - India 18
TR - Turchia 10
BR - Brasile 6
EU - Europa 4
RS - Serbia 4
PT - Portogallo 3
EE - Estonia 2
JP - Giappone 2
MY - Malesia 2
NZ - Nuova Zelanda 2
SI - Slovenia 2
A2 - ???statistics.table.value.countryCode.A2??? 1
BG - Bulgaria 1
CH - Svizzera 1
ES - Italia 1
IR - Iran 1
MX - Messico 1
PH - Filippine 1
RO - Romania 1
SK - Slovacchia (Repubblica Slovacca) 1
Totale 6.463
Salva come PNG Salva come JPEG
Città #
Ann Arbor 870
Woodbridge 355
Chandler 302
Fairfield 248
Dublin 237
Dearborn 229
Houston 228
Frankfurt am Main 218
Wilmington 212
Jacksonville 209
Milan 204
Ashburn 145
New York 118
Seattle 109
Hong Kong 107
Princeton 95
Vienna 91
Dong Ket 86
Nanjing 80
Cambridge 77
Beijing 47
Shanghai 41
Boardman 40
Nanchang 37
Lawrence 36
Altamura 33
Lachine 33
Los Angeles 26
Tianjin 23
Shenyang 22
Pune 18
Rome 18
Changsha 16
Helsinki 16
Jinan 16
Toronto 16
Ottawa 15
Brussels 13
Andover 12
Guangzhou 12
Zhengzhou 12
Kunming 11
Ningbo 11
San Diego 11
Driebergen 10
Edmonton 10
Huizen 10
Jiaxing 10
Sacramento 10
Hangzhou 9
Hebei 9
Rennes 8
Taizhou 8
University Park 7
Cantù 6
Fremont 6
London 6
Moscow 6
Auburn Hills 5
Brescia 5
Changchun 5
Council Bluffs 5
Falls Church 5
Kiev 5
Monza 5
Mountain View 5
São Paulo 5
Arcore 4
Ardea 4
Norwalk 4
Palermo 4
Southwark 4
Belgrade 3
Bergamo 3
Biarritz 3
Cagliari 3
Dallas 3
Delft 3
Hefei 3
Imperia 3
Lanzhou 3
Lappeenranta 3
Pombia 3
Prata 3
Seveso 3
Albinea 2
Amsterdam 2
Assago 2
Atlanta 2
Auckland 2
Augusta 2
Bellinzago Lombardo 2
Brode 2
Canzo 2
Capriolo 2
Cernusco 2
Cernusco sul Naviglio 2
Como 2
Düsseldorf 2
El Segundo 2
Totale 5.004
Salva come PNG Salva come JPEG
Nome #
Logic and Algebra in Unfolded Petri Nets: On a Duality between Concurrency and Causal Dependence 273
An asynchronous game on distributed petri nets 261
Asynchronous games on petri nets and partial orders 249
On Stability of Regional Orthomodular Posets 227
Compositional discovery of workflow nets from event logs using morphisms 219
Non-interference notions based on reveals and excludes relations for petri nets 201
Orthomodular lattices induced by the concurrency relation 178
Modelling mobility with Petri Hypernets 175
Weak observable liveness and infinite games on finite graphs 175
Checking weak observable liveness on unfoldings through asynchronous games 175
Synthesis of transition systems from quantum logics 170
Non-interference notions based on reveals and excludes relations for petri nets 165
Orthomodular lattices in occurrence nets 158
On Stability of Regional Orthomodular Posets 155
An Algebraic Model of Observable Properties in Distributed Systems 154
Between quantum logic and concurrency 154
Property-Preserving transformations of elementary net systems based on morphisms 153
Modeling Distributed Private Key Generation by Composing Petri Nets 146
Modular system development with pullbacks 142
Modelling Symport/Antiport P Systems with a Class of Hierarchical Petri Nets 137
On orthomodular posets generated by transition systems 137
Orthomodular lattices induced by the concurrency relation 137
Formal Tools for Modular System Development 133
On the Decomposition of Regional Events in Elementary Systems 133
Between quantum logic and concurrency 132
On orthomodular posets generated by transition systems 128
Local State Refinement and Composition of Elementary Net Systems: An Approach Based on Morphisms 125
Orthomodular algebraic lattices related to combinatorial posets 125
A Multi-facet Approach to Dynamic Agent Systems 117
Dynamically closed sets for the logical analysis of systems 114
On preserving structural and behavioural properties by composing net systems on interfaces 112
Modelling and Analysing Systems of Agents by Agent-Aware Transition Systems 112
Closure Operators and Lattices Derived from Concurrency in Posets and Occurrence Nets 112
A Two-Player Asynchronous Game on Fully Observable Petri Nets 110
Local state refinement on Elementary Net Systems: an approach based on morphisms 108
Closure operators associated to partially ordered sets 101
Composition of Elementary Net Systems based on α-morphisms 100
Towards Modular Synthesis of EN Systems 97
Modeling Distributed Private Key Generation by Composing Petri Nets 97
Concurrency, communication and computation. A position paper 89
Morphisms on Marked Graphs 87
Closed Sets in Occurrence Nets with Conflicts 87
The legacy of Carl Adam Petri: From automata to communication 82
Dynamically Closed Sets in Occurrence Nets 76
A framework for resource management in air traffic systems 75
Petri Net Synthesis 75
Analyzing and Modeling Cooking Procedures 67
Implementable strategies for a two-player asynchronous game on Petri nets 60
Discovering architecture-aware and sound process models of multi-agent systems: a compositional approach 46
Information Flow Among Transitions of Bounded Equal-Conflict Petri Nets 39
Topics in Region Theory and Synthesis Problems 37
Property-Preserving Transformations of Elementary Net Systems Based on Morphisms 31
Soundness-preserving composition of synchronously and asynchronously interacting workflow net components 25
Solving a Safety Game on the Unfolding of Safe Petri Nets 22
The Road from Concurrency to Quantum Logics 22
Implementable Strategies for a Two-Player Asynchronous Game on Petri Nets 8
Computing a Parametric Reveals Relation For Bounded Equal-Conflict Petri Nets 6
Totale 6.831
Salva come PNG Salva come JPEG
Categoria #
all - tutte 18.072
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 18.072
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019334 0 0 0 0 0 0 0 0 0 45 116 173
2019/20201.383 145 82 89 88 137 185 220 128 138 63 93 15
2020/20211.089 64 27 105 92 82 68 92 80 112 125 63 179
2021/2022611 59 84 66 55 25 38 30 35 22 31 63 103
2022/20231.204 144 333 90 131 88 188 12 69 83 11 31 24
2023/2024799 35 21 49 85 116 223 172 15 76 7 0 0
Totale 6.831