Bicocca Open Archive

Logo unimib boa
BERNARDINELLO, LUCA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 6.653
NA - Nord America 4.656
EU - Europa 2.598
SA - Sud America 260
AF - Africa 24
Continente sconosciuto - Info sul continente non disponibili 5
OC - Oceania 2
Totale 14.198
Salva come PNG Salva come JPEG
Nazione #
SG - Singapore 5.009
US - Stati Uniti d'America 4.556
CN - Cina 785
IT - Italia 627
HK - Hong Kong 400
RU - Federazione Russa 373
SE - Svezia 300
DE - Germania 297
VN - Vietnam 293
IE - Irlanda 253
BR - Brasile 212
UA - Ucraina 211
GB - Regno Unito 123
AT - Austria 98
DK - Danimarca 92
CA - Canada 86
FI - Finlandia 66
FR - Francia 56
KR - Corea 43
NL - Olanda 41
IN - India 34
BE - Belgio 27
TR - Turchia 19
ID - Indonesia 18
AR - Argentina 17
BD - Bangladesh 11
JP - Giappone 11
ZA - Sudafrica 11
EC - Ecuador 9
MX - Messico 9
UY - Uruguay 7
MA - Marocco 6
PK - Pakistan 6
PL - Polonia 6
IQ - Iraq 5
PY - Paraguay 5
RS - Serbia 5
ES - Italia 4
EU - Europa 4
PH - Filippine 4
CO - Colombia 3
JM - Giamaica 3
MY - Malesia 3
PT - Portogallo 3
VE - Venezuela 3
AZ - Azerbaigian 2
BG - Bulgaria 2
BO - Bolivia 2
CH - Svizzera 2
CL - Cile 2
DZ - Algeria 2
EE - Estonia 2
IR - Iran 2
KE - Kenya 2
NZ - Nuova Zelanda 2
RO - Romania 2
SI - Slovenia 2
SK - Slovacchia (Repubblica Slovacca) 2
UZ - Uzbekistan 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AE - Emirati Arabi Uniti 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
LT - Lituania 1
LV - Lettonia 1
NP - Nepal 1
OM - Oman 1
SN - Senegal 1
TN - Tunisia 1
Totale 14.198
Salva come PNG Salva come JPEG
Città #
Ann Arbor 870
Singapore 451
Hong Kong 395
Woodbridge 355
Ashburn 314
Chandler 302
Fairfield 248
Milan 242
Dublin 238
Dearborn 229
Houston 229
Frankfurt am Main 224
Wilmington 212
Jacksonville 209
Santa Clara 200
Beijing 138
New York 131
Seattle 112
Hefei 103
Princeton 95
Vienna 94
Dong Ket 86
Nanjing 81
Cambridge 77
Los Angeles 68
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
Helsinki 23
Tianjin 23
Shenyang 22
São Paulo 22
Changsha 21
Guangzhou 19
Pune 18
Toronto 18
Jinan 17
Ottawa 16
Zhengzhou 15
Brussels 13
Jakarta 13
Andover 12
Düsseldorf 12
Kunming 12
Jiaxing 11
London 11
Ningbo 11
San Diego 11
Driebergen 10
Edmonton 10
Hangzhou 10
Huizen 10
Sacramento 10
Salt Lake City 10
Hebei 9
Monza 9
Tokyo 9
Brasília 8
Cantù 8
Chicago 8
Rennes 8
Taizhou 8
Bologna 7
Brescia 7
Florence 7
Montevideo 7
Quito 7
Rio de Janeiro 7
Seregno 7
University Park 7
Fremont 6
Lappeenranta 6
Poplar 6
Warsaw 6
Amsterdam 5
Auburn Hills 5
Changchun 5
Chennai 5
Da Nang 5
Denver 5
Falls Church 5
Haiphong 5
Hải Dương 5
Kent 5
Kiev 5
Marseille 5
Montreal 5
Mountain View 5
Totale 6.893
Salva come PNG Salva come JPEG
Nome #
Logic and Algebra in Unfolded Petri Nets: On a Duality between Concurrency and Causal Dependence 525
An asynchronous game on distributed petri nets 466
Compositional discovery of workflow nets from event logs using morphisms 465
Non-interference notions based on reveals and excludes relations for petri nets 428
On Stability of Regional Orthomodular Posets 407
Property-Preserving transformations of elementary net systems based on morphisms 404
Modeling Distributed Private Key Generation by Composing Petri Nets 382
On the Decomposition of Regional Events in Elementary Systems 381
Asynchronous games on petri nets and partial orders 373
A Two Player Asynchronous Game with Privacy Constraints on Petri Nets (short paper) 363
Local State Refinement and Composition of Elementary Net Systems: An Approach Based on Morphisms 358
On Stability of Regional Orthomodular Posets 354
Closure operators associated to partially ordered sets 345
Implementable strategies for a two-player asynchronous game on Petri nets 340
Soundness-preserving composition of synchronously and asynchronously interacting workflow net components 315
Analyzing and Modeling Cooking Procedures 315
Discovering architecture-aware and sound process models of multi-agent systems: a compositional approach 313
Implementable Strategies for a Two-Player Asynchronous Game on Petri Nets 304
Solving a Safety Game on the Unfolding of Safe Petri Nets 296
Property-Preserving Transformations of Elementary Net Systems Based on Morphisms 295
Computing a Parametric Reveals Relation For Bounded Equal-Conflict Petri Nets 294
Synthesis of transition systems from quantum logics 292
Weak observable liveness and infinite games on finite graphs 287
Checking weak observable liveness on unfoldings through asynchronous games 285
Non-interference notions based on reveals and excludes relations for petri nets 266
Topics in Region Theory and Synthesis Problems 240
A Two-Player Asynchronous Game on Fully Observable Petri Nets 239
Orthomodular lattices induced by the concurrency relation 233
Modelling mobility with Petri Hypernets 214
Modeling Distributed Private Key Generation by Composing Petri Nets 209
An Algebraic Model of Observable Properties in Distributed Systems 204
Composition of elementary net systems based on α-morphisms 204
Orthomodular lattices in occurrence nets 203
Between quantum logic and concurrency 198
Information Flow Among Transitions of Bounded Equal-Conflict Petri Nets 195
On orthomodular posets generated by transition systems 194
Orthomodular lattices induced by the concurrency relation 193
Modelling Symport/Antiport P Systems with a Class of Hierarchical Petri Nets 189
Modular system development with pullbacks 186
Formal Tools for Modular System Development 181
Local state refinement on Elementary Net Systems: an approach based on morphisms 180
Orthomodular algebraic lattices related to combinatorial posets 175
On orthomodular posets generated by transition systems 172
Between quantum logic and concurrency 171
A Multi-facet Approach to Dynamic Agent Systems 166
Closure Operators and Lattices Derived from Concurrency in Posets and Occurrence Nets 166
Modelling and Analysing Systems of Agents by Agent-Aware Transition Systems 164
The Road from Concurrency to Quantum Logics 160
On preserving structural and behavioural properties by composing net systems on interfaces 153
Towards Modular Synthesis of EN Systems 148
Dynamically closed sets for the logical analysis of systems 148
Morphisms on Marked Graphs 133
Closed Sets in Occurrence Nets with Conflicts 131
The legacy of Carl Adam Petri: From automata to communication 130
Concurrency, communication and computation. A position paper 124
Dynamically Closed Sets in Occurrence Nets 122
A framework for resource management in air traffic systems 120
Petri Net Synthesis 117
Totale 14.615
Salva come PNG Salva come JPEG
Categoria #
all - tutte 40.487
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 40.487
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021719 0 0 0 0 0 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/20261.665 262 323 290 332 425 33 0 0 0 0 0 0
Totale 14.615