Paolo Baldan

ORCID

Publication Activity (10 Years)

Years Active: 1995-2024
Publications (10 Years): 48

Top Venues

Publications

Paolo Baldan, Davide Castelnovo, Andrea Corradini, Fabio Gadducci
Left-Linear Rewriting in Adhesive Categories. CONCUR (2024)
Paolo Baldan, Davide Castelnovo, Andrea Corradini, Fabio Gadducci
Left-Linear Rewriting in Adhesive Categories. CoRR (2024)
Paolo Baldan, Richard Eggert, Barbara König, Tommaso Padoan
Fixpoint Theory - Upside Down. Log. Methods Comput. Sci. 19 (2) (2023)
Paolo Baldan, Richard Eggert, Barbara König, Timo Matt, Tommaso Padoan
A Monoidal View on Fixpoint Checks. CoRR (2023)
Paolo Baldan, Richard Eggert, Barbara König, Tommaso Padoan
A Lattice-Theoretical View of Strategy Iteration. CSL (2023)
Paolo Baldan, Richard Eggert, Barbara König, Timo Matt, Tommaso Padoan
A Monoidal View on Fixpoint Checks. ICGT (2023)
Paolo Baldan, Francesco Ranzato, Linpeng Zhang
Intensional Kleene and Rice theorems for abstract program semantics. Inf. Comput. 289 (Part) (2022)
Paolo Baldan, Daniele Gorla, Tommaso Padoan, Ivano Salvo
Characterising spectra of equivalences for event structures, logically. Inf. Comput. 285 (Part) (2022)
Paolo Baldan, Alessandra Raffaetà
Minimisation of event structures. Theor. Comput. Sci. 935 (2022)
Paolo Baldan, Richard Eggert, Barbara König, Tommaso Padoan
A Lattice-Theoretical View of Strategy Iteration. CoRR (2022)
Paolo Baldan, Daniele Gorla, Tommaso Padoan, Ivano Salvo
Behavioural logics for configuration structures. Theor. Comput. Sci. 913 (2022)
Paolo Baldan, Francesco Ranzato, Linpeng Zhang
A Rice's Theorem for Abstract Semantics. CoRR (2021)
Paolo Baldan, Richard Eggert, Barbara König, Tommaso Padoan
Fixpoint Theory - Upside Down. FoSSaCS (2021)
Paolo Baldan, Alberto Carraro, Tommaso Padoan
(Un)Decidability for History Preserving True Concurrent Logics. MFCS (2021)
Paolo Baldan, Francesco Ranzato, Linpeng Zhang
A Rice's Theorem for Abstract Semantics. ICALP (2021)
Paolo Baldan, Richard Eggert, Barbara König, Tommaso Padoan
Fixpoint Theory - Upside Down. CoRR (2021)
Paolo Baldan, Andrea Corradini, Fabio Gadducci
Concurrent semantics for fusions: Weak prime domains and connected event structures. Inf. Comput. 281 (2021)
Paolo Baldan, Barbara König, Tommaso Padoan
Abstraction, Up-To Techniques and Games for Systems of Fixpoint Equations. CONCUR (2020)
Paolo Baldan, Barbara König, Tommaso Padoan
Abstraction, Up-to Techniques and Games for Systems of Fixpoint Equations. CoRR (2020)
Paolo Baldan, Tommaso Padoan
Model Checking a Logic for True Concurrency. ACM Trans. Comput. Log. 21 (4) (2020)
Paolo Baldan, Alessandra Raffaetà
Minimisation of Event Structures. FSTTCS (2019)
Paolo Baldan, Fabio Gadducci
Petri nets are dioids: a new algebraic foundation for non-deterministic net theory. Acta Informatica 56 (1) (2019)
Paolo Baldan, Barbara König, Christina Mika-Michalski, Tommaso Padoan
Fixpoint games on continuous lattices. Proc. ACM Program. Lang. 3 (POPL) (2019)
Paolo Baldan, Alessandra Raffaetà
Minimisation of Event Structures. CoRR (2019)
Paolo Baldan, Tommaso Padoan
Automata for True Concurrency Properties. FoSSaCS (2018)
Paolo Baldan, Alessandro Beggiato
Multilevel transitive and intransitive non-interference, causally. Theor. Comput. Sci. 706 (2018)
Paolo Baldan, Martina Bocci, Daniele Brigolin, Nicoletta Cocco, Monika Heiner, Marta Simeoni
Petri Nets for Modelling and Analysing Trophic Networks. Fundam. Informaticae 160 (1-2) (2018)
Paolo Baldan, Roberto Bruni, Andrea Corradini, Fabio Gadducci, Hernán C. Melgratti, Ugo Montanari
Event Structures for Petri nets with Persistence. Log. Methods Comput. Sci. 14 (3) (2018)
Paolo Baldan, Roberto Bruni, Andrea Corradini, Fabio Gadducci, Hernán C. Melgratti, Ugo Montanari
Event Structures for Petri nets with Persistence. CoRR (2018)
Paolo Baldan, Alberto Lluch-Lafuente
Many-to-many information flow policies. Sci. Comput. Program. 168 (2018)
Paolo Baldan, Barbara König, Tommaso Padoan, Christina Mika-Michalski
Fixpoint Games on Continuous Lattices. CoRR (2018)
Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König
Coalgebraic Behavioral Metrics. Log. Methods Comput. Sci. 14 (3) (2018)
Paolo Baldan, Andrea Corradini, Fabio Gadducci
Domains and event structures for fusions. LICS (2017)
Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König
Coalgebraic Behavioral Metrics. CoRR (2017)
Paolo Baldan, Daniele Gorla
Preface. Inf. Comput. 252 (2017)
Paolo Baldan, Tommaso Padoan
Local Model Checking in a Logic for True Concurrency. FoSSaCS (2017)
Paolo Baldan, Andrea Corradini, Fabio Gadducci
Domains and Event Structures for Fusions. CoRR (2017)
Paolo Baldan, Alessandro Beggiato, Alberto Lluch-Lafuente
Many-to-Many Information Flow Policies. COORDINATION (2017)
Paolo Baldan, Alessandro Beggiato
Multilevel Transitive and Intransitive Non-interference, Causally. COORDINATION (2016)
Abel Armas-Cervantes, Paolo Baldan, Luciano García-Bañuelos
Reduction of event structures under history preserving bisimulation. J. Log. Algebraic Methods Program. 85 (6) (2016)
Abel Armas-Cervantes, Paolo Baldan, Marlon Dumas, Luciano García-Bañuelos
Diagnosing behavioral differences between business process models: An approach based on event structures. Inf. Syst. 56 (2016)
Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale
Asynchronous Traces and Open Petri Nets. Programming Languages with Applications to Biology and Security (2015)
Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale
Modular encoding of synchronous and asynchronous interactions using open Petri nets. Sci. Comput. Program. 109 (2015)
Paolo Baldan, Martina Bocci, Daniele Brigolin, Nicoletta Cocco, Marta Simeoni
Petri nets for modelling and analysing trophic networks. BioPPN@Petri Nets (2015)
Paolo Baldan, Alberto Carraro
A Causal View on Non-Interference. Fundam. Informaticae 140 (1) (2015)
Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale
Concurrency cannot be observed, asynchronously. Math. Struct. Comput. Sci. 25 (4) (2015)
Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König
Towards Trace Metrics via Functor Lifting. CALCO (2015)
Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König
Towards Trace Metrics via Functor Lifting. CoRR (2015)
Paolo Baldan, Silvia Crafa
Hereditary History-Preserving Bisimilarity: Logics and Automata. APLAS (2014)
Paolo Baldan, Andrea Corradini, Tobias Heindel, Barbara König, Pawel Sobocinski
Processes and unfoldings: concurrent computations in adhesive categories. Math. Struct. Comput. Sci. 24 (4) (2014)
Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale
Encoding Synchronous Interactions Using Labelled Petri Nets. COORDINATION (2014)
Paolo Baldan, Alberto Carraro
Non-interference by Unfolding. Petri Nets (2014)
Paolo Baldan, Francesco Burato, Alberto Carraro
Intransitive Non-Interference by Unfolding. FACS (2014)
Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König
Behavioral Metrics via Functor Lifting. FSTTCS (2014)
Abel Armas, Paolo Baldan, Marlon Dumas, Luciano García-Bañuelos
BP-Diff: A Tool for Behavioral Comparison of Business Process Models. BPM (Demos) (2014)
Abel Armas-Cervantes, Paolo Baldan, Marlon Dumas, Luciano García-Bañuelos
Behavioral Comparison of Process Models Based on Canonically Reduced Event Structures. BPM (2014)
Abel Armas-Cervantes, Paolo Baldan, Luciano García-Bañuelos
Reduction of Event Structures under History Preserving Bisimulation. CoRR (2014)
Paolo Baldan, Silvia Crafa
A Logic for True Concurrency. J. ACM 61 (4) (2014)
Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König
Behavioral Metrics via Functor Lifting. CoRR (2014)
Paolo Baldan, Nicoletta Cocco, Federica Giummolè, Marta Simeoni
Comparing Metabolic Pathways through Reactions and Potential Fluxes. Trans. Petri Nets Other Model. Concurr. 8 (2013)
Paolo Baldan, Martina Bocci, Nicoletta Cocco, Marta Simeoni
Comparing metabolic pathways through potential fluxes: a selective opening approach. BioPPN@Petri Nets (2013)
Paolo Baldan, Nicoletta Cocco, Marta Simeoni
Representing and Comparing Metabolic Pathways as Petri Nets with MPath2PN and CoMeta. Electron. Notes Theor. Comput. Sci. 299 (2013)
Paolo Baldan, Alessandro Bruni, Andrea Corradini, Barbara König, César Rodríguez, Stefan Schwoon
Efficient unfolding of contextual Petri nets. Theor. Comput. Sci. 449 (2012)
Paolo Baldan, Silvia Crafa
A Logic for True Concurrency CoRR (2011)
César Rodríguez, Stefan Schwoon, Paolo Baldan
Efficient Contextual Unfolding. CONCUR (2011)
Paolo Baldan, Filippo Bonchi, Andrea Corradini, Tobias Heindel, Barbara König
A lattice-theoretical perspective on adhesive categories. J. Symb. Comput. 46 (3) (2011)
Paolo Baldan, Fabio Gadducci, Pawel Sobocinski
Adhesivity Is Not Enough: Local Church-Rosser Revisited. MFCS (2011)
Paolo Baldan, Thomas Chatain, Stefan Haar, Barbara König
Unfolding-based diagnosis of systems with an evolving topology. Inf. Comput. 208 (10) (2010)
Paolo Baldan, Nicoletta Cocco, Andrea Marin, Marta Simeoni
Petri nets for modelling metabolic pathways: a survey. Nat. Comput. 9 (4) (2010)
Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale
Concurrency Can't Be Observed, Asynchronously. APLAS (2010)
Paolo Baldan, Alessandro Bruni, Andrea Corradini, Barbara König, Stefan Schwoon
On the Computation of McMillan's Prefix for Contextual Nets and Graph Grammars. ICGT (2010)
Paolo Baldan, Andrea Corradini, Fabio Gadducci, Ugo Montanari
From Petri Nets to Graph Transformation Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 26 (2010)
Paolo Baldan, Clara Bertolissi
Sharing in the Graph Rewriting Calculus. WADT (2010)
Paolo Baldan, Silvia Crafa
A Logic for True Concurrency. CONCUR (2010)
Paolo Baldan, Filippo Bonchi, Fabio Gadducci
Encoding Asynchronous Interactions Using Open Petri Nets. CONCUR (2009)
Paolo Baldan, Andrea Corradini, Tobias Heindel, Barbara König, Pawel Sobocinski
Unfolding Grammars in Adhesive Categories. CALCO (2009)
Paolo Baldan, Thomas Chatain, Stefan Haar, Barbara König
Unfolding-Based Diagnosis of Systems with an Evolving Topology. CONCUR (2008)
Paolo Baldan, Andrea Corradini, Fernando Luís Dotti, Luciana Foss, Fabio Gadducci, Leila Ribeiro
Towards a Notion of Transaction in Graph Rewriting. Electron. Notes Theor. Comput. Sci. 211 (2008)
Paolo Baldan, Barbara König
Workshop on Petri Nets and Graph Transformations. ICGT (2008)
Paolo Baldan, Fabio Gadducci
Petri Nets Are Dioids. AMAST (2008)
Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets. Log. Methods Comput. Sci. 4 (4) (2008)
Guilherme Rangel, Leen Lambers, Barbara König, Hartmut Ehrig, Paolo Baldan
Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts. ICGT (2008)
Paolo Baldan, Andrea Corradini, Barbara König, Stefan Schwoon
McMillan's Complete Prefix for Contextual Nets. Trans. Petri Nets Other Model. Concurr. 1 (2008)
Paolo Baldan, Andrea Corradini, Barbara König
A framework for the verification of infinite-state graph transformation systems. Inf. Comput. 206 (7) (2008)
Paolo Baldan, Andrea Corradini, Barbara König
Unfolding Graph Transformation Systems: Theory and Applications to Verification. Concurrency, Graphs and Models (2008)
Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets CoRR (2008)
Paolo Baldan, Barbara König
Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 14 (2008)
Paolo Baldan, Clara Bertolissi, Horatiu Cirstea, Claude Kirchner
Towards a Sharing Strategy for the Graph Rewriting Calculus. Electron. Notes Theor. Comput. Sci. 204 (2008)
Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Barbara König
Open Petri Nets: Non-deterministic Processes and Compositionality. ICGT (2008)
Paolo Baldan, Andrea Corradini, Ugo Montanari, Leila Ribeiro
Unfolding semantics of graph transformation. Inf. Comput. 205 (5) (2007)
Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets. CALCO (2007)
Paolo Baldan, Fabio Gadducci, Ugo Montanari
Modelling Calculi with Name Mobility using Graphs with Equivalences. Electron. Notes Theor. Comput. Sci. 176 (1) (2007)
Paolo Baldan, Andrea Bracciali, Roberto Bruni
A semantic framework for open processes. Theor. Comput. Sci. 389 (3) (2007)
Paolo Baldan, Clara Bertolissi, Horatiu Cirstea, Claude Kirchner
A rewriting calculus for cyclic higher-order term graphs. Math. Struct. Comput. Sci. 17 (3) (2007)
Paolo Baldan, Andrea Bracciali, Linda Brodo, Roberto Bruni
Deducing Interactions in Partially Unspecified Biological Systems. AB (2007)
Paolo Baldan, Stefan Haar, Barbara König
Distributed Unfolding of Petri Nets. FoSSaCS (2006)
Paolo Baldan, Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg
Workshop on Petri Nets and Graph Transformations. ICGT (2006)
Paolo Baldan, Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg
Foreword. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 2 (2006)
Paolo Baldan, Andrea Corradini, Barbara König, Alberto Lluch-Lafuente
A Temporal Graph Logic for Verification of Graph Transformation Systems. WADT (2006)
Paolo Baldan, Andrea Corradini, Tobias Heindel, Barbara König, Pawel Sobocinski
Processes for Adhesive Rewriting Systems. FoSSaCS (2006)

Paolo Baldan.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Paolo Baldan