BALDAN, PAOLO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 8.335
AS - Asia 873
EU - Europa 843
SA - Sud America 25
Continente sconosciuto - Info sul continente non disponibili 4
AF - Africa 3
OC - Oceania 1
Totale 10.084
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 8.331
SG - Singapore 425
CN - Cina 188
UA - Ucraina 157
FI - Finlandia 154
VN - Vietnam 146
DE - Germania 132
IT - Italia 123
HK - Hong Kong 89
FR - Francia 76
GB - Regno Unito 72
SE - Svezia 58
RU - Federazione Russa 35
BR - Brasile 24
IN - India 13
IE - Irlanda 7
BE - Belgio 6
EE - Estonia 6
NL - Olanda 6
EU - Europa 4
PH - Filippine 4
AT - Austria 3
CA - Canada 3
MY - Malesia 3
CI - Costa d'Avorio 2
CZ - Repubblica Ceca 2
NO - Norvegia 2
AU - Australia 1
BG - Bulgaria 1
IL - Israele 1
JP - Giappone 1
LV - Lettonia 1
MA - Marocco 1
MX - Messico 1
PK - Pakistan 1
PT - Portogallo 1
SK - Slovacchia (Repubblica Slovacca) 1
TR - Turchia 1
UZ - Uzbekistan 1
VE - Venezuela 1
Totale 10.084
Salva come PNG Salva come JPEG
Città #
Fairfield 1.194
Woodbridge 1.082
Houston 840
Jacksonville 672
Ann Arbor 636
Ashburn 523
Santa Clara 472
Seattle 468
Cambridge 419
Wilmington 415
Chandler 268
Boardman 180
Princeton 173
Singapore 156
Dong Ket 146
San Diego 123
Medford 100
Roxbury 94
Hong Kong 81
Nanjing 57
Padova 50
Helsinki 49
Des Moines 46
Nanchang 21
Norwalk 15
London 14
Shenyang 14
Hebei 12
Tianjin 12
Beijing 11
Indiana 11
Los Angeles 9
Camponogara 8
Guangzhou 8
New York 8
Orange 8
Dublin 7
Falls Church 7
Jiaxing 6
Kharkiv 6
Leuven 6
Selargius 6
Acton 5
Auburn Hills 5
Changsha 5
Jinan 5
Kilburn 5
Yellow Springs 5
Chiswick 4
Nuremberg 4
Pradamano 4
Ningbo 3
Noale 3
Olongapo City 3
Palermo 3
Phoenix 3
Pune 3
Rubano 3
San Francisco 3
Tappahannock 3
Abidjan 2
Ahmedabad 2
Amsterdam 2
Atlanta 2
Bologna 2
Congonhas 2
Council Bluffs 2
Croydon 2
Hounslow 2
Keila 2
Kuala Lumpur 2
Lancaster 2
Lappeenranta 2
Las Vegas 2
Lünen 2
Mumbai 2
New Bedfont 2
Ogden 2
Pilsen 2
Rockville 2
Rome 2
São José dos Pinhais 2
São Paulo 2
Tallinn 2
Tartu 2
The Dalles 2
Trebaseleghe 2
Vicenza 2
Adana 1
Andradina 1
Aracaju 1
Araçatuba 1
Augusta 1
Bauru 1
Belém 1
Bergamo 1
Bragança Paulista 1
Brasília 1
Bratislava 1
Brendola 1
Totale 8.570
Salva come PNG Salva come JPEG
Nome #
A category of compositional domain-models for separable Stone spaces 138
Fixpoint games on continuous lattices 138
A Logic for Analyzing Abstractions of Graph Transformation Systems 136
Unfolding of Double-Pushout Graph Grammars is a Coreflection 134
Coreflective Concurrent Semantics for Single-Pushout Graph Grammars 128
A Temporal Graph Logic for Verification of Graph Transformation Systems 125
A Static Analysis Technique for Graph Transformation Systems 125
Concurrent semantics of algebraic graph transformations 123
Behavioral Comparison of Process Models Based on Canonically Reduced Event Structures 122
Verifying Finite-State Graph Grammars: an Unfolding-Based Approach 120
Relating SPO and DPO graph rewriting with Petri nets having read, inhibitor and reset arcs 120
A framework for the verification of infinite-state graph transformation systems 120
A Fixed Point Theorem in a Category of Compact Metric Spaces 119
Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems 119
Bisimulation by Unification 119
Adhesivity Is Not Enough: Local Church-Rosser Revisited 118
Concurrent Rewriting for Graphs with Equivalences 116
A Characterization of Distance between 1-Bounded Compact Ultrametric Spaces through a Universal Space 116
Approximating the Behaviour of Graph Transformation Systems 115
Intransitive Non-Interference by Unfolding 114
Domain and Event Structure Semantics for Petri Nets with Read and Inhibitor Arcs 114
MuTACLP: A language for temporal reasoning with multiple theories 114
A semantic framework for open processes 114
Concatenable Graph Processes: Relating Processes and Derivation Traces 113
On the Concurrent Semantics of Algebraic Graph Grammars 113
A causal view on non-interference 113
Concurrency for graph grammars (in a Petri net shell) 112
Towards a Notion of Transaction in Graph Rewriting 109
Partializing Stone Spaces Using SFP Domains 109
Unfolding-Based Diagnosis of Systems with an Evolving Topology 109
Compositional Modeling of Reactive Systems Using Open Nets 108
History Preserving Bisimulation for Contextual Nets 106
Encoding Synchronous Interactions Using Labelled Petri Nets 106
Unfolding Graph Transformation Systems: Theory and Applications to Verification 104
Domains and event structures for fusions 104
Symbolic Equivalences for Open Systems 103
A rewriting calculus for cyclic higher-order term graphs 103
Pre-nets, read arcs and unfolding: a functorial presentation 99
Open Petri Nets: Non-deterministic Processes and Compositionality 99
A rewriting calculus for cyclic higher-order term graphs 99
Graph Transactions as Processes 96
Modular encoding of synchronous and asynchronous interactions using open Petri nets 96
Deducing Interactions in Partially Unspecified Biological Systems 95
Concurrency Can't Be Observed, Asynchronously 95
A lattice-theoretical perspective on adhesive categories 94
Bisimulation Equivalences for Graph Grammars 93
Basic theory of F-bounded quantification 92
Sharing in the Graph Rewriting Calculus 92
Unfolding and Event Structure Semantics for Graph Grammars 92
Verifying a Behavioural Logic for Graph Transformation Systems 92
Reduction of event structures under history preserving bisimulation 92
McMillan's Complete Prefix for Contextual Nets 91
Concurrency Can't Be Observed, Asynchronously 91
A Rice’s Theorem for Abstract Semantics 91
Representing and Comparing Metabolic Pathways as Petri Nets with MPath2PN and CoMeta 90
Comparing Metabolic Pathways through Reactions and Potential Fluxes 89
Asynchronous traces and open petri nets 88
Local model checking in a logic for true concurrency 88
Efficient contextual unfolding 87
Behavior Preservation in Model Refactoring using DPO Transformations with Borrowed Contexts 86
Functorial Concurrent Semantics for Petri Nets with Read and Inhibitor Arcs 85
Bisimilarity and and Behaviour-Preserving Reconfigurations of Open Petri Nets 85
Processes for Adhesive Rewriting Systems 85
Multilevel transitive and intransitive non-interference, causally 85
An Event Structure Semantics for P/T Contextual Nets: Asymmetric Event Structures 85
Contextual Petri nets, asymmetric event structures and processes 84
Encoding Asynchronous Interactions Using Open Petri Nets 83
CONCUR 2014 – Concurrency Theory 82
Petri nets for modelling metabolic pathways: a survey 81
A Logic for True Concurrency 81
Distributed Unfolding of Petri Nets 79
Modelling Calculi with Name Mobility using Graphs with Equivalences 79
Non-interference by Unfolding 79
Unfolding-based diagnosis of systems with an evolving topology 76
null 76
Unfolding semantics of graph transformation 75
Unfolding Grammars in Adhesive Categories 74
Multilevel Transitive and Intransitive Non-interference, Causally 74
Composition and Decomposition of DPO Transformations with Borrowed Context 74
Automata for true concurrency properties 73
Compositional Semantics for Open Petri Nets based on Deterministic Processes 72
Efficient unfolding of contextual Petri nets 71
Towards a sharing strategy for the graph rewriting calculus 70
A Logic for True Concurrency 70
On the Computation of McMillan's Prefix for Contextual Nets and Graph Grammars 70
Many-to-many information flow policies 70
Processes and Unfoldings: Concurrent Computations in Adhesive Categories 66
Specifying and Verifying UML Activity Diagrams via Graph Transformation 65
Behavioral Metrics via Functor Lifting 64
Hereditary History-Preserving Bisimilarity: Logics and Automata 64
Functorial and Non-Functorial Solution of Metric Domain Equations 62
Many-to-many information flow policies 61
Abstraction, Up-To Techniques and Games for Systems of Fixpoint Equations 61
Proceedings of the Workshop on Petri Nets and Graph Transformation (PNGT 2006) 60
BP-Diff: A Tool for Behavioral Comparison of Business Process Models 59
(Un)Decidability for History Preserving True Concurrent Logics 59
High-Level Net Processes 58
Modelling Concurrent Computations: from Contextual Petri Nets to Graph Grammars 58
Petri nets for modelling and analysing trophic networks 58
Petri nets for modelling and analysing trophic networks 55
Totale 9.314
Salva come PNG Salva come JPEG
Categoria #
all - tutte 36.822
article - articoli 11.605
book - libri 194
conference - conferenze 0
curatela - curatele 853
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 3.128
Totale 52.602
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020521 0 0 0 0 0 0 0 0 213 154 58 96
2020/20211.363 51 106 35 144 22 105 46 143 251 109 156 195
2021/20221.613 42 166 331 79 34 59 76 198 70 26 219 313
2022/2023826 238 0 1 71 173 99 1 53 114 16 43 17
2023/2024395 21 58 41 44 14 16 17 27 11 21 62 63
2024/20251.316 5 64 80 74 633 35 92 151 182 0 0 0
Totale 10.199