Bicocca Open Archive

Logo unimib boa
BERNARDINELLO, LUCA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 5.657
NA - Nord America 4.331
EU - Europa 2.513
SA - Sud America 56
AF - Africa 9
Continente sconosciuto - Info sul continente non disponibili 5
OC - Oceania 2
Totale 12.573
Salva come PNG Salva come JPEG
Nazione #
SG - Singapore 4.586
US - Stati Uniti d'America 4.246
IT - Italia 590
CN - Cina 469
HK - Hong Kong 384
RU - Federazione Russa 370
SE - Svezia 298
DE - Germania 293
IE - Irlanda 252
UA - Ucraina 205
VN - Vietnam 127
GB - Regno Unito 109
AT - Austria 95
DK - Danimarca 92
CA - Canada 80
FI - Finlandia 64
FR - Francia 54
BR - Brasile 44
NL - Olanda 39
BE - Belgio 27
KR - Corea 24
IN - India 20
ID - Indonesia 14
TR - Turchia 13
UY - Uruguay 6
ZA - Sudafrica 6
RS - Serbia 5
EU - Europa 4
JP - Giappone 4
AR - Argentina 3
BD - Bangladesh 3
ES - Italia 3
PK - Pakistan 3
PT - Portogallo 3
AZ - Azerbaigian 2
BG - Bulgaria 2
EE - Estonia 2
JM - Giamaica 2
MA - Marocco 2
MX - Messico 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
BO - Bolivia 1
CH - Svizzera 1
CO - Colombia 1
EC - Ecuador 1
HN - Honduras 1
HR - Croazia 1
IQ - Iraq 1
IR - Iran 1
JO - Giordania 1
LV - Lettonia 1
OM - Oman 1
PL - Polonia 1
SN - Senegal 1
Totale 12.573
Salva come PNG Salva come JPEG
Città #
Ann Arbor 870
Hong Kong 379
Woodbridge 355
Chandler 302
Ashburn 248
Fairfield 248
Singapore 248
Dublin 237
Milan 236
Dearborn 229
Houston 228
Frankfurt am Main 221
Wilmington 212
Jacksonville 209
Santa Clara 198
New York 122
Seattle 111
Princeton 95
Vienna 93
Dong Ket 86
Nanjing 80
Cambridge 77
Beijing 68
Shanghai 58
Boardman 52
Hefei 39
Nanchang 37
Lawrence 36
Los Angeles 35
Altamura 33
Lachine 33
Council Bluffs 30
Moscow 30
Seoul 24
Helsinki 23
Tianjin 23
Shenyang 22
Rome 20
Pune 18
Toronto 17
Changsha 16
Jinan 16
Ottawa 16
Guangzhou 15
The Dalles 14
Brussels 13
Jakarta 13
Andover 12
Düsseldorf 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
Dallas 7
Florence 7
Seregno 7
São Paulo 7
University Park 7
Cantù 6
Fremont 6
Montevideo 6
Auburn Hills 5
Changchun 5
Falls Church 5
Kent 5
Kiev 5
Lappeenranta 5
Marseille 5
Mountain View 5
Amsterdam 4
Arcore 4
Ardea 4
Bergamo 4
Munich 4
Norwalk 4
Palermo 4
Saronno 4
Southwark 4
Belgrade 3
Biarritz 3
Bologna 3
Brasília 3
Cagliari 3
Copenhagen 3
Delft 3
Imperia 3
Lanzhou 3
Lauterbourg 3
Totale 6.124
Salva come PNG Salva come JPEG
Nome #
Logic and Algebra in Unfolded Petri Nets: On a Duality between Concurrency and Causal Dependence 496
An asynchronous game on distributed petri nets 441
Compositional discovery of workflow nets from event logs using morphisms 439
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 357
On the Decomposition of Regional Events in Elementary Systems 352
Asynchronous games on petri nets and partial orders 348
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 319
Implementable strategies for a two-player asynchronous game on Petri nets 303
Analyzing and Modeling Cooking Procedures 290
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 261
Implementable Strategies for a Two-Player Asynchronous Game on Petri Nets 259
Solving a Safety Game on the Unfolding of Safe Petri Nets 255
Property-Preserving Transformations of Elementary Net Systems Based on Morphisms 253
Non-interference notions based on reveals and excludes relations for petri nets 245
Computing a Parametric Reveals Relation For Bounded Equal-Conflict Petri Nets 241
A Two Player Asynchronous Game with Privacy Constraints on Petri Nets (short paper) 235
Topics in Region Theory and Synthesis Problems 218
Orthomodular lattices induced by the concurrency relation 214
A Two-Player Asynchronous Game on Fully Observable Petri Nets 211
Modelling mobility with Petri Hypernets 191
Modeling Distributed Private Key Generation by Composing Petri Nets 184
An Algebraic Model of Observable Properties in Distributed Systems 179
Composition of Elementary Net Systems based on α-morphisms 178
Orthomodular lattices in occurrence nets 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
Information Flow Among Transitions of Bounded Equal-Conflict Petri Nets 157
Between quantum logic and concurrency 157
Formal Tools for Modular System Development 156
On orthomodular posets generated by transition systems 154
Orthomodular algebraic lattices related to combinatorial posets 152
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 134
Towards Modular Synthesis of EN Systems 127
Morphisms on Marked Graphs 116
Closed Sets in Occurrence Nets with Conflicts 115
Concurrency, communication and computation. A position paper 112
The legacy of Carl Adam Petri: From automata to communication 110
A framework for resource management in air traffic systems 104
Dynamically Closed Sets in Occurrence Nets 104
Petri Net Synthesis 101
Totale 12.990
Salva come PNG Salva come JPEG
Categoria #
all - tutte 35.477
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 35.477
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
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/20256.009 148 219 32 85 160 81 84 69 245 413 2.350 2.123
2025/202640 40 0 0 0 0 0 0 0 0 0 0 0
Totale 12.990