Bicocca Open Archive

Logo unimib boa
BERNARDINELLO, LUCA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.264
EU - Europa 2.430
AS - Asia 1.273
SA - Sud America 44
AF - Africa 7
Continente sconosciuto - Info sul continente non disponibili 5
OC - Oceania 2
Totale 8.025
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.182
IT - Italia 573
SG - Singapore 513
CN - Cina 411
RU - Federazione Russa 321
SE - Svezia 297
DE - Germania 287
IE - Irlanda 252
UA - Ucraina 205
HK - Hong Kong 164
VN - Vietnam 126
GB - Regno Unito 106
AT - Austria 94
DK - Danimarca 92
CA - Canada 78
FI - Finlandia 63
FR - Francia 53
BR - Brasile 39
NL - Olanda 38
BE - Belgio 27
IN - India 18
ID - Indonesia 14
TR - Turchia 12
RS - Serbia 5
EU - Europa 4
ZA - Sudafrica 4
PK - Pakistan 3
PT - Portogallo 3
AZ - Azerbaigian 2
BG - Bulgaria 2
EE - Estonia 2
JM - Giamaica 2
JP - Giappone 2
MA - Marocco 2
MY - Malesia 2
NZ - Nuova Zelanda 2
PH - Filippine 2
RO - Romania 2
SI - Slovenia 2
SK - Slovacchia (Repubblica Slovacca) 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AR - Argentina 1
BD - Bangladesh 1
BO - Bolivia 1
CH - Svizzera 1
CO - Colombia 1
EC - Ecuador 1
ES - Italia 1
HN - Honduras 1
HR - Croazia 1
IR - Iran 1
JO - Giordania 1
LV - Lettonia 1
MX - Messico 1
OM - Oman 1
SN - Senegal 1
UY - Uruguay 1
Totale 8.025
Salva come PNG Salva come JPEG
Città #
Ann Arbor 870
Woodbridge 355
Chandler 302
Fairfield 248
Ashburn 243
Dublin 237
Milan 231
Dearborn 229
Singapore 229
Houston 228
Frankfurt am Main 221
Wilmington 212
Jacksonville 209
Santa Clara 196
Hong Kong 161
New York 118
Seattle 110
Princeton 95
Vienna 93
Dong Ket 86
Nanjing 80
Cambridge 77
Shanghai 58
Boardman 51
Beijing 47
Nanchang 37
Lawrence 36
Altamura 33
Lachine 33
Council Bluffs 30
Los Angeles 30
Helsinki 23
Tianjin 23
Shenyang 22
Rome 20
Moscow 18
Pune 18
Changsha 16
Jinan 16
Ottawa 16
Toronto 16
Guangzhou 15
Brussels 13
Jakarta 13
Andover 12
Düsseldorf 12
The Dalles 12
Zhengzhou 12
Kunming 11
Ningbo 11
San Diego 11
Driebergen 10
Edmonton 10
Hangzhou 10
Huizen 10
Jiaxing 10
London 10
Sacramento 10
Hebei 9
Monza 9
Rennes 8
Taizhou 8
Brescia 7
Florence 7
Seregno 7
São Paulo 7
University Park 7
Cantù 6
Dallas 6
Fremont 6
Auburn Hills 5
Changchun 5
Falls Church 5
Kiev 5
Lappeenranta 5
Mountain View 5
Amsterdam 4
Arcore 4
Ardea 4
Bergamo 4
Marseille 4
Norwalk 4
Palermo 4
Saronno 4
Southwark 4
Belgrade 3
Biarritz 3
Bologna 3
Brasília 3
Cagliari 3
Copenhagen 3
Delft 3
Hefei 3
Imperia 3
Lanzhou 3
Lauterbourg 3
Lumezzane 3
Pombia 3
Portsmouth 3
Prata 3
Totale 5.763
Salva come PNG Salva come JPEG
Nome #
Logic and Algebra in Unfolded Petri Nets: On a Duality between Concurrency and Causal Dependence 312
An asynchronous game on distributed petri nets 293
Asynchronous games on petri nets and partial orders 280
Compositional discovery of workflow nets from event logs using morphisms 261
On Stability of Regional Orthomodular Posets 257
Non-interference notions based on reveals and excludes relations for petri nets 227
Orthomodular lattices induced by the concurrency relation 207
Weak observable liveness and infinite games on finite graphs 205
Checking weak observable liveness on unfoldings through asynchronous games 205
Synthesis of transition systems from quantum logics 200
On Stability of Regional Orthomodular Posets 197
Property-Preserving transformations of elementary net systems based on morphisms 192
Non-interference notions based on reveals and excludes relations for petri nets 190
Modelling mobility with Petri Hypernets 184
Modeling Distributed Private Key Generation by Composing Petri Nets 176
Between quantum logic and concurrency 173
Orthomodular lattices in occurrence nets 172
An Algebraic Model of Observable Properties in Distributed Systems 170
On the Decomposition of Regional Events in Elementary Systems 166
Modular system development with pullbacks 159
Modelling Symport/Antiport P Systems with a Class of Hierarchical Petri Nets 156
On orthomodular posets generated by transition systems 156
A Two-Player Asynchronous Game on Fully Observable Petri Nets 155
Orthomodular lattices induced by the concurrency relation 153
Formal Tools for Modular System Development 151
Between quantum logic and concurrency 151
Local State Refinement and Composition of Elementary Net Systems: An Approach Based on Morphisms 149
On orthomodular posets generated by transition systems 146
Orthomodular algebraic lattices related to combinatorial posets 145
A Multi-facet Approach to Dynamic Agent Systems 135
On preserving structural and behavioural properties by composing net systems on interfaces 131
Closure Operators and Lattices Derived from Concurrency in Posets and Occurrence Nets 131
Dynamically closed sets for the logical analysis of systems 130
Modelling and Analysing Systems of Agents by Agent-Aware Transition Systems 127
Modeling Distributed Private Key Generation by Composing Petri Nets 126
Local state refinement on Elementary Net Systems: an approach based on morphisms 125
Composition of Elementary Net Systems based on α-morphisms 125
Closure operators associated to partially ordered sets 123
Towards Modular Synthesis of EN Systems 117
Closed Sets in Occurrence Nets with Conflicts 110
The legacy of Carl Adam Petri: From automata to communication 107
Implementable strategies for a two-player asynchronous game on Petri nets 106
Concurrency, communication and computation. A position paper 106
Morphisms on Marked Graphs 104
Analyzing and Modeling Cooking Procedures 102
Petri Net Synthesis 98
A framework for resource management in air traffic systems 97
Dynamically Closed Sets in Occurrence Nets 96
Information Flow Among Transitions of Bounded Equal-Conflict Petri Nets 85
Discovering architecture-aware and sound process models of multi-agent systems: a compositional approach 80
Soundness-preserving composition of synchronously and asynchronously interacting workflow net components 79
Topics in Region Theory and Synthesis Problems 71
Solving a Safety Game on the Unfolding of Safe Petri Nets 69
Implementable Strategies for a Two-Player Asynchronous Game on Petri Nets 64
Property-Preserving Transformations of Elementary Net Systems Based on Morphisms 62
Computing a Parametric Reveals Relation For Bounded Equal-Conflict Petri Nets 56
The Road from Concurrency to Quantum Logics 56
A Two Player Asynchronous Game with Privacy Constraints on Petri Nets (short paper) 36
Totale 8.442
Salva come PNG Salva come JPEG
Categoria #
all - tutte 29.467
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 29.467
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020171 0 0 0 0 0 0 0 0 0 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/20251.501 148 219 32 85 160 81 84 69 245 378 0 0
Totale 8.442