The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Paolo Baldan: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Paolo Baldan, Andrea Bracciali, Roberto Bruni
    Bisimulation by Unification. [Citation Graph (0, 0)][DBLP]
    AMAST, 2002, pp:254-270 [Conf]
  2. Paolo Baldan, Andrea Corradini
    On the Concurrent Semantics of Algebraic Graph Grammars. [Citation Graph (0, 0)][DBLP]
    Formal Methods in Software and Systems Modeling, 2005, pp:3-23 [Conf]
  3. Paolo Baldan, Andrea Corradini, Ugo Montanari
    Bisimulation Equivalences for Graph Grammars. [Citation Graph (0, 0)][DBLP]
    Formal and Natural Computing, 2002, pp:158-190 [Conf]
  4. Paolo Baldan, Paolo Mancarella, Alessandra Raffaetà, Franco Turini
    MuTACLP: A Language for Temporal Reasoning with Multiple Theories. [Citation Graph (0, 0)][DBLP]
    Computational Logic: Logic Programming and Beyond, 2002, pp:1-40 [Conf]
  5. Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg, Paolo Baldan, Reiko Heckel
    High-Level Net Processes. [Citation Graph (0, 0)][DBLP]
    Formal and Natural Computing, 2002, pp:191-219 [Conf]
  6. Paolo Baldan, Nadia Busi, Andrea Corradini, G. Michele Pinna
    Functorial Concurrent Semantics for Petri Nets with Read and Inhibitor Arcs. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2000, pp:442-457 [Conf]
  7. Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel
    Compositional Modeling of Reactive Systems Using Open Nets. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2001, pp:502-518 [Conf]
  8. Paolo Baldan, Andrea Corradini, Barbara König
    A Static Analysis Technique for Graph Transformation Systems. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2001, pp:381-395 [Conf]
  9. Paolo Baldan, Andrea Corradini, Barbara König
    Verifying Finite-State Graph Grammars: An Unfolding-Based Approach. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2004, pp:83-98 [Conf]
  10. Paolo Baldan, Fabio Gadducci, Ugo Montanari
    Concurrent Rewriting for Graphs with Equivalences. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2006, pp:279-294 [Conf]
  11. Paolo Baldan, Barbara König, Arend Rensink
    Summary 2: Graph Grammar Verification through Abstraction. [Citation Graph (0, 0)][DBLP]
    Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, 2004, pp:- [Conf]
  12. Paolo Baldan, Andrea Corradini, Tobias Heindel, Barbara König, Pawel Sobocinski
    Processes for Adhesive Rewriting Systems. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2006, pp:202-216 [Conf]
  13. Paolo Baldan, Andrea Corradini, Ugo Montanari
    An Event Structure Semantics for P/T Contextual Nets: Asymmetric Event Structures. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 1998, pp:63-80 [Conf]
  14. Paolo Baldan, Stefan Haar, Barbara König
    Distributed Unfolding of Petri Nets. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2006, pp:126-141 [Conf]
  15. Paolo Baldan, Andrea Corradini, Ugo Montanari
    Unfolding and Event Structure Semantics for Graph Grammars. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 1999, pp:73-89 [Conf]
  16. Paolo Baldan, Andrea Bracciali, Roberto Bruni
    Symbolic Equivalences for Open Systems. [Citation Graph (0, 0)][DBLP]
    Global Computing, 2004, pp:1-17 [Conf]
  17. Paolo Baldan, Andrea Corradini, Fabio Gadducci
    Specifying and Verifying UML Activity Diagrams Via Graph Transformation. [Citation Graph (0, 0)][DBLP]
    Global Computing, 2004, pp:18-33 [Conf]
  18. Paolo Baldan, Andrea Corradini, Luciana Foss, Fabio Gadducci
    Graph Transactions as Processes. [Citation Graph (0, 0)][DBLP]
    ICGT, 2006, pp:199-214 [Conf]
  19. Paolo Baldan, Hartmut Ehrig, Barbara König
    Composition and Decomposition of DPO Transformations with Borrowed Context. [Citation Graph (0, 0)][DBLP]
    ICGT, 2006, pp:153-167 [Conf]
  20. Paolo Baldan, Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg
    Workshop on Petri Nets and Graph Transformations. [Citation Graph (0, 0)][DBLP]
    ICGT, 2006, pp:467-469 [Conf]
  21. Paolo Baldan, Barbara König
    Approximating the Behaviour of Graph Transformation Systems. [Citation Graph (0, 0)][DBLP]
    ICGT, 2002, pp:14-29 [Conf]
  22. Paolo Baldan, Barbara König, Ingo Stürmer
    Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems. [Citation Graph (0, 0)][DBLP]
    ICGT, 2004, pp:194-209 [Conf]
  23. Paolo Baldan, Andrea Corradini, Ugo Montanari
    Concatenable Graph Processes: Relating Processes and Derivation Traces. [Citation Graph (0, 0)][DBLP]
    ICALP, 1998, pp:283-295 [Conf]
  24. Paolo Baldan, Barbara König, Bernhard König
    A Logic for Analyzing Abstractions of Graph Transformation Systems. [Citation Graph (0, 0)][DBLP]
    SAS, 2003, pp:255-272 [Conf]
  25. Paolo Baldan, Andrea Corradini, Ugo Montanari
    Unfolding of Double-Pushout Graph Grammars is a Coreflection. [Citation Graph (0, 0)][DBLP]
    TAGT, 1998, pp:145-163 [Conf]
  26. Fabio Alessi, Paolo Baldan, Furio Honsell
    Partializing Stone Spaces using SFP Domains (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1997, pp:478-489 [Conf]
  27. Luis Filipe 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. [Citation Graph (0, 0)][DBLP]
    WADT, 2002, pp:1-33 [Conf]
  28. Paolo Baldan, Roberto Bruni, Ugo Montanari
    Pre-nets, Read Arcs and Unfolding: A Functorial Presentation. [Citation Graph (0, 0)][DBLP]
    WADT, 2002, pp:145-164 [Conf]
  29. Paolo Baldan, Andrea Corradini, Ugo Montanari
    History Preserving Bisimulation for Contextual Nets. [Citation Graph (0, 0)][DBLP]
    WADT, 1999, pp:291-310 [Conf]
  30. Paolo Baldan, Andrea Corradini, Ugo Montanari, Leila Ribeiro
    Coreflective Concurrent Semantics for Single-Pushout Graph Grammars. [Citation Graph (0, 0)][DBLP]
    WADT, 2002, pp:165-184 [Conf]
  31. Fabio Alessi, Paolo Baldan, Gianna Bellè, Jan J. M. M. Rutten
    Solutions of functorial and non-functorial metric domain equations. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1995, v:1, n:, pp:- [Journal]
  32. Paolo Baldan
    Concurrency for Graph Grammars in a Petri net shell. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:51, n:, pp:- [Journal]
  33. Paolo Baldan, Andrea Corradini, Barbara König, Bernhard König
    Verifying a Behavioural Logic for Graph Transformation Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:104, n:, pp:5-24 [Journal]
  34. Paolo Baldan, Andrea Corradini, Ugo Montanari
    Relating SPO and DPO graph rewriting with Petri nets having read, inhibitor and reset arcs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:127, n:2, pp:5-28 [Journal]
  35. Clara Bertolissi, Paolo Baldan, Horatiu Cirstea, Claude Kirchner
    A Rewriting Calculus for Cyclic Higher-order Term Graphs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:127, n:5, pp:21-41 [Journal]
  36. Paolo Baldan, Fabio Gadducci, Ugo Montanari
    Modelling Calculi with Name Mobility using Graphs with Equivalences. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:176, n:1, pp:85-97 [Journal]
  37. Paolo Baldan, Andrea Corradini, Ugo Montanari
    Contextual Petri Nets, Asymmetric Event Structures, and Processes. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2001, v:171, n:1, pp:1-49 [Journal]
  38. Paolo Baldan, Giorgio Ghelli, Alessandra Raffaetà
    Basic Theory of F-Bounded Quantification. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1999, v:153, n:1, pp:173-237 [Journal]
  39. Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel
    Compositional semantics for open Petri nets based on deterministic processe. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2005, v:15, n:1, pp:1-35 [Journal]
  40. Fabio Alessi, Paolo Baldan
    A Characterization of Distance Between 1-Bounded Compact Ultrametic Spaces Through a Universal Space. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1998, v:193, n:1-2, pp:113-127 [Journal]
  41. Fabio Alessi, Paolo Baldan, Gianna Bellè
    A Fixed-Point Theorem in a Category of Compact Metric Spaces. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:146, n:1&2, pp:311-320 [Journal]
  42. Fabio Alessi, Paolo Baldan, Furio Honsell
    A category of compositional domain-models for separable Stone spaces. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:290, n:1, pp:599-635 [Journal]
  43. Paolo Baldan, Nadia Busi, Andrea Corradini, G. Michele Pinna
    Domain and event structure semantics for Petri nets with read and inhibitor arcs. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:323, n:1-3, pp:129-189 [Journal]
  44. Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König
    Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets. [Citation Graph (0, 0)][DBLP]
    CALCO, 2007, pp:126-142 [Conf]
  45. Paolo Baldan, Andrea Corradini, Barbara König, Alberto Lluch-Lafuente
    A Temporal Graph Logic for Verification of Graph Transformation Systems. [Citation Graph (0, 0)][DBLP]
    WADT, 2006, pp:1-20 [Conf]
  46. Paolo Baldan, Andrea Bracciali, Linda Brodo, Roberto Bruni
    Deducing Interactions in Partially Unspecified Biological Systems. [Citation Graph (0, 0)][DBLP]
    AB, 2007, pp:262-276 [Conf]
  47. Paolo Baldan, Andrea Corradini, Ugo Montanari, Leila Ribeiro
    Unfolding semantics of graph transformation. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2007, v:205, n:5, pp:733-782 [Journal]

  48. Petri Nets Are Dioids. [Citation Graph (, )][DBLP]


  49. Unfolding Graph Transformation Systems: Theory and Applications to Verification. [Citation Graph (, )][DBLP]


  50. Unfolding Grammars in Adhesive Categories. [Citation Graph (, )][DBLP]


  51. Unfolding-Based Diagnosis of Systems with an Evolving Topology. [Citation Graph (, )][DBLP]


  52. Encoding Asynchronous Interactions Using Open Petri Nets. [Citation Graph (, )][DBLP]


  53. A Logic for True Concurrency. [Citation Graph (, )][DBLP]


  54. Workshop on Petri Nets and Graph Transformations. [Citation Graph (, )][DBLP]


  55. Open Petri Nets: Non-deterministic Processes and Compositionality. [Citation Graph (, )][DBLP]


  56. Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts. [Citation Graph (, )][DBLP]


  57. On the Computation of McMillan's Prefix for Contextual Nets and Graph Grammars. [Citation Graph (, )][DBLP]


  58. Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets [Citation Graph (, )][DBLP]


  59. Towards a Sharing Strategy for the Graph Rewriting Calculus. [Citation Graph (, )][DBLP]


  60. Towards a Notion of Transaction in Graph Rewriting. [Citation Graph (, )][DBLP]


Search in 0.074secs, Finished in 0.077secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002