BALDAN, Paolo
 Distribuzione geografica
Continente #
NA - Nord America 4448
EU - Europa 2321
AS - Asia 844
AF - Africa 3
Continente sconosciuto - Info sul continente non disponibili 3
SA - Sud America 3
Totale 7622
Nazione #
US - Stati Uniti d'America 4364
CN - Cina 740
PL - Polonia 668
IT - Italia 363
SE - Svezia 283
UA - Ucraina 275
FI - Finlandia 184
IE - Irlanda 166
DE - Germania 161
CA - Canada 84
TR - Turchia 72
RU - Federazione Russa 66
GB - Regno Unito 53
AT - Austria 40
FR - Francia 28
CH - Svizzera 12
VN - Vietnam 9
BE - Belgio 8
LB - Libano 7
UZ - Uzbekistan 7
NL - Olanda 4
EG - Egitto 3
EU - Europa 3
IL - Israele 3
BG - Bulgaria 2
ES - Italia 2
GR - Grecia 2
AE - Emirati Arabi Uniti 1
AM - Armenia 1
BR - Brasile 1
CL - Cile 1
JP - Giappone 1
KR - Corea 1
LU - Lussemburgo 1
MD - Moldavia 1
MY - Malesia 1
PE - Perù 1
RO - Romania 1
SA - Arabia Saudita 1
SK - Slovacchia (Repubblica Slovacca) 1
Totale 7622
Città #
Warsaw 668
Woodbridge 660
Fairfield 592
Jacksonville 502
Chandler 501
Houston 300
Ashburn 248
Seattle 239
Wilmington 227
Dublin 166
Mestre 149
Ann Arbor 145
Des Moines 145
Cambridge 139
Nanjing 116
Toronto 83
Jinan 73
Izmir 71
Shenyang 65
Boston 58
Hebei 54
Dearborn 53
Boardman 50
Princeton 47
Andover 45
Tianjin 44
San Mateo 41
Venice 41
Atlanta 40
Guangzhou 35
Nanchang 34
Vienna 34
Hangzhou 31
Changsha 30
Brooklyn 29
Jiaxing 29
Venezia 29
Zhengzhou 27
Milan 25
Ningbo 25
Haikou 24
Taiyuan 22
Bologna 20
Saint Petersburg 19
Beijing 18
Taizhou 18
San Diego 16
Verona 13
Fuzhou 12
Dong Ket 9
Hefei 9
Kunming 9
Brussels 8
Mira 6
Philadelphia 6
Moscow 5
Redwood City 5
Lanzhou 4
Norwalk 4
Ponzano 4
Puxian 4
Cairo 3
London 3
Nürnberg 3
Shanghai 3
Simi Valley 3
Altamura 2
Bremen 2
Changchun 2
Chengdu 2
Den Haag 2
Jinhua 2
Kemerovo 2
Madrid 2
New York 2
Orange 2
San Paolo di Civitate 2
Sofia 2
Wuhan 2
Xian 2
Abano Terme 1
Aiken 1
Baotou 1
Broomfield 1
Chaoyang 1
Chicago 1
Chioggia 1
Chisinau 1
Clearwater 1
Dalian 1
Dubai 1
Easton 1
Frankfurt Am Main 1
Freiburg 1
Fremont 1
Groningen 1
Kiev 1
Kuala Lumpur 1
Lima 1
Los Angeles 1
Totale 6188
Nome #
Petri nets for modelling and analysing trophic networks 483
MPath2PN - Translating Metabolic Pathways into Petri Nets 356
Comparison of Metabolic Pathways by Considering Potential Fluxes 352
Bisimulation Equivalences for Graph Grammars 222
Graph Transactions as Processes 209
Approximating the Behaviour of Graph Transformation Systems 202
Distributed Unfolding of Petri Nets 190
A Fixed Point Theorem in a Category of Compact Metric Spaces 187
Coreflective Concurrent Semantics for Single-Pushout Graph Grammars 182
A Characterization of Distance between 1-Bounded Compact Ultrametric Spaces through a Universal Space 181
A Logic for Analyzing Abstractions of Graph Transformation Systems 181
Compositional Modeling of Reactive Systems Using Open Nets 176
Contextual Petri nets, asymmetric event structures and processes 174
Concatenable Graph Processes: Relating Processes and Derivation Traces 169
Concurrent semantics of algebraic graph transformations 167
An Event Structure Semantics for P/T Contextual Nets: Asymmetric Event Structures 167
Bisimulation by Unification 167
Pre-nets, read arcs and unfolding: a functorial presentation 165
Composition and Decomposition of DPO Transformations with Borrowed Context 165
Concurrent Rewriting for Graphs with Equivalences 164
A Static Analysis Technique for Graph Transformation Systems 164
Minimisation of event structures 164
A category of compositional domain-models for separable Stone spaces 162
A rewriting calculus for cyclic higher-order term graphs 158
Concurrency for graph grammars (in a Petri net shell) 158
Unfolding of Double-Pushout Graph Grammars is a Coreflection 151
History Preserving Bisimulation for Contextual Nets 149
Verifying Finite-State Graph Grammars: an Unfolding-Based Approach 145
Specifying and Verifying UML Activity Diagrams via Graph Transformation 145
Compositional Semantics for Open Petri Nets based on Deterministic Processes 143
Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems 138
ON THE CONCURRENT SEMANTICS OF ALGEBRAIC GRAPH GRAMMARS 138
Partializing Stone Spaces Using SFP Domains 135
Domain and Event Structure Semantics for Petri Nets with Read and Inhibitor Arcs 132
Processes for Adhesive Rewriting Systems 131
Unfolding and Event Structure Semantics for Graph Grammars 131
Relating SPO and DPO graph rewriting with Petri nets having read, inhibitor and reset arcs 129
Symbolic Equivalences for Open Systems 129
Towards a Notion of Transaction in Graph Rewriting 119
Verifying a Behavioural Logic for Graph Transformation Systems 119
Functorial Concurrent Semantics for Petri Nets with Read and Inhibitor Arcs 112
High-Level Net Processes 96
Verifying Red-Black Trees 89
Modelling Concurrent Computations: from Contextual Petri Nets to Graph Grammars 86
Functorial and Non-Functorial Solution of Metric Domain Equations 85
Static Analysis of Distributed Systems with Mobility Specified by Graph Grammars - A Case Study 80
Graph Grammar Verification through Abstraction 74
Minimisation of event structures 10
Totale 7731
Categoria #
all - tutte 12696
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 12696


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2017/201874 0000 00 00 1637156
2018/20191039 1469895 14533 4330 1383195284
2019/20201909 240124126398 140186 130200 146809049
2020/20211387 1144711735 227162 8975 70108168175
2021/20221119 15512454176 10230 5193 1458160102
2022/20231297 887525177 141350 169146 126000
Totale 7731