Annegret Habel

Publication Activity (10 Years)

Years Active: 1982-2019
Publications (10 Years): 4

Top Venues

Electron. Commun. Eur. Assoc. Softw. Sci. Technol.

ICGT

Math. Struct. Comput. Sci.

Fundam. Informaticae

University of Bremen, Germany (PHD)

Education History

University of Bremen, Germany

PHD

Publications

Christian Sandmann, Annegret Habel
Rule-based Graph Repair. GCM@STAF (2019)
Annegret Habel, Christian Sandmann
Graph Repair by Graph Programs. STAF Workshops (2018)
Annegret Habel, Christian Sandmann, Tilman Teusch
Integration of Graph Constraints into Graph Grammars. Graph Transformation, Specifications, and Nets (2018)
Hendrik Radke, Thorsten Arendt, Jan Steffen Becker, Annegret Habel, Gabriele Taentzer
Translating essential OCL invariants to nested graph constraints for generating instances of meta-models. Sci. Comput. Program. 152 (2018)
Christoph Peuser, Annegret Habel
Attribution of Graphs by Composition of M, N-adhesive Categories. GCM@ICGT (2015)
Christoph Peuser, Annegret Habel
Composition of M, N-adhesive Categories with Application to Attribution of Graphs. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 73 (2015)
Hendrik Radke, Thorsten Arendt, Jan Steffen Becker, Annegret Habel, Gabriele Taentzer
Translating Essential OCL Invariants to Nested Graph Constraints Focusing on Set Operations. ICGT (2015)
Thorsten Arendt, Annegret Habel, Hendrik Radke, Gabriele Taentzer
From Core OCL Invariants to Nested Graph Constraints. ICGT (2014)
Ulrike Golas, Annegret Habel, Hartmut Ehrig
Multi-amalgamation of rules with application conditions in ℳ-adhesive categories. Math. Struct. Comput. Sci. 24 (4) (2014)
Hartmut Ehrig, Ulrike Golas, Annegret Habel, Leen Lambers, Fernando Orejas
ℳ-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation. Math. Struct. Comput. Sci. 24 (4) (2014)
Rachid Echahed, Annegret Habel, Mohamed Mosbah
Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 71 (2014)
Rachid Echahed, Annegret Habel, Mohamed Mosbah
Graph Computation Models 2012. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 61 (2013)
Annegret Habel, Detlef Plump
$\mathcal M, \mathcal N$ -Adhesive Transformation Systems. ICGT (2012)
Hartmut Ehrig, Ulrike Golas, Annegret Habel, Leen Lambers, Fernando Orejas
ℳ-Adhesive Transformation Systems with Nested Application Conditions. Part 2: Embedding, Critical Pairs and Local Confluence. Fundam. Informaticae 118 (1-2) (2012)
Rachid Echahed, Annegret Habel, Mohamed Mosbah
Graph Computation Models. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 39 (2011)
Ulrike Golas, Hartmut Ehrig, Annegret Habel
Multi-Amalgamation in Adhesive Categories. ICGT (2010)
Hartmut Ehrig, Annegret Habel, Leen Lambers
Parallelism and Concurrency Theorems for Rules with Nested Application Conditions. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 26 (2010)
Annegret Habel, Hendrik Radke
Expressiveness of graph conditions with variables. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 30 (2010)
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. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 26 (2010)
Hartmut Ehrig, Annegret Habel, Leen Lambers, Fernando Orejas, Ulrike Golas
Local Confluence for Rules with Nested Application Conditions. ICGT (2010)
Annegret Habel, Karl-Heinz Pennemann
Correctness of high-level transformation systems relative to nested conditions. Math. Struct. Comput. Sci. 19 (2) (2009)
Karl Azab, Annegret Habel
High-Level Programs and Program Conditions. ICGT (2008)
Mohamed Mosbah, Annegret Habel
Workshop on Graph Computation Models. ICGT (2008)
Annegret Habel, Karl-Heinz Pennemann, Arend Rensink
Weakest Preconditions for High-Level Programs. ICGT (2006)
Karl Azab, Annegret Habel, Karl-Heinz Pennemann, Christian Zuckschwerdt
ENFORCe: A System for Ensuring Formal Correctness of High-level Programs. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 1 (2006)
Hartmut Ehrig, Karsten Ehrig, Annegret Habel, Karl-Heinz Pennemann
Theory of Constraints and Application Conditions: From Graphs to High-Level Structures. Fundam. Informaticae 74 (1) (2006)
Hartmut Ehrig, Julia Padberg, Ulrike Prange, Annegret Habel
Adhesive High-Level Replacement Systems: A New Categorical Framework for Graph Transformation. Fundam. Informaticae 74 (1) (2006)
Annegret Habel, Karl-Heinz Pennemann
Satisfiability of High-Level Conditions. ICGT (2006)
Ralf H. Reussner, Jens Happe, Annegret Habel
Modelling Parametric Contracts and the State Space of Composite Components by Graph Grammars. FASE (2005)
Annegret Habel, Karl-Heinz Pennemann
Nested Constraints and Application Conditions for High-Level Structures. Formal Methods in Software and Systems Modeling (2005)
Annegret Habel, Berthold Hoffmann
Parallel Independence in Hierarchical Graph Transformation. ICGT (2004)
Hartmut Ehrig, Annegret Habel, Julia Padberg, Ulrike Prange
Adhesive High-Level Replacement Categories and Systems. ICGT (2004)
Hartmut Ehrig, Karsten Ehrig, Annegret Habel, Karl-Heinz Pennemann
Constraints and Application Conditions: From Graphs to High-Level Structures. ICGT (2004)
Annegret Habel, Detlef Plump
Relabelling in Graph Transformation. ICGT (2002)
Annegret Habel, Jürgen Müller, Detlef Plump
Double-pushout graph transformation revisited. Math. Struct. Comput. Sci. 11 (5) (2001)
Annegret Habel, Detlef Plump
Solving Equations by Graph Transformation. Electron. Notes Theor. Comput. Sci. 51 (2001)
Hartmut Ehrig, Annegret Habel, Francesco Parisi-Presicce
Basic Results for Two Types of High-Level Replacement Systems. Electron. Notes Theor. Comput. Sci. 51 (2001)
Annegret Habel, Detlef Plump
Computational Completeness of Programming Languages Based on Graph Transformation. FoSSaCS (2001)
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. 34 (1) (1999)
Annegret Habel, Jürgen Müller, Detlef Plump
Double-Pushout Approach with Injective Matching. TAGT (1998)
Annegret Habel, Detlef Plump
Complete Strategies for Term Graph Narrowing. WADT (1998)
Annegret Habel, Reiko Heckel, Gabriele Taentzer
Graph Grammars with Negative Application Conditions. Fundam. Informaticae 26 (3/4) (1996)
Annegret Habel, Detlef Plump
Term Graph Narrowing. Math. Struct. Comput. Sci. 6 (6) (1996)
Frank Drewes, Annegret Habel, Hans-Jörg Kreowski, Stefan Taubenberger
Generating Self-Affine Fractals by Collage Grammars. Theor. Comput. Sci. 145 (1&2) (1995)
Annegret Habel, Detlef Plump
Unification, rewriting, and narrowing on term graphs. Electron. Notes Theor. Comput. Sci. 2 (1995)
Jürgen Dassow, Annegret Habel, Stefan Taubenberger
Chain-Code Pictures and Collages Generated by Hyperedge Replacement. TAGT (1994)
Detlef Plump, Annegret Habel
Graph Unification and Matching. TAGT (1994)
Frank Drewes, Annegret Habel, Hans-Jörg Kreowski, Stefan Taubenberger
Generating Self-Affine Fractals by Collage Grammars. Developments in Language Theory (1993)
Frank Drewes, Annegret Habel, Hans-Jörg Kreowski, Stefan Taubenberger
A scetch of Collage Grammars. Bull. EATCS 50 (1993)
Annegret Habel, Hans-Jörg Kreowski, Clemens Lautemann
A Comparison of Compatible, Finite, and Inductive Graph Properties. Theor. Comput. Sci. 110 (1) (1993)
Annegret Habel
Hypergraph Grammars: Transformational and Algorithmic Aspects. J. Inf. Process. Cybern. 28 (5) (1992)
Annegret Habel, Hans-Jörg Kreowski, Detlef Plump
Jungle evaluation. Fundam. Informaticae 15 (1) (1991)
Annegret Habel, Hans-Jörg Kreowski, Walter Vogler
Decidable Boundedness Problems for Sets of Graphs Generated by Hyperedge-Replacement. Theor. Comput. Sci. 89 (1) (1991)
Hartmut Ehrig, Annegret Habel, Hans-Jörg Kreowski, Francesco Parisi-Presicce
Parallelism and Concurrency in High-Level Replacement Systems. Math. Struct. Comput. Sci. 1 (3) (1991)
Annegret Habel, Hans-Jörg Kreowski
Collage Grammars. Graph-Grammars and Their Application to Computer Science (1990)
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)
Annegret Habel, Hans-Jörg Kreowski, Walter Vogler
Metatheorems for Decision Problems on Hyperedge Replacement Graph Languages. Acta Informatica 26 (7) (1989)
Annegret Habel, Hans-Jörg Kreowski
Filtering Hyperedge-Replacement Through Compatible Properties. WG (1989)
Annegret Habel, Hans-Jörg Kreowski, Walter Vogler
Decidable Boundedness Problems for Hyperedge-Replacement Graph Grammar. TAPSOFT, Vol.1 (1989)
Annegret Habel
Graph-Theoretic Properties Compatible with Graph Derivations. WG (1988)
Annegret Habel, Hans-Jörg Kreowski, Detlef Plump
Jungle Evaluation. ADT (1987)
Annegret Habel, Hans-Jörg Kreowski
Pretty Patterns Produced by Hyperedge Replacement. WG (1987)
Annegret Habel, Hans-Jörg Kreowski
Some Structural Aspects of Hypergraph Languages Generated by Hyperedge Replacement. STACS (1987)
Annegret Habel, Hans-Jörg Kreowski, Walter Vogler
Complativle graph properties are decidable for hypergraph replacement graph languages. Bull. EATCS 33 (1987)
Paul Boehm, Harald-Reto Fonio, Annegret Habel
Amalgamation of Graph Transformations: A Synchronization Mechanism. J. Comput. Syst. Sci. 34 (2/3) (1987)
Annegret Habel, Hans-Jörg Kreowski
Characteristics of Graph Languages Generated by Edge Replacement. Theor. Comput. Sci. 51 (1987)
Hartmut Ehrig, Annegret Habel, Udo Hummert, Paul Boehm
Towards algebraic data types grammars: a junction between algebraic specification and graph grammars. Bull. EATCS 29 (1986)
Annegret Habel, Hans-Jörg Kreowski
May we introduce to you: hyperedge replacement. Graph-Grammars and Their Application to Computer Science (1986)
Paul Boehm, Harald-Reto Fonio, Annegret Habel
Amalgamation of Graph Transformations with Applications to Synchronization. TAPSOFT, Vol.1 (1985)
Hartmut Ehrig, Annegret Habel
Concurrent Transformations of Graphs and Relational Structures. WG (1983)
Annegret Habel, Hans-Jörg Kreowski
On context-free gragh languages generated by edge replacement. Graph-Grammars and Their Application to Computer Science (1982)

Annegret Habel.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Annegret Habel