Paolo Baldan - RankMe

150 papers A* 3A 1B 42C 3Journal 65Unranked 36

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A Program Logic for Abstract (Hyper)Properties. CoRR Paolo Baldan, Roberto Bruni, Francesco Ranzato, Diletta Rigo
2026	—	`conf`	Computing Fixpoints of Learned Functions: Chaotic Iteration and Simple Stochastic Games. TACAS (1) Paolo Baldan, Sebastian Gurke, Barbara König, Florian Wittbold
2026	J	`jnl`	Computing Fixpoints of Learned Functions: Chaotic Iteration and Simple Stochastic Games. CoRR Paolo Baldan, Sebastian Gurke, Barbara König, Florian Wittbold
2025	J	`jnl`	A Monoidal View on Fixpoint Checks. Log. Methods Comput. Sci. Paolo Baldan, Richard Eggert, Barbara König, Timo Matt, Tommaso Padoan
2025	—	`conf`	Approximating Fixpoints of Approximated Functions. CAV (2) Paolo Baldan, Sebastian Gurke, Barbara König, Tommaso Padoan, Florian Wittbold
2025	J	`jnl`	Computing Approximated Fixpoints via Dampened Mann Iteration. CoRR Paolo Baldan, Sebastian Gurke, Barbara König, Tommaso Padoan, Florian Wittbold
2025	J	`jnl`	Model Checking as Program Verification by Abstract Interpretation (Extended Version). CoRR Paolo Baldan, Roberto Bruni, Francesco Ranzato, Diletta Rigo
2025	B	`conf`	Model Checking as Program Verification by Abstract Interpretation. CONCUR Paolo Baldan, Roberto Bruni, Francesco Ranzato, Diletta Rigo
2024	B	`conf`	Left-Linear Rewriting in Adhesive Categories. CONCUR Paolo Baldan, Davide Castelnovo, Andrea Corradini, Fabio Gadducci
2024	J	`jnl`	Left-Linear Rewriting in Adhesive Categories. CoRR Paolo Baldan, Davide Castelnovo, Andrea Corradini, Fabio Gadducci
2024	J	`jnl`	Systems of fixpoint equations: Abstraction, games, up-to techniques and local algorithms. Inf. Comput. Paolo Baldan, Barbara König, Tommaso Padoan
2023	B	`ed.`	10th Conference on Algebra and Coalgebra in Computer Science, CALCO 2023, Indiana University Bloomington, IN, USA, June 19-21, 2023 CALCO Paolo Baldan, Valeria de Paiva
2023	B	`conf`	A Lattice-Theoretical View of Strategy Iteration. CSL Paolo Baldan, Richard Eggert, Barbara König, Tommaso Padoan
2023	B	`conf`	A Monoidal View on Fixpoint Checks. ICGT Paolo Baldan, Richard Eggert, Barbara König, Timo Matt, Tommaso Padoan
2023	J	`jnl`	A Monoidal View on Fixpoint Checks. CoRR Paolo Baldan, Richard Eggert, Barbara König, Timo Matt, Tommaso Padoan
2023	J	`jnl`	Fixpoint Theory - Upside Down. Log. Methods Comput. Sci. Paolo Baldan, Richard Eggert, Barbara König, Tommaso Padoan
2022	J	`jnl`	A Lattice-Theoretical View of Strategy Iteration. CoRR Paolo Baldan, Richard Eggert, Barbara König, Tommaso Padoan
2022	J	`jnl`	Behavioural logics for configuration structures. Theor. Comput. Sci. Paolo Baldan, Daniele Gorla, Tommaso Padoan, Ivano Salvo
2022	J	`jnl`	Characterising spectra of equivalences for event structures, logically. Inf. Comput. Paolo Baldan, Daniele Gorla, Tommaso Padoan, Ivano Salvo
2022	J	`jnl`	Intensional Kleene and Rice theorems for abstract program semantics. Inf. Comput. Paolo Baldan, Francesco Ranzato, Linpeng Zhang
2022	J	`jnl`	Minimisation of event structures. Theor. Comput. Sci. Paolo Baldan, Alessandra Raffaetà
2021	B	`conf`	(Un)Decidability for History Preserving True Concurrent Logics. MFCS Paolo Baldan, Alberto Carraro, Tommaso Padoan
2021	A*	`conf`	A Rice's Theorem for Abstract Semantics. ICALP Paolo Baldan, Francesco Ranzato, Linpeng Zhang
2021	J	`jnl`	A Rice's Theorem for Abstract Semantics. CoRR Paolo Baldan, Francesco Ranzato, Linpeng Zhang
2021	J	`jnl`	Concurrent semantics for fusions: Weak prime domains and connected event structures. Inf. Comput. Paolo Baldan, Andrea Corradini, Fabio Gadducci
2021	B	`conf`	Fixpoint Theory - Upside Down. FoSSaCS Paolo Baldan, Richard Eggert, Barbara König, Tommaso Padoan
2021	J	`jnl`	Fixpoint Theory - Upside Down. CoRR Paolo Baldan, Richard Eggert, Barbara König, Tommaso Padoan
2020	B	`conf`	Abstraction, Up-To Techniques and Games for Systems of Fixpoint Equations. CONCUR Paolo Baldan, Barbara König, Tommaso Padoan
2020	J	`jnl`	Abstraction, Up-to Techniques and Games for Systems of Fixpoint Equations. CoRR Paolo Baldan, Barbara König, Tommaso Padoan
2020	J	`jnl`	Model Checking a Logic for True Concurrency. ACM Trans. Comput. Log. Paolo Baldan, Tommaso Padoan
2019	J	`jnl`	Fixpoint games on continuous lattices. Proc. ACM Program. Lang. Paolo Baldan, Barbara König, Christina Mika-Michalski, Tommaso Padoan
2019	—	`conf`	Minimisation of Event Structures. FSTTCS Paolo Baldan, Alessandra Raffaetà
2019	J	`jnl`	Minimisation of Event Structures. CoRR Paolo Baldan, Alessandra Raffaetà
2019	J	`jnl`	Petri nets are dioids: a new algebraic foundation for non-deterministic net theory. Acta Informatica Paolo Baldan, Fabio Gadducci
2018	B	`conf`	Automata for True Concurrency Properties. FoSSaCS Paolo Baldan, Tommaso Padoan
2018	J	`jnl`	Coalgebraic Behavioral Metrics. Log. Methods Comput. Sci. Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König
2018	J	`jnl`	Event Structures for Petri nets with Persistence. CoRR Paolo Baldan, Roberto Bruni, Andrea Corradini, Fabio Gadducci, Hernán C. Melgratti, Ugo Montanari
2018	J	`jnl`	Event Structures for Petri nets with Persistence. Log. Methods Comput. Sci. Paolo Baldan, Roberto Bruni, Andrea Corradini, Fabio Gadducci, Hernán C. Melgratti, Ugo Montanari
2018	J	`jnl`	Fixpoint Games on Continuous Lattices. CoRR Paolo Baldan, Barbara König, Tommaso Padoan, Christina Mika-Michalski
2018	J	`jnl`	Many-to-many information flow policies. Sci. Comput. Program. Paolo Baldan, Alberto Lluch-Lafuente
2018	J	`jnl`	Multilevel transitive and intransitive non-interference, causally. Theor. Comput. Sci. Paolo Baldan, Alessandro Beggiato
2018	J	`jnl`	Petri Nets for Modelling and Analysing Trophic Networks. Fundam. Informaticae Paolo Baldan, Martina Bocci, Daniele Brigolin, Nicoletta Cocco, Monika Heiner, Marta Simeoni
2017	J	`jnl`	Coalgebraic Behavioral Metrics. CoRR Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König
2017	J	`jnl`	Domains and Event Structures for Fusions. CoRR Paolo Baldan, Andrea Corradini, Fabio Gadducci
2017	A*	`conf`	Domains and event structures for fusions. LICS Paolo Baldan, Andrea Corradini, Fabio Gadducci
2017	B	`conf`	Local Model Checking in a Logic for True Concurrency. FoSSaCS Paolo Baldan, Tommaso Padoan
2017	C	`conf`	Many-to-Many Information Flow Policies. COORDINATION Paolo Baldan, Alessandro Beggiato, Alberto Lluch-Lafuente
2017	J	`jnl`	Preface. Inf. Comput. Paolo Baldan, Daniele Gorla
2016	J	`jnl`	Diagnosing behavioral differences between business process models: An approach based on event structures. Inf. Syst. Abel Armas-Cervantes, Paolo Baldan, Marlon Dumas, Luciano García-Bañuelos
2016	C	`conf`	Multilevel Transitive and Intransitive Non-interference, Causally. COORDINATION Paolo Baldan, Alessandro Beggiato
2016	J	`jnl`	Reduction of event structures under history preserving bisimulation. J. Log. Algebraic Methods Program. Abel Armas-Cervantes, Paolo Baldan, Luciano García-Bañuelos
2015	J	`jnl`	A Causal View on Non-Interference. Fundam. Informaticae Paolo Baldan, Alberto Carraro
2015	—	`conf`	Asynchronous Traces and Open Petri Nets. Programming Languages with Applications to Biology and Security Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale
2015	J	`jnl`	Concurrency cannot be observed, asynchronously. Math. Struct. Comput. Sci. Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale
2015	J	`jnl`	Modular encoding of synchronous and asynchronous interactions using open Petri nets. Sci. Comput. Program. Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale
2015	—	`conf`	Petri nets for modelling and analysing trophic networks. BioPPN@Petri Nets Paolo Baldan, Martina Bocci, Daniele Brigolin, Nicoletta Cocco, Marta Simeoni
2015	B	`conf`	Towards Trace Metrics via Functor Lifting. CALCO Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König
2015	J	`jnl`	Towards Trace Metrics via Functor Lifting. CoRR Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König
2014	J	`jnl`	A Logic for True Concurrency. J. ACM Paolo Baldan, Silvia Crafa
2014	—	`conf`	BP-Diff: A Tool for Behavioral Comparison of Business Process Models. BPM (Demos) Abel Armas, Paolo Baldan, Marlon Dumas, Luciano García-Bañuelos
2014	A	`conf`	Behavioral Comparison of Process Models Based on Canonically Reduced Event Structures. BPM Abel Armas-Cervantes, Paolo Baldan, Marlon Dumas, Luciano García-Bañuelos
2014	—	`conf`	Behavioral Metrics via Functor Lifting. FSTTCS Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König
2014	J	`jnl`	Behavioral Metrics via Functor Lifting. CoRR Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König
2014	B	`ed.`	CONCUR 2014 - Concurrency Theory - 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings CONCUR Paolo Baldan, Daniele Gorla
2014	C	`conf`	Encoding Synchronous Interactions Using Labelled Petri Nets. COORDINATION Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale
2014	B	`conf`	Hereditary History-Preserving Bisimilarity: Logics and Automata. APLAS Paolo Baldan, Silvia Crafa
2014	—	`conf`	Intransitive Non-Interference by Unfolding. FACS Paolo Baldan, Francesco Burato, Alberto Carraro
2014	B	`conf`	Non-interference by Unfolding. Petri Nets Paolo Baldan, Alberto Carraro
2014	J	`jnl`	Processes and unfoldings: concurrent computations in adhesive categories. Math. Struct. Comput. Sci. Paolo Baldan, Andrea Corradini, Tobias Heindel, Barbara König, Pawel Sobocinski
2014	J	`jnl`	Reduction of Event Structures under History Preserving Bisimulation. CoRR Abel Armas-Cervantes, Paolo Baldan, Luciano García-Bañuelos
2013	J	`jnl`	Comparing Metabolic Pathways through Reactions and Potential Fluxes. Trans. Petri Nets Other Model. Concurr. Paolo Baldan, Nicoletta Cocco, Federica Giummolè, Marta Simeoni
2013	—	`conf`	Comparing metabolic pathways through potential fluxes: a selective opening approach. BioPPN@Petri Nets Paolo Baldan, Martina Bocci, Nicoletta Cocco, Marta Simeoni
2013	—	`conf`	Representing and Comparing Metabolic Pathways as Petri Nets with MPath2PN and CoMeta. CS2Bio Paolo Baldan, Nicoletta Cocco, Marta Simeoni
2012	J	`jnl`	Efficient unfolding of contextual Petri nets. Theor. Comput. Sci. Paolo Baldan, Alessandro Bruni, Andrea Corradini, Barbara König, César Rodríguez, Stefan Schwoon
2011	J	`jnl`	A Logic for True Concurrency CoRR Paolo Baldan, Silvia Crafa
2011	J	`jnl`	A lattice-theoretical perspective on adhesive categories. J. Symb. Comput. Paolo Baldan, Filippo Bonchi, Andrea Corradini, Tobias Heindel, Barbara König
2011	B	`conf`	Adhesivity Is Not Enough: Local Church-Rosser Revisited. MFCS Paolo Baldan, Fabio Gadducci, Pawel Sobocinski
2011	B	`conf`	Efficient Contextual Unfolding. CONCUR César Rodríguez, Stefan Schwoon, Paolo Baldan
2010	B	`conf`	A Logic for True Concurrency. CONCUR Paolo Baldan, Silvia Crafa
2010	B	`conf`	Concurrency Can't Be Observed, Asynchronously. APLAS Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale
2010	J	`jnl`	From Petri Nets to Graph Transformation Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Paolo Baldan, Andrea Corradini, Fabio Gadducci, Ugo Montanari
2010	B	`conf`	On the Computation of McMillan's Prefix for Contextual Nets and Graph Grammars. ICGT Paolo Baldan, Alessandro Bruni, Andrea Corradini, Barbara König, Stefan Schwoon
2010	J	`jnl`	Petri nets for modelling metabolic pathways: a survey. Nat. Comput. Paolo Baldan, Nicoletta Cocco, Andrea Marin, Marta Simeoni
2010	—	`conf`	Sharing in the Graph Rewriting Calculus. WADT Paolo Baldan, Clara Bertolissi
2010	J	`jnl`	Unfolding-based diagnosis of systems with an evolving topology. Inf. Comput. Paolo Baldan, Thomas Chatain, Stefan Haar, Barbara König
2009	B	`conf`	Encoding Asynchronous Interactions Using Open Petri Nets. CONCUR Paolo Baldan, Filippo Bonchi, Fabio Gadducci
2009	B	`conf`	Unfolding Grammars in Adhesive Categories. CALCO Paolo Baldan, Andrea Corradini, Tobias Heindel, Barbara König, Pawel Sobocinski
2008	J	`jnl`	A framework for the verification of infinite-state graph transformation systems. Inf. Comput. Paolo Baldan, Andrea Corradini, Barbara König
2008	B	`conf`	Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts. ICGT Guilherme Rangel, Leen Lambers, Barbara König, Hartmut Ehrig, Paolo Baldan
2008	J	`jnl`	Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets CoRR Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König
2008	J	`jnl`	Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets. Log. Methods Comput. Sci. Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König
2008	J	`jnl`	McMillan's Complete Prefix for Contextual Nets. Trans. Petri Nets Other Model. Concurr. Paolo Baldan, Andrea Corradini, Barbara König, Stefan Schwoon
2008	B	`conf`	Open Petri Nets: Non-deterministic Processes and Compositionality. ICGT Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Barbara König
2008	—	`conf`	Petri Nets Are Dioids. AMAST Paolo Baldan, Fabio Gadducci
2008	J	`jnl`	Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Paolo Baldan, Barbara König
2008	—	`conf`	Unfolding Graph Transformation Systems: Theory and Applications to Verification. Concurrency, Graphs and Models Paolo Baldan, Andrea Corradini, Barbara König
2008	B	`conf`	Unfolding-Based Diagnosis of Systems with an Evolving Topology. CONCUR Paolo Baldan, Thomas Chatain, Stefan Haar, Barbara König
2008	B	`conf`	Workshop on Petri Nets and Graph Transformations. ICGT Paolo Baldan, Barbara König
2007	J	`jnl`	A rewriting calculus for cyclic higher-order term graphs. Math. Struct. Comput. Sci. Paolo Baldan, Clara Bertolissi, Horatiu Cirstea, Claude Kirchner
2007	J	`jnl`	A semantic framework for open processes. Theor. Comput. Sci. Paolo Baldan, Andrea Bracciali, Roberto Bruni
2007	B	`conf`	Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets. CALCO Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König
2007	—	`conf`	Deducing Interactions in Partially Unspecified Biological Systems. AB Paolo Baldan, Andrea Bracciali, Linda Brodo, Roberto Bruni
2007	—	`conf`	Towards a Sharing Strategy for the Graph Rewriting Calculus. WRS@RDP Paolo Baldan, Clara Bertolissi, Horatiu Cirstea, Claude Kirchner
2007	J	`jnl`	Unfolding semantics of graph transformation. Inf. Comput. Paolo Baldan, Andrea Corradini, Ugo Montanari, Leila Ribeiro
2006	—	`conf`	A Temporal Graph Logic for Verification of Graph Transformation Systems. WADT Paolo Baldan, Andrea Corradini, Barbara König, Alberto Lluch-Lafuente
2006	B	`conf`	Composition and Decomposition of DPO Transformations with Borrowed Context. ICGT Paolo Baldan, Hartmut Ehrig, Barbara König
2006	B	`conf`	Concurrent Rewriting for Graphs with Equivalences. CONCUR Paolo Baldan, Fabio Gadducci, Ugo Montanari
2006	B	`conf`	Distributed Unfolding of Petri Nets. FoSSaCS Paolo Baldan, Stefan Haar, Barbara König
2006	J	`jnl`	Foreword. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Paolo Baldan, Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg
2006	B	`conf`	Graph Transactions as Processes. ICGT Paolo Baldan, Andrea Corradini, Luciana Foss, Fabio Gadducci
2006	—	`conf`	Modelling Calculi with Name Mobility using Graphs with Equivalences. TERMGRAPH@ETAPS Paolo Baldan, Fabio Gadducci, Ugo Montanari
2006	B	`conf`	Processes for Adhesive Rewriting Systems. FoSSaCS Paolo Baldan, Andrea Corradini, Tobias Heindel, Barbara König, Pawel Sobocinski
2006	—	`conf`	Towards a Notion of Transaction in Graph Rewriting. GT-VMT@ETAPS Paolo Baldan, Andrea Corradini, Fernando Luís Dotti, Luciana Foss, Fabio Gadducci, Leila Ribeiro
2006	B	`conf`	Workshop on Petri Nets and Graph Transformations. ICGT Paolo Baldan, Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg
2005	J	`jnl`	Compositional semantics for open Petri nets based on deterministic processe. Math. Struct. Comput. Sci. Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel
2005	—	`conf`	On the Concurrent Semantics of Algebraic Graph Grammars. Formal Methods in Software and Systems Modeling Paolo Baldan, Andrea Corradini
2004	—	`conf`	A Rewriting Calculus for Cyclic Higher-order Term Graphs. TERMGRAPH Clara Bertolissi, Paolo Baldan, Horatiu Cirstea, Claude Kirchner
2004	J	`jnl`	Domain and event structure semantics for Petri nets with read and inhibitor arcs. Theor. Comput. Sci. Paolo Baldan, Nadia Busi, Andrea Corradini, G. Michele Pinna
2004	B	`conf`	Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems. ICGT Paolo Baldan, Barbara König, Ingo Stürmer
2004	—	`conf`	Relating SPO and DPO graph rewriting with Petri nets having read, inhibitor and reset arcs. PNGT@ICGT Paolo Baldan, Andrea Corradini, Ugo Montanari
2004	—	`conf`	Specifying and Verifying UML Activity Diagrams Via Graph Transformation. Global Computing Paolo Baldan, Andrea Corradini, Fabio Gadducci
2004	—	`conf`	Summary 2: Graph Grammar Verification through Abstraction. Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems Paolo Baldan, Barbara König, Arend Rensink
2004	—	`conf`	Symbolic Equivalences for Open Systems. Global Computing Paolo Baldan, Andrea Bracciali, Roberto Bruni
2004	B	`conf`	Verifying Finite-State Graph Grammars: An Unfolding-Based Approach. CONCUR Paolo Baldan, Andrea Corradini, Barbara König
2003	B	`conf`	A Logic for Analyzing Abstractions of Graph Transformation Systems. SAS Paolo Baldan, Barbara König, Bernhard König
2003	J	`jnl`	A category of compositional domain-models for separable Stone spaces. Theor. Comput. Sci. Fabio Alessi, Paolo Baldan, Furio Honsell
2003	—	`conf`	Verifying a Behavioural Logic for Graph Transformation Systems. COMETA Paolo Baldan, Andrea Corradini, Barbara König, Bernhard König
2002	—	`conf`	AGILE: Software Architecture for Mobility. WADT Luís Andrade, Paolo Baldan, Hubert Baumeister, Roberto Bruni, Andrea Corradini, Rocco De Nicola, José Luiz Fiadeiro, Fabio Gadducci, Stefania Gnesi, Piotr Hoffman, Nora Koch, Piotr Kosiuczenko, Alessandro Lapadula, Diego Latella, Antónia Lopes, Michele Loreti, Mieke Massink, Franco Mazzanti, Ugo Montanari, Cristóvão Oliveira, Rosario Pugliese, Andrzej Tarlecki, Michel Wermelinger, Martin Wirsing, Artur Zawlocki
2002	B	`conf`	Approximating the Behaviour of Graph Transformation Systems. ICGT Paolo Baldan, Barbara König
2002	—	`conf`	Bisimulation Equivalences for Graph Grammars. Formal and Natural Computing Paolo Baldan, Andrea Corradini, Ugo Montanari
2002	—	`conf`	Bisimulation by Unification. AMAST Paolo Baldan, Andrea Bracciali, Roberto Bruni
2002	—	`conf`	Coreflective Concurrent Semantics for Single-Pushout Graph Grammars. WADT Paolo Baldan, Andrea Corradini, Ugo Montanari, Leila Ribeiro
2002	—	`conf`	High-Level Net Processes. Formal and Natural Computing Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg, Paolo Baldan, Reiko Heckel
2002	—	`conf`	MuTACLP: A Language for Temporal Reasoning with Multiple Theories. Computational Logic: Logic Programming and Beyond Paolo Baldan, Paolo Mancarella, Alessandra Raffaetà, Franco Turini
2002	—	`conf`	Pre-nets, Read Arcs and Unfolding: A Functorial Presentation. WADT Paolo Baldan, Roberto Bruni, Ugo Montanari
2001	B	`conf`	A Static Analysis Technique for Graph Transformation Systems. CONCUR Paolo Baldan, Andrea Corradini, Barbara König
2001	B	`conf`	Compositional Modeling of Reactive Systems Using Open Nets. CONCUR Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel
2001	—	`conf`	Concurrency for Graph Grammars in a Petri net shell. GETGRATS Closing Workshop Paolo Baldan
2001	J	`jnl`	Contextual Petri Nets, Asymmetric Event Structures, and Processes. Inf. Comput. Paolo Baldan, Andrea Corradini, Ugo Montanari
2000	B	`conf`	Functorial Concurrent Semantics for Petri Nets with Read and Inhibitor Arcs. CONCUR Paolo Baldan, Nadia Busi, Andrea Corradini, G. Michele Pinna
1999	J	`jnl`	Basic Theory of F-Bounded Quantification. Inf. Comput. Paolo Baldan, Giorgio Ghelli, Alessandra Raffaetà
1999	—	`conf`	History Preserving Bisimulation for Contextual Nets. WADT Paolo Baldan, Andrea Corradini, Ugo Montanari
1999	B	`conf`	Unfolding and Event Structure Semantics for Graph Grammars. FoSSaCS Paolo Baldan, Andrea Corradini, Ugo Montanari
1998	J	`jnl`	A Characterization of Distance Between 1-Bounded Compact Ultrametic Spaces Through a Universal Space. Theor. Comput. Sci. Fabio Alessi, Paolo Baldan
1998	B	`conf`	An Event Structure Semantics for P/T Contextual Nets: Asymmetric Event Structures. FoSSaCS Paolo Baldan, Andrea Corradini, Ugo Montanari
1998	A*	`conf`	Concatenable Graph Processes: Relating Processes and Derivation Traces. ICALP Paolo Baldan, Andrea Corradini, Ugo Montanari
1998	—	`conf`	Unfolding of Double-Pushout Graph Grammars is a Coreflection. TAGT Paolo Baldan, Andrea Corradini, Ugo Montanari
1997	—	`conf`	Partializing Stone Spaces using SFP Domains (Extended Abstract). TAPSOFT Fabio Alessi, Paolo Baldan, Furio Honsell
1995	J	`jnl`	A Fixed-Point Theorem in a Category of Compact Metric Spaces. Theor. Comput. Sci. Fabio Alessi, Paolo Baldan, Gianna Bellè
1995	B	`conf`	Solutions of functorial and non-functorial metric domain equations. MFPS Fabio Alessi, Paolo Baldan, Gianna Bellè, Jan J. M. M. Rutten