Searching for authors named "Paolo Baldan" – sorted by Relevance.
30 documents found, showing 1 through 10.
Next 10 →
-
A logic for analyzing abstractions of graph transformation systems
- … A Logic for Analyzing Abstractions of Graph Transformation Systems ? Paolo Baldan 1…
- Cited by 16 (9 self) – Add To MetaCart
-
DOI: 10.1017/S0960129504004311 Printed in the United Kingdom Compositional semantics for open Petri nets based on deterministic processes †
- … based on deterministic processes † PAOLO BALDAN ‡ , ANDREA CORRADINI § , HARTMUT EHRIG ¶ andREIKO HECKEL…
- Add To MetaCart
-
Verifying finite-state graph grammars: an unfolding-based approach
- … in Computer Science Rapporto di Ricerca CS-2004-10 Novembre 2004 Paolo Baldan, Andrea Corradini, Barbara K…
- Cited by 18 (8 self) – Add To MetaCart
-
Approximating the Behaviour of Graph Transformation Systems
- …Approximating the Behaviour of Graph Transformation Systems ? Paolo Baldan 1 and Barbara K…
- Cited by 20 (14 self) – Add To MetaCart
-
Towards Unfolding-Based Verification for Graph Transformation Systems
- … Paolo Baldan 1;2 Dipartimento di Informatica Universita Ca' Foscari di Venezia Italy Andrea Corradini…
- Add To MetaCart
-
Generating test cases for code generators by unfolding graph transformation systems
- …Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems ⋆ Paolo Baldan…
- Cited by 8 (0 self) – Add To MetaCart
-
Bisimulation by unification
- …Bisimulation by Unification ⋆ Paolo Baldan 1 , Andrea Bracciali 2 , and Roberto Bruni 2 1…
- Cited by 10 (6 self) – Add To MetaCart
-
Processes for adhesive rewriting systems
- …Processes for Adhesive Rewriting Systems ⋆ Paolo Baldan 1 , Andrea Corradini 2 , Tobias Heindel 3…
- Cited by 5 (4 self) – Add To MetaCart
-
A fixed point theorem in a category of compact metric spaces
- …A Fixed Point Theorem in a Category of Compact Metric Spaces ∗ Fabio Alessi, Paolo Baldan, Gianna…
- Cited by 2 (2 self) – Add To MetaCart
-
Unfolding of Double-Pushout Graph Grammars is a Coreflection
- …Unfolding of Double-Pushout Graph Grammars is a Coreflection ? Paolo Baldan, Andrea Corradini…
- Cited by 3 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
