Padua Research Archive, l’archivio istituzionale della produzione scientifica dell’Università degli Studi di Padova, ha lo scopo di raccogliere, documentare, conservare e pubblicare, anche ad accesso aperto, i prodotti della ricerca dell’Ateneo. Padua Research Archive utilizza la piattaforma IRIS (Institutional Research Information System) sviluppata da Cineca.

BALDAN, PAOLO

Rete di Collaborazioni Statistiche Email Alert RSS Feed

Info

Pubblicazioni (Tutti)

Risultati 1 - 20 di 112 (tempo di esecuzione: 0.001 secondi).

	Titolo	Data di pubblicazione	Autori	Rivista	Serie	Titolo libro
1	Petri nets are dioids: a new algebraic foundation for non-deterministic net theory	2019	BALDAN, PAOLO ; Gadducci, Fabio	ACTA INFORMATICA
2	Fixpoint games on continuous lattices	2019	BALDAN, PAOLO ; König, Barbara; Mika-Michalski, Christina; PADOAN, TOMMASO	PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES
3	Automata for true concurrency properties	2018	BALDAN, PAOLO ; PADOAN, TOMMASO		LECTURE NOTES IN COMPUTER SCIENCE	21st International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2018
4	Coalgebraic Behavioral Metrics	2018	BALDAN, PAOLO ; Filippo Bonchi; Henning Kerstan; Barbara König	LOGICAL METHODS IN COMPUTER SCIENCE
5	Multilevel transitive and intransitive non-interference, causally	2018	BALDAN, PAOLO ; BEGGIATO, ALESSANDRO	THEORETICAL COMPUTER SCIENCE
6	Many-to-many information flow policies	2018	BALDAN, PAOLO ; Lluch Lafuente, Alberto	SCIENCE OF COMPUTER PROGRAMMING
7	Event structures for Petri nets with persistence	2018	BALDAN, PAOLO ; Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; Melgratti, Hernan; Montanari, Ugo	LOGICAL METHODS IN COMPUTER SCIENCE
8	Petri nets for modelling and analysing trophic networks	2018	BALDAN, PAOLO ; Brigolin, Daniele; Heiner, Monika; Bocci, Martina; Cocco, Nicoletta; Simeoni, Marta	FUNDAMENTA INFORMATICAE
9	Many-to-many information flow policies	2017	BALDAN, PAOLO ; BEGGIATO, ALESSANDRO ; Lafuente, Alberto Lluch	LECTURE NOTES IN COMPUTER SCIENCE		COORDINATION 2017
10	Domains and event structures for fusions	2017	BALDAN, PAOLO ; Corradini, Andrea; Gadducci, Fabio		PROCEEDINGS - SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE	LICS 2017
11	Local model checking in a logic for true concurrency	2017	BALDAN, PAOLO ; PADOAN, TOMMASO	LECTURE NOTES IN COMPUTER SCIENCE		FOSSACS 2017
12	Preface	2016	BALDAN, PAOLO ; Gorla, Daniele	INFORMATION AND COMPUTATION
13	Reduction of event structures under history preserving bisimulation	2016	Armas Cervantes, Abel; BALDAN, PAOLO ; García Bañuelos, Luciano	THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING
14	Diagnosing behavioral differences between business process models: An approach based on event structures	2016	Armas Cervantes, Abel; BALDAN, PAOLO ; Dumas, Marlon; Garcia Bañuelos, Luciano	INFORMATION SYSTEMS
15	Multilevel Transitive and Intransitive Non-interference, Causally	2016	BALDAN, PAOLO ; BEGGIATO, ALESSANDRO		LECTURE NOTES IN COMPUTER SCIENCE	Coordination 2016
16	Intransitive Non-Interference by Unfolding	2015	BALDAN, PAOLO ; Francesco Burato; Alberto Carraro		LECTURE NOTES IN COMPUTER SCIENCE	Formal Aspects of Component Software
17	A causal view on non-interference	2015	BALDAN, PAOLO ; Carraro, Alberto	FUNDAMENTA INFORMATICAE
18	Asynchronous traces and open petri nets	2015	BALDAN, PAOLO ; Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma V.			Programming Languages with Applications to Biology and Security - Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday
19	Towards Trace Metrics via Functor Lifting	2015	BALDAN, PAOLO ; Bonchi, Filippo; Kerstan, Henning; König, Barbara		LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS	Algebra and Coalgebra in Computer Science 2015
20	Modular encoding of synchronous and asynchronous interactions using open Petri nets	2015	BALDAN, PAOLO ; Filippo Bonchi; Fabio Gadducci; Giacoma Valentina Monreale	SCIENCE OF COMPUTER PROGRAMMING

Dettaglio

Nome completo:

BALDAN, PAOLO