Bicocca Open Archive

Logo unimib boa
BERNARDINELLO, LUCA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 6.782
NA - Nord America 4.691
EU - Europa 2.608
SA - Sud America 264
AF - Africa 25
Continente sconosciuto - Info sul continente non disponibili 5
OC - Oceania 2
Totale 14.377
Salva come PNG Salva come JPEG
Nazione #
SG - Singapore 5.124
US - Stati Uniti d'America 4.588
CN - Cina 790
IT - Italia 628
HK - Hong Kong 400
RU - Federazione Russa 374
SE - Svezia 300
DE - Germania 297
VN - Vietnam 293
IE - Irlanda 253
BR - Brasile 216
UA - Ucraina 211
GB - Regno Unito 126
AT - Austria 98
DK - Danimarca 92
CA - Canada 86
FI - Finlandia 66
FR - Francia 56
KR - Corea 43
NL - Olanda 41
IN - India 36
BE - Belgio 27
TR - Turchia 19
ID - Indonesia 18
AR - Argentina 17
JP - Giappone 13
BD - Bangladesh 12
MX - Messico 12
ZA - Sudafrica 11
EC - Ecuador 9
PK - Pakistan 8
ES - Italia 7
PL - Polonia 7
UY - Uruguay 7
MA - Marocco 6
IQ - Iraq 5
PY - Paraguay 5
RS - Serbia 5
EU - Europa 4
PH - Filippine 4
CO - Colombia 3
JM - Giamaica 3
KE - Kenya 3
MY - Malesia 3
PT - Portogallo 3
RO - Romania 3
VE - Venezuela 3
AE - Emirati Arabi Uniti 2
AZ - Azerbaigian 2
BG - Bulgaria 2
BO - Bolivia 2
CH - Svizzera 2
CL - Cile 2
DZ - Algeria 2
EE - Estonia 2
IR - Iran 2
NZ - Nuova Zelanda 2
SI - Slovenia 2
SK - Slovacchia (Repubblica Slovacca) 2
UZ - Uzbekistan 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AL - Albania 1
BN - Brunei Darussalam 1
CR - Costa Rica 1
ET - Etiopia 1
HN - Honduras 1
HR - Croazia 1
JO - Giordania 1
KZ - Kazakistan 1
LB - Libano 1
LT - Lituania 1
LV - Lettonia 1
NP - Nepal 1
OM - Oman 1
SN - Senegal 1
TN - Tunisia 1
Totale 14.377
Salva come PNG Salva come JPEG
Città #
Ann Arbor 870
Singapore 491
Hong Kong 395
Woodbridge 355
Ashburn 323
Chandler 302
Fairfield 248
Milan 243
Dublin 238
Dearborn 229
Houston 229
Frankfurt am Main 224
Wilmington 212
Jacksonville 209
Santa Clara 200
Beijing 138
New York 133
Seattle 112
Hefei 103
Princeton 95
Vienna 94
Dong Ket 86
Nanjing 81
Cambridge 77
Los Angeles 70
Shanghai 60
Ho Chi Minh City 54
Boardman 52
Hanoi 50
Dallas 43
Seoul 43
Nanchang 38
Lawrence 36
Altamura 33
Lachine 33
Buffalo 32
Rome 32
Council Bluffs 30
Moscow 30
The Dalles 27
São Paulo 24
Helsinki 23
Tianjin 23
Shenyang 22
Changsha 21
Guangzhou 19
Pune 18
Toronto 18
Jinan 17
Ottawa 16
Zhengzhou 15
Brussels 13
Jakarta 13
London 13
Andover 12
Düsseldorf 12
Kunming 12
Jiaxing 11
Ningbo 11
San Diego 11
Tokyo 11
Driebergen 10
Edmonton 10
Hangzhou 10
Huizen 10
Sacramento 10
Salt Lake City 10
Chicago 9
Hebei 9
Monza 9
Brasília 8
Cantù 8
Rennes 8
Taizhou 8
Bologna 7
Brescia 7
Florence 7
Montevideo 7
Quito 7
Rio de Janeiro 7
Seregno 7
University Park 7
Warsaw 7
Boston 6
Chennai 6
Fremont 6
Lappeenranta 6
Poplar 6
Amsterdam 5
Auburn Hills 5
Changchun 5
Da Nang 5
Denver 5
Falls Church 5
Haiphong 5
Hải Dương 5
Kent 5
Kiev 5
Marseille 5
Montreal 5
Totale 6.957
Salva come PNG Salva come JPEG
Nome #
Logic and Algebra in Unfolded Petri Nets: On a Duality between Concurrency and Causal Dependence 530
An asynchronous game on distributed petri nets 471
Compositional discovery of workflow nets from event logs using morphisms 466
Non-interference notions based on reveals and excludes relations for petri nets 430
On Stability of Regional Orthomodular Posets 412
Property-Preserving transformations of elementary net systems based on morphisms 406
On the Decomposition of Regional Events in Elementary Systems 386
Modeling Distributed Private Key Generation by Composing Petri Nets 385
Asynchronous games on petri nets and partial orders 376
A Two Player Asynchronous Game with Privacy Constraints on Petri Nets (short paper) 368
Local State Refinement and Composition of Elementary Net Systems: An Approach Based on Morphisms 359
On Stability of Regional Orthomodular Posets 358
Closure operators associated to partially ordered sets 347
Implementable strategies for a two-player asynchronous game on Petri nets 343
Soundness-preserving composition of synchronously and asynchronously interacting workflow net components 319
Analyzing and Modeling Cooking Procedures 318
Discovering architecture-aware and sound process models of multi-agent systems: a compositional approach 316
Implementable Strategies for a Two-Player Asynchronous Game on Petri Nets 306
Solving a Safety Game on the Unfolding of Safe Petri Nets 302
Computing a Parametric Reveals Relation For Bounded Equal-Conflict Petri Nets 302
Property-Preserving Transformations of Elementary Net Systems Based on Morphisms 298
Synthesis of transition systems from quantum logics 296
Weak observable liveness and infinite games on finite graphs 288
Checking weak observable liveness on unfoldings through asynchronous games 288
Non-interference notions based on reveals and excludes relations for petri nets 269
Topics in Region Theory and Synthesis Problems 243
A Two-Player Asynchronous Game on Fully Observable Petri Nets 242
Orthomodular lattices induced by the concurrency relation 235
Modelling mobility with Petri Hypernets 215
Modeling Distributed Private Key Generation by Composing Petri Nets 212
Composition of elementary net systems based on α-morphisms 210
An Algebraic Model of Observable Properties in Distributed Systems 208
Orthomodular lattices in occurrence nets 204
Information Flow Among Transitions of Bounded Equal-Conflict Petri Nets 203
Between quantum logic and concurrency 200
On orthomodular posets generated by transition systems 198
Orthomodular lattices induced by the concurrency relation 196
Modelling Symport/Antiport P Systems with a Class of Hierarchical Petri Nets 191
Modular system development with pullbacks 187
Formal Tools for Modular System Development 185
Local state refinement on Elementary Net Systems: an approach based on morphisms 183
Orthomodular algebraic lattices related to combinatorial posets 177
On orthomodular posets generated by transition systems 174
Between quantum logic and concurrency 172
A Multi-facet Approach to Dynamic Agent Systems 171
Closure Operators and Lattices Derived from Concurrency in Posets and Occurrence Nets 170
Modelling and Analysing Systems of Agents by Agent-Aware Transition Systems 167
The Road from Concurrency to Quantum Logics 162
On preserving structural and behavioural properties by composing net systems on interfaces 156
Towards Modular Synthesis of EN Systems 151
Dynamically closed sets for the logical analysis of systems 150
Morphisms on Marked Graphs 134
The legacy of Carl Adam Petri: From automata to communication 134
Closed Sets in Occurrence Nets with Conflicts 133
Concurrency, communication and computation. A position paper 125
A framework for resource management in air traffic systems 124
Dynamically Closed Sets in Occurrence Nets 123
Petri Net Synthesis 120
Totale 14.794
Salva come PNG Salva come JPEG
Categoria #
all - tutte 41.398
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 41.398
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021651 0 0 0 0 0 0 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/20261.844 262 323 290 332 425 193 19 0 0 0 0 0
Totale 14.794