BALDAN, Paolo
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 6.271
AS - Asia 2.924
EU - Europa 2.671
SA - Sud America 160
Continente sconosciuto - Info sul continente non disponibili 113
AF - Africa 27
OC - Oceania 1
Totale 12.167
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 6.154
CN - Cina 1.115
SG - Singapore 809
PL - Polonia 686
IT - Italia 398
VN - Vietnam 354
SE - Svezia 292
UA - Ucraina 281
DE - Germania 270
FI - Finlandia 198
HK - Hong Kong 180
IE - Irlanda 167
FR - Francia 131
BR - Brasile 128
CA - Canada 101
JP - Giappone 100
TR - Turchia 86
GB - Regno Unito 83
KR - Corea 74
RU - Federazione Russa 74
IN - India 73
AT - Austria 26
PK - Pakistan 17
BD - Bangladesh 16
CH - Svizzera 13
PH - Filippine 13
ES - Italia 12
IQ - Iraq 12
ID - Indonesia 11
NL - Olanda 11
CO - Colombia 10
LB - Libano 9
MX - Messico 9
UZ - Uzbekistan 9
ZA - Sudafrica 9
AR - Argentina 8
BE - Belgio 7
EG - Egitto 7
MY - Malesia 6
IL - Israele 5
JO - Giordania 5
AE - Emirati Arabi Uniti 4
BG - Bulgaria 4
VE - Venezuela 4
CL - Cile 3
ET - Etiopia 3
EU - Europa 3
GR - Grecia 3
LT - Lituania 3
RO - Romania 3
TH - Thailandia 3
TW - Taiwan 3
AL - Albania 2
AM - Armenia 2
AZ - Azerbaigian 2
CR - Costa Rica 2
DZ - Algeria 2
EC - Ecuador 2
KE - Kenya 2
NP - Nepal 2
OM - Oman 2
PA - Panama 2
PE - Perù 2
SA - Arabia Saudita 2
SK - Slovacchia (Repubblica Slovacca) 2
AW - Aruba 1
BA - Bosnia-Erzegovina 1
BH - Bahrain 1
BN - Brunei Darussalam 1
BO - Bolivia 1
CZ - Repubblica Ceca 1
GE - Georgia 1
HR - Croazia 1
IR - Iran 1
JM - Giamaica 1
KG - Kirghizistan 1
LU - Lussemburgo 1
MA - Marocco 1
MD - Moldavia 1
MM - Myanmar 1
MN - Mongolia 1
NE - Niger 1
NZ - Nuova Zelanda 1
PS - Palestinian Territory 1
PY - Paraguay 1
QA - Qatar 1
SN - Senegal 1
SV - El Salvador 1
SY - Repubblica araba siriana 1
TN - Tunisia 1
UY - Uruguay 1
Totale 12.057
Salva come PNG Salva come JPEG
Città #
Warsaw 678
Woodbridge 661
Ashburn 613
Fairfield 592
Jacksonville 503
Chandler 501
Singapore 362
Council Bluffs 346
Houston 304
San Jose 284
Seattle 247
Wilmington 228
Hong Kong 177
Dublin 167
Mestre 149
Ann Arbor 145
Des Moines 145
Cambridge 139
Nanjing 118
New York 112
Dallas 111
Boardman 98
Ho Chi Minh City 96
Beijing 90
Toronto 86
Hanoi 82
Hefei 74
Jinan 74
Izmir 72
Seoul 69
Shenyang 67
Boston 61
Tokyo 57
Hebei 54
Dearborn 53
Guangzhou 51
Venice 50
Mülheim 48
Princeton 47
Andover 45
Tianjin 45
Bengaluru 44
Lauterbourg 43
Los Angeles 43
San Mateo 41
Brooklyn 35
Changsha 35
Nanchang 34
Berlin 33
Santa Clara 33
Columbus 31
Hangzhou 31
Buffalo 30
Jiaxing 29
Venezia 29
Zhengzhou 28
Milan 26
Ningbo 25
Haikou 24
Taiyuan 22
Bologna 21
Saint Petersburg 19
Vienna 19
Taizhou 18
Orem 17
The Dalles 17
Da Nang 16
San Diego 16
Fuzhou 13
Verona 13
Haiphong 12
São Paulo 12
Jakarta 11
Chennai 10
Frankfurt am Main 10
Denver 9
Dong Ket 9
Kunming 9
Munich 9
Shanghai 9
Helsinki 8
Peshawar 8
Stockholm 8
Amsterdam 7
Atlanta 7
Brussels 7
Chicago 7
Rio de Janeiro 7
Cairo 6
London 6
Mira 6
Montreal 6
Moscow 6
Philadelphia 6
Turku 6
West Jordan 6
Amman 5
Cape Town 5
Charlotte 5
Manchester 5
Totale 8.913
Salva come PNG Salva come JPEG
Nome #
Petri nets for modelling and analysing trophic networks 603
Comparison of Metabolic Pathways by Considering Potential Fluxes 534
MPath2PN - Translating Metabolic Pathways into Petri Nets 530
Approximating the Behaviour of Graph Transformation Systems 341
Bisimulation Equivalences for Graph Grammars 336
Minimisation of event structures 307
Coreflective Concurrent Semantics for Single-Pushout Graph Grammars 298
Graph Transactions as Processes 295
A Characterization of Distance between 1-Bounded Compact Ultrametric Spaces through a Universal Space 284
A Logic for Analyzing Abstractions of Graph Transformation Systems 282
A Fixed Point Theorem in a Category of Compact Metric Spaces 280
Distributed Unfolding of Petri Nets 276
A Static Analysis Technique for Graph Transformation Systems 275
Concurrent Rewriting for Graphs with Equivalences 274
Composition and Decomposition of DPO Transformations with Borrowed Context 273
Bisimulation by Unification 272
Concurrency for graph grammars (in a Petri net shell) 269
Concatenable Graph Processes: Relating Processes and Derivation Traces 269
A category of compositional domain-models for separable Stone spaces 268
An Event Structure Semantics for P/T Contextual Nets: Asymmetric Event Structures 262
Concurrent semantics of algebraic graph transformations 261
Compositional Modeling of Reactive Systems Using Open Nets 261
Contextual Petri nets, asymmetric event structures and processes 259
Pre-nets, read arcs and unfolding: a functorial presentation 253
A rewriting calculus for cyclic higher-order term graphs 245
Compositional Semantics for Open Petri Nets based on Deterministic Processes 243
Unfolding of Double-Pushout Graph Grammars is a Coreflection 236
Verifying Finite-State Graph Grammars: an Unfolding-Based Approach 225
History Preserving Bisimulation for Contextual Nets 225
Specifying and Verifying UML Activity Diagrams via Graph Transformation 222
Partializing Stone Spaces Using SFP Domains 212
Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems 206
Domain and Event Structure Semantics for Petri Nets with Read and Inhibitor Arcs 203
Processes for Adhesive Rewriting Systems 201
ON THE CONCURRENT SEMANTICS OF ALGEBRAIC GRAPH GRAMMARS 200
Unfolding and Event Structure Semantics for Graph Grammars 196
Relating SPO and DPO graph rewriting with Petri nets having read, inhibitor and reset arcs 194
Symbolic Equivalences for Open Systems 188
Verifying a Behavioural Logic for Graph Transformation Systems 187
Towards a Notion of Transaction in Graph Rewriting 185
Functorial Concurrent Semantics for Petri Nets with Read and Inhibitor Arcs 182
High-Level Net Processes 163
Verifying Red-Black Trees 162
Modelling Concurrent Computations: from Contextual Petri Nets to Graph Grammars 159
Static Analysis of Distributed Systems with Mobility Specified by Graph Grammars - A Case Study 152
Functorial and Non-Functorial Solution of Metric Domain Equations 147
Minimisation of event structures 140
Graph Grammar Verification through Abstraction 132
Totale 12.167
Salva come PNG Salva come JPEG
Categoria #
all - tutte 33.580
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 33.580
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022964 0 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/20262.988 304 259 167 202 356 245 276 166 385 319 84 225
2026/2027144 39 105 0 0 0 0 0 0 0 0 0 0
Totale 12.167