BALDAN, PAOLO
 Distribuzione geografica
Continente #
NA - Nord America 368
EU - Europa 94
AS - Asia 10
AF - Africa 6
SA - Sud America 6
Totale 484
Nazione #
US - Stati Uniti d'America 366
IT - Italia 74
DE - Germania 7
CL - Cile 6
ZA - Sudafrica 6
CN - Cina 5
GB - Regno Unito 3
AT - Austria 2
CA - Canada 2
FI - Finlandia 2
IN - India 2
SG - Singapore 2
UA - Ucraina 2
FR - Francia 1
GR - Grecia 1
KR - Corea 1
RO - Romania 1
RU - Federazione Russa 1
Totale 484
Città #
Fairfield 62
Padova 44
Buffalo 28
Ashburn 26
Seattle 26
Santa Cruz 22
Woodbridge 22
Ann Arbor 14
Cambridge 13
Houston 12
Wilmington 11
Des Moines 8
San Diego 7
Muizenberg 6
Trieste 6
Civitella di Romagna 4
Clearwater 4
Los Angeles 4
Chicago 3
College Park 3
Henderson 3
Las Vegas 3
Phoenix 3
Shanghai 3
Boardman 2
Büdelsdorf 2
Dulles 2
Helsinki 2
New York 2
Providence 2
Riva 2
San Francisco 2
Singapore 2
University Park 2
Vicenza 2
Athens 1
Berlin 1
Boiling Springs 1
Bologna 1
Brendola 1
Caldogno 1
Carmignano di Brenta 1
Cedar Knolls 1
Changchun 1
Council Bluffs 1
Dallas 1
Denver 1
Easton 1
Edinburgh 1
Flint 1
Herndon 1
Kunming 1
Lake Forest 1
Lombard 1
Lucknow 1
Luton 1
Monselice 1
Oak Lawn 1
Ottawa 1
Pisa 1
Provo 1
Reston 1
Rockville 1
Saint Petersburg 1
San Jose 1
San Vito Di Leguzzano 1
Santa Clara 1
Scottsdale 1
Seoul 1
Southampton 1
Sunnyvale 1
Tollegno 1
Toronto 1
Valdobbiadene 1
Vellezzo Bellini 1
Vienna 1
Washington 1
Totale 401
Nome #
Fixpoint games on continuous lattices, file e14fb26b-f403-3de1-e053-1705fe0ac030 111
Automata for true concurrency properties, file e14fb26b-06ff-3de1-e053-1705fe0ac030 94
Petri nets for modelling and analysing trophic networks, file e14fb268-226e-3de1-e053-1705fe0ac030 92
Many-to-many information flow policies, file e14fb26a-036a-3de1-e053-1705fe0ac030 85
Fixpoint games on continuous lattices, file e14fb26e-dcb6-3de1-e053-1705fe0ac030 22
A Rice’s Theorem for Abstract Semantics, file e14fb26f-1082-3de1-e053-1705fe0ac030 18
Coalgebraic Behavioral Metrics, file e14fb26b-6e7c-3de1-e053-1705fe0ac030 13
Minimisation of event structures, file e14fb26c-92b5-3de1-e053-1705fe0ac030 8
Fixpoint theory – upside down, file e14fb26e-f9ce-3de1-e053-1705fe0ac030 7
Event structures for Petri nets with persistence, file e14fb26b-6631-3de1-e053-1705fe0ac030 5
Intensional Kleene and Rice theorems for abstract program semantics, file 21d9d0b7-0275-4793-8f41-cd41fc8cb747 4
Towards Trace Metrics via Functor Lifting, file e14fb268-1f2c-3de1-e053-1705fe0ac030 4
Domains and event structures for fusions, file e14fb26e-6602-3de1-e053-1705fe0ac030 4
A category of compositional domain-models for separable Stone spaces, file e14fb267-622a-3de1-e053-1705fe0ac030 3
A Fixed Point Theorem in a Category of Compact Metric Spaces, file e14fb267-6251-3de1-e053-1705fe0ac030 3
Petri nets for modelling metabolic pathways: a survey, file e14fb267-7d20-3de1-e053-1705fe0ac030 3
Abstraction, Up-To Techniques and Games for Systems of Fixpoint Equations, file e14fb26d-2063-3de1-e053-1705fe0ac030 3
(Un)Decidability for History Preserving True Concurrent Logics, file e14fb26e-d231-3de1-e053-1705fe0ac030 3
Behavioural logics for configuration structures, file aab0683e-ff8d-4a8b-9f5c-ef8e4f0cbef9 2
Intransitive Non-Interference by Unfolding, file e14fb267-5f4b-3de1-e053-1705fe0ac030 2
Modular encoding of synchronous and asynchronous interactions using open Petri nets, file e14fb268-1419-3de1-e053-1705fe0ac030 2
Reduction of event structures under history preserving bisimulation, file e14fb269-594d-3de1-e053-1705fe0ac030 2
Petri nets for modelling and analysing trophic networks, file e14fb26b-850d-3de1-e053-1705fe0ac030 2
Characterising Spectra of Equivalences for Event Structures, Logically, file 1e649b83-ec12-47ad-8dfd-89c27eb7eeb4 1
Behavioral Comparison of Process Models Based on Canonically Reduced Event Structures, file e14fb267-5f31-3de1-e053-1705fe0ac030 1
A lattice-theoretical perspective on adhesive categories, file e14fb267-626e-3de1-e053-1705fe0ac030 1
McMillan's Complete Prefix for Contextual Nets, file e14fb267-7732-3de1-e053-1705fe0ac030 1
A Logic for True Concurrency, file e14fb267-7d22-3de1-e053-1705fe0ac030 1
A Logic for True Concurrency, file e14fb267-b985-3de1-e053-1705fe0ac030 1
A causal view on non-interference, file e14fb268-1417-3de1-e053-1705fe0ac030 1
Concurrency Can't Be Observed, Asynchronously, file e14fb268-1ddf-3de1-e053-1705fe0ac030 1
null, file e14fb268-8c29-3de1-e053-1705fe0ac030 1
Multilevel Transitive and Intransitive Non-interference, Causally, file e14fb268-8f24-3de1-e053-1705fe0ac030 1
Preface, file e14fb269-a4c8-3de1-e053-1705fe0ac030 1
Local model checking in a logic for true concurrency, file e14fb269-ac06-3de1-e053-1705fe0ac030 1
Domains and event structures for fusions, file e14fb26a-0573-3de1-e053-1705fe0ac030 1
Petri nets are dioids: a new algebraic foundation for non-deterministic net theory, file e14fb26b-1a42-3de1-e053-1705fe0ac030 1
Many-to-many information flow policies, file e14fb26b-1a43-3de1-e053-1705fe0ac030 1
Concurrent semantics for fusions: Weak prime domains and connected event structures, file e14fb270-18e0-3de1-e053-1705fe0ac030 1
Totale 508
Categoria #
all - tutte 1.449
article - articoli 642
book - libri 0
conference - conferenze 0
curatela - curatele 1
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 2.092


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/201939 0 0 0 0 0 1 1 4 5 9 12 7
2019/202091 9 7 6 5 9 4 9 8 9 9 10 6
2020/202180 6 8 2 9 2 4 4 6 12 12 14 1
2021/2022131 3 20 11 10 15 3 7 13 4 3 31 11
2022/2023122 9 6 25 19 7 12 4 8 8 11 11 2
2023/202422 2 3 2 10 4 1 0 0 0 0 0 0
Totale 508