Bicocca Open Archive

Logo unimib boa
BERNARDINELLO, LUCA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.830
EU - Europa 2.057
AS - Asia 746
SA - Sud America 7
Continente sconosciuto - Info sul continente non disponibili 5
OC - Oceania 2
Totale 6.647
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.752
IT - Italia 510
CN - Cina 405
SE - Svezia 297
DE - Germania 262
IE - Irlanda 252
UA - Ucraina 198
VN - Vietnam 126
HK - Hong Kong 110
GB - Regno Unito 99
AT - Austria 92
DK - Danimarca 89
RU - Federazione Russa 83
CA - Canada 77
SG - Singapore 70
FI - Finlandia 57
FR - Francia 42
NL - Olanda 31
BE - Belgio 27
IN - India 18
TR - Turchia 10
BR - Brasile 7
RS - Serbia 5
EU - Europa 4
PT - Portogallo 3
BG - Bulgaria 2
EE - Estonia 2
JP - Giappone 2
MY - Malesia 2
NZ - Nuova Zelanda 2
SI - Slovenia 2
A2 - ???statistics.table.value.countryCode.A2??? 1
CH - Svizzera 1
ES - Italia 1
ID - Indonesia 1
IR - Iran 1
MX - Messico 1
PH - Filippine 1
RO - Romania 1
SK - Slovacchia (Repubblica Slovacca) 1
Totale 6.647
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 209
Ashburn 145
New York 118
Seattle 109
Hong Kong 107
Princeton 95
Vienna 91
Dong Ket 86
Nanjing 80
Cambridge 77
Shanghai 58
Boardman 51
Beijing 47
Singapore 38
Nanchang 37
Lawrence 36
Altamura 33
Lachine 33
Los Angeles 28
Tianjin 23
Shenyang 22
Pune 18
Rome 18
Helsinki 17
Changsha 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
Monza 9
Rennes 8
Taizhou 8
London 7
Moscow 7
University Park 7
Cantù 6
Fremont 6
São Paulo 6
Auburn Hills 5
Brescia 5
Changchun 5
Council Bluffs 5
Falls Church 5
Kiev 5
Lappeenranta 5
Mountain View 5
Arcore 4
Ardea 4
Bergamo 4
Florence 4
Marseille 4
Norwalk 4
Palermo 4
Southwark 4
Belgrade 3
Biarritz 3
Cagliari 3
Dallas 3
Delft 3
Düsseldorf 3
Hefei 3
Imperia 3
Lanzhou 3
Lumezzane 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
Totale 5.092
Salva come PNG Salva come JPEG
Nome #
Logic and Algebra in Unfolded Petri Nets: On a Duality between Concurrency and Causal Dependence 280
An asynchronous game on distributed petri nets 262
Asynchronous games on petri nets and partial orders 253
On Stability of Regional Orthomodular Posets 229
Compositional discovery of workflow nets from event logs using morphisms 224
Non-interference notions based on reveals and excludes relations for petri nets 204
Orthomodular lattices induced by the concurrency relation 180
Checking weak observable liveness on unfoldings through asynchronous games 178
Modelling mobility with Petri Hypernets 177
Weak observable liveness and infinite games on finite graphs 176
Synthesis of transition systems from quantum logics 173
Non-interference notions based on reveals and excludes relations for petri nets 169
Orthomodular lattices in occurrence nets 161
Property-Preserving transformations of elementary net systems based on morphisms 160
On Stability of Regional Orthomodular Posets 158
An Algebraic Model of Observable Properties in Distributed Systems 156
Between quantum logic and concurrency 155
Modeling Distributed Private Key Generation by Composing Petri Nets 150
Modular system development with pullbacks 144
On orthomodular posets generated by transition systems 141
Orthomodular lattices induced by the concurrency relation 141
Modelling Symport/Antiport P Systems with a Class of Hierarchical Petri Nets 140
Formal Tools for Modular System Development 136
On the Decomposition of Regional Events in Elementary Systems 136
Between quantum logic and concurrency 134
On orthomodular posets generated by transition systems 131
Local State Refinement and Composition of Elementary Net Systems: An Approach Based on Morphisms 128
Orthomodular algebraic lattices related to combinatorial posets 127
A Multi-facet Approach to Dynamic Agent Systems 122
A Two-Player Asynchronous Game on Fully Observable Petri Nets 119
Closure Operators and Lattices Derived from Concurrency in Posets and Occurrence Nets 116
Dynamically closed sets for the logical analysis of systems 116
On preserving structural and behavioural properties by composing net systems on interfaces 115
Modelling and Analysing Systems of Agents by Agent-Aware Transition Systems 114
Local state refinement on Elementary Net Systems: an approach based on morphisms 110
Composition of Elementary Net Systems based on α-morphisms 104
Closure operators associated to partially ordered sets 102
Modeling Distributed Private Key Generation by Composing Petri Nets 101
Towards Modular Synthesis of EN Systems 100
Concurrency, communication and computation. A position paper 93
Closed Sets in Occurrence Nets with Conflicts 89
Morphisms on Marked Graphs 88
The legacy of Carl Adam Petri: From automata to communication 83
Dynamically Closed Sets in Occurrence Nets 78
A framework for resource management in air traffic systems 77
Petri Net Synthesis 77
Analyzing and Modeling Cooking Procedures 69
Implementable strategies for a two-player asynchronous game on Petri nets 66
Discovering architecture-aware and sound process models of multi-agent systems: a compositional approach 52
Information Flow Among Transitions of Bounded Equal-Conflict Petri Nets 48
Topics in Region Theory and Synthesis Problems 44
Property-Preserving Transformations of Elementary Net Systems Based on Morphisms 38
Soundness-preserving composition of synchronously and asynchronously interacting workflow net components 35
Solving a Safety Game on the Unfolding of Safe Petri Nets 33
The Road from Concurrency to Quantum Logics 25
Implementable Strategies for a Two-Player Asynchronous Game on Petri Nets 20
Computing a Parametric Reveals Relation For Bounded Equal-Conflict Petri Nets 14
Totale 7.051
Salva come PNG Salva come JPEG
Categoria #
all - tutte 20.885
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 20.885
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
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/2024909 35 21 49 85 116 223 172 15 76 15 15 87
2024/2025110 110 0 0 0 0 0 0 0 0 0 0 0
Totale 7.051