BALDAN, PAOLO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 9.279
AS - Asia 2.765
EU - Europa 1.984
AF - Africa 853
SA - Sud America 591
OC - Oceania 91
Continente sconosciuto - Info sul continente non disponibili 49
Totale 15.612
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 8.829
SG - Singapore 894
HK - Hong Kong 475
BR - Brasile 315
CN - Cina 292
VN - Vietnam 262
PL - Polonia 226
FI - Finlandia 186
UA - Ucraina 182
DE - Germania 174
IT - Italia 164
FR - Francia 114
GB - Regno Unito 101
SE - Svezia 92
RU - Federazione Russa 67
AR - Argentina 51
IN - India 43
TR - Turchia 41
MX - Messico 39
ID - Indonesia 38
CO - Colombia 37
NL - Olanda 36
AT - Austria 35
BJ - Benin 34
EC - Ecuador 34
NO - Norvegia 34
AE - Emirati Arabi Uniti 32
IR - Iran 32
SA - Arabia Saudita 32
EG - Egitto 31
IQ - Iraq 31
AO - Angola 30
BE - Belgio 29
CI - Costa d'Avorio 29
IL - Israele 29
JP - Giappone 29
MA - Marocco 29
MY - Malesia 29
HU - Ungheria 28
PA - Panama 28
ZA - Sudafrica 28
AZ - Azerbaigian 27
BW - Botswana 27
JO - Giordania 27
LC - Santa Lucia 27
TT - Trinidad e Tobago 27
ZM - Zambia 27
EE - Estonia 26
IS - Islanda 26
LA - Repubblica Popolare Democratica del Laos 26
BZ - Belize 25
CU - Cuba 25
CW - ???statistics.table.value.countryCode.CW??? 25
CZ - Repubblica Ceca 25
DJ - Gibuti 25
DZ - Algeria 25
KG - Kirghizistan 25
NI - Nicaragua 25
PE - Perù 25
PT - Portogallo 25
SI - Slovenia 25
TN - Tunisia 25
YE - Yemen 25
AU - Australia 24
BG - Bulgaria 24
BS - Bahamas 24
GE - Georgia 24
HR - Croazia 24
ME - Montenegro 24
GA - Gabon 23
HN - Honduras 23
JM - Giamaica 23
MN - Mongolia 23
MW - Malawi 23
PK - Pakistan 23
SO - Somalia 23
AM - Armenia 22
BY - Bielorussia 22
CL - Cile 22
KE - Kenya 22
LY - Libia 22
MD - Moldavia 22
PH - Filippine 22
PS - Palestinian Territory 22
PY - Paraguay 22
RO - Romania 22
SD - Sudan 22
SK - Slovacchia (Repubblica Slovacca) 22
TJ - Tagikistan 22
UG - Uganda 22
VE - Venezuela 22
AF - Afghanistan, Repubblica islamica di 21
AL - Albania 21
BO - Bolivia 21
ES - Italia 21
GF - Guiana Francese 21
KH - Cambogia 21
LU - Lussemburgo 21
PR - Porto Rico 21
RS - Serbia 21
Totale 14.630
Salva come PNG Salva come JPEG
Città #
Fairfield 1.194
Woodbridge 1.082
Houston 841
Jacksonville 672
Ashburn 651
Ann Arbor 636
Santa Clara 473
Seattle 468
Hong Kong 445
Singapore 425
Cambridge 419
Wilmington 418
Chandler 266
Bytom 190
Boardman 179
Princeton 173
Dong Ket 146
San Diego 123
Medford 100
Roxbury 94
Helsinki 63
Los Angeles 59
Beijing 58
Nanjing 57
Padova 50
Ho Chi Minh City 47
Des Moines 46
Chicago 37
Cotonou 34
Munich 32
Abidjan 28
São Paulo 28
Baku 26
Castries 26
Lusaka 26
Amman 25
Hanoi 24
Panama City 24
Bishkek 23
Gaborone 23
Libreville 23
Managua 23
Vientiane 23
Luanda 22
Nassau 22
Ulan Bator 22
Kampala 21
London 21
Nairobi 21
Nanchang 21
Reykjavik 21
Tbilisi 21
Vienna 21
Andorra la Vella 20
Buffalo 20
Djibouti 20
Dushanbe 20
Havana 20
Kigali 20
Phnom Penh 20
Podgorica 20
Warsaw 20
Antananarivo 19
Harare 19
Kingstown 19
New York 19
Dakar 18
Kuala Lumpur 18
Lilongwe 18
Montevideo 18
Riga 18
Tashkent 18
Willemstad 18
Bridgetown 17
Nouakchott 17
Noumea 17
Yerevan 17
Zagreb 17
Conakry 16
Dar es Salaam 16
Lima 16
Tallinn 16
Accra 15
Addis Ababa 15
Bamako 15
Ljubljana 15
Norwalk 15
Redondo Beach 15
Salt Lake City 15
Sanaa 15
Sofia 15
Kingston 14
La Paz 14
Papeete 14
Shenyang 14
Budapest 13
Cairo 13
Cayenne 13
Niamey 13
Pristina 13
Totale 10.800
Salva come PNG Salva come JPEG
Nome #
A category of compositional domain-models for separable Stone spaces 192
Fixpoint games on continuous lattices 192
A Logic for Analyzing Abstractions of Graph Transformation Systems 178
Unfolding of Double-Pushout Graph Grammars is a Coreflection 173
Concurrent Rewriting for Graphs with Equivalences 172
Bisimulation by Unification 170
A Fixed Point Theorem in a Category of Compact Metric Spaces 168
Coreflective Concurrent Semantics for Single-Pushout Graph Grammars 168
Adhesivity Is Not Enough: Local Church-Rosser Revisited 167
A causal view on non-interference 167
Verifying Finite-State Graph Grammars: an Unfolding-Based Approach 165
A Temporal Graph Logic for Verification of Graph Transformation Systems 164
A Static Analysis Technique for Graph Transformation Systems 164
Behavioral Comparison of Process Models Based on Canonically Reduced Event Structures 163
A semantic framework for open processes 163
Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems 162
A Rice’s Theorem for Abstract Semantics 161
Intransitive Non-Interference by Unfolding 160
Domain and Event Structure Semantics for Petri Nets with Read and Inhibitor Arcs 158
Approximating the Behaviour of Graph Transformation Systems 158
A framework for the verification of infinite-state graph transformation systems 158
A Characterization of Distance between 1-Bounded Compact Ultrametric Spaces through a Universal Space 158
On the Concurrent Semantics of Algebraic Graph Grammars 157
Concatenable Graph Processes: Relating Processes and Derivation Traces 156
Modular encoding of synchronous and asynchronous interactions using open Petri nets 154
Domains and event structures for fusions 154
Symbolic Equivalences for Open Systems 153
Unfolding-Based Diagnosis of Systems with an Evolving Topology 152
Relating SPO and DPO graph rewriting with Petri nets having read, inhibitor and reset arcs 150
MuTACLP: A language for temporal reasoning with multiple theories 150
A rewriting calculus for cyclic higher-order term graphs 149
Reduction of event structures under history preserving bisimulation 149
Concurrency for graph grammars (in a Petri net shell) 148
Concurrent semantics of algebraic graph transformations 148
Compositional Modeling of Reactive Systems Using Open Nets 147
Comparing Metabolic Pathways through Reactions and Potential Fluxes 147
Partializing Stone Spaces Using SFP Domains 147
Unfolding Graph Transformation Systems: Theory and Applications to Verification 145
Pre-nets, read arcs and unfolding: a functorial presentation 144
Towards a Notion of Transaction in Graph Rewriting 142
Concurrency Can't Be Observed, Asynchronously 142
A rewriting calculus for cyclic higher-order term graphs 141
Deducing Interactions in Partially Unspecified Biological Systems 140
A lattice-theoretical perspective on adhesive categories 140
Graph Transactions as Processes 139
Basic theory of F-bounded quantification 138
Open Petri Nets: Non-deterministic Processes and Compositionality 137
Sharing in the Graph Rewriting Calculus 137
Processes for Adhesive Rewriting Systems 137
Unfolding and Event Structure Semantics for Graph Grammars 136
Representing and Comparing Metabolic Pathways as Petri Nets with MPath2PN and CoMeta 135
Verifying a Behavioural Logic for Graph Transformation Systems 135
History Preserving Bisimulation for Contextual Nets 134
Encoding Synchronous Interactions Using Labelled Petri Nets 134
Efficient contextual unfolding 134
Asynchronous traces and open petri nets 134
Automata for true concurrency properties 132
Bisimilarity and and Behaviour-Preserving Reconfigurations of Open Petri Nets 131
Behavior Preservation in Model Refactoring using DPO Transformations with Borrowed Contexts 131
Multilevel transitive and intransitive non-interference, causally 131
A Logic for True Concurrency 128
Non-interference by Unfolding 127
Local model checking in a logic for true concurrency 127
Encoding Asynchronous Interactions Using Open Petri Nets 126
Bisimulation Equivalences for Graph Grammars 125
McMillan's Complete Prefix for Contextual Nets 125
A Logic for True Concurrency 124
Distributed Unfolding of Petri Nets 123
Multilevel Transitive and Intransitive Non-interference, Causally 122
Many-to-many information flow policies 122
Unfolding semantics of graph transformation 121
Functorial Concurrent Semantics for Petri Nets with Read and Inhibitor Arcs 120
An Event Structure Semantics for P/T Contextual Nets: Asymmetric Event Structures 120
(Un)Decidability for History Preserving True Concurrent Logics 118
Contextual Petri nets, asymmetric event structures and processes 117
Concurrency Can't Be Observed, Asynchronously 116
Unfolding Grammars in Adhesive Categories 115
Composition and Decomposition of DPO Transformations with Borrowed Context 115
Modelling Calculi with Name Mobility using Graphs with Equivalences 114
Abstraction, Up-To Techniques and Games for Systems of Fixpoint Equations 114
Petri nets for modelling metabolic pathways: a survey 113
Unfolding-based diagnosis of systems with an evolving topology 113
Bisimilarity and Behaviour-Preserving Reconfigurations of Petri Nets 113
Behavioral Metrics via Functor Lifting 109
CONCUR 2014 – Concurrency Theory 108
Towards a sharing strategy for the graph rewriting calculus 108
Efficient unfolding of contextual Petri nets 106
On the Computation of McMillan's Prefix for Contextual Nets and Graph Grammars 106
Specifying and Verifying UML Activity Diagrams via Graph Transformation 105
Petri nets for modelling and analysing trophic networks 105
Compositional Semantics for Open Petri Nets based on Deterministic Processes 104
Many-to-many information flow policies 104
Processes and Unfoldings: Concurrent Computations in Adhesive Categories 103
Hereditary History-Preserving Bisimilarity: Logics and Automata 103
Functorial and Non-Functorial Solution of Metric Domain Equations 102
Fixpoint theory – upside down 101
Preface 97
Petri nets for modelling and analysing trophic networks 97
Petri nets are dioids: a new algebraic foundation for non-deterministic net theory 95
Model Checking a Logic for True Concurrency 95
Totale 13.597
Salva come PNG Salva come JPEG
Categoria #
all - tutte 47.479
article - articoli 14.836
book - libri 273
conference - conferenze 0
curatela - curatele 1.115
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 3.930
Totale 67.633
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20211.027 0 0 0 0 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/20264.440 218 730 1.457 1.567 468 0 0 0 0 0 0 0
Totale 15.729