Bicocca Open Archive

Logo unimib boa
POMELLO CHINAGLIA POMELLO, LUCIA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.396
EU - Europa 2.275
AS - Asia 945
Continente sconosciuto - Info sul continente non disponibili 5
SA - Sud America 5
OC - Oceania 2
Totale 7.628
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.315
IT - Italia 544
CN - Cina 415
SE - Svezia 311
DE - Germania 268
IE - Irlanda 259
SG - Singapore 239
RU - Federazione Russa 216
UA - Ucraina 209
VN - Vietnam 138
HK - Hong Kong 120
GB - Regno Unito 102
DK - Danimarca 97
AT - Austria 92
CA - Canada 80
FI - Finlandia 56
FR - Francia 44
NL - Olanda 33
BE - Belgio 27
IN - India 18
TR - Turchia 8
BR - Brasile 5
EU - Europa 4
PT - Portogallo 4
RS - Serbia 4
BG - Bulgaria 2
EE - Estonia 2
JP - Giappone 2
MY - Malesia 2
NZ - Nuova Zelanda 2
SK - Slovacchia (Repubblica Slovacca) 2
A2 - ???statistics.table.value.countryCode.A2??? 1
CH - Svizzera 1
ID - Indonesia 1
IR - Iran 1
LV - Lettonia 1
MX - Messico 1
PH - Filippine 1
RO - Romania 1
Totale 7.628
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
Milan 224
Jacksonville 218
Singapore 200
Ashburn 160
Santa Clara 148
New York 127
Seattle 119
Hong Kong 117
Princeton 101
Dong Ket 98
Cambridge 91
Vienna 91
Nanjing 81
Shanghai 60
Boardman 50
Beijing 45
Lawrence 39
Altamura 37
Nanchang 37
Lachine 34
Los Angeles 31
Shenyang 22
Tianjin 21
Jinan 19
Rome 19
Pune 18
Ottawa 17
Toronto 17
Changsha 16
Helsinki 16
San Diego 15
Guangzhou 14
Ningbo 14
Zhengzhou 14
Andover 13
Brussels 13
Jiaxing 12
Sacramento 12
Huizen 11
Driebergen 10
Edmonton 10
Kunming 10
Hebei 9
London 9
Hangzhou 8
Monza 8
Rennes 8
Dallas 7
Falls Church 7
Fremont 7
Moscow 7
Taizhou 7
University Park 7
Ardea 6
Cantù 6
Mountain View 6
Auburn Hills 5
Brescia 5
Changchun 5
Kiev 5
Arcore 4
Bari 4
Council Bluffs 4
Florence 4
Lappeenranta 4
Marseille 4
Norwalk 4
Southwark 4
São Paulo 4
Amsterdam 3
Bergamo 3
Biarritz 3
Cagliari 3
Cernusco sul Naviglio 3
Copenhagen 3
Delft 3
Hefei 3
Imperia 3
Lanzhou 3
Lumezzane 3
Palermo 3
Pombia 3
Prata 3
Sesto San Giovanni 3
Albinea 2
Assago 2
Atlanta 2
Auckland 2
Augusta 2
Belgrade 2
Bellinzago Lombardo 2
Totale 5.795
Salva come PNG Salva come JPEG
Nome #
Logic and Algebra in Unfolded Petri Nets: On a Duality between Concurrency and Causal Dependence 291
An asynchronous game on distributed petri nets 274
Asynchronous games on petri nets and partial orders 262
Compositional discovery of workflow nets from event logs using morphisms 242
On Stability of Regional Orthomodular Posets 239
Preface (by Guest Editors) 234
Non-interference notions based on reveals and excludes relations for petri nets 213
Weak observable liveness and infinite games on finite graphs 193
Orthomodular lattices induced by the concurrency relation 192
Checking weak observable liveness on unfoldings through asynchronous games 187
Modelling mobility with Petri Hypernets 180
Synthesis of transition systems from quantum logics 180
Non-interference notions based on reveals and excludes relations for petri nets 175
On Stability of Regional Orthomodular Posets 175
Property-Preserving transformations of elementary net systems based on morphisms 171
Orthomodular lattices in occurrence nets 165
Between quantum logic and concurrency 164
An Algebraic Model of Observable Properties in Distributed Systems 162
Modeling Distributed Private Key Generation by Composing Petri Nets 162
Modular system development with pullbacks 150
On orthomodular posets generated by transition systems 148
Orthomodular lattices induced by the concurrency relation 147
On the Decomposition of Regional Events in Elementary Systems 147
Modelling Symport/Antiport P Systems with a Class of Hierarchical Petri Nets 144
Formal Tools for Modular System Development 143
Between quantum logic and concurrency 142
Observation equivalences for the semantics of inheritance 139
Local State Refinement and Composition of Elementary Net Systems: An Approach Based on Morphisms 139
On orthomodular posets generated by transition systems 138
Orthomodular algebraic lattices related to combinatorial posets 134
A Two-Player Asynchronous Game on Fully Observable Petri Nets 131
A Multi-facet Approach to Dynamic Agent Systems 128
Closure Operators and Lattices Derived from Concurrency in Posets and Occurrence Nets 125
Dynamically closed sets for the logical analysis of systems 123
Modelling and Analysing Systems of Agents by Agent-Aware Transition Systems 122
On preserving structural and behavioural properties by composing net systems on interfaces 121
Local state refinement on Elementary Net Systems: an approach based on morphisms 117
Composition of Elementary Net Systems based on α-morphisms 113
Modeling Distributed Private Key Generation by Composing Petri Nets 111
Towards Modular Synthesis of EN Systems 110
Closure operators associated to partially ordered sets 109
The legacy of Carl Adam Petri: From automata to communication 101
Concurrency, communication and computation. A position paper 99
Fundamenta Informaticae. Application and Theory of Petri Nets and Concurrency, 2012 98
Application and Theory of Petri Nets, 33rd International Conference, PETRI NETS 2012, Hamburg, Germant, June 2012, Proceedings 97
Closed Sets in Occurrence Nets with Conflicts 96
Morphisms on Marked Graphs 94
Transactions on Petri Nets and Other Models of Concurrency XV 87
Dynamically Closed Sets in Occurrence Nets 86
Implementable strategies for a two-player asynchronous game on Petri nets 84
Analyzing and Modeling Cooking Procedures 77
Information Flow Among Transitions of Bounded Equal-Conflict Petri Nets 63
Discovering architecture-aware and sound process models of multi-agent systems: a compositional approach 62
Property-Preserving Transformations of Elementary Net Systems Based on Morphisms 45
Soundness-preserving composition of synchronously and asynchronously interacting workflow net components 45
Solving a Safety Game on the Unfolding of Safe Petri Nets 40
The Road from Concurrency to Quantum Logics 34
Implementable Strategies for a Two-Player Asynchronous Game on Petri Nets 33
Computing a Parametric Reveals Relation For Bounded Equal-Conflict Petri Nets 27
Preface by guest editors 17
null 16
Totale 8.043
Salva come PNG Salva come JPEG
Categoria #
all - tutte 25.826
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 25.826
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.040 0 0 0 0 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/2024945 34 20 48 91 133 225 175 15 85 17 14 88
2024/2025681 152 244 41 88 156 0 0 0 0 0 0 0
Totale 8.043