BALDAN, Paolo
 Distribuzione geografica
Continente #
NA - Nord America 5.491
EU - Europa 2.574
AS - Asia 2.158
SA - Sud America 138
AF - Africa 16
Continente sconosciuto - Info sul continente non disponibili 3
OC - Oceania 1
Totale 10.381
Nazione #
US - Stati Uniti d'America 5.388
CN - Cina 1.058
PL - Polonia 686
SG - Singapore 556
IT - Italia 385
SE - Svezia 291
UA - Ucraina 278
DE - Germania 264
FI - Finlandia 197
HK - Hong Kong 174
IE - Irlanda 167
BR - Brasile 118
CA - Canada 94
TR - Turchia 80
FR - Francia 77
GB - Regno Unito 77
VN - Vietnam 73
RU - Federazione Russa 72
IN - India 59
JP - Giappone 57
AT - Austria 25
KR - Corea 22
CH - Svizzera 12
ES - Italia 11
PK - Pakistan 11
ID - Indonesia 9
LB - Libano 9
UZ - Uzbekistan 9
BD - Bangladesh 8
IQ - Iraq 8
AR - Argentina 7
BE - Belgio 7
MX - Messico 7
NL - Olanda 6
ZA - Sudafrica 6
AE - Emirati Arabi Uniti 4
CO - Colombia 4
EG - Egitto 4
IL - Israele 4
BG - Bulgaria 3
CL - Cile 3
EU - Europa 3
JO - Giordania 3
LT - Lituania 3
RO - Romania 3
AL - Albania 2
AM - Armenia 2
EC - Ecuador 2
GR - Grecia 2
KE - Kenya 2
MY - Malesia 2
PA - Panama 2
SA - Arabia Saudita 2
SK - Slovacchia (Repubblica Slovacca) 2
AZ - Azerbaigian 1
BH - Bahrain 1
BN - Brunei Darussalam 1
BO - Bolivia 1
CZ - Repubblica Ceca 1
DZ - Algeria 1
ET - Etiopia 1
HR - Croazia 1
IR - Iran 1
LU - Lussemburgo 1
MD - Moldavia 1
NE - Niger 1
NP - Nepal 1
NZ - Nuova Zelanda 1
PE - Perù 1
PH - Filippine 1
QA - Qatar 1
SN - Senegal 1
SY - Repubblica araba siriana 1
UY - Uruguay 1
VE - Venezuela 1
Totale 10.381
Città #
Warsaw 678
Woodbridge 660
Fairfield 592
Jacksonville 502
Chandler 501
Ashburn 490
Houston 303
Singapore 269
Seattle 247
Wilmington 227
Hong Kong 174
Dublin 167
Mestre 149
Ann Arbor 145
Des Moines 145
Cambridge 139
Nanjing 117
Council Bluffs 116
Dallas 110
New York 110
Boardman 98
Beijing 90
Toronto 85
Hefei 74
Jinan 74
Izmir 71
Shenyang 66
Boston 61
Hebei 54
Dearborn 53
Guangzhou 51
Venice 50
Mülheim 48
Princeton 47
Andover 45
Tianjin 45
Bengaluru 44
San Mateo 41
Changsha 35
Los Angeles 35
Brooklyn 34
Nanchang 34
Berlin 33
Hangzhou 31
Buffalo 30
Jiaxing 29
Venezia 29
Zhengzhou 28
Santa Clara 27
Milan 26
Ho Chi Minh City 25
Ningbo 25
San Jose 25
Haikou 24
Taiyuan 22
Seoul 21
Bologna 20
Saint Petersburg 19
Vienna 19
Taizhou 18
Tokyo 17
San Diego 16
Fuzhou 13
The Dalles 13
Verona 13
Columbus 12
Hanoi 12
São Paulo 11
Dong Ket 9
Jakarta 9
Kunming 9
Munich 9
Denver 8
Stockholm 8
Brussels 7
Frankfurt am Main 7
Helsinki 7
Peshawar 7
Shanghai 7
Atlanta 6
Chicago 6
Mira 6
Moscow 6
Rio de Janeiro 6
Turku 6
West Jordan 6
Charlotte 5
London 5
Philadelphia 5
Poplar 5
Redondo Beach 5
Redwood City 5
San Francisco 5
Washington 5
Ankara 4
Campinas 4
Cape Town 4
Chennai 4
Lanzhou 4
Montreal 4
Totale 7.827
Nome #
Petri nets for modelling and analysing trophic networks 543
Comparison of Metabolic Pathways by Considering Potential Fluxes 464
MPath2PN - Translating Metabolic Pathways into Petri Nets 450
Bisimulation Equivalences for Graph Grammars 294
Approximating the Behaviour of Graph Transformation Systems 281
Graph Transactions as Processes 260
Minimisation of event structures 260
Coreflective Concurrent Semantics for Single-Pushout Graph Grammars 253
A Characterization of Distance between 1-Bounded Compact Ultrametric Spaces through a Universal Space 251
A Fixed Point Theorem in a Category of Compact Metric Spaces 250
A Logic for Analyzing Abstractions of Graph Transformation Systems 247
Bisimulation by Unification 245
A Static Analysis Technique for Graph Transformation Systems 242
Concurrent Rewriting for Graphs with Equivalences 240
Distributed Unfolding of Petri Nets 238
Concurrency for graph grammars (in a Petri net shell) 237
Concatenable Graph Processes: Relating Processes and Derivation Traces 235
Composition and Decomposition of DPO Transformations with Borrowed Context 232
A category of compositional domain-models for separable Stone spaces 230
Compositional Modeling of Reactive Systems Using Open Nets 230
An Event Structure Semantics for P/T Contextual Nets: Asymmetric Event Structures 223
Contextual Petri nets, asymmetric event structures and processes 221
Concurrent semantics of algebraic graph transformations 218
Pre-nets, read arcs and unfolding: a functorial presentation 218
A rewriting calculus for cyclic higher-order term graphs 215
Unfolding of Double-Pushout Graph Grammars is a Coreflection 205
Compositional Semantics for Open Petri Nets based on Deterministic Processes 204
Verifying Finite-State Graph Grammars: an Unfolding-Based Approach 199
History Preserving Bisimulation for Contextual Nets 193
Specifying and Verifying UML Activity Diagrams via Graph Transformation 192
Partializing Stone Spaces Using SFP Domains 182
Processes for Adhesive Rewriting Systems 176
Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems 176
ON THE CONCURRENT SEMANTICS OF ALGEBRAIC GRAPH GRAMMARS 176
Unfolding and Event Structure Semantics for Graph Grammars 175
Domain and Event Structure Semantics for Petri Nets with Read and Inhibitor Arcs 174
Relating SPO and DPO graph rewriting with Petri nets having read, inhibitor and reset arcs 167
Verifying a Behavioural Logic for Graph Transformation Systems 167
Symbolic Equivalences for Open Systems 159
Towards a Notion of Transaction in Graph Rewriting 158
Functorial Concurrent Semantics for Petri Nets with Read and Inhibitor Arcs 150
High-Level Net Processes 140
Verifying Red-Black Trees 135
Modelling Concurrent Computations: from Contextual Petri Nets to Graph Grammars 130
Functorial and Non-Functorial Solution of Metric Domain Equations 129
Static Analysis of Distributed Systems with Mobility Specified by Graph Grammars - A Case Study 128
Graph Grammar Verification through Abstraction 112
Minimisation of event structures 87
Totale 10.491
Categoria #
all - tutte 29.374
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 29.374


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021847 0 0 0 0 0 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/2025808 31 29 75 71 58 34 81 64 77 99 129 60
2025/20261.456 304 259 167 202 356 168 0 0 0 0 0 0
Totale 10.491