Bicocca Open Archive

Logo unimib boa
POMELLO CHINAGLIA POMELLO, LUCIA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 8.066
NA - Nord America 6.150
EU - Europa 2.859
SA - Sud America 427
AF - Africa 73
Continente sconosciuto - Info sul continente non disponibili 6
OC - Oceania 3
Totale 17.584
Salva come PNG Salva come JPEG
Nazione #
SG - Singapore 5.770
US - Stati Uniti d'America 5.757
CN - Cina 878
IT - Italia 683
VN - Vietnam 469
HK - Hong Kong 441
RU - Federazione Russa 398
CA - Canada 359
BR - Brasile 316
SE - Svezia 315
DE - Germania 314
IE - Irlanda 261
UA - Ucraina 222
GB - Regno Unito 141
FR - Francia 130
IN - India 102
AT - Austria 99
DK - Danimarca 98
KR - Corea 91
BD - Bangladesh 75
FI - Finlandia 65
NL - Olanda 47
AR - Argentina 39
TR - Turchia 30
PK - Pakistan 29
IQ - Iraq 28
BE - Belgio 27
ID - Indonesia 27
ZA - Sudafrica 22
JP - Giappone 21
SA - Arabia Saudita 19
EC - Ecuador 17
MX - Messico 16
MY - Malesia 15
PH - Filippine 15
UZ - Uzbekistan 11
CO - Colombia 10
MA - Marocco 10
UY - Uruguay 10
VE - Venezuela 10
PY - Paraguay 9
CL - Cile 8
KE - Kenya 8
PL - Polonia 8
RO - Romania 7
ES - Italia 6
ET - Etiopia 6
JO - Giordania 6
NP - Nepal 6
RS - Serbia 6
TN - Tunisia 6
JM - Giamaica 5
PS - Palestinian Territory 5
AE - Emirati Arabi Uniti 4
AL - Albania 4
AZ - Azerbaigian 4
BO - Bolivia 4
CH - Svizzera 4
EG - Egitto 4
EU - Europa 4
NG - Nigeria 4
PT - Portogallo 4
TH - Thailandia 4
DO - Repubblica Dominicana 3
DZ - Algeria 3
EE - Estonia 3
HR - Croazia 3
KZ - Kazakistan 3
LB - Libano 3
LV - Lettonia 3
NI - Nicaragua 3
OM - Oman 3
PE - Perù 3
SK - Slovacchia (Repubblica Slovacca) 3
AO - Angola 2
BG - Bulgaria 2
HN - Honduras 2
IR - Iran 2
NO - Norvegia 2
NZ - Nuova Zelanda 2
SN - Senegal 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AF - Afghanistan, Repubblica islamica di 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
HU - Ungheria 1
IL - Israele 1
KH - Cambogia 1
LT - Lituania 1
LY - Libia 1
MD - Moldavia 1
ME - Montenegro 1
ML - Mali 1
Totale 17.579
Salva come PNG Salva come JPEG
Città #
Ann Arbor 1.006
Singapore 614
San Jose 505
Hong Kong 432
Ashburn 402
Woodbridge 372
Chandler 302
Toronto 283
Fairfield 273
Houston 269
Milan 253
Dublin 245
Frankfurt am Main 239
Wilmington 234
Dearborn 232
Jacksonville 219
Santa Clara 209
New York 151
Beijing 147
Seattle 124
Hefei 111
Princeton 101
Dong Ket 98
Vienna 94
Ho Chi Minh City 92
Cambridge 91
Hanoi 90
Seoul 90
Los Angeles 83
Nanjing 83
Chicago 73
Shanghai 64
The Dalles 59
Lauterbourg 58
Boardman 51
Dallas 49
Council Bluffs 41
Lawrence 39
Nanchang 38
Altamura 37
Buffalo 36
Rome 36
São Paulo 35
Lachine 34
Moscow 34
Helsinki 22
Shenyang 22
Tianjin 22
Changsha 21
Jinan 21
Pune 21
Ottawa 18
Zhengzhou 18
Guangzhou 17
Da Nang 16
San Diego 15
Tokyo 15
Jakarta 14
Ningbo 14
Andover 13
Baghdad 13
Brussels 13
Jiaxing 13
London 13
Bologna 12
Haiphong 12
Kuala Lumpur 12
Sacramento 12
Chennai 11
Huizen 11
Kunming 11
Orem 11
Rio de Janeiro 11
Dhaka 10
Driebergen 10
Düsseldorf 10
Edmonton 10
Montevideo 10
Brasília 9
Hebei 9
Johannesburg 9
Lahore 9
Salt Lake City 9
Amsterdam 8
Biên Hòa 8
Cantù 8
Florence 8
Hangzhou 8
Hải Dương 8
Marseille 8
Montreal 8
Monza 8
Quito 8
Rennes 8
Tashkent 8
Warsaw 8
Brescia 7
Falls Church 7
Fremont 7
Nairobi 7
Totale 8.779
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 506
Preface by Guest Editors 501
Non-interference notions based on reveals and excludes relations for petri nets 472
On the Decomposition of Regional Events in Elementary Systems 456
On Stability of Regional Orthomodular Posets 449
Property-Preserving transformations of elementary net systems based on morphisms 442
Modeling Distributed Private Key Generation by Composing Petri Nets 416
A Two Player Asynchronous Game with Privacy Constraints on Petri Nets (short paper) 415
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
Transactions on Petri Nets and Other Models of Concurrency XV 358
Analyzing and Modeling Cooking Procedures 354
Implementable Strategies for a Two-Player Asynchronous Game on Petri Nets 353
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 344
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
Preface by guest editors 281
Orthomodular lattices induced by the concurrency relation 269
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
Observation equivalences for the semantics of inheritance 197
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
Closed Sets in Occurrence Nets with Conflicts 176
Dynamically closed sets for the logical analysis of systems 175
The legacy of Carl Adam Petri: From automata to communication 174
Morphisms on Marked Graphs 172
Concurrency, communication and computation. A position paper 163
Application and Theory of Petri Nets and Concurrency, 2012 158
Application and Theory of Petri Nets, 33rd International Conference, PETRI NETS 2012, Hamburg, Germant, June 2012, Proceedings 154
Dynamically Closed Sets in Occurrence Nets 149
Totale 18.014
Salva come PNG Salva come JPEG
Categoria #
all - tutte 47.589
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.589
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021268 0 0 0 0 0 0 0 0 0 0 70 198
2021/2022659 69 92 73 60 26 40 30 36 22 33 67 111
2022/20231.235 155 357 94 132 88 190 14 66 77 11 29 22
2023/2024945 34 20 48 91 133 225 175 15 85 17 14 88
2024/20256.505 151 237 36 87 164 81 91 67 262 437 2.601 2.291
2025/20264.147 274 338 309 355 448 190 794 201 380 466 392 0
Totale 18.014