Dipartimento di Matematica
University of Padova

Paolo Baldan

Professor of Computer Science at the Dept. of Mathematics, Univ. of Padova.

Journal articles, conference papers, book chapters, and theses, 1995–2026. Also on DBLP and Google Scholar.

Filter
2026
Conf.
Computing Fixpoints of Learned Functions: Chaotic Iteration and Simple Stochastic Games

P. Baldan, S. Gurke, B. König, F. Wittbold — Proceedings of TACAS 2026, LNCS 15932, pp. 547–565

PDF
2025
Journal
A Monoidal View on Fixpoint Checks

P. Baldan, R. Eggert, B. König, T. Matt, T. Padoan — Logical Methods in Computer Science, 21(3) (2025)

PDF
Conf.
Approximating Fixpoints of Approximated Functions

P. Baldan, S. Gurke, B. König, T. Padoan, F. Wittbold — Proceedings of CAV 2025, LNCS 16505, pp. 193–215

PDF
Conf.
Model Checking as Program Verification by Abstract Interpretation

P. Baldan, R. Bruni, F. Ranzato, D. Rigo — Proceedings of CONCUR 2025, LIPIcs 348, pp. 8:1–8:20

PDF
2024
Journal
Systems of fixpoint equations: Abstraction, games, up-to techniques and local algorithms

P. Baldan, B. König, T. Padoan — Information and Computation, 301 (2024)

Conf.
Left-Linear Rewriting in Adhesive Categories

P. Baldan, D. Castelnovo, A. Corradini, F. Gadducci — Proceedings of CONCUR 2024, LIPIcs 311, pp. 11:1–11:24

PDF
2023
Journal
Fixpoint Theory - Upside Down

P. Baldan, R. Eggert, B. König, T. Padoan — Logical Methods in Computer Science, 19(2) (2023)

PDF
Conf.
A Monoidal View on Fixpoint Checks

P. Baldan, R. Eggert, B. König, T. Matt, T. Padoan — Proceedings of ICGT 2023, LNCS 13961, pp. 3–21

PDF
Conf.
A Lattice-Theoretical View of Strategy Iteration

P. Baldan, R. Eggert, B. König, T. Padoan — Proceedings of CSL 2023, LIPIcs 252, pp. 7:1–7:19

PDF
2022
Journal
Minimisation of event structures

P. Baldan, A. Raffaetà — Theoretical Computer Science, 935, pp. 174–199 (2022)

PDF
Journal
Intensional Kleene and Rice theorems for abstract program semantics

P. Baldan, F. Ranzato, L. Zhang — Information and Computation, 289 (2022)

PDF
Journal
Characterizing Spectra of Equivalences for Event Structures, logically

P. Baldan, D. Gorla, T. Padoan, I. Salvo — Information and Computation, 285 (2022)

Journal
Behavioural logics for configuration structures

P. Baldan, D. Gorla, T. Padoan, I. Salvo — Theoretical Computer Science, 913, pp. 94–112 (2022)

PDF
2021
Journal
Concurrent semantics for fusions: Weak prime domains and connected event structures

P. Baldan, A. Corradini, F. Gadducci — Information and Computation, 281 (2021)

PDF
Conf.
Fixpoint Theory -- Upside Down

P. Baldan, B. König, R. Eggert, T. Padoan — Proceedings of FoSSaCS'21, LNCS 12650, pp. 62–81 (2021)

PDF
Conf.
A Rice's Theorem for Abstract Semantics

P. Baldan, F. Ranzato, L. Zhang — Proceedings of ICALP'21, LIPIcs 198, pp. 117:1–117:19 (2021)

PDF
Conf.
(Un)Decidability for History Preserving True Concurrent Logics

P. Baldan, A. Carraro, T. Padoan — Proceedings of MFCS'21, LIPIcs 202, pp. 13:1–13:16 (2021)

PDF
2020
Journal
Model Checking a Logic for True Concurrency

P. Baldan, T. Padoan — ACM Trans.\ Comput.\ Log., 21(4), pp. 34:1–34:49 (2020)

PDF
Conf.
Abstraction, Up-To Techniques and Games for Systems of Fixpoint Equations

P. Baldan, B. König, T. Padoan — Proceedings of CONCUR'20, LIPIcs 171, pp. 25:1–25:20 (2020)

PDF
2019
Journal
Fixpoint Games in Continuous Lattices

P. Baldan, B. König, C. Mika-Michalski, T. Padoan — PACMPL, 3(POPL), pp. 26:1–26:29 (2019)

Journal
Petri nets are dioids: a new algebraic foundation for non-deterministic net theory

P. Baldan, F. Gadducci — Acta Informatica, 56(1), pp. 61–92 (2019)

PDF
Conf.
Minimisation of Event Structures

P. Baldan, A. Raffaetà — Proceedings of FSTTCS'19, LIPIcs 150, pp. 30:1–30:15 (2019)

2018
Journal
Many-to-Many Information Flow Policies

P. Baldan, A. Lluch-Lafuente — Science of Computer Programming, 168, pp. 118–141 (2018)

PDF
Journal
Coalgebraic behavioral metrics

P. Baldan, F. Bonchi, H. Kerstan, B. König — Logical Methods in Computer Science, 14(3), pp. 1–61 (2018)

Link
Journal
Event Structures for Petri nets with Persistence

P. Baldan, R. Bruni, A. Corradini, H.C. Melgratti, U. Montanari — Logical Methods in Computer Science, 14(3), pp. 1–30 (2018)

PDFLink
Journal
Petri nets for modelling and analysing trophic networks

P. Baldan, M. Bocci, D. Brigolin, N. Cocco, M. Heiner, M. Simeoni — Fundamenta Informaticae, 160(1--2), pp. 27–52 (2018)

PDF
Journal
Multilevel Transitive and Intransitive Non-Interference, Causally

P. Baldan, A. Beggiato — Theoretical Computer Science, 706, pp. 54–82 (2018)

PDF
Conf.
Automata for True Concurrency Properties

P. Baldan, T. Padoan — Proceedings of FoSSaCS'18, 10803, pp. 165–182 (2018)

2017
Conf.
Domains and event structures for fusions

P. Baldan, A. Corradini, F. Gadducci — Proceedings of LICS'17, pp. 1–12 (2017)

PDF
Conf.
Local Model Checking in a Logic for True Concurrency

P. Baldan, T. Padoan — Proceedings of FoSSaCS'17, 10203, pp. 407–423 (2017)

PDF
Conf.
Many-to-Many Information Flow Policies

P. Baldan, A. Beggiato, A. Lluch-Lafuente — Proceedings of COORDINATION'17, LNCS 10319, pp. 159–177 (2017)

PDF
2016
Journal
Reduction of event structures under history preserving bisimulation

A. Armas-Cervantes, P. Baldan, L. García-Bañuelos — Journal of Logical and Algebraic Methods in Programming, 85(6), pp. 1110–1130 (2016)

PDF
Journal
Diagnosing behavioral differences between business process models: An approach based on event structures

A. Armas-Cervantes, P. Baldan, M. Dumas, L. García-Bañuelos — Information Systems, 56, pp. 304–325 (2016)

Conf.
Multilevel Transitive and Intransitive Non-interference, Causally

P. Baldan, A. Beggiato — Proceedings of COORDINATION'16, LNCS 9686, pp. 1–17 (2016)

2015
Journal
A Causal View on Non-Interference

P. Baldan, A. Carraro — Fundamenta Informaticae, 140(1), pp. 1–38 (2015)

PDF
Journal
Concurrency Can't Be Observed, Asynchronously

P. Baldan, F. Bonchi, F. Gadducci, G.V. Monreale — Mathematical Structures in Computer Science, 25(4), pp. 978–1004 (2015)

PDF
Journal
Modular Encoding of Synchronous and Asynchronous Interactions using Open Petri Nets

P. Baldan, F. Bonchi, F. Gadducci, G.V. Monreale — Science of Computer Programming, 109, pp. 96–124 (2015)

PDF
Conf.
Petri nets for modelling and analysing trophic networks

P. Baldan, M. Bocci, D. Brigolin, N. Cocco, M. Simeoni — Proceedings of BioPPN'15, CEUR Workshop Proceedings 1373, pp. 21–36 (2015)

PDFLink
Conf.
Towards Trace Metrics via Functor Lifting

P. Baldan, F. Bonchi, H. Kerstan, B. König — Proceedings of CALCO'15, LIPIcs 35, pp. 35–49 (2015)

PDF
Conf.
Intransitive Non-interference by Unfolding

P. Baldan, F. Burato, A. Carraro — Proceedings of FACS'14, LNCS 8997, pp. 269–287 (2015)

PDF
Book
Asynchronous Traces and Open Petri Nets

P. Baldan, F. Bonchi, F. Gadducci, G.V. Monreale — In: Programming Languages with Applications to Biology and Security Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday, LNCS 9465, pp. 86–102, Springer (2015)

PDF
2014
Journal
A Logic for True Concurrency

P. Baldan, S. Crafa — Journal of the ACM, 61(4), pp. 24:1–24:36 (2014)

PDF
Journal
Processes and Unfoldings: Concurrent Computations in Adhesive Categories

P. Baldan, A. Corradini, T. Heindel, B. König, P. Sobociński — Mathematical Structures in Computer Science, 24(4), pp. 1–51 (2014)

PDF
Conf.
Behavioral Metrics via Functor Lifting

P. Baldan, F. Bonchi, H. Kerstan, B. König — Proceedings of FSTTCS'14, LIPIcs 29, pp. 403–415 (2014)

Conf.
Hereditary History-Preserving Bisimilarity: Logics and Automata

P. Baldan, S. Crafa — Proceedings of APLAS'14, LNCS 8858, pp. 469–488 (2014)

PDF
Conf.
Behavioral Comparison of Process Models Based on Canonically Reduced Event Structures

A. Armas-Cervantes, P. Baldan, M. Dumas, L. García-Bañuelos — Proceedings of BPM'14, LNCS 8659, pp. 267–282 (2014)

PDF
Conf.
BP-Diff: A Tool for Behavioral Comparison of Business Process Models

A. Armas-Cervantes, P. Baldan, M. Dumas, L. García-Bañuelos — Proceedings of BPM'14 Demo Sessions, CEUR Workshop Proceedings 1295, pp. 267–282 (2014)

PDF
Conf.
Non-interference by Unfolding

P. Baldan, A. Carraro — Proceedings of Petri Nets'14, LNCS 8489, pp. 190–209 (2014)

PDF
Conf.
Encoding Synchronous Interactions using Labelled Petri Nets

P. Baldan, F. Bonchi, F. Gadducci, G.V. Monreale — Proceedings of COORDINATION'14, LNCS 8459, pp. 1–16 (2014)

PDF
2013
Journal
Comparing Metabolic Pathways through Reactions and Potential Fluxes

P. Baldan, N. Cocco, F. Giummolè, M. Simeoni — LNCS Transactions on Petri Nets and Other Models of Concurrency, 8100, pp. 1–23 (2013)

Conf.
Comparing metabolic pathways through potential fluxes: a selective opening approach

P. Baldan, M. Bocci, N. Cocco, M. Simeoni — Proceedings of BioPPN'13, CEUR Workshop Proceedings 988, pp. 1-15 (2013)

PDFLink
Conf.
Representing and Comparing Metabolic Pathways as Petri Nets with MPath2PN and CoMeta

P. Baldan, N. Cocco, M. Simeoni — Proceedings of CS2Bio'13, Electronic Notes in Theoretical Computer Science 299, pp. 5-13 (2013)

PDF
2012
Journal
Efficient Unfolding of Contextual Petri nets

P. Baldan, A. Bruni, A. Corradini, B. König, S. Schwoon, C. Rodríguez — Theoretical Computer Science, 449(1), pp. 2–22 (2012)

PDF
2011
Journal
A lattice-theoretical perspective on adhesive categories

P. Baldan, F. Bonchi, A. Corradini, B. König — Journal of Symbolic Computation, 46(3), pp. 222-245 (2011)

PDF
Conf.
Efficient contextual unfolding

C. Rodríguez, S. Schwoon, P. Baldan — Proceedings of CONCUR'11, LNCS 6901, pp. 342–357 (2011)

PDF
Conf.
Adhesivity Is Not Enough: Local Church-Rosser Revisited

P. Baldan, F. Gadducci, P. Sobociński — Proceedings of MFCS'11, LNCS 6907, pp. 48–59 (2011)

PDF
2010
Journal
Unfolding-Based Diagnosis of Systems with an Evolving Topology

P. Baldan, T. Chatain, S. Haar, B. König — Information and Computation, 208(10), pp. 1169–1192 (2010)

PDF
Journal
Petri Nets for Modelling Metabolic Pathways: A Survey

P. Baldan, N. Cocco, A. Marin, M. Simeoni — Natural Computing, 9, pp. 955–989 (2010)

PDF
Conf.
Concurrency Can't Be Observed, Asynchronously

P. Baldan, F. Bonchi, F. Gadducci, G.V. Monreale — Proceedings of APLAS'10, LNCS 6461, pp. 424–438 (2010)

PDF
Conf.
On the Computation of McMillan's Prefix for Contextual Nets and Graph Grammars

P. Baldan, A. Bruni, A. Corradini, B. König, S. Schwoon — Proceedings of ICGT'10, LNCS 6732, pp. 91–106 (2010)

PDF
Conf.
A Logic for True Concurrency

P. Baldan, S. Crafa — Proceedings of CONCUR'10, LNCS 6269, pp. 147–161 (2010)

PDF
Book
From Petri Nets to Graph Transformation Systems

P. Baldan, A. Corradini, F. Gadducci, U. Montanari — In: Manipulation of Graphs, Algebras and Pictures, Essays Dedicated to Hans-Joerg Kreowski on the Occasion of His 60th Birthday, Electronic Communications of the EASST 26, pp. 16–36, EASST (2010)

PDF
2009
Conf.
Encoding asynchronous interactions using open Petri nets

P. Baldan, F. Bonchi, F. Gadducci — Proceedings of CONCUR'09, LNCS 5710, pp. 99–114 (2009)

PDF
Conf.
Unfolding Grammars in Adhesive Categories

P. Baldan, A. Corradini, T. Heindel, B. König, P. Sobociński — Proceedings of CALCO'09, LNCS 5728, pp. 350–366 (2009)

PDF
2008
Journal
Bisimilarity and Behaviour-Preserving Reconfigurations of Petri Nets

P. Baldan, A. Corradini, H. Ehrig, R. Heckel, B. König — Logical Methods in Computer Science, 4(4--3), pp. 1–41 (2008)

PDF
Journal
McMillan's Complete Prefix for Contextual Nets

P. Baldan, A. Corradini, B. König, S. Schwoon — LNCS Transactions on Petri Nets and Other Models of Concurrency, 5100, pp. 199–220 (2008)

PDF
Journal
A Framework for the Verification of Infinite-State Graph Transformation Systems

P. Baldan, A. Corradini, B. König — Information and Computation, 206, pp. 869–907 (2008)

PDF
Conf.
Behavior Preservation in Model Refactoring using DPO Transformations with Borrowed Contexts

G. Rangel, L. Lambers, H. Ehrig, B. König, P. Baldan — Proceedings of ICGT'08, LNCS 5214, pp. 242–256 (2008)

PDF
Conf.
Open Petri Nets: Non-deterministic Processes and Compositionality

P. Baldan, A. Corradini, H. Ehrig, B. König — Proceedings of ICGT'08, LNCS 5214, pp. 257–273 (2008)

PDF
Conf.
Open Petri Nets: Non-deterministic Processes and Compositionality

P. Baldan, A. Corradini, H. Ehrig, B. König — Proceedings of ICGT'08, LNCS 5214, pp. 257–273 (2008)

PDF
Conf.
Unfolding-Based Diagnosis of Systems with an Evolving Topology

P. Baldan, T. Chatain, S. Haar, B. König — Proceedings of CONCUR'08, LNCS 5201, pp. 203–217 (2008)

PDF
Conf.
Petri Nets are dioids

P. Baldan, F. Gadducci — Proceedings of AMAST'08, LNCS 5140, pp. 51–66 (2008)

PDF
Conf.
Towards a sharing strategy for the graph rewriting calculus

P. Baldan, C. Bertolissi, H. Cirstea, C. Kirchner — Proceedings of WRS'07, Electronic Notes in Theoretical Computer Science 204, pp. 111–127 (2008)

PDF
Conf.
Towards a Notion of Transaction in Graph Rewriting

P. Baldan, A. Corradini, F.L. Dotti, L. Foss, F. Gadducci, L. Ribeiro — Proceedings of GT-VMT'06, Electronic Notes in Theoretical Computer Science 211, pp. 39–50 (2008)

PDF
Book
Unfolding Graph Transformation Systems: Theory and Applications to Verification

P. Baldan, A. Corradini, B. König — In: Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday, LNCS 5065, pp. 16–36, Springer (2008)

PDF
2007
Journal
A Semantic Framework for Open Processes

P. Baldan, A. Bracciali, R. Bruni — Theoretical Computer Science, 3(1), pp. 446-483 (2007)

PDF
Journal
Unfolding Semantics of Graph Transformation

P. Baldan, A. Corradini, U. Montanari, L. Ribeiro — Information and Computation, 205, pp. 733–782 (2007)

PDF
Journal
A rewriting calculus for cyclic higher-order term graphs

P. Baldan, C. Bertolissi, H. Cirstea, C. Kirchner — Mathematical Structures in Computer Science, 17(3), pp. 363–406 (2007)

PDF
Conf.
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets

P. Baldan, A. Corradini, H. Ehrig, R. Heckel — Proceedings of CALCO'07, LNCS 4624, pp. 126–142 (2007)

Conf.
Modelling Calculi with Name Mobility using Graphs with Equivalences

P. Baldan, F. Gadducci, U. Montanari — Proceedings of TERMGRAPH'06, Electronic Notes in Theoretical Computer Science 176, pp. 85-97 (2007)

PDF
Conf.
Deducing Interactions in Partially Unspecified Biological Systems

P. Baldan, A. Bracciali, L. Brodo, R. Bruni — Proceedings of Algebraic Biology'07, LNCS 4545, pp. 262–276 (2007)

PDF
Conf.
A Temporal Graph Logic for Verification of Graph Transformation Systems

P. Baldan, A. Corradini, B. König, A. Lafuente — Proceedings of WADT'06, LNCS 4409, pp. 1–20 (2007)

PDF
2006
Conf.
Concurrent Rewriting for Graphs with Equivalences

P. Baldan, F. Gadducci, U. Montanari — Proceedings of CONCUR'06, LNCS 4137, pp. 279–294 (2006)

PDF
Conf.
Graph Transactions as Processes

P. Baldan, A. Corradini, L. Foss, F. Gadducci — Proceedings of ICGT'06, LNCS 4178, pp. 199–214 (2006)

PDF
Conf.
Composition and Decomposition of DPO Transformations with Borrowed Context

P. Baldan, H. Ehrig, B. König — Proceedings of ICGT'06, LNCS 4178, pp. 153–167 (2006)

PDF
Conf.
Distributed Unfolding of Petri nets

P. Baldan, S. Haar, B. König — Proceedings of FoSSaCS'06, LNCS 3921, pp. 126–141 (2006)

PDF
Conf.
Processes for Adhesive Rewriting Systems

P. Baldan, A. Corradini, T. Heindel, B. König, P. Sobociński — Proceedings of FoSSaCS'06, LNCS 3921, pp. 202–216 (2006)

PDF
2005
Journal
Compositional Semantics for Open Petri Nets based on Deterministic Processes

P. Baldan, A. Corradini, H. Ehrig, R. Heckel — Mathematical Structures in Computer Science, 15(1), pp. 1–35 (2005)

PDF
Conf.
Verifying Red-Black Trees

P. Baldan, A. Corradini, J. Esparza, T. Heindel, B. König, V. Kozioura — Proceedings of COSMICAH'05 (2005)

PDF
Conf.
Graph Grammar Verification through Abstraction

P. Baldan, B. König, A. Rensink — Dagstuhl Seminar 04241 on Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems (2005)

Link
Conf.
Relating SPO and DPO graph rewriting with Petri nets having read, inhibitor and reset arcs

P. Baldan, A. Corradini, U. Montanari — Proceedings of PNGT'04, ENCTS 172, pp. 5–28 (2005)

PDF
Book
On the Concurrent Semantics of Algebraic Graph Grammars

P. Baldan, A. Corradini — In: Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday, LNCS 3393, pp. 3–22, Springer (2005)

PDF
Book
Specifying and Verifying UML Activity Diagrams via Graph Transformation

P. Baldan, A. Corradini, F. Gadducci — In: Global Computing: IST/FET International Workshop, GC'04, LNCS 3267, pp. 18–33, Springer (2005)

PDF
Book
Symbolic Equivalences for Open Systems

P. Baldan, R. Bruni, A. Bracciali — In: Global Computing: IST/FET International Workshop, GC'04, LNCS 3267, pp. 1–17, Springer (2005)

PDF
2004
Journal
Domain and Event Structure Semantics for Petri Nets with Read and Inhibitor arcs

P. Baldan, N. Busi, A. Corradini, G.M. Pinna — Theoretical Computer Science, 323(1--3), pp. 129-189 (2004)

PDF
Conf.
A rewriting calculus for cyclic higher-order term graphs

P. Baldan, C. Bertolissi, H. Cirstea, C. Kirchner — Proceedings of TERMGRAPH'04, Electronic Notes in Theoretical Computer Science 127, pp. 21–41 (2004)

PDF
Conf.
Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems

P. Baldan, B. König, I. Sürmer — Proceedings of ICGT'04, LNCS 3256, pp. 194–209 (2004)

PDF
Conf.
Verifying Finite-State Graph Grammars: an Unfolding-Based Approach

P. Baldan, A. Corradini, B. König — Proceedings of CONCUR'04, LNCS 3170, pp. 83–98 (2004)

PDF
Conf.
Verifying a Behavioural Logic for Graph Transformation Systems

P. Baldan, A. Corradini, B. König, B. König — Proceedings of CoMeta'03, Electronic Notes in Theoretical Computer Science 104, pp. 5–24 (2004)

PDF
2003
Journal
A category of compositional domain-models for separable Stone spaces

F. Alessi, P. Baldan, F. Honsell — Theoretical Computer Science, 290(1), pp. 599–635 (2003)

PDF
Conf.
A Logic for Analyzing Abstractions of Graph Transformation Systems

P. Baldan, B. König, B. König — Proceedings of SAS'03 (International Static Analysis Symposium), LNCS 2694, pp. 255–272 (2003)

PDF
Conf.
Pre-nets, read arcs and unfolding: a functorial presentation

P. Baldan, R. Bruni, U. Montanari — Proceedings of WADT'02, LNCS 2755, pp. 145–164 (2003)

PDF
Conf.
Coreflective Concurrent Semantics for Single-Pushout Graph Grammars

P. Baldan, A. Corradini, U. Montanari, L. Ribeiro — Proceedings of WADT'02, LNCS 2755, pp. 165–184 (2003)

PDF
Conf.
AGILE: Software Architecture for Mobility

L. Andrade, P. Baldan, H. Baumeister, R. Bruni, A. Corradini, R. De Nicola, J.L. Fiadeiro, F. Gadducci, S. Gnesi, P. Hoffman, N. Koch, P. Kosiuczenko, A. Lapadula, D. Latella, A. Lopes, M. Loreti, M. Massink, F. Mazzanti, U. Montanari, C. Oliveira, R. Pugliese, A. Tarlecki, M. Wermelinger, M. Wirsing, A. Zawłocki — Proceedings of WADT'02, LNCS 2755, pp. 1–33 (2003)

2002
Conf.
Approximating the behaviour of graph transformation systems

P. Baldan, B. König — Proceedings of ICGT'02, LNCS 2505, pp. 14–30 (2002)

PDF
Conf.
Bisimulation by Unification

P. Baldan, A. Bracciali, R. Bruni — Proceedings of AMAST 2002, LNCS 2422, pp. 254–270

PDF
Conf.
Static Analysis of Distributed Systems with Mobility Specified by Graph Grammars---A Case Study

P. Baldan, A. Corradini, B. König — Proceedings of IDPT 2002 (Sixth International Conference on Integrated Design & Process Technology)

PDF
Book
High-Level Net Processes

H. Ehrig, K. Hoffmann, J. Padberg, P. Baldan, R. Heckel — In: Formal and Natural Computing Essays Dedicated to Grzegorz Rozenberg [on occasion of his 60th birthday, March 14, 2002], LNCS 2300, pp. 191–219, Springer (2002)

PDF
Book
Bisimulation equivalences for graph grammars

P. Baldan, A. Corradini, U. Montanari — In: Formal and Natural Computing Essays Dedicated to Grzegorz Rozenberg [on occasion of his 60th birthday, March 14, 2002], LNCS 2300, pp. 158–190, Springer (2002)

PDF
Book
MuTACLP: A Language for Temporal Reasoning with Multiple Theories

P. Baldan, A. Raffaetà, P. Mancarella, F. Turini — In: Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II, LNCS 2408, pp. 1–40, Springer (2002)

PDF
2001
Journal
Contextual Petri nets, asymmetric event structures and processes

P. Baldan, A. Corradini, U. Montanari — Information and Computation, 171(1), pp. 1–49 (2001)

PDF
Conf.
A static analysis technique for graph transformation systems

P. Baldan, A. Corradini, B. König — Proceedings of CONCUR'01, LNCS 2154, pp. 381–395 (2001)

PDF
Conf.
Compositional modeling of reactive systems using open nets

P. Baldan, A. Corradini, H. Ehrig, R. Heckel — Proceedings of CONCUR'01, LNCS 2154, pp. 502–518 (2001)

PDF
Conf.
Concurrency for Graph Grammars (in a Petri net shell)

P. Baldan — Electronic Notes in Theoretical Computer Science 51 (2001)

PDF
2000
Conf.
Functorial Concurrent Semantics for Petri Nets with Read and Inhibitor Arcs

P. Baldan, N. Busi, A. Corradini, G.M. Pinna — Proceedings of CONCUR'00, LNCS 1877, pp. 442–457 (2000)

PDF
Conf.
History Preserving Bisimulations for Contextual nets

P. Baldan, A. Corradini, U. Montanari — Proceedings of WADT'99, LNCS, pp. 291–310 (2000)

1999
Journal
Basic Theory of F-Bounded Quantification

P. Baldan, G. Ghelli, A. Raffaetà — Information and Computation, 153(1), pp. 173-237 (1999)

PDF
Conf.
Unfolding of Double-Pushout Graph Grammars is a Coreflection

P. Baldan, A. Corradini, U. Montanari — Proceedings of TAGT'98, LNCS 1764, pp. 145–163 (1999)

PDF
Conf.
Unfolding and Event Structure Semantics for Graph Grammars

P. Baldan, A. Corradini, U. Montanari — Proceedings of FoSSaCS'99, LNCS 1578, pp. 73–89 (1999)

PDF
Book
Concurrent Semantics of Algebraic Graph Transformation Systems

P. Baldan, A. Corradini, H. Ehrig, M. Löwe, U. Montanari, F. Rossi — In: Handbook of Graph Grammars and Computing by Graph Transformation, III: Concurrency, pp. 107–187, World Scientific (1999)

1998
Journal
A Characterization of Distance between 1-Bounded Compact Ultrametric spaces through a Universal Space

F. Alessi, P. Baldan — Theoretical Computer Science, 190(1--2), pp. 113–127 (1998)

PDF
Conf.
Concatenable graph processes: relating processes and derivation traces

P. Baldan, A. Corradini, U. Montanari — Proceedings of ICALP'98, LNCS 1443, pp. 283-295 (1998)

PDF
Conf.
An Event Structure Semantics for P/T Contextual Nets: Asymmetric Event Structures

P. Baldan, A. Corradini, U. Montanari — Proceedings of FoSSaCS'98, LNCS 1378, pp. 63–80 (1998)

PDF
1997
Conf.
Partializing Stone Spaces Using SFP Domains

F. Alessi, P. Baldan, F. Honsell — Proceedings of TAPSOFT'97, LNCS 1214, pp. 478–490 (1997)

PDF
1995
Journal
A Fixed Point Theorem in a Category of Compact Metric spaces

F. Alessi, P. Baldan, G. Bellè — Theoretical Computer Science, 146(1--2), pp. 311–320 (1995)

PDF
Conf.
Functorial and Non-Functorial Solution of Metric Domain Equations

F. Alessi, P. Baldan, G. Bellè, J.J. Rutten — Proceedings of MFPS'95, Electronic Notes in Theoretical Computer Science 1 (1995)

PDF
Theses
Thesis
Modelling concurrent computations: from contextual Petri nets to graph grammars

P. Baldan — PhD Thesis, Department of Computer Science, University of Pisa, 2000

PDF
Thesis
Un Teorema di Punto Fisso per la Soluzione di Equazioni di Dominio in una Categoria di Alberi

P. Baldan — Master's Thesis, University of Udine, 1994