default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPaolo 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
- 2024
[j44]Paolo Baldan
, Barbara König, Tommaso Padoan:
Systems of fixpoint equations: Abstraction, games, up-to techniques and local algorithms. Inf. Comput. 301: 105233 (2024)- [c79]Paolo Baldan, Davide Castelnovo, Andrea Corradini, Fabio Gadducci:
Left-Linear Rewriting in Adhesive Categories. CONCUR 2024: 11:1-11:24 - [i17]Paolo Baldan, Davide Castelnovo, Andrea Corradini, Fabio Gadducci:
Left-Linear Rewriting in Adhesive Categories. CoRR abs/2407.06181 (2024) - 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]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:
AGILE: Software Architecture for Mobility. WADT 2002: 1-33 - [c13]Paolo Baldan, Roberto Bruni, Ugo Montanari:
Pre-nets, Read Arcs and Unfolding: A Functorial Presentation. WADT 2002: 145-164 - [c12]Paolo Baldan, Andrea Corradini, Ugo Montanari, Leila Ribeiro:
Coreflective Concurrent Semantics for Single-Pushout Graph Grammars. WADT 2002: 165-184 - 2001
- [j4]Paolo Baldan, Andrea Corradini, Ugo Montanari:
Contextual Petri Nets, Asymmetric Event Structures, and Processes. Inf. Comput. 171(1): 1-49 (2001) - [c11]Paolo Baldan, Andrea Corradini, Barbara König:
A Static Analysis Technique for Graph Transformation Systems. CONCUR 2001: 381-395 - [c10]Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel:
Compositional Modeling of Reactive Systems Using Open Nets. CONCUR 2001: 502-518 - [c9]Paolo Baldan:
Concurrency for Graph Grammars in a Petri net shell. GETGRATS Closing Workshop 2001: 65-82 - 2000
- [c8]Paolo Baldan, Nadia Busi, Andrea Corradini, G. Michele Pinna:
Functorial Concurrent Semantics for Petri Nets with Read and Inhibitor Arcs. CONCUR 2000: 442-457
1990 – 1999
- 1999
- [j3]Paolo Baldan, Giorgio Ghelli, Alessandra Raffaetà:
Basic Theory of F-Bounded Quantification. Inf. Comput. 153(1): 173-237 (1999) - [c7]Paolo Baldan, Andrea Corradini, Ugo Montanari:
Unfolding and Event Structure Semantics for Graph Grammars. FoSSaCS 1999: 73-89 - [c6]Paolo Baldan, Andrea Corradini, Ugo Montanari:
History Preserving Bisimulation for Contextual Nets. WADT 1999: 291-310 - 1998
- [j2]Fabio Alessi, Paolo Baldan:
A Characterization of Distance Between 1-Bounded Compact Ultrametic Spaces Through a Universal Space. Theor. Comput. Sci. 193(1-2): 113-127 (1998) - [c5]Paolo Baldan, Andrea Corradini, Ugo Montanari:
An Event Structure Semantics for P/T Contextual Nets: Asymmetric Event Structures. FoSSaCS 1998: 63-80 - [c4]Paolo Baldan, Andrea Corradini, Ugo Montanari:
Concatenable Graph Processes: Relating Processes and Derivation Traces. ICALP 1998: 283-295 - [c3]Paolo Baldan, Andrea Corradini, Ugo Montanari:
Unfolding of Double-Pushout Graph Grammars is a Coreflection. TAGT 1998: 145-163 - 1997
- [c2]Fabio Alessi, Paolo Baldan, Furio Honsell:
Partializing Stone Spaces using SFP Domains (Extended Abstract). TAPSOFT 1997: 478-489 - 1995
- [j1]Fabio Alessi, Paolo Baldan, Gianna Bellè:
A Fixed-Point Theorem in a Category of Compact Metric Spaces. Theor. Comput. Sci. 146(1&2): 311-320 (1995) - [c1]Fabio Alessi, Paolo Baldan, Gianna Bellè, Jan J. M. M. Rutten:
Solutions of functorial and non-functorial metric domain equations. MFPS 1995: 1-12
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-10 21:48 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
