| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Rachid Echahed, Annegret Habel, Mohamed Mosbah |
Graph Computation Models.  |
ECEASST  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Frank Drewes, Annegret Habel, Berthold Hoffmann, Detlef Plump |
Manipulation of Graphs, Algebras and Pictures. Essays Dedicated to Hans-Jörg Kreowski on the Occasion of His 60th Birthday. |
ECEASST |
2010 |
DBLP BibTeX RDF |
|
| 1 | Hartmut Ehrig, Annegret Habel, Leen Lambers |
Parallelism and Concurrency Theorems for Rules with Nested Application Conditions. |
ECEASST |
2010 |
DBLP BibTeX RDF |
|
| 1 | Annegret Habel, Hendrik Radke |
Expressiveness of graph conditions with variables. |
ECEASST |
2010 |
DBLP BibTeX RDF |
|
| 1 | Hartmut Ehrig, Annegret Habel, Leen Lambers, Fernando Orejas, Ulrike Golas |
Local Confluence for Rules with Nested Application Conditions. |
ICGT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulrike Golas, Hartmut Ehrig, Annegret Habel |
Multi-Amalgamation in Adhesive Categories. |
ICGT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Annegret Habel, Karl-Heinz Pennemann |
Correctness of high-level transformation systems relative to nested conditions. |
Mathematical Structures in Computer Science |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Karl Azab, Annegret Habel |
High-Level Programs and Program Conditions. |
ICGT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Mosbah, Annegret Habel |
Workshop on Graph Computation Models. |
ICGT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Karl Azab, Annegret Habel, Karl-Heinz Pennemann, Christian Zuckschwerdt |
ENFORCe: A System for Ensuring Formal Correctness of High-level Programs. |
ECEASST |
2006 |
DBLP BibTeX RDF |
|
| 1 | Hartmut Ehrig, Karsten Ehrig, Annegret Habel, Karl-Heinz Pennemann |
Theory of Constraints and Application Conditions: From Graphs to High-Level Structures. |
Fundam. Inform. |
2006 |
DBLP BibTeX RDF |
|
| 1 | Hartmut Ehrig, Julia Padberg, Ulrike Prange, Annegret Habel |
Adhesive High-Level Replacement Systems: A New Categorical Framework for Graph Transformation. |
Fundam. Inform. |
2006 |
DBLP BibTeX RDF |
|
| 1 | Annegret Habel, Karl-Heinz Pennemann |
Satisfiability of High-Level Conditions. |
ICGT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Annegret Habel, Karl-Heinz Pennemann, Arend Rensink |
Weakest Preconditions for High-Level Programs. |
ICGT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralf Reussner, Jens Happe, Annegret Habel |
Modelling Parametric Contracts and the State Space of Composite Components by Graph Grammars. |
FASE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Annegret Habel, Karl-Heinz Pennemann |
Nested Constraints and Application Conditions for High-Level Structures. |
Formal Methods in Software and Systems Modeling |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Annegret Habel, Berthold Hoffmann |
Parallel Independence in Hierarchical Graph Transformation. |
ICGT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Hartmut Ehrig, Annegret Habel, Julia Padberg, Ulrike Prange |
Adhesive High-Level Replacement Categories and Systems. |
ICGT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Hartmut Ehrig, Karsten Ehrig, Annegret Habel, Karl-Heinz Pennemann |
Constraints and Application Conditions: From Graphs to High-Level Structures. |
ICGT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Annegret Habel, Detlef Plump |
Relabelling in Graph Transformation. |
ICGT |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Annegret Habel, Jürgen Müller, Detlef Plump |
Double-pushout graph transformation revisited. |
Mathematical Structures in Computer Science |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Hartmut Ehrig, Annegret Habel, Francesco Parisi-Presicce |
Basic Results for Two Types of High-Level Replacement Systems. |
Electr. Notes Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Annegret Habel, Detlef Plump |
Solving Equations by Graph Transformation. |
Electr. Notes Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Annegret Habel, Detlef Plump |
Computational Completeness of Programming Languages Based on Graph Transformation. |
FoSSaCS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Andries, Gregor Engels, Annegret Habel, Berthold Hoffmann, Hans-Jörg Kreowski, Sabine Kuske, Detlef Plump, Andy Schürr, Gabriele Taentzer |
Graph Transformation for Specification and Programming. |
Sci. Comput. Program. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Annegret Habel, Detlef Plump |
Complete Strategies for Term Graph Narrowing. |
WADT |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Annegret Habel, Jürgen Müller, Detlef Plump |
Double-Pushout Approach with Injective Matching. |
TAGT |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Drewes, Hans-Jörg Kreowski, Annegret Habel |
Hyperedge Replacement, Graph Grammars. |
Handbook of Graph Grammars |
1997 |
DBLP BibTeX RDF |
|
| 1 | Annegret Habel, Detlef Plump |
Term Graph Narrowing. |
Mathematical Structures in Computer Science |
1996 |
DBLP BibTeX RDF |
|
| 1 | Annegret Habel, Reiko Heckel, Gabriele Taentzer |
Graph Grammars with Negative Application Conditions. |
Fundam. Inform. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Drewes, Annegret Habel, Hans-Jörg Kreowski, Stefan Taubenberger |
Generating Self-Affine Fractals by Collage Grammars. |
Theor. Comput. Sci. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Annegret Habel, Detlef Plump |
Unification, rewriting, and narrowing on term graphs. |
Electr. Notes Theor. Comput. Sci. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Jürgen Dassow, Annegret Habel, Stefan Taubenberger |
Chain-Code Pictures and Collages Generated by Hyperedge Replacement. |
TAGT |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Detlef Plump, Annegret Habel |
Graph Unification and Matching. |
TAGT |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Annegret Habel, Hans-Jörg Kreowski, Clemens Lautemann |
A Comparison of Compatible, Finite, and Inductive Graph Properties. |
Theor. Comput. Sci. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Drewes, Annegret Habel, Hans-Jörg Kreowski, S. Traubenberger |
A scetch of Collage Grammars. |
Bulletin of the EATCS |
1993 |
DBLP BibTeX RDF |
|
| 1 | Frank Drewes, Annegret Habel, Hans-Jörg Kreowski, Stefan Taubenberger |
Generating Self-Affine Fractals by Collage Grammars. |
Developments in Language Theory |
1993 |
DBLP BibTeX RDF |
|
| 1 | Annegret Habel |
Hypergraph Grammars: Transformational and Algorithmic Aspects. |
Elektronische Informationsverarbeitung und Kybernetik |
1992 |
DBLP BibTeX RDF |
|
| 1 | Annegret Habel |
Hyperedge Replacement: Grammars and Languages |
|
1992 |
DOI RDF |
|
| 1 | Annegret Habel, Hans-Jörg Kreowski, Walter Vogler |
Decidable Boundedness Problems for Sets of Graphs Generated by Hyperedge-Replacement. |
Theor. Comput. Sci. |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Hartmut Ehrig, Annegret Habel, Hans-Jörg Kreowski, Francesco Parisi-Presicce |
Parallelism and Concurrency in High-Level Replacement Systems. |
Mathematical Structures in Computer Science |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Annegret Habel, Hans-Jörg Kreowski, Detlef Plump |
Jungle evaluation. |
Fundam. Inform. |
1991 |
DBLP BibTeX RDF |
|
| 1 | Hartmut Ehrig, Annegret Habel, Hans-Jörg Kreowski, Francesco Parisi-Presicce |
From Graph Grammars to High Level Replacement Systems. |
Graph-Grammars and Their Application to Computer Science |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Annegret Habel, Hans-Jörg Kreowski |
Collage Grammars. |
Graph-Grammars and Their Application to Computer Science |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Annegret Habel, Hans-Jörg Kreowski, Walter Vogler |
Metatheorems for Decision Problems on Hyperedge Replacement Graph Languages. |
Acta Inf. |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Annegret Habel |
Hyperedge replacement - grammars and languages. |
|
1989 |
RDF |
|
| 1 | Annegret Habel, Hans-Jörg Kreowski |
Filtering Hyperedge-Replacement Through Compatible Properties. |
WG |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Annegret Habel, Hans-Jörg Kreowski, Walter Vogler |
Decidable Boundedness Problems for Hyperedge-Replacement Graph Grammar. |
TAPSOFT, Vol.1 |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Annegret Habel |
Graph-Theoretic Properties Compatible with Graph Derivations. |
WG |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Annegret Habel, Hans-Jörg Kreowski |
Characteristics of Graph Languages Generated by Edge Replacement. |
Theor. Comput. Sci. |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Annegret Habel, Hans-Jörg Kreowski, Walter Vogler |
Complativle graph properties are decidable for hypergraph replacement graph languages. |
Bulletin of the EATCS |
1987 |
DBLP BibTeX RDF |
|
| 1 | Paul Boehm, Harald-Reto Fonio, Annegret Habel |
Amalgamation of Graph Transformations: A Synchronization Mechanism. |
J. Comput. Syst. Sci. |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Annegret Habel, Hans-Jörg Kreowski |
Pretty Patterns Produced by Hyperedge Replacement. |
WG |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Annegret Habel, Hans-Jörg Kreowski |
Some Structural Aspects of Hypergraph Languages Generated by Hyperedge Replacement. |
STACS |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Annegret Habel, Hans-Jörg Kreowski, Detlef Plump |
Jungle Evaluation. |
ADT |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Hartmut Ehrig, Annegret Habel, Udo Hummert, Paul Boehm |
Towards algebraic data types grammars: a junction between algebraic specification and graph grammars. |
Bulletin of the EATCS |
1986 |
DBLP BibTeX RDF |
|
| 1 | Annegret Habel, Hans-Jörg Kreowski |
May we introduce to you: hyperedge replacement. |
Graph-Grammars and Their Application to Computer Science |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Boehm, Harald-Reto Fonio, Annegret Habel |
Amalgamation of Graph Transformations with Applications to Synchronization. |
TAPSOFT, Vol.1 |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Annegret Habel, Hans-Jörg Kreowski |
On context-free gragh languages generated by edge replacement. |
Graph-Grammars and Their Application to Computer Science |
1982 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")