Bicocca Open Archive

Logo unimib boa
BERNARDINELLO, LUCA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 7.576
NA - Nord America 5.853
EU - Europa 3.034
SA - Sud America 401
AF - Africa 73
Continente sconosciuto - Info sul continente non disponibili 6
OC - Oceania 3
Totale 16.946
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.469
SG - Singapore 5.337
IT - Italia 919
CN - Cina 846
VN - Vietnam 447
HK - Hong Kong 406
RU - Federazione Russa 384
CA - Canada 351
DE - Germania 304
SE - Svezia 301
BR - Brasile 289
IE - Irlanda 254
UA - Ucraina 214
GB - Regno Unito 142
FR - Francia 125
BD - Bangladesh 116
IN - India 100
AT - Austria 98
DK - Danimarca 92
KR - Corea 85
FI - Finlandia 69
NL - Olanda 45
AR - Argentina 39
TR - Turchia 33
IQ - Iraq 28
BE - Belgio 27
ID - Indonesia 27
PK - Pakistan 26
ZA - Sudafrica 22
JP - Giappone 19
SA - Arabia Saudita 19
EC - Ecuador 17
MY - Malesia 16
PH - Filippine 16
MX - Messico 15
MA - Marocco 11
UZ - Uzbekistan 11
VE - Venezuela 11
CO - Colombia 10
PY - Paraguay 10
UY - Uruguay 10
CL - Cile 8
ES - Italia 8
KE - Kenya 8
ET - Etiopia 7
JM - Giamaica 7
PL - Polonia 7
RO - Romania 7
RS - Serbia 7
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
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
NI - Nicaragua 2
NO - Norvegia 2
NZ - Nuova Zelanda 2
SI - Slovenia 2
SK - Slovacchia (Repubblica Slovacca) 2
SN - Senegal 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
CR - Costa Rica 1
GP - Guadalupe 1
GY - Guiana 1
HN - Honduras 1
HU - Ungheria 1
IL - Israele 1
KH - Cambogia 1
LK - Sri Lanka 1
LT - Lituania 1
LY - Libia 1
MD - Moldavia 1
ME - Montenegro 1
Totale 16.942
Salva come PNG Salva come JPEG
Città #
Ann Arbor 870
Singapore 601
San Jose 485
Ashburn 402
Hong Kong 397
Milan 356
Woodbridge 355
Chandler 302
Toronto 274
Fairfield 248
Dublin 239
Dearborn 229
Houston 229
Frankfurt am Main 228
Wilmington 213
Jacksonville 211
Santa Clara 206
Beijing 143
New York 140
Seattle 113
Hefei 103
Princeton 95
Vienna 94
Hanoi 90
Ho Chi Minh City 88
Dong Ket 86
Seoul 84
Los Angeles 82
Nanjing 82
Cambridge 77
Rome 76
Chicago 69
The Dalles 63
Shanghai 61
Boardman 56
Lauterbourg 55
Dallas 49
Council Bluffs 47
Nanchang 38
Buffalo 36
Lawrence 36
São Paulo 34
Altamura 33
Lachine 33
Moscow 32
Helsinki 26
Tianjin 24
Shenyang 22
Changsha 21
Pune 21
Guangzhou 19
Jinan 17
Ottawa 17
Da Nang 16
Zhengzhou 16
Bologna 15
Jakarta 14
Baghdad 13
Brussels 13
London 13
Tokyo 13
Andover 12
Düsseldorf 12
Kuala Lumpur 12
Kunming 12
Chennai 11
Florence 11
Haiphong 11
Jiaxing 11
Ningbo 11
Orem 11
San Diego 11
Dhaka 10
Driebergen 10
Edmonton 10
Hangzhou 10
Huizen 10
Montevideo 10
Montreal 10
Rio de Janeiro 10
Sacramento 10
Salt Lake City 10
Hebei 9
Lahore 9
Monza 9
Quito 9
Brasília 8
Cantù 8
Johannesburg 8
Marseille 8
Memphis 8
Rennes 8
Taizhou 8
Tashkent 8
Turin 8
Amsterdam 7
Biên Hòa 7
Brescia 7
Hải Dương 7
Nairobi 7
Totale 8.488
Salva come PNG Salva come JPEG
Nome #
Logic and Algebra in Unfolded Petri Nets: On a Duality between Concurrency and Causal Dependence 576
Compositional discovery of workflow nets from event logs using morphisms 517
An asynchronous game on distributed petri nets 517
Non-interference notions based on reveals and excludes relations for petri nets 475
On the Decomposition of Regional Events in Elementary Systems 469
On Stability of Regional Orthomodular Posets 457
Property-Preserving transformations of elementary net systems based on morphisms 450
A Two Player Asynchronous Game with Privacy Constraints on Petri Nets (short paper) 422
Asynchronous games on petri nets and partial orders 420
Modeling Distributed Private Key Generation by Composing Petri Nets 417
Local State Refinement and Composition of Elementary Net Systems: An Approach Based on Morphisms 407
Soundness-preserving composition of synchronously and asynchronously interacting workflow net components 406
On Stability of Regional Orthomodular Posets 397
Closure operators associated to partially ordered sets 395
Implementable strategies for a two-player asynchronous game on Petri nets 385
Solving a Safety Game on the Unfolding of Safe Petri Nets 374
Implementable Strategies for a Two-Player Asynchronous Game on Petri Nets 362
Discovering architecture-aware and sound process models of multi-agent systems: a compositional approach 359
Analyzing and Modeling Cooking Procedures 358
Computing a Parametric Reveals Relation For Bounded Equal-Conflict Petri Nets 356
Checking weak observable liveness on unfoldings through asynchronous games 341
Synthesis of transition systems from quantum logics 334
Property-Preserving Transformations of Elementary Net Systems Based on Morphisms 333
Weak observable liveness and infinite games on finite graphs 331
Non-interference notions based on reveals and excludes relations for petri nets 322
Topics in Region Theory and Synthesis Problems 288
A Two-Player Asynchronous Game on Fully Observable Petri Nets 287
Orthomodular lattices induced by the concurrency relation 278
An Algebraic Model of Observable Properties in Distributed Systems 264
Orthomodular lattices in occurrence nets 253
Information Flow Among Transitions of Bounded Equal-Conflict Petri Nets 248
Modeling Distributed Private Key Generation by Composing Petri Nets 248
Composition of elementary net systems based on α-morphisms 247
Modelling mobility with Petri Hypernets 244
On orthomodular posets generated by transition systems 242
Modelling Symport/Antiport P Systems with a Class of Hierarchical Petri Nets 241
Orthomodular lattices induced by the concurrency relation 236
Between quantum logic and concurrency 235
Local state refinement on Elementary Net Systems: an approach based on morphisms 226
Orthomodular algebraic lattices related to combinatorial posets 218
A Multi-facet Approach to Dynamic Agent Systems 216
Modular system development with pullbacks 216
Formal Tools for Modular System Development 215
Closure Operators and Lattices Derived from Concurrency in Posets and Occurrence Nets 215
Modelling and Analysing Systems of Agents by Agent-Aware Transition Systems 212
Between quantum logic and concurrency 211
On orthomodular posets generated by transition systems 200
On preserving structural and behavioural properties by composing net systems on interfaces 195
The Road from Concurrency to Quantum Logics 194
Towards Modular Synthesis of EN Systems 193
Closed Sets in Occurrence Nets with Conflicts 182
Dynamically closed sets for the logical analysis of systems 180
The legacy of Carl Adam Petri: From automata to communication 180
Morphisms on Marked Graphs 176
A framework for resource management in air traffic systems 170
Concurrency, communication and computation. A position paper 169
Dynamically Closed Sets in Occurrence Nets 159
Petri Net Synthesis 145
Totale 17.363
Salva come PNG Salva come JPEG
Categoria #
all - tutte 47.309
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 47.309
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
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/20264.401 262 323 290 332 425 193 782 195 375 447 416 361
2026/202712 12 0 0 0 0 0 0 0 0 0 0 0
Totale 17.363