Bicocca Open Archive

Logo unimib boa
BERNARDINELLO, LUCA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 7.533
NA - Nord America 5.740
EU - Europa 2.781
SA - Sud America 400
AF - Africa 73
Continente sconosciuto - Info sul continente non disponibili 6
OC - Oceania 3
Totale 16.536
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.361
SG - Singapore 5.337
CN - Cina 846
IT - Italia 668
VN - Vietnam 443
HK - Hong Kong 406
RU - Federazione Russa 384
CA - Canada 348
DE - Germania 304
SE - Svezia 301
BR - Brasile 289
IE - Irlanda 254
UA - Ucraina 213
GB - Regno Unito 142
FR - Francia 124
IN - India 100
AT - Austria 98
DK - Danimarca 92
KR - Corea 85
BD - Bangladesh 79
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
SA - Arabia Saudita 19
JP - Giappone 18
EC - Ecuador 17
PH - Filippine 16
MX - Messico 15
MY - Malesia 15
MA - Marocco 11
UZ - Uzbekistan 11
VE - Venezuela 11
PY - Paraguay 10
UY - Uruguay 10
CO - Colombia 9
CL - Cile 8
ES - Italia 8
KE - Kenya 8
ET - Etiopia 7
PL - Polonia 7
RO - Romania 7
RS - Serbia 7
JO - Giordania 6
NP - Nepal 6
PS - Palestinian Territory 6
JM - Giamaica 5
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.532
Salva come PNG Salva come JPEG
Città #
Ann Arbor 870
Singapore 601
San Jose 477
Hong Kong 397
Ashburn 391
Woodbridge 355
Chandler 302
Toronto 273
Milan 251
Fairfield 248
Dublin 239
Dearborn 229
Houston 229
Frankfurt am Main 228
Wilmington 213
Jacksonville 210
Santa Clara 201
Beijing 143
New York 136
Seattle 113
Hefei 103
Princeton 95
Vienna 94
Hanoi 88
Dong Ket 86
Ho Chi Minh City 86
Seoul 84
Nanjing 82
Cambridge 77
Los Angeles 76
Chicago 68
The Dalles 63
Shanghai 61
Lauterbourg 55
Boardman 52
Dallas 46
Council Bluffs 43
Nanchang 38
Lawrence 36
Rome 35
São Paulo 34
Altamura 33
Buffalo 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
Jakarta 14
Baghdad 13
Brussels 13
London 13
Tokyo 13
Andover 12
Bologna 12
Düsseldorf 12
Kuala Lumpur 12
Kunming 12
Chennai 11
Haiphong 11
Jiaxing 11
Ningbo 11
Orem 11
San Diego 11
Dhaka 10
Driebergen 10
Edmonton 10
Hangzhou 10
Huizen 10
Montevideo 10
Rio de Janeiro 10
Sacramento 10
Salt Lake City 10
Hebei 9
Lahore 9
Monza 9
Quito 9
Brasília 8
Cantù 8
Florence 8
Johannesburg 8
Marseille 8
Montreal 8
Rennes 8
Taizhou 8
Tashkent 8
Amsterdam 7
Biên Hòa 7
Brescia 7
Hải Dương 7
Nairobi 7
Poplar 7
Seregno 7
Totale 8.277
Salva come PNG Salva come JPEG
Nome #
Logic and Algebra in Unfolded Petri Nets: On a Duality between Concurrency and Causal Dependence 571
Compositional discovery of workflow nets from event logs using morphisms 508
An asynchronous game on distributed petri nets 507
Non-interference notions based on reveals and excludes relations for petri nets 472
On the Decomposition of Regional Events in Elementary Systems 458
On Stability of Regional Orthomodular Posets 449
Property-Preserving transformations of elementary net systems based on morphisms 442
A Two Player Asynchronous Game with Privacy Constraints on Petri Nets (short paper) 416
Modeling Distributed Private Key Generation by Composing Petri Nets 416
Asynchronous games on petri nets and partial orders 412
Local State Refinement and Composition of Elementary Net Systems: An Approach Based on Morphisms 397
Closure operators associated to partially ordered sets 392
On Stability of Regional Orthomodular Posets 390
Implementable strategies for a two-player asynchronous game on Petri nets 375
Soundness-preserving composition of synchronously and asynchronously interacting workflow net components 362
Solving a Safety Game on the Unfolding of Safe Petri Nets 361
Implementable Strategies for a Two-Player Asynchronous Game on Petri Nets 354
Analyzing and Modeling Cooking Procedures 354
Discovering architecture-aware and sound process models of multi-agent systems: a compositional approach 346
Computing a Parametric Reveals Relation For Bounded Equal-Conflict Petri Nets 345
Checking weak observable liveness on unfoldings through asynchronous games 332
Synthesis of transition systems from quantum logics 330
Weak observable liveness and infinite games on finite graphs 328
Property-Preserving Transformations of Elementary Net Systems Based on Morphisms 323
Non-interference notions based on reveals and excludes relations for petri nets 311
A Two-Player Asynchronous Game on Fully Observable Petri Nets 283
Orthomodular lattices induced by the concurrency relation 269
Topics in Region Theory and Synthesis Problems 268
An Algebraic Model of Observable Properties in Distributed Systems 262
Composition of elementary net systems based on α-morphisms 245
Orthomodular lattices in occurrence nets 243
Modelling mobility with Petri Hypernets 241
Information Flow Among Transitions of Bounded Equal-Conflict Petri Nets 240
On orthomodular posets generated by transition systems 239
Modeling Distributed Private Key Generation by Composing Petri Nets 238
Orthomodular lattices induced by the concurrency relation 232
Between quantum logic and concurrency 232
Modelling Symport/Antiport P Systems with a Class of Hierarchical Petri Nets 230
Local state refinement on Elementary Net Systems: an approach based on morphisms 222
Formal Tools for Modular System Development 214
Modular system development with pullbacks 214
Orthomodular algebraic lattices related to combinatorial posets 212
Closure Operators and Lattices Derived from Concurrency in Posets and Occurrence Nets 209
Modelling and Analysing Systems of Agents by Agent-Aware Transition Systems 208
A Multi-facet Approach to Dynamic Agent Systems 206
Between quantum logic and concurrency 205
On orthomodular posets generated by transition systems 197
On preserving structural and behavioural properties by composing net systems on interfaces 192
The Road from Concurrency to Quantum Logics 190
Towards Modular Synthesis of EN Systems 188
The legacy of Carl Adam Petri: From automata to communication 179
Dynamically closed sets for the logical analysis of systems 178
Closed Sets in Occurrence Nets with Conflicts 176
Morphisms on Marked Graphs 172
A framework for resource management in air traffic systems 168
Concurrency, communication and computation. A position paper 163
Dynamically Closed Sets in Occurrence Nets 149
Petri Net Synthesis 138
Totale 16.953
Salva come PNG Salva come JPEG
Categoria #
all - tutte 45.530
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 45.530
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021242 0 0 0 0 0 0 0 0 0 0 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/20264.003 262 323 290 332 425 193 782 195 375 447 379 0
Totale 16.953