BALDAN, Paolo
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.783
EU - Europa 2.450
AS - Asia 1.130
SA - Sud America 5
AF - Africa 3
Continente sconosciuto - Info sul continente non disponibili 3
OC - Oceania 1
Totale 8.375
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.698
CN - Cina 789
PL - Polonia 672
IT - Italia 375
SE - Svezia 284
UA - Ucraina 275
DE - Germania 246
FI - Finlandia 187
IE - Irlanda 167
SG - Singapore 163
CA - Canada 85
TR - Turchia 72
RU - Federazione Russa 66
GB - Regno Unito 61
FR - Francia 54
HK - Hong Kong 52
AT - Austria 24
CH - Svizzera 12
VN - Vietnam 10
PK - Pakistan 9
BE - Belgio 7
LB - Libano 7
UZ - Uzbekistan 7
ES - Italia 5
ID - Indonesia 4
IN - India 4
NL - Olanda 4
BR - Brasile 3
EG - Egitto 3
EU - Europa 3
IL - Israele 3
JP - Giappone 3
BG - Bulgaria 2
GR - Grecia 2
RO - Romania 2
AE - Emirati Arabi Uniti 1
AL - Albania 1
AM - Armenia 1
AZ - Azerbaigian 1
BN - Brunei Darussalam 1
CL - Cile 1
HR - Croazia 1
KR - Corea 1
LU - Lussemburgo 1
MD - Moldavia 1
MY - Malesia 1
NZ - Nuova Zelanda 1
PE - Perù 1
SA - Arabia Saudita 1
SK - Slovacchia (Repubblica Slovacca) 1
Totale 8.375
Salva come PNG Salva come JPEG
Città #
Warsaw 668
Woodbridge 660
Fairfield 592
Jacksonville 502
Chandler 501
Ashburn 303
Houston 300
Seattle 243
Wilmington 227
Dublin 167
Mestre 149
Ann Arbor 145
Des Moines 145
Cambridge 139
Nanjing 116
Singapore 107
Boardman 98
New York 96
Toronto 83
Jinan 73
Izmir 71
Shenyang 65
Boston 58
Hebei 54
Dearborn 53
Hong Kong 52
Mülheim 48
Princeton 47
Andover 45
Tianjin 44
Venice 42
San Mateo 41
Guangzhou 37
Nanchang 34
Berlin 33
Hangzhou 31
Changsha 30
Brooklyn 29
Jiaxing 29
Venezia 29
Zhengzhou 27
Milan 25
Ningbo 25
Haikou 24
Taiyuan 22
Beijing 20
Bologna 20
Saint Petersburg 19
Taizhou 18
Vienna 18
San Diego 16
Verona 13
Fuzhou 12
Dong Ket 9
Hefei 9
Kunming 9
Brussels 7
Peshawar 7
Santa Clara 7
Mira 6
Moscow 5
Redwood City 5
Washington 5
Jakarta 4
Lanzhou 4
Los Angeles 4
Norwalk 4
Philadelphia 4
Ponzano 4
Pune 4
Puxian 4
Burgos 3
Cairo 3
Helsinki 3
London 3
Nürnberg 3
Shanghai 3
Simi Valley 3
Tokyo 3
Altamura 2
Bremen 2
Changchun 2
Chengdu 2
Den Haag 2
Edinburgh 2
Jinhua 2
Kemerovo 2
Lahore 2
Ludwigshafen am Rhein 2
Madrid 2
Orange 2
San Paolo di Civitate 2
Senago 2
Sofia 2
Sona 2
Wuhan 2
Xian 2
Abano Terme 1
Acton 1
Aiken 1
Totale 6.609
Salva come PNG Salva come JPEG
Nome #
Petri nets for modelling and analysing trophic networks 497
Comparison of Metabolic Pathways by Considering Potential Fluxes 395
MPath2PN - Translating Metabolic Pathways into Petri Nets 382
Bisimulation Equivalences for Graph Grammars 246
Approximating the Behaviour of Graph Transformation Systems 222
Graph Transactions as Processes 222
Minimisation of event structures 210
A Logic for Analyzing Abstractions of Graph Transformation Systems 207
Distributed Unfolding of Petri Nets 204
A Characterization of Distance between 1-Bounded Compact Ultrametric Spaces through a Universal Space 201
A Fixed Point Theorem in a Category of Compact Metric Spaces 198
Coreflective Concurrent Semantics for Single-Pushout Graph Grammars 197
Compositional Modeling of Reactive Systems Using Open Nets 188
Contextual Petri nets, asymmetric event structures and processes 187
Bisimulation by Unification 186
Composition and Decomposition of DPO Transformations with Borrowed Context 186
A Static Analysis Technique for Graph Transformation Systems 185
Concatenable Graph Processes: Relating Processes and Derivation Traces 183
Concurrent semantics of algebraic graph transformations 181
An Event Structure Semantics for P/T Contextual Nets: Asymmetric Event Structures 179
Concurrent Rewriting for Graphs with Equivalences 179
A category of compositional domain-models for separable Stone spaces 178
A rewriting calculus for cyclic higher-order term graphs 175
Concurrency for graph grammars (in a Petri net shell) 175
Pre-nets, read arcs and unfolding: a functorial presentation 175
Unfolding of Double-Pushout Graph Grammars is a Coreflection 166
History Preserving Bisimulation for Contextual Nets 163
Verifying Finite-State Graph Grammars: an Unfolding-Based Approach 160
Compositional Semantics for Open Petri Nets based on Deterministic Processes 158
Specifying and Verifying UML Activity Diagrams via Graph Transformation 156
Domain and Event Structure Semantics for Petri Nets with Read and Inhibitor Arcs 149
Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems 147
ON THE CONCURRENT SEMANTICS OF ALGEBRAIC GRAPH GRAMMARS 147
Partializing Stone Spaces Using SFP Domains 145
Unfolding and Event Structure Semantics for Graph Grammars 143
Relating SPO and DPO graph rewriting with Petri nets having read, inhibitor and reset arcs 141
Processes for Adhesive Rewriting Systems 139
Symbolic Equivalences for Open Systems 136
Towards a Notion of Transaction in Graph Rewriting 129
Verifying a Behavioural Logic for Graph Transformation Systems 128
Functorial Concurrent Semantics for Petri Nets with Read and Inhibitor Arcs 125
High-Level Net Processes 115
Verifying Red-Black Trees 101
Functorial and Non-Functorial Solution of Metric Domain Equations 97
Modelling Concurrent Computations: from Contextual Petri Nets to Graph Grammars 96
Static Analysis of Distributed Systems with Mobility Specified by Graph Grammars - A Case Study 90
Graph Grammar Verification through Abstraction 83
Minimisation of event structures 32
Totale 8.484
Salva come PNG Salva come JPEG
Categoria #
all - tutte 22.533
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 22.533
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.021 0 0 0 0 140 186 130 200 146 80 90 49
2020/20211.387 114 47 117 35 227 162 89 75 70 108 168 175
2021/20221.119 155 124 54 176 102 30 51 93 14 58 160 102
2022/20231.358 88 75 25 177 141 350 157 98 134 10 85 18
2023/2024435 23 32 12 6 52 127 16 15 53 9 35 55
2024/2025257 31 29 75 71 51 0 0 0 0 0 0 0
Totale 8.484