BALDAN, Paolo
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 7.018
AS - Asia 2.948
EU - Europa 2.725
SA - Sud America 218
Continente sconosciuto - Info sul continente non disponibili 113
AF - Africa 31
OC - Oceania 1
Totale 13.054
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 6.864
CN - Cina 1.115
SG - Singapore 809
PL - Polonia 686
IT - Italia 415
VN - Vietnam 355
SE - Svezia 292
UA - Ucraina 281
DE - Germania 270
FI - Finlandia 198
HK - Hong Kong 181
IE - Irlanda 167
BR - Brasile 157
FR - Francia 132
CA - Canada 113
GB - Regno Unito 105
JP - Giappone 102
TR - Turchia 87
IN - India 74
KR - Corea 74
RU - Federazione Russa 74
AT - Austria 26
CO - Colombia 24
BD - Bangladesh 19
PK - Pakistan 19
ID - Indonesia 16
ES - Italia 15
MX - Messico 14
CH - Svizzera 13
PH - Filippine 13
IQ - Iraq 12
NL - Olanda 11
VE - Venezuela 10
ZA - Sudafrica 10
AR - Argentina 9
EC - Ecuador 9
LB - Libano 9
UZ - Uzbekistan 9
EE - Estonia 8
EG - Egitto 8
MY - Malesia 8
BE - Belgio 7
TH - Thailandia 7
BG - Bulgaria 5
CR - Costa Rica 5
IL - Israele 5
JO - Giordania 5
AE - Emirati Arabi Uniti 4
AL - Albania 4
HN - Honduras 4
CL - Cile 3
DZ - Algeria 3
ET - Etiopia 3
EU - Europa 3
GR - Grecia 3
KE - Kenya 3
LT - Lituania 3
RO - Romania 3
SA - Arabia Saudita 3
SV - El Salvador 3
TW - Taiwan 3
AM - Armenia 2
AZ - Azerbaigian 2
DO - Repubblica Dominicana 2
GT - Guatemala 2
JM - Giamaica 2
NP - Nepal 2
OM - Oman 2
PA - Panama 2
PE - Perù 2
SK - Slovacchia (Repubblica Slovacca) 2
TT - Trinidad e Tobago 2
UY - Uruguay 2
AW - Aruba 1
BA - Bosnia-Erzegovina 1
BB - Barbados 1
BH - Bahrain 1
BN - Brunei Darussalam 1
BO - Bolivia 1
BZ - Belize 1
CU - Cuba 1
CZ - Repubblica Ceca 1
GE - Georgia 1
HR - Croazia 1
IR - Iran 1
KG - Kirghizistan 1
KZ - Kazakistan 1
LU - Lussemburgo 1
MA - Marocco 1
MD - Moldavia 1
MM - Myanmar 1
MN - Mongolia 1
NE - Niger 1
NZ - Nuova Zelanda 1
PR - Porto Rico 1
PS - Palestinian Territory 1
PY - Paraguay 1
QA - Qatar 1
SN - Senegal 1
SY - Repubblica araba siriana 1
Totale 12.943
Salva come PNG Salva come JPEG
Città #
Ashburn 759
Warsaw 678
Woodbridge 662
Fairfield 592
Jacksonville 504
Chandler 501
Council Bluffs 395
Singapore 362
San Jose 324
Houston 307
Seattle 247
Wilmington 229
Hong Kong 177
Dublin 167
Mestre 149
Ann Arbor 145
Des Moines 145
Cambridge 139
Nanjing 118
New York 114
Dallas 111
Boardman 98
Ho Chi Minh City 97
Beijing 90
Toronto 89
Hanoi 82
Hefei 74
Jinan 74
Izmir 72
Seoul 69
Shenyang 67
Boston 61
Tokyo 59
Hebei 54
Dearborn 53
Guangzhou 51
Venice 50
Mülheim 48
Princeton 47
Andover 45
Los Angeles 45
Tianjin 45
Bengaluru 44
Lauterbourg 43
Brooklyn 41
San Mateo 41
Santa Clara 37
Changsha 35
Nanchang 34
Berlin 33
Columbus 32
Hangzhou 31
Buffalo 30
Jiaxing 29
Venezia 29
Milan 28
Zhengzhou 28
Ningbo 25
Haikou 24
Taiyuan 22
Bologna 21
Saint Petersburg 19
Vienna 19
São Paulo 18
Taizhou 18
Orem 17
The Dalles 17
Da Nang 16
San Diego 16
Chicago 15
Denver 14
Atlanta 13
Fuzhou 13
Verona 13
Haiphong 12
Jakarta 11
Chennai 10
Frankfurt am Main 10
North Bergen 10
Philadelphia 10
Dong Ket 9
Kunming 9
Munich 9
Shanghai 9
Brasília 8
Helsinki 8
Peshawar 8
Stockholm 8
Amsterdam 7
Brussels 7
Las Vegas 7
London 7
Montreal 7
Phoenix 7
Rio de Janeiro 7
Cairo 6
Charlotte 6
Manchester 6
Mira 6
Moscow 6
Totale 9.220
Salva come PNG Salva come JPEG
Nome #
Petri nets for modelling and analysing trophic networks 618
MPath2PN - Translating Metabolic Pathways into Petri Nets 558
Comparison of Metabolic Pathways by Considering Potential Fluxes 548
Approximating the Behaviour of Graph Transformation Systems 362
Bisimulation Equivalences for Graph Grammars 357
Coreflective Concurrent Semantics for Single-Pushout Graph Grammars 319
Minimisation of event structures 316
Graph Transactions as Processes 307
Bisimulation by Unification 306
Composition and Decomposition of DPO Transformations with Borrowed Context 305
A Characterization of Distance between 1-Bounded Compact Ultrametric Spaces through a Universal Space 299
A Fixed Point Theorem in a Category of Compact Metric Spaces 297
A Logic for Analyzing Abstractions of Graph Transformation Systems 296
A Static Analysis Technique for Graph Transformation Systems 295
Distributed Unfolding of Petri Nets 293
Concurrent Rewriting for Graphs with Equivalences 290
Concurrency for graph grammars (in a Petri net shell) 289
Concatenable Graph Processes: Relating Processes and Derivation Traces 288
Compositional Modeling of Reactive Systems Using Open Nets 284
An Event Structure Semantics for P/T Contextual Nets: Asymmetric Event Structures 282
Concurrent semantics of algebraic graph transformations 280
A category of compositional domain-models for separable Stone spaces 279
Contextual Petri nets, asymmetric event structures and processes 276
A rewriting calculus for cyclic higher-order term graphs 270
Unfolding of Double-Pushout Graph Grammars is a Coreflection 269
Pre-nets, read arcs and unfolding: a functorial presentation 268
Compositional Semantics for Open Petri Nets based on Deterministic Processes 260
Partializing Stone Spaces Using SFP Domains 246
History Preserving Bisimulation for Contextual Nets 246
Specifying and Verifying UML Activity Diagrams via Graph Transformation 240
Verifying Finite-State Graph Grammars: an Unfolding-Based Approach 239
Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems 222
ON THE CONCURRENT SEMANTICS OF ALGEBRAIC GRAPH GRAMMARS 218
Unfolding and Event Structure Semantics for Graph Grammars 215
Processes for Adhesive Rewriting Systems 214
Domain and Event Structure Semantics for Petri Nets with Read and Inhibitor Arcs 214
Relating SPO and DPO graph rewriting with Petri nets having read, inhibitor and reset arcs 210
Verifying a Behavioural Logic for Graph Transformation Systems 209
Symbolic Equivalences for Open Systems 204
Towards a Notion of Transaction in Graph Rewriting 195
Functorial Concurrent Semantics for Petri Nets with Read and Inhibitor Arcs 194
Functorial and Non-Functorial Solution of Metric Domain Equations 192
Verifying Red-Black Trees 174
Modelling Concurrent Computations: from Contextual Petri Nets to Graph Grammars 173
High-Level Net Processes 172
Static Analysis of Distributed Systems with Mobility Specified by Graph Grammars - A Case Study 169
Minimisation of event structures 150
Graph Grammar Verification through Abstraction 147
Totale 13.054
Salva come PNG Salva come JPEG
Categoria #
all - tutte 35.430
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 35.430
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022786 0 0 0 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/20271.031 39 140 591 261 0 0 0 0 0 0 0 0
Totale 13.054