Bicocca Open Archive

Logo unimib boa
POMELLO CHINAGLIA POMELLO, LUCIA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.597
EU - Europa 2.486
AS - Asia 1.185
SA - Sud America 35
Continente sconosciuto - Info sul continente non disponibili 5
AF - Africa 2
OC - Oceania 2
Totale 8.312
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.514
IT - Italia 589
CN - Cina 415
SG - Singapore 401
RU - Federazione Russa 333
SE - Svezia 311
DE - Germania 286
IE - Irlanda 259
UA - Ucraina 211
HK - Hong Kong 174
VN - Vietnam 138
GB - Regno Unito 106
DK - Danimarca 97
AT - Austria 95
CA - Canada 80
FI - Finlandia 59
FR - Francia 55
NL - Olanda 39
BR - Brasile 31
BE - Belgio 27
IN - India 18
ID - Indonesia 14
TR - Turchia 9
EU - Europa 4
PT - Portogallo 4
RS - Serbia 4
PK - Pakistan 3
AZ - Azerbaigian 2
BD - Bangladesh 2
BG - Bulgaria 2
EC - Ecuador 2
EE - Estonia 2
JP - Giappone 2
MY - Malesia 2
NZ - Nuova Zelanda 2
PH - Filippine 2
RO - Romania 2
SK - Slovacchia (Repubblica Slovacca) 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AR - Argentina 1
CH - Svizzera 1
HN - Honduras 1
HR - Croazia 1
IR - Iran 1
JM - Giamaica 1
JO - Giordania 1
LV - Lettonia 1
MA - Marocco 1
MX - Messico 1
OM - Oman 1
SN - Senegal 1
UY - Uruguay 1
Totale 8.312
Salva come PNG Salva come JPEG
Città #
Ann Arbor 1.006
Woodbridge 372
Chandler 302
Fairfield 273
Houston 269
Ashburn 251
Dublin 243
Singapore 236
Milan 234
Wilmington 233
Dearborn 232
Frankfurt am Main 232
Jacksonville 218
Santa Clara 204
Hong Kong 171
New York 127
Seattle 121
Princeton 101
Dong Ket 98
Vienna 93
Cambridge 91
Nanjing 81
Shanghai 60
Boardman 50
Beijing 45
Lawrence 39
Altamura 37
Nanchang 37
Lachine 34
Los Angeles 33
Council Bluffs 25
Shenyang 22
Rome 21
Tianjin 21
Helsinki 19
Jinan 19
Moscow 19
Pune 18
Ottawa 17
Toronto 17
Changsha 16
San Diego 15
Guangzhou 14
Ningbo 14
Zhengzhou 14
Andover 13
Brussels 13
Jakarta 13
Jiaxing 12
Sacramento 12
The Dalles 12
Huizen 11
Driebergen 10
Düsseldorf 10
Edmonton 10
Kunming 10
London 10
Hebei 9
Hangzhou 8
Monza 8
Rennes 8
Brescia 7
Dallas 7
Falls Church 7
Florence 7
Fremont 7
Seregno 7
Taizhou 7
University Park 7
Ardea 6
Cantù 6
Mountain View 6
Auburn Hills 5
Changchun 5
Kiev 5
São Paulo 5
Amsterdam 4
Arcore 4
Bari 4
Lappeenranta 4
Marseille 4
Norwalk 4
Saronno 4
Southwark 4
Bergamo 3
Biarritz 3
Bologna 3
Brasília 3
Cagliari 3
Cernusco sul Naviglio 3
Copenhagen 3
Delft 3
Hefei 3
Imperia 3
Lanzhou 3
Lauterbourg 3
Lumezzane 3
Palermo 3
Pombia 3
Portsmouth 3
Totale 6.137
Salva come PNG Salva come JPEG
Nome #
Logic and Algebra in Unfolded Petri Nets: On a Duality between Concurrency and Causal Dependence 307
An asynchronous game on distributed petri nets 288
Asynchronous games on petri nets and partial orders 274
Compositional discovery of workflow nets from event logs using morphisms 255
Preface by Guest Editors 252
On Stability of Regional Orthomodular Posets 251
Non-interference notions based on reveals and excludes relations for petri nets 222
Weak observable liveness and infinite games on finite graphs 200
Orthomodular lattices induced by the concurrency relation 199
Checking weak observable liveness on unfoldings through asynchronous games 199
Synthesis of transition systems from quantum logics 195
On Stability of Regional Orthomodular Posets 192
Property-Preserving transformations of elementary net systems based on morphisms 186
Non-interference notions based on reveals and excludes relations for petri nets 185
Modelling mobility with Petri Hypernets 184
Between quantum logic and concurrency 173
Orthomodular lattices in occurrence nets 172
Modeling Distributed Private Key Generation by Composing Petri Nets 171
An Algebraic Model of Observable Properties in Distributed Systems 170
On the Decomposition of Regional Events in Elementary Systems 161
Modular system development with pullbacks 159
On orthomodular posets generated by transition systems 156
Modelling Symport/Antiport P Systems with a Class of Hierarchical Petri Nets 155
Orthomodular lattices induced by the concurrency relation 153
Formal Tools for Modular System Development 151
Between quantum logic and concurrency 151
A Two-Player Asynchronous Game on Fully Observable Petri Nets 149
Observation equivalences for the semantics of inheritance 146
On orthomodular posets generated by transition systems 146
Local State Refinement and Composition of Elementary Net Systems: An Approach Based on Morphisms 145
Orthomodular algebraic lattices related to combinatorial posets 145
A Multi-facet Approach to Dynamic Agent Systems 135
On preserving structural and behavioural properties by composing net systems on interfaces 131
Closure Operators and Lattices Derived from Concurrency in Posets and Occurrence Nets 130
Dynamically closed sets for the logical analysis of systems 130
Modelling and Analysing Systems of Agents by Agent-Aware Transition Systems 127
Local state refinement on Elementary Net Systems: an approach based on morphisms 122
Modeling Distributed Private Key Generation by Composing Petri Nets 121
Composition of Elementary Net Systems based on α-morphisms 120
Closure operators associated to partially ordered sets 118
Towards Modular Synthesis of EN Systems 117
Closed Sets in Occurrence Nets with Conflicts 110
Fundamenta Informaticae. Application and Theory of Petri Nets and Concurrency, 2012 108
The legacy of Carl Adam Petri: From automata to communication 107
Concurrency, communication and computation. A position paper 106
Application and Theory of Petri Nets, 33rd International Conference, PETRI NETS 2012, Hamburg, Germant, June 2012, Proceedings 105
Morphisms on Marked Graphs 104
Implementable strategies for a two-player asynchronous game on Petri nets 100
Transactions on Petri Nets and Other Models of Concurrency XV 100
Analyzing and Modeling Cooking Procedures 97
Dynamically Closed Sets in Occurrence Nets 96
Information Flow Among Transitions of Bounded Equal-Conflict Petri Nets 79
Discovering architecture-aware and sound process models of multi-agent systems: a compositional approach 75
Soundness-preserving composition of synchronously and asynchronously interacting workflow net components 72
Solving a Safety Game on the Unfolding of Safe Petri Nets 64
Implementable Strategies for a Two-Player Asynchronous Game on Petri Nets 59
Property-Preserving Transformations of Elementary Net Systems Based on Morphisms 57
The Road from Concurrency to Quantum Logics 50
Computing a Parametric Reveals Relation For Bounded Equal-Conflict Petri Nets 49
Preface by guest editors 31
A Two Player Asynchronous Game with Privacy Constraints on Petri Nets (short paper) 30
Totale 8.742
Salva come PNG Salva come JPEG
Categoria #
all - tutte 30.486
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 30.486
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020182 0 0 0 0 0 0 0 0 0 70 96 16
2020/20211.239 69 30 110 103 94 100 116 96 124 129 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/20251.380 151 237 36 87 164 81 91 67 262 204 0 0
Totale 8.742