Bicocca Open Archive

Logo unimib boa
POMELLO CHINAGLIA POMELLO, LUCIA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.143
EU - Europa 2.036
AS - Asia 683
Continente sconosciuto - Info sul continente non disponibili 5
SA - Sud America 4
OC - Oceania 2
Totale 6.873
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.063
IT - Italia 502
CN - Cina 393
SE - Svezia 311
DE - Germania 265
IE - Irlanda 259
UA - Ucraina 209
VN - Vietnam 138
HK - Hong Kong 120
GB - Regno Unito 99
DK - Danimarca 94
AT - Austria 92
CA - Canada 79
FI - Finlandia 53
RU - Federazione Russa 41
FR - Francia 39
NL - Olanda 32
BE - Belgio 27
IN - India 18
TR - Turchia 8
BR - Brasile 4
EU - Europa 4
PT - Portogallo 4
RS - Serbia 3
EE - Estonia 2
JP - Giappone 2
MY - Malesia 2
NZ - Nuova Zelanda 2
A2 - ???statistics.table.value.countryCode.A2??? 1
BG - Bulgaria 1
CH - Svizzera 1
IR - Iran 1
MX - Messico 1
PH - Filippine 1
RO - Romania 1
SK - Slovacchia (Repubblica Slovacca) 1
Totale 6.873
Salva come PNG Salva come JPEG
Città #
Ann Arbor 1.006
Woodbridge 372
Chandler 302
Fairfield 273
Houston 269
Dublin 243
Wilmington 233
Dearborn 232
Frankfurt am Main 227
Jacksonville 218
Milan 205
Ashburn 151
New York 127
Seattle 119
Hong Kong 117
Princeton 101
Dong Ket 98
Cambridge 91
Vienna 91
Nanjing 81
Beijing 45
Shanghai 42
Boardman 39
Lawrence 39
Altamura 37
Nanchang 37
Lachine 34
Los Angeles 29
Shenyang 22
Tianjin 21
Jinan 19
Rome 19
Pune 18
Toronto 17
Changsha 16
Ottawa 16
Helsinki 15
San Diego 15
Ningbo 14
Zhengzhou 14
Andover 13
Brussels 13
Guangzhou 12
Jiaxing 12
Sacramento 12
Huizen 11
Driebergen 10
Edmonton 10
Kunming 10
Hebei 9
Hangzhou 8
Rennes 8
Falls Church 7
Fremont 7
Taizhou 7
University Park 7
Ardea 6
Cantù 6
London 6
Moscow 6
Mountain View 6
Auburn Hills 5
Brescia 5
Changchun 5
Kiev 5
Monza 5
Arcore 4
Bari 4
Council Bluffs 4
Norwalk 4
Southwark 4
Biarritz 3
Cagliari 3
Cernusco sul Naviglio 3
Dallas 3
Delft 3
Hefei 3
Imperia 3
Lanzhou 3
Palermo 3
Pombia 3
Prata 3
Sesto San Giovanni 3
São Paulo 3
Albinea 2
Amsterdam 2
Assago 2
Atlanta 2
Auckland 2
Augusta 2
Belgrade 2
Bellinzago Lombardo 2
Bergamo 2
Canzo 2
Capriolo 2
Cernusco 2
Como 2
El Segundo 2
Gallarate 2
Kocaeli 2
Totale 5.366
Salva come PNG Salva come JPEG
Nome #
Logic and Algebra in Unfolded Petri Nets: On a Duality between Concurrency and Causal Dependence 273
An asynchronous game on distributed petri nets 261
Asynchronous games on petri nets and partial orders 249
On Stability of Regional Orthomodular Posets 227
Compositional discovery of workflow nets from event logs using morphisms 219
Preface (by Guest Editors) 219
Non-interference notions based on reveals and excludes relations for petri nets 201
Orthomodular lattices induced by the concurrency relation 178
Modelling mobility with Petri Hypernets 175
Weak observable liveness and infinite games on finite graphs 175
Checking weak observable liveness on unfoldings through asynchronous games 175
Synthesis of transition systems from quantum logics 170
Non-interference notions based on reveals and excludes relations for petri nets 165
Orthomodular lattices in occurrence nets 158
On Stability of Regional Orthomodular Posets 155
An Algebraic Model of Observable Properties in Distributed Systems 154
Between quantum logic and concurrency 154
Property-Preserving transformations of elementary net systems based on morphisms 153
Modeling Distributed Private Key Generation by Composing Petri Nets 146
Modular system development with pullbacks 142
Modelling Symport/Antiport P Systems with a Class of Hierarchical Petri Nets 137
On orthomodular posets generated by transition systems 137
Orthomodular lattices induced by the concurrency relation 137
Formal Tools for Modular System Development 133
On the Decomposition of Regional Events in Elementary Systems 133
Observation equivalences for the semantics of inheritance 132
Between quantum logic and concurrency 132
On orthomodular posets generated by transition systems 128
Local State Refinement and Composition of Elementary Net Systems: An Approach Based on Morphisms 125
Orthomodular algebraic lattices related to combinatorial posets 125
A Multi-facet Approach to Dynamic Agent Systems 117
Dynamically closed sets for the logical analysis of systems 114
On preserving structural and behavioural properties by composing net systems on interfaces 112
Modelling and Analysing Systems of Agents by Agent-Aware Transition Systems 112
Closure Operators and Lattices Derived from Concurrency in Posets and Occurrence Nets 112
A Two-Player Asynchronous Game on Fully Observable Petri Nets 110
Local state refinement on Elementary Net Systems: an approach based on morphisms 108
Closure operators associated to partially ordered sets 101
Composition of Elementary Net Systems based on α-morphisms 100
Towards Modular Synthesis of EN Systems 97
Modeling Distributed Private Key Generation by Composing Petri Nets 97
Application and Theory of Petri Nets, 33rd International Conference, PETRI NETS 2012, Hamburg, Germant, June 2012, Proceedings 89
Concurrency, communication and computation. A position paper 89
Fundamenta Informaticae. Application and Theory of Petri Nets and Concurrency, 2012 89
Morphisms on Marked Graphs 87
Closed Sets in Occurrence Nets with Conflicts 87
The legacy of Carl Adam Petri: From automata to communication 82
Dynamically Closed Sets in Occurrence Nets 76
Analyzing and Modeling Cooking Procedures 67
Transactions on Petri Nets and Other Models of Concurrency XV 63
Implementable strategies for a two-player asynchronous game on Petri nets 60
Discovering architecture-aware and sound process models of multi-agent systems: a compositional approach 46
Information Flow Among Transitions of Bounded Equal-Conflict Petri Nets 39
Property-Preserving Transformations of Elementary Net Systems Based on Morphisms 31
Soundness-preserving composition of synchronously and asynchronously interacting workflow net components 25
Solving a Safety Game on the Unfolding of Safe Petri Nets 22
The Road from Concurrency to Quantum Logics 22
Preface by guest editors 16
Implementable Strategies for a Two-Player Asynchronous Game on Petri Nets 8
Computing a Parametric Reveals Relation For Bounded Equal-Conflict Petri Nets 6
Totale 7.252
Salva come PNG Salva come JPEG
Categoria #
all - tutte 19.130
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 19.130
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019351 0 0 0 0 0 0 0 0 0 47 123 181
2019/20201.458 150 83 94 91 141 192 222 147 156 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/2024835 34 20 48 91 133 225 175 15 85 9 0 0
Totale 7.252