Bicocca Open Archive

Logo unimib boa
BERNARDINELLO, LUCA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 7.590
NA - Nord America 6.397
EU - Europa 3.171
Continente sconosciuto - Info sul continente non disponibili 423
SA - Sud America 404
AF - Africa 74
OC - Oceania 3
Totale 18.062
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.988
SG - Singapore 5.343
IT - Italia 1.046
CN - Cina 847
VN - Vietnam 447
HK - Hong Kong 407
RU - Federazione Russa 384
CA - Canada 365
DE - Germania 304
SE - Svezia 304
BR - Brasile 290
IE - Irlanda 254
UA - Ucraina 214
GB - Regno Unito 144
FR - Francia 128
BD - Bangladesh 119
IN - India 101
AT - Austria 98
DK - Danimarca 92
KR - Corea 85
FI - Finlandia 69
NL - Olanda 45
AR - Argentina 39
TR - Turchia 33
ID - Indonesia 28
IQ - Iraq 28
BE - Belgio 27
PK - Pakistan 26
ZA - Sudafrica 23
JP - Giappone 20
SA - Arabia Saudita 19
EC - Ecuador 18
MY - Malesia 16
PH - Filippine 16
MX - Messico 15
CO - Colombia 11
MA - Marocco 11
UZ - Uzbekistan 11
VE - Venezuela 11
PY - Paraguay 10
UY - Uruguay 10
CL - Cile 8
ES - Italia 8
JM - Giamaica 8
KE - Kenya 8
ET - Etiopia 7
PL - Polonia 7
RO - Romania 7
RS - Serbia 7
CR - Costa Rica 6
JO - Giordania 6
NP - Nepal 6
PS - Palestinian Territory 6
AE - Emirati Arabi Uniti 4
CH - Svizzera 4
DO - Repubblica Dominicana 4
EG - Egitto 4
EU - Europa 4
LB - Libano 4
NG - Nigeria 4
TH - Thailandia 4
TN - Tunisia 4
AL - Albania 3
AZ - Azerbaigian 3
BO - Bolivia 3
DZ - Algeria 3
EE - Estonia 3
HN - Honduras 3
HR - Croazia 3
LV - Lettonia 3
OM - Oman 3
PE - Perù 3
PT - Portogallo 3
AO - Angola 2
BG - Bulgaria 2
IR - Iran 2
KZ - Kazakistan 2
LT - Lituania 2
NI - Nicaragua 2
NO - Norvegia 2
NZ - Nuova Zelanda 2
SI - Slovenia 2
SK - Slovacchia (Repubblica Slovacca) 2
SN - Senegal 2
TT - Trinidad e Tobago 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AU - Australia 1
BN - Brunei Darussalam 1
BZ - Belize 1
CG - Congo 1
CI - Costa d'Avorio 1
CM - Camerun 1
CZ - Repubblica Ceca 1
GP - Guadalupe 1
GT - Guatemala 1
GY - Guiana 1
HU - Ungheria 1
IL - Israele 1
KH - Cambogia 1
LK - Sri Lanka 1
Totale 17.638
Salva come PNG Salva come JPEG
Città #
Ann Arbor 870
Singapore 604
San Jose 546
Ashburn 466
Hong Kong 398
Milan 368
Woodbridge 355
Chandler 302
Toronto 277
Fairfield 248
Dublin 239
Houston 232
Dearborn 229
Frankfurt am Main 228
Santa Clara 220
Wilmington 213
Jacksonville 211
Beijing 143
New York 142
Council Bluffs 140
Seattle 113
Hefei 103
Princeton 95
Staranzano 94
Vienna 94
Hanoi 90
Ho Chi Minh City 88
Dong Ket 86
Seoul 84
Los Angeles 83
Nanjing 82
Rome 79
Cambridge 77
Chicago 71
The Dalles 63
Shanghai 61
Boardman 56
Lauterbourg 55
Dallas 54
Buffalo 39
Nanchang 38
Lawrence 36
São Paulo 34
Altamura 33
Lachine 33
Moscow 32
Helsinki 26
Tianjin 24
Columbus 23
Shenyang 22
Changsha 21
Pune 21
Guangzhou 19
Jinan 17
Ottawa 17
Da Nang 16
Zhengzhou 16
Bologna 15
Jakarta 14
Tokyo 14
Baghdad 13
Brussels 13
London 13
Andover 12
Düsseldorf 12
Florence 12
Kuala Lumpur 12
Kunming 12
Sacramento 12
San Diego 12
Chennai 11
Haiphong 11
Jiaxing 11
Montreal 11
Ningbo 11
Orem 11
Dhaka 10
Driebergen 10
Edmonton 10
Hangzhou 10
Huizen 10
Montevideo 10
Rio de Janeiro 10
Salt Lake City 10
Hebei 9
Johannesburg 9
Lahore 9
Memphis 9
Monza 9
Quito 9
Brasília 8
Cantù 8
Marseille 8
Rennes 8
Taizhou 8
Tashkent 8
Turin 8
Amsterdam 7
Biên Hòa 7
Brescia 7
Totale 8.869
Salva come PNG Salva come JPEG
Nome #
Logic and Algebra in Unfolded Petri Nets: On a Duality between Concurrency and Causal Dependence 589
An asynchronous game on distributed petri nets 532
Compositional discovery of workflow nets from event logs using morphisms 529
Non-interference notions based on reveals and excludes relations for petri nets 484
On the Decomposition of Regional Events in Elementary Systems 481
On Stability of Regional Orthomodular Posets 468
Property-Preserving transformations of elementary net systems based on morphisms 461
A Two Player Asynchronous Game with Privacy Constraints on Petri Nets (short paper) 440
Asynchronous games on petri nets and partial orders 432
Soundness-preserving composition of synchronously and asynchronously interacting workflow net components 427
Modeling Distributed Private Key Generation by Composing Petri Nets 425
Local State Refinement and Composition of Elementary Net Systems: An Approach Based on Morphisms 419
Closure operators associated to partially ordered sets 405
On Stability of Regional Orthomodular Posets 405
Implementable strategies for a two-player asynchronous game on Petri nets 398
Solving a Safety Game on the Unfolding of Safe Petri Nets 396
Implementable Strategies for a Two-Player Asynchronous Game on Petri Nets 381
Computing a Parametric Reveals Relation For Bounded Equal-Conflict Petri Nets 372
Discovering architecture-aware and sound process models of multi-agent systems: a compositional approach 371
Analyzing and Modeling Cooking Procedures 368
Checking weak observable liveness on unfoldings through asynchronous games 355
Synthesis of transition systems from quantum logics 345
Property-Preserving Transformations of Elementary Net Systems Based on Morphisms 342
Weak observable liveness and infinite games on finite graphs 342
Non-interference notions based on reveals and excludes relations for petri nets 329
Topics in Region Theory and Synthesis Problems 304
A Two-Player Asynchronous Game on Fully Observable Petri Nets 294
Orthomodular lattices induced by the concurrency relation 285
An Algebraic Model of Observable Properties in Distributed Systems 276
Information Flow Among Transitions of Bounded Equal-Conflict Petri Nets 264
Orthomodular lattices in occurrence nets 260
Composition of elementary net systems based on α-morphisms 260
Modeling Distributed Private Key Generation by Composing Petri Nets 256
Modelling Symport/Antiport P Systems with a Class of Hierarchical Petri Nets 255
Modelling mobility with Petri Hypernets 252
On orthomodular posets generated by transition systems 251
Local state refinement on Elementary Net Systems: an approach based on morphisms 246
Orthomodular lattices induced by the concurrency relation 245
Between quantum logic and concurrency 242
Orthomodular algebraic lattices related to combinatorial posets 232
A Multi-facet Approach to Dynamic Agent Systems 230
Modelling and Analysing Systems of Agents by Agent-Aware Transition Systems 229
Formal Tools for Modular System Development 227
Modular system development with pullbacks 227
Closure Operators and Lattices Derived from Concurrency in Posets and Occurrence Nets 225
Between quantum logic and concurrency 223
The legacy of Carl Adam Petri: From automata to communication 209
On preserving structural and behavioural properties by composing net systems on interfaces 208
Towards Modular Synthesis of EN Systems 206
On orthomodular posets generated by transition systems 206
The Road from Concurrency to Quantum Logics 199
Closed Sets in Occurrence Nets with Conflicts 194
Dynamically closed sets for the logical analysis of systems 187
A framework for resource management in air traffic systems 184
Morphisms on Marked Graphs 183
Concurrency, communication and computation. A position paper 178
Dynamically Closed Sets in Occurrence Nets 165
Petri Net Synthesis 164
Totale 18.062
Salva come PNG Salva come JPEG
Categoria #
all - tutte 50.048
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 50.048
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022468 0 0 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/20264.401 262 323 290 332 425 193 782 195 375 447 416 361
2026/2027711 51 194 466 0 0 0 0 0 0 0 0 0
Totale 18.062