


Остановите войну!
for scientists:


default search action
Paolo Baldan
Person information

- affiliation: University of Padova, Italy
- affiliation (former): University of Pisa, Italy
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
- [j43]Paolo Baldan, Richard Eggert, Barbara König, Tommaso Padoan:
Fixpoint Theory - Upside Down. Log. Methods Comput. Sci. 19(2) (2023) - [c78]Paolo Baldan, Richard Eggert, Barbara König, Tommaso Padoan:
A Lattice-Theoretical View of Strategy Iteration. CSL 2023: 7:1-7:19 - [c77]Paolo Baldan, Richard Eggert, Barbara König, Timo Matt, Tommaso Padoan:
A Monoidal View on Fixpoint Checks. ICGT 2023: 3-21 - [e2]Paolo Baldan
, Valeria de Paiva
:
10th Conference on Algebra and Coalgebra in Computer Science, CALCO 2023, June 19-21, 2023, Indiana University Bloomington, IN, USA. LIPIcs 270, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2023, ISBN 978-3-95977-287-7 [contents] - [i16]Paolo Baldan, Richard Eggert, Barbara König, Timo Matt, Tommaso Padoan:
A Monoidal View on Fixpoint Checks. CoRR abs/2305.02957 (2023) - 2022
- [j42]Paolo Baldan
, Daniele Gorla
, Tommaso Padoan
, Ivano Salvo:
Characterising spectra of equivalences for event structures, logically. Inf. Comput. 285(Part): 104887 (2022) - [j41]Paolo Baldan, Francesco Ranzato
, Linpeng Zhang:
Intensional Kleene and Rice theorems for abstract program semantics. Inf. Comput. 289(Part): 104953 (2022) - [j40]Paolo Baldan
, Daniele Gorla
, Tommaso Padoan
, Ivano Salvo
:
Behavioural logics for configuration structures. Theor. Comput. Sci. 913: 94-112 (2022) - [j39]Paolo Baldan
, Alessandra Raffaetà:
Minimisation of event structures. Theor. Comput. Sci. 935: 174-199 (2022) - [i15]Paolo Baldan, Richard Eggert, Barbara König, Tommaso Padoan:
A Lattice-Theoretical View of Strategy Iteration. CoRR abs/2207.09872 (2022) - 2021
- [j38]Paolo Baldan
, Andrea Corradini, Fabio Gadducci
:
Concurrent semantics for fusions: Weak prime domains and connected event structures. Inf. Comput. 281: 104770 (2021) - [c76]Paolo Baldan
, Richard Eggert
, Barbara König
, Tommaso Padoan
:
Fixpoint Theory - Upside Down. FoSSaCS 2021: 62-81 - [c75]Paolo Baldan, Francesco Ranzato, Linpeng Zhang:
A Rice's Theorem for Abstract Semantics. ICALP 2021: 117:1-117:19 - [c74]Paolo Baldan, Alberto Carraro, Tommaso Padoan:
(Un)Decidability for History Preserving True Concurrent Logics. MFCS 2021: 13:1-13:16 - [i14]Paolo Baldan, Richard Eggert, Barbara König, Tommaso Padoan:
Fixpoint Theory - Upside Down. CoRR abs/2101.08184 (2021) - [i13]Paolo Baldan, Francesco Ranzato, Linpeng Zhang:
A Rice's Theorem for Abstract Semantics. CoRR abs/2105.14579 (2021) - 2020
- [j37]Paolo Baldan
, Tommaso Padoan:
Model Checking a Logic for True Concurrency. ACM Trans. Comput. Log. 21(4): 34:1-34:49 (2020) - [c73]Paolo Baldan
, Barbara König, Tommaso Padoan:
Abstraction, Up-To Techniques and Games for Systems of Fixpoint Equations. CONCUR 2020: 25:1-25:20 - [i12]Paolo Baldan, Barbara König, Tommaso Padoan:
Abstraction, Up-to Techniques and Games for Systems of Fixpoint Equations. CoRR abs/2003.08877 (2020)
2010 – 2019
- 2019
- [j36]Paolo Baldan
, Fabio Gadducci
:
Petri nets are dioids: a new algebraic foundation for non-deterministic net theory. Acta Informatica 56(1): 61-92 (2019) - [j35]Paolo Baldan, Barbara König, Christina Mika-Michalski, Tommaso Padoan:
Fixpoint games on continuous lattices. Proc. ACM Program. Lang. 3(POPL): 26:1-26:29 (2019) - [c72]Paolo Baldan
, Alessandra Raffaetà
:
Minimisation of Event Structures. FSTTCS 2019: 30:1-30:15 - [i11]Paolo Baldan, Alessandra Raffaetà:
Minimisation of Event Structures. CoRR abs/1907.07042 (2019) - 2018
- [j34]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): 27-52 (2018) - [j33]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) - [j32]Paolo Baldan, Filippo Bonchi
, Henning Kerstan, Barbara König:
Coalgebraic Behavioral Metrics. Log. Methods Comput. Sci. 14(3) (2018) - [j31]Paolo Baldan
, Alberto Lluch-Lafuente
:
Many-to-many information flow policies. Sci. Comput. Program. 168: 118-141 (2018) - [j30]Paolo Baldan
, Alessandro Beggiato:
Multilevel transitive and intransitive non-interference, causally. Theor. Comput. Sci. 706: 54-82 (2018) - [c71]Paolo Baldan, Tommaso Padoan:
Automata for True Concurrency Properties. FoSSaCS 2018: 165-182 - [i10]Paolo Baldan, Roberto Bruni, Andrea Corradini, Fabio Gadducci, Hernán C. Melgratti, Ugo Montanari:
Event Structures for Petri nets with Persistence. CoRR abs/1802.03726 (2018) - [i9]Paolo Baldan, Barbara König, Tommaso Padoan, Christina Mika-Michalski:
Fixpoint Games on Continuous Lattices. CoRR abs/1810.11404 (2018) - 2017
- [j29]Paolo Baldan, Daniele Gorla:
Preface. Inf. Comput. 252: 1 (2017) - [c70]Paolo Baldan, Alessandro Beggiato, Alberto Lluch-Lafuente
:
Many-to-Many Information Flow Policies. COORDINATION 2017: 159-177 - [c69]Paolo Baldan, Tommaso Padoan:
Local Model Checking in a Logic for True Concurrency. FoSSaCS 2017: 407-423 - [c68]Paolo Baldan, Andrea Corradini
, Fabio Gadducci
:
Domains and event structures for fusions. LICS 2017: 1-12 - [i8]Paolo Baldan, Andrea Corradini, Fabio Gadducci:
Domains and Event Structures for Fusions. CoRR abs/1701.02394 (2017) - [i7]Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König:
Coalgebraic Behavioral Metrics. CoRR abs/1712.07511 (2017) - 2016
- [j28]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: 304-325 (2016) - [j27]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): 1110-1130 (2016) - [c67]Paolo Baldan, Alessandro Beggiato:
Multilevel Transitive and Intransitive Non-interference, Causally. COORDINATION 2016: 1-17 - 2015
- [j26]Paolo Baldan, Alberto Carraro:
A Causal View on Non-Interference. Fundam. Informaticae 140(1): 1-38 (2015) - [j25]Paolo Baldan, Filippo Bonchi
, Fabio Gadducci
, Giacoma Valentina Monreale:
Concurrency cannot be observed, asynchronously. Math. Struct. Comput. Sci. 25(4): 978-1004 (2015) - [j24]Paolo Baldan, Filippo Bonchi
, Fabio Gadducci
, Giacoma Valentina Monreale:
Modular encoding of synchronous and asynchronous interactions using open Petri nets. Sci. Comput. Program. 109: 96-124 (2015) - [c66]Paolo Baldan, Martina Bocci, Daniele Brigolin, Nicoletta Cocco, Marta Simeoni:
Petri nets for modelling and analysing trophic networks. BioPPN@Petri Nets 2015: 21-36 - [c65]Paolo Baldan, Filippo Bonchi
, Fabio Gadducci
, Giacoma Valentina Monreale:
Asynchronous Traces and Open Petri Nets. Programming Languages with Applications to Biology and Security 2015: 86-102 - [c64]Paolo Baldan, Filippo Bonchi
, Henning Kerstan, Barbara König:
Towards Trace Metrics via Functor Lifting. CALCO 2015: 35-49 - [i6]Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König:
Towards Trace Metrics via Functor Lifting. CoRR abs/1505.08105 (2015) - 2014
- [j23]Paolo Baldan, Silvia Crafa:
A Logic for True Concurrency. J. ACM 61(4): 24:1-24:36 (2014) - [j22]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) - [c63]Paolo Baldan, Silvia Crafa:
Hereditary History-Preserving Bisimilarity: Logics and Automata. APLAS 2014: 469-488 - [c62]Paolo Baldan, Alberto Carraro:
Non-interference by Unfolding. Petri Nets 2014: 190-209 - [c61]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: 1 - [c60]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: 267-282 - [c59]Paolo Baldan, Filippo Bonchi
, Fabio Gadducci
, Giacoma Valentina Monreale:
Encoding Synchronous Interactions Using Labelled Petri Nets. COORDINATION 2014: 1-16 - [c58]Paolo Baldan, Francesco Burato, Alberto Carraro:
Intransitive Non-Interference by Unfolding. FACS 2014: 269-287 - [c57]Paolo Baldan, Filippo Bonchi
, Henning Kerstan, Barbara König:
Behavioral Metrics via Functor Lifting. FSTTCS 2014: 403-415 - [e1]Paolo Baldan, Daniele Gorla:
CONCUR 2014 - Concurrency Theory - 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings. Lecture Notes in Computer Science 8704, Springer 2014, ISBN 978-3-662-44583-9 [contents] - [i5]Abel Armas-Cervantes, Paolo Baldan, Luciano García-Bañuelos:
Reduction of Event Structures under History Preserving Bisimulation. CoRR abs/1403.7181 (2014) - [i4]Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König:
Behavioral Metrics via Functor Lifting. CoRR abs/1410.3385 (2014) - 2013
- [j21]Paolo Baldan, Nicoletta Cocco, Federica Giummolè
, Marta Simeoni:
Comparing Metabolic Pathways through Reactions and Potential Fluxes. Trans. Petri Nets Other Model. Concurr. 8: 1-23 (2013) - [c56]Paolo Baldan, Martina Bocci, Nicoletta Cocco, Marta Simeoni:
Comparing metabolic pathways through potential fluxes: a selective opening approach. BioPPN@Petri Nets 2013: 1-15 - [c55]Paolo Baldan, Nicoletta Cocco, Marta Simeoni:
Representing and Comparing Metabolic Pathways as Petri Nets with MPath2PN and CoMeta. CS2Bio 2013: 5-13 - 2012
- [j20]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: 2-22 (2012) - 2011
- [j19]Paolo Baldan, Filippo Bonchi
, Andrea Corradini
, Tobias Heindel, Barbara König:
A lattice-theoretical perspective on adhesive categories. J. Symb. Comput. 46(3): 222-245 (2011) - [c54]César Rodríguez, Stefan Schwoon, Paolo Baldan:
Efficient Contextual Unfolding. CONCUR 2011: 342-357 - [c53]Paolo Baldan, Fabio Gadducci
, Pawel Sobocinski
:
Adhesivity Is Not Enough: Local Church-Rosser Revisited. MFCS 2011: 48-59 - [i3]Paolo Baldan, Silvia Crafa:
A Logic for True Concurrency. CoRR abs/1110.4094 (2011) - 2010
- [j18]Paolo Baldan, Andrea Corradini, Fabio Gadducci, Ugo Montanari:
From Petri Nets to Graph Transformation Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 26 (2010) - [j17]Paolo Baldan, Thomas Chatain, Stefan Haar, Barbara König:
Unfolding-based diagnosis of systems with an evolving topology. Inf. Comput. 208(10): 1169-1192 (2010) - [j16]Paolo Baldan, Nicoletta Cocco, Andrea Marin, Marta Simeoni:
Petri nets for modelling metabolic pathways: a survey. Nat. Comput. 9(4): 955-989 (2010) - [c52]Paolo Baldan, Filippo Bonchi
, Fabio Gadducci
, Giacoma Valentina Monreale:
Concurrency Can't Be Observed, Asynchronously. APLAS 2010: 424-438 - [c51]Paolo Baldan, Silvia Crafa:
A Logic for True Concurrency. CONCUR 2010: 147-161 - [c50]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: 91-106 - [c49]Paolo Baldan, Clara Bertolissi:
Sharing in the Graph Rewriting Calculus. WADT 2010: 27-41
2000 – 2009
- 2009
- [c48]Paolo Baldan, Andrea Corradini
, Tobias Heindel, Barbara König, Pawel Sobocinski
:
Unfolding Grammars in Adhesive Categories. CALCO 2009: 350-366 - [c47]Paolo Baldan, Filippo Bonchi
, Fabio Gadducci
:
Encoding Asynchronous Interactions Using Open Petri Nets. CONCUR 2009: 99-114 - 2008
- [j15]Paolo Baldan, Barbara König:
Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 14 (2008) - [j14]Paolo Baldan, Andrea Corradini
, Barbara König:
A framework for the verification of infinite-state graph transformation systems. Inf. Comput. 206(7): 869-907 (2008) - [j13]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) - [j12]Paolo Baldan, Andrea Corradini, Barbara König, Stefan Schwoon:
McMillan's Complete Prefix for Contextual Nets. Trans. Petri Nets Other Model. Concurr. 1: 199-220 (2008) - [c46]Paolo Baldan, Fabio Gadducci
:
Petri Nets Are Dioids. AMAST 2008: 51-66 - [c45]Paolo Baldan, Andrea Corradini
, Barbara König:
Unfolding Graph Transformation Systems: Theory and Applications to Verification. Concurrency, Graphs and Models 2008: 16-36 - [c44]Paolo Baldan, Thomas Chatain, Stefan Haar, Barbara König:
Unfolding-Based Diagnosis of Systems with an Evolving Topology. CONCUR 2008: 203-217 - [c43]Guilherme Rangel, Leen Lambers, Barbara König, Hartmut Ehrig, Paolo Baldan:
Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts. ICGT 2008: 242-256 - [c42]Paolo Baldan, Andrea Corradini
, Hartmut Ehrig, Barbara König:
Open Petri Nets: Non-deterministic Processes and Compositionality. ICGT 2008: 257-273 - [c41]Paolo Baldan, Barbara König:
Workshop on Petri Nets and Graph Transformations. ICGT 2008: 467-469 - [i2]Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König:
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets. CoRR abs/0809.4115 (2008) - 2007
- [j11]Paolo Baldan, Andrea Corradini
, Ugo Montanari, Leila Ribeiro:
Unfolding semantics of graph transformation. Inf. Comput. 205(5): 733-782 (2007) - [j10]Paolo Baldan, Clara Bertolissi, Horatiu Cirstea, Claude Kirchner:
A rewriting calculus for cyclic higher-order term graphs. Math. Struct. Comput. Sci. 17(3): 363-406 (2007) - [j9]Paolo Baldan, Andrea Bracciali
, Roberto Bruni
:
A semantic framework for open processes. Theor. Comput. Sci. 389(3): 446-483 (2007) - [c40]Paolo Baldan, Andrea Bracciali, Linda Brodo, Roberto Bruni:
Deducing Interactions in Partially Unspecified Biological Systems. AB 2007: 262-276 - [c39]Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König:
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets. CALCO 2007: 126-142 - [c38]Paolo Baldan, Clara Bertolissi, Horatiu Cirstea, Claude Kirchner:
Towards a Sharing Strategy for the Graph Rewriting Calculus. WRS@RDP 2007: 111-127 - 2006
- [j8]Paolo Baldan, Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg:
Foreword. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 2 (2006) - [c37]Paolo Baldan, Fabio Gadducci, Ugo Montanari:
Concurrent Rewriting for Graphs with Equivalences. CONCUR 2006: 279-294 - [c36]Paolo Baldan, Stefan Haar, Barbara König:
Distributed Unfolding of Petri Nets. FoSSaCS 2006: 126-141 - [c35]Paolo Baldan, Andrea Corradini
, Tobias Heindel, Barbara König, Pawel Sobocinski
:
Processes for Adhesive Rewriting Systems. FoSSaCS 2006: 202-216 - [c34]Paolo Baldan, Hartmut Ehrig, Barbara König:
Composition and Decomposition of DPO Transformations with Borrowed Context. ICGT 2006: 153-167 - [c33]Paolo Baldan, Andrea Corradini, Luciana Foss, Fabio Gadducci:
Graph Transactions as Processes. ICGT 2006: 199-214 - [c32]Paolo Baldan, Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg:
Workshop on Petri Nets and Graph Transformations. ICGT 2006: 467-469 - [c31]Paolo Baldan, Andrea Corradini, Barbara König, Alberto Lluch-Lafuente
:
A Temporal Graph Logic for Verification of Graph Transformation Systems. WADT 2006: 1-20 - [c30]Paolo Baldan, Andrea Corradini
, Fernando Luís Dotti
, Luciana Foss, Fabio Gadducci
, Leila Ribeiro:
Towards a Notion of Transaction in Graph Rewriting. GT-VMT@ETAPS 2006: 39-50 - [c29]Paolo Baldan, Fabio Gadducci
, Ugo Montanari:
Modelling Calculi with Name Mobility using Graphs with Equivalences. TERMGRAPH@ETAPS 2006: 85-97 - 2005
- [j7]Paolo Baldan, Andrea Corradini
, Hartmut Ehrig, Reiko Heckel:
Compositional semantics for open Petri nets based on deterministic processe. Math. Struct. Comput. Sci. 15(1): 1-35 (2005) - [c28]Paolo Baldan, Andrea Corradini:
On the Concurrent Semantics of Algebraic Graph Grammars. Formal Methods in Software and Systems Modeling 2005: 3-23 - 2004
- [j6]Paolo Baldan, Nadia Busi, Andrea Corradini
, G. Michele Pinna
:
Domain and event structure semantics for Petri nets with read and inhibitor arcs. Theor. Comput. Sci. 323(1-3): 129-189 (2004) - [c27]Paolo Baldan, Andrea Corradini, Barbara König:
Verifying Finite-State Graph Grammars: An Unfolding-Based Approach. CONCUR 2004: 83-98 - [c26]Paolo Baldan, Andrea Bracciali, Roberto Bruni:
Symbolic Equivalences for Open Systems. Global Computing 2004: 1-17 - [c25]Paolo Baldan, Andrea Corradini, Fabio Gadducci:
Specifying and Verifying UML Activity Diagrams Via Graph Transformation. Global Computing 2004: 18-33 - [c24]Paolo Baldan, Barbara König, Ingo Stürmer:
Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems. ICGT 2004: 194-209 - [c23]Paolo Baldan, Andrea Corradini
, Ugo Montanari:
Relating SPO and DPO graph rewriting with Petri nets having read, inhibitor and reset arcs. PNGT@ICGT 2004: 5-28 - [c22]Clara Bertolissi, Paolo Baldan, Horatiu Cirstea, Claude Kirchner:
A Rewriting Calculus for Cyclic Higher-order Term Graphs. TERMGRAPH 2004: 21-41 - [i1]Paolo Baldan, Barbara König, Arend Rensink:
Summary 2: Graph Grammar Verification through Abstraction. Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems 2004 - 2003
- [j5]Fabio Alessi, Paolo Baldan, Furio Honsell:
A category of compositional domain-models for separable Stone spaces. Theor. Comput. Sci. 290(1): 599-635 (2003) - [c21]Paolo Baldan, Barbara König, Bernhard König:
A Logic for Analyzing Abstractions of Graph Transformation Systems. SAS 2003: 255-272 - [c20]Paolo Baldan, Andrea Corradini
, Barbara König, Bernhard König:
Verifying a Behavioural Logic for Graph Transformation Systems. COMETA 2003: 5-24 - 2002
- [c19]Paolo Baldan, Andrea Bracciali, Roberto Bruni:
Bisimulation by Unification. AMAST 2002: 254-270 - [c18]Paolo Baldan, Paolo Mancarella, Alessandra Raffaetà, Franco Turini:
MuTACLP: A Language for Temporal Reasoning with Multiple Theories. Computational Logic: Logic Programming and Beyond 2002: 1-40 - [c17]Paolo Baldan, Andrea Corradini, Ugo Montanari:
Bisimulation Equivalences for Graph Grammars. Formal and Natural Computing 2002: 158-190 - [c16]Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg, Paolo Baldan, Reiko Heckel:
High-Level Net Processes. Formal and Natural Computing 2002: 191-219 - [c15]Paolo Baldan, Barbara König:
Approximating the Behaviour of Graph Transformation Systems. ICGT 2002: 14-29 - [c14]