Bicocca Open Archive

Logo unimib boa
BERNARDINELLO, LUCA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 7.505
NA - Nord America 5.394
EU - Europa 2.761
SA - Sud America 400
AF - Africa 73
Continente sconosciuto - Info sul continente non disponibili 6
OC - Oceania 3
Totale 16.142
Salva come PNG Salva come JPEG
Nazione #
SG - Singapore 5.335
US - Stati Uniti d'America 5.276
CN - Cina 843
IT - Italia 649
VN - Vietnam 443
HK - Hong Kong 406
RU - Federazione Russa 384
DE - Germania 304
SE - Svezia 301
BR - Brasile 289
IE - Irlanda 254
UA - Ucraina 213
GB - Regno Unito 141
FR - Francia 124
IN - India 100
AT - Austria 98
DK - Danimarca 92
CA - Canada 90
KR - Corea 85
FI - Finlandia 69
BD - Bangladesh 58
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
EC - Ecuador 17
JP - Giappone 17
PH - Filippine 16
MX - Messico 14
MY - Malesia 14
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
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
JM - Giamaica 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.138
Salva come PNG Salva come JPEG
Città #
Ann Arbor 870
Singapore 601
San Jose 444
Hong Kong 397
Ashburn 390
Woodbridge 355
Chandler 302
Fairfield 248
Milan 246
Dublin 239
Dearborn 229
Houston 229
Frankfurt am Main 228
Wilmington 213
Jacksonville 210
Santa Clara 201
Beijing 142
New York 134
Seattle 112
Hefei 103
Princeton 95
Vienna 94
Hanoi 88
Dong Ket 86
Ho Chi Minh City 86
Seoul 84
Nanjing 82
Cambridge 77
Los Angeles 75
Chicago 68
The Dalles 62
Shanghai 61
Lauterbourg 55
Boardman 52
Dallas 46
Council Bluffs 42
Nanchang 38
Lawrence 36
São Paulo 34
Altamura 33
Buffalo 33
Lachine 33
Rome 33
Moscow 32
Helsinki 26
Tianjin 24
Shenyang 22
Changsha 21
Pune 21
Guangzhou 19
Toronto 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
Kunming 12
Chennai 11
Haiphong 11
Jiaxing 11
Kuala Lumpur 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
Rennes 8
Taizhou 8
Tashkent 8
Amsterdam 7
Biên Hòa 7
Brescia 7
Hải Dương 7
Montreal 7
Nairobi 7
Poplar 7
Seregno 7
Totale 7.973
Salva come PNG Salva come JPEG
Nome #
Logic and Algebra in Unfolded Petri Nets: On a Duality between Concurrency and Causal Dependence 564
An asynchronous game on distributed petri nets 499
Compositional discovery of workflow nets from event logs using morphisms 497
Non-interference notions based on reveals and excludes relations for petri nets 462
On Stability of Regional Orthomodular Posets 446
Property-Preserving transformations of elementary net systems based on morphisms 440
On the Decomposition of Regional Events in Elementary Systems 422
A Two Player Asynchronous Game with Privacy Constraints on Petri Nets (short paper) 410
Modeling Distributed Private Key Generation by Composing Petri Nets 408
Asynchronous games on petri nets and partial orders 403
Local State Refinement and Composition of Elementary Net Systems: An Approach Based on Morphisms 387
Closure operators associated to partially ordered sets 385
On Stability of Regional Orthomodular Posets 382
Implementable strategies for a two-player asynchronous game on Petri nets 370
Soundness-preserving composition of synchronously and asynchronously interacting workflow net components 356
Solving a Safety Game on the Unfolding of Safe Petri Nets 355
Analyzing and Modeling Cooking Procedures 351
Implementable Strategies for a Two-Player Asynchronous Game on Petri Nets 346
Discovering architecture-aware and sound process models of multi-agent systems: a compositional approach 343
Computing a Parametric Reveals Relation For Bounded Equal-Conflict Petri Nets 338
Property-Preserving Transformations of Elementary Net Systems Based on Morphisms 322
Synthesis of transition systems from quantum logics 322
Checking weak observable liveness on unfoldings through asynchronous games 322
Weak observable liveness and infinite games on finite graphs 320
Non-interference notions based on reveals and excludes relations for petri nets 302
A Two-Player Asynchronous Game on Fully Observable Petri Nets 277
Topics in Region Theory and Synthesis Problems 267
Orthomodular lattices induced by the concurrency relation 265
An Algebraic Model of Observable Properties in Distributed Systems 255
Composition of elementary net systems based on α-morphisms 245
Information Flow Among Transitions of Bounded Equal-Conflict Petri Nets 238
Orthomodular lattices in occurrence nets 237
Modeling Distributed Private Key Generation by Composing Petri Nets 235
Modelling mobility with Petri Hypernets 234
On orthomodular posets generated by transition systems 233
Between quantum logic and concurrency 226
Orthomodular lattices induced by the concurrency relation 225
Modelling Symport/Antiport P Systems with a Class of Hierarchical Petri Nets 222
Local state refinement on Elementary Net Systems: an approach based on morphisms 213
Formal Tools for Modular System Development 212
Modular system development with pullbacks 207
Orthomodular algebraic lattices related to combinatorial posets 205
Closure Operators and Lattices Derived from Concurrency in Posets and Occurrence Nets 202
Modelling and Analysing Systems of Agents by Agent-Aware Transition Systems 201
Between quantum logic and concurrency 201
A Multi-facet Approach to Dynamic Agent Systems 200
On orthomodular posets generated by transition systems 191
The Road from Concurrency to Quantum Logics 187
On preserving structural and behavioural properties by composing net systems on interfaces 186
Towards Modular Synthesis of EN Systems 181
Dynamically closed sets for the logical analysis of systems 172
Closed Sets in Occurrence Nets with Conflicts 168
The legacy of Carl Adam Petri: From automata to communication 166
Morphisms on Marked Graphs 162
A framework for resource management in air traffic systems 160
Concurrency, communication and computation. A position paper 155
Dynamically Closed Sets in Occurrence Nets 141
Petri Net Synthesis 138
Totale 16.559
Salva come PNG Salva come JPEG
Categoria #
all - tutte 44.075
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 44.075
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021367 0 0 0 0 0 0 0 0 0 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/20263.609 262 323 290 332 425 193 782 195 375 432 0 0
Totale 16.559