BALDAN, PAOLO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 8.713
AS - Asia 1.694
EU - Europa 1.406
SA - Sud America 348
AF - Africa 259
OC - Oceania 29
Continente sconosciuto - Info sul continente non disponibili 20
Totale 12.469
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 8.560
SG - Singapore 523
HK - Hong Kong 454
BR - Brasile 254
CN - Cina 236
PL - Polonia 214
DE - Germania 171
FI - Finlandia 170
VN - Vietnam 168
UA - Ucraina 165
IT - Italia 141
FR - Francia 96
GB - Regno Unito 96
SE - Svezia 72
RU - Federazione Russa 46
IN - India 32
NL - Olanda 18
AR - Argentina 17
MX - Messico 17
AT - Austria 16
SA - Arabia Saudita 16
TR - Turchia 16
CA - Canada 15
IS - Islanda 14
BD - Bangladesh 13
IQ - Iraq 13
ZA - Sudafrica 13
AE - Emirati Arabi Uniti 12
BE - Belgio 12
EE - Estonia 12
IL - Israele 12
JO - Giordania 12
NO - Norvegia 12
PE - Perù 12
PK - Pakistan 12
UG - Uganda 12
CU - Cuba 11
DZ - Algeria 11
GF - Guiana Francese 11
KG - Kirghizistan 11
MA - Marocco 11
MY - Malesia 11
PA - Panama 11
ZM - Zambia 11
ZW - Zimbabwe 11
EC - Ecuador 10
MW - Malawi 10
NA - Namibia 10
PH - Filippine 10
TT - Trinidad e Tobago 10
VE - Venezuela 10
CI - Costa d'Avorio 9
CO - Colombia 9
CW - ???statistics.table.value.countryCode.CW??? 9
ES - Italia 9
HU - Ungheria 9
ID - Indonesia 9
IR - Iran 9
JM - Giamaica 9
JP - Giappone 9
KR - Corea 9
LA - Repubblica Popolare Democratica del Laos 9
MR - Mauritania 9
NP - Nepal 9
PT - Portogallo 9
SD - Sudan 9
SK - Slovacchia (Repubblica Slovacca) 9
YE - Yemen 9
AU - Australia 8
BS - Bahamas 8
CZ - Repubblica Ceca 8
GM - Gambi 8
HN - Honduras 8
KH - Cambogia 8
ME - Montenegro 8
MK - Macedonia 8
MN - Mongolia 8
PY - Paraguay 8
SI - Slovenia 8
AM - Armenia 7
AZ - Azerbaigian 7
CD - Congo 7
CM - Camerun 7
EG - Egitto 7
GH - Ghana 7
IE - Irlanda 7
LU - Lussemburgo 7
LV - Lettonia 7
TJ - Tagikistan 7
TN - Tunisia 7
UY - Uruguay 7
XK - ???statistics.table.value.countryCode.XK??? 7
AF - Afghanistan, Repubblica islamica di 6
AO - Angola 6
BB - Barbados 6
BW - Botswana 6
BY - Bielorussia 6
BZ - Belize 6
CH - Svizzera 6
CL - Cile 6
Totale 12.213
Salva come PNG Salva come JPEG
Città #
Fairfield 1.194
Woodbridge 1.082
Houston 841
Jacksonville 672
Ann Arbor 636
Ashburn 586
Santa Clara 471
Seattle 468
Hong Kong 440
Cambridge 419
Wilmington 416
Chandler 266
Singapore 236
Bytom 190
Boardman 179
Princeton 173
Dong Ket 146
San Diego 123
Medford 100
Roxbury 94
Nanjing 57
Helsinki 56
Padova 50
Des Moines 45
Beijing 42
Munich 32
Los Angeles 26
Nanchang 21
São Paulo 20
London 19
New York 16
Warsaw 16
Norwalk 15
Shenyang 14
Rio de Janeiro 13
Hebei 12
Tianjin 12
Indiana 11
Kampala 11
Lusaka 11
Panama City 11
Amman 10
Bishkek 10
Harare 10
Reykjavik 10
Abidjan 9
Brooklyn 9
Havana 9
Kuala Lumpur 9
San Francisco 9
Brasília 8
Camponogara 8
Guangzhou 8
Ho Chi Minh City 8
Lilongwe 8
Lima 8
Nouakchott 8
Orange 8
Phnom Penh 8
Podgorica 8
Ulan Bator 8
Vienna 8
Vientiane 8
Windhoek 8
Baku 7
Boston 7
Cayenne 7
Dublin 7
Dushanbe 7
Falls Church 7
Johannesburg 7
Ljubljana 7
Montevideo 7
Montreal 7
Nassau 7
Nuremberg 7
Stockholm 7
Willemstad 7
Accra 6
Antananarivo 6
Asunción 6
Belo Horizonte 6
Changsha 6
Dakar 6
Dallas 6
Guayaquil 6
Hanoi 6
Jeddah 6
Jiaxing 6
Kingston 6
Kingstown 6
Leuven 6
Phoenix 6
Pristina 6
Riga 6
Selargius 6
Tallinn 6
Tashkent 6
Turku 6
Acton 5
Totale 9.668
Salva come PNG Salva come JPEG
Nome #
A category of compositional domain-models for separable Stone spaces 163
Fixpoint games on continuous lattices 159
Unfolding of Double-Pushout Graph Grammars is a Coreflection 150
A Logic for Analyzing Abstractions of Graph Transformation Systems 150
Concurrent Rewriting for Graphs with Equivalences 145
Verifying Finite-State Graph Grammars: an Unfolding-Based Approach 142
Coreflective Concurrent Semantics for Single-Pushout Graph Grammars 142
A Fixed Point Theorem in a Category of Compact Metric Spaces 141
Bisimulation by Unification 140
A Temporal Graph Logic for Verification of Graph Transformation Systems 140
A Static Analysis Technique for Graph Transformation Systems 140
A Rice’s Theorem for Abstract Semantics 138
Concurrent semantics of algebraic graph transformations 137
Adhesivity Is Not Enough: Local Church-Rosser Revisited 137
A causal view on non-interference 137
Behavioral Comparison of Process Models Based on Canonically Reduced Event Structures 136
Domain and Event Structure Semantics for Petri Nets with Read and Inhibitor Arcs 136
Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems 136
Intransitive Non-Interference by Unfolding 135
A framework for the verification of infinite-state graph transformation systems 135
Concatenable Graph Processes: Relating Processes and Derivation Traces 134
Concurrency for graph grammars (in a Petri net shell) 134
Relating SPO and DPO graph rewriting with Petri nets having read, inhibitor and reset arcs 133
Approximating the Behaviour of Graph Transformation Systems 133
A semantic framework for open processes 133
A Characterization of Distance between 1-Bounded Compact Ultrametric Spaces through a Universal Space 132
MuTACLP: A language for temporal reasoning with multiple theories 130
Symbolic Equivalences for Open Systems 129
Partializing Stone Spaces Using SFP Domains 128
On the Concurrent Semantics of Algebraic Graph Grammars 127
Unfolding-Based Diagnosis of Systems with an Evolving Topology 124
Domains and event structures for fusions 123
Unfolding Graph Transformation Systems: Theory and Applications to Verification 122
Encoding Synchronous Interactions Using Labelled Petri Nets 122
Compositional Modeling of Reactive Systems Using Open Nets 120
A rewriting calculus for cyclic higher-order term graphs 120
Towards a Notion of Transaction in Graph Rewriting 120
History Preserving Bisimulation for Contextual Nets 119
Reduction of event structures under history preserving bisimulation 119
Pre-nets, read arcs and unfolding: a functorial presentation 118
Graph Transactions as Processes 118
Modular encoding of synchronous and asynchronous interactions using open Petri nets 116
A rewriting calculus for cyclic higher-order term graphs 116
Concurrency Can't Be Observed, Asynchronously 116
Basic theory of F-bounded quantification 115
Open Petri Nets: Non-deterministic Processes and Compositionality 115
Verifying a Behavioural Logic for Graph Transformation Systems 115
Comparing Metabolic Pathways through Reactions and Potential Fluxes 114
Deducing Interactions in Partially Unspecified Biological Systems 113
Bisimulation Equivalences for Graph Grammars 112
Sharing in the Graph Rewriting Calculus 111
A lattice-theoretical perspective on adhesive categories 111
Representing and Comparing Metabolic Pathways as Petri Nets with MPath2PN and CoMeta 108
Asynchronous traces and open petri nets 108
Unfolding and Event Structure Semantics for Graph Grammars 107
Efficient contextual unfolding 106
McMillan's Complete Prefix for Contextual Nets 104
Processes for Adhesive Rewriting Systems 104
Multilevel transitive and intransitive non-interference, causally 104
An Event Structure Semantics for P/T Contextual Nets: Asymmetric Event Structures 104
Contextual Petri nets, asymmetric event structures and processes 103
Bisimilarity and and Behaviour-Preserving Reconfigurations of Open Petri Nets 103
Behavior Preservation in Model Refactoring using DPO Transformations with Borrowed Contexts 103
A Logic for True Concurrency 103
Concurrency Can't Be Observed, Asynchronously 103
Non-interference by Unfolding 102
Local model checking in a logic for true concurrency 102
CONCUR 2014 – Concurrency Theory 100
Functorial Concurrent Semantics for Petri Nets with Read and Inhibitor Arcs 99
Automata for true concurrency properties 97
Unfolding semantics of graph transformation 96
Multilevel Transitive and Intransitive Non-interference, Causally 96
Encoding Asynchronous Interactions Using Open Petri Nets 96
Petri nets for modelling metabolic pathways: a survey 95
A Logic for True Concurrency 94
Distributed Unfolding of Petri Nets 93
Unfolding Grammars in Adhesive Categories 93
Many-to-many information flow policies 90
Modelling Calculi with Name Mobility using Graphs with Equivalences 89
Unfolding-based diagnosis of systems with an evolving topology 89
Behavioral Metrics via Functor Lifting 88
Composition and Decomposition of DPO Transformations with Borrowed Context 88
Abstraction, Up-To Techniques and Games for Systems of Fixpoint Equations 87
Towards a sharing strategy for the graph rewriting calculus 86
Efficient unfolding of contextual Petri nets 84
On the Computation of McMillan's Prefix for Contextual Nets and Graph Grammars 83
(Un)Decidability for History Preserving True Concurrent Logics 83
Compositional Semantics for Open Petri Nets based on Deterministic Processes 82
Modelling Concurrent Computations: from Contextual Petri Nets to Graph Grammars 82
Processes and Unfoldings: Concurrent Computations in Adhesive Categories 81
Hereditary History-Preserving Bisimilarity: Logics and Automata 81
Many-to-many information flow policies 81
Specifying and Verifying UML Activity Diagrams via Graph Transformation 78
Petri nets for modelling and analysing trophic networks 78
High-Level Net Processes 77
Proceedings of the Workshop on Petri Nets and Graph Transformation (PNGT 2006) 77
BP-Diff: A Tool for Behavioral Comparison of Business Process Models 76
null 76
Functorial and Non-Functorial Solution of Metric Domain Equations 76
Bisimilarity and Behaviour-Preserving Reconfigurations of Petri Nets 72
Totale 11.138
Salva come PNG Salva come JPEG
Categoria #
all - tutte 42.522
article - articoli 13.221
book - libri 248
conference - conferenze 0
curatela - curatele 998
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 3.581
Totale 60.570
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20211.206 0 0 35 144 22 105 46 143 251 109 156 195
2021/20221.612 42 166 331 79 34 59 76 198 70 26 219 312
2022/2023818 238 0 1 71 171 97 1 52 112 16 42 17
2023/2024392 21 58 40 44 14 16 17 27 11 20 61 63
2024/20252.418 5 62 79 73 626 34 89 151 188 85 442 584
2025/20261.297 218 730 349 0 0 0 0 0 0 0 0 0
Totale 12.586