 | 2009 |
|---|
| 282 |       | Fernando Orejas,
Esther Guerra,
Juan de Lara,
Hartmut Ehrig:
Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation.
CALCO 2009: 383-397 |
| 281 | | Frank Hermann,
Hartmut Ehrig,
Claudia Ermel:
Transformation of Type Graphs with Inheritance for Ensuring Security in E-Government Networks.
FASE 2009: 325-339 |
| 280 | | Hartmut Ehrig,
Claudia Ermel,
Frank Hermann,
Ulrike Prange:
On-the-Fly Construction, Correctness and Completeness of Model Transformations Based on Triple Graph Grammars.
MoDELS 2009: 241-255 |
| 279 | | Dénes Bisztray,
Reiko Heckel,
Hartmut Ehrig:
Compositionality of Model Transformations.
Electr. Notes Theor. Comput. Sci. 236: 5-19 (2009) |
| 2008 |
|---|
| 278 |  | Hartmut Ehrig,
Reiko Heckel,
Grzegorz Rozenberg,
Gabriele Taentzer:
Graph Transformations, 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings
Springer 2008 |
| 277 | | Ulrike Prange,
Hartmut Ehrig,
Kathrin Hoffmann,
Julia Padberg:
Transformations in Reconfigurable Place/Transition Systems.
Concurrency, Graphs and Models 2008: 96-113 |
| 276 | | Fernando Orejas,
Hartmut Ehrig,
Ulrike Prange:
A Logic of Graph Constraints.
FASE 2008: 179-198 |
| 275 | | Dénes Bisztray,
Reiko Heckel,
Hartmut Ehrig:
Verification of Architectural Refactorings by Rule Extraction.
FASE 2008: 347-361 |
| 274 | | Leen Lambers,
Leonardo Mariani,
Hartmut Ehrig,
Mauro Pezzè:
A Formal Framework for Developing Adaptable Service-Based Applications.
FASE 2008: 392-406 |
| 273 | | Hartmut Ehrig,
Karsten Ehrig,
Claudia Ermel,
Ulrike Prange:
Consistent Integration of Models Based on Views of Visual Languages.
FASE 2008: 62-76 |
| 272 | | Guilherme Rangel,
Barbara König,
Hartmut Ehrig:
Deriving Bisimulation Congruences in the Presence of Negative Application Conditions.
FoSSaCS 2008: 413-427 |
| 271 | | Leen Lambers,
Hartmut Ehrig,
Ulrike Prange,
Fernando Orejas:
Embedding and Confluence of Graph Transformations with Negative Application Conditions.
ICGT 2008: 162-177 |
| 270 | | Hartmut Ehrig,
Ulrike Prange:
Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels.
ICGT 2008: 178-193 |
| 269 | | Hartmut Ehrig,
Claudia Ermel:
Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation.
ICGT 2008: 194-210 |
| 268 | | 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 |
| 267 | | Paolo Baldan,
Andrea Corradini,
Hartmut Ehrig,
Barbara König:
Open Petri Nets: Non-deterministic Processes and Compositionality.
ICGT 2008: 257-273 |
| 266 | | Dénes Bisztray,
Reiko Heckel,
Hartmut Ehrig:
Compositional Verification of Architectural Refactorings.
WADS 2008: 308-333 |
| 265 | | Ulrike Prange,
Hartmut Ehrig,
Leen Lambers:
Construction and Properties of Adhesive and Weak Adhesive High-Level Replacement Categories.
Applied Categorical Structures 16(3): 365-388 (2008) |
| 264 | | 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) |
| 263 | | Hartmut Ehrig,
Karsten Ehrig,
Frank Hermann:
From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph Grammars.
ECEASST 10: (2008) |
| 262 | | Leen Lambers,
Hartmut Ehrig,
Gabriele Taentzer:
Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences.
ECEASST 10: (2008) |
| 261 | | Dénes Bisztray,
Reiko Heckel,
Hartmut Ehrig:
Verification of Architectural Refactorings: Rule Extraction and Tool Support.
ECEASST 16: (2008) |
| 260 | | Leen Lambers,
Hartmut Ehrig,
Fernando Orejas:
Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs.
Electr. Notes Theor. Comput. Sci. 211: 17-26 (2008) |
| 259 | | Frank Hermann,
Hartmut Ehrig,
Gabriele Taentzer:
A Typed Attributed Graph Grammar with Inheritance for the Abstract Syntax of UML Class and Sequence Diagrams.
Electr. Notes Theor. Comput. Sci. 211: 261-269 (2008) |
| 258 | | Claudia Ermel,
Hartmut Ehrig:
Behavior-Preserving Simulation-to-Animation Model and Rule Transformations.
Electr. Notes Theor. Comput. Sci. 213(1): 55-74 (2008) |
| 257 | | Paolo Baldan,
Andrea Corradini,
Hartmut Ehrig,
Reiko Heckel,
Barbara König:
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets.
Logical Methods in Computer Science 4(4): (2008) |
| 2007 |
|---|
| 256 | | Leen Lambers,
Hartmut Ehrig,
Leonardo Mariani,
Mauro Pezzè:
Iterative model-driven development of adaptable service-based applications.
ASE 2007: 453-456 |
| 255 | | Ulrike Prange,
Hartmut Ehrig:
From Algebraic Graph Transformation to Adhesive HLR Categories and Systems.
CAI 2007: 122-146 |
| 254 | | Paolo Baldan,
Andrea Corradini,
Hartmut Ehrig,
Reiko Heckel,
Barbara König:
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets.
CALCO 2007: 126-142 |
| 253 | | Julia Padberg,
Kathrin Hoffmann,
Hartmut Ehrig,
Tony Modica,
Enrico Biermann,
Claudia Ermel:
Maintaining Consistency in Layered Architectures of Mobile Ad-Hoc Networks.
FASE 2007: 383-397 |
| 252 | | Hartmut Ehrig,
Karsten Ehrig,
Claudia Ermel,
Frank Hermann,
Gabriele Taentzer:
Information Preserving Bidirectional Model Transformations.
FASE 2007: 72-86 |
| 251 | | Hartmut Ehrig,
Kathrin Hoffmann,
Julia Padberg,
Ulrike Prange,
Claudia Ermel:
Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems.
ICATPN 2007: 104-123 |
| 250 | | Guilherme Rangel,
Barbara König,
Hartmut Ehrig:
Bisimulation Verification for the DPO Approach with Borrowed.
ECEASST 6: (2007) |
| 249 | | Tihamer Levendovszky,
Ulrike Prange,
Hartmut Ehrig:
Termination Criteria for DPO Transformations with Injective Matches.
Electr. Notes Theor. Comput. Sci. 175(4): 87-100 (2007) |
| 248 | | Juan de Lara,
Roswitha Bardohl,
Hartmut Ehrig,
Karsten Ehrig,
Ulrike Prange,
Gabriele Taentzer:
Attributed graph transformation with node type inheritance.
Theor. Comput. Sci. 376(3): 139-163 (2007) |
| 2006 |
|---|
| 247 | | Andrea Corradini,
Hartmut Ehrig,
Ugo Montanari,
Leila Ribeiro,
Grzegorz Rozenberg:
Graph Transformations, Third International Conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings
Springer 2006 |
| 246 | | Hartmut Ehrig,
Ulrike Prange:
Weak Adhesive High-Level Replacement Categories and Systems: A Unifying Framework for Graph and Petri Net Transformations.
Essays Dedicated to Joseph A. Goguen 2006: 235-251 |
| 245 | | Paolo Baldan,
Hartmut Ehrig,
Barbara König:
Composition and Decomposition of DPO Transformations with Borrowed Context.
ICGT 2006: 153-167 |
| 244 | | Hartmut Ehrig,
Fernando Orejas,
Ulrike Prange:
Categorical Foundations of Distributed Graph Transformation.
ICGT 2006: 215-229 |
| 243 | | Dániel Varró,
Szilvia Varró-Gyapay,
Hartmut Ehrig,
Ulrike Prange,
Gabriele Taentzer:
Termination Analysis of Model Transformations by Petri Nets.
ICGT 2006: 260-274 |
| 242 | | Paolo Baldan,
Hartmut Ehrig,
Julia Padberg,
Grzegorz Rozenberg:
Workshop on Petri Nets and Graph Transformations.
ICGT 2006: 467-469 |
| 241 | | Leen Lambers,
Hartmut Ehrig,
Fernando Orejas:
Conflict Detection for Graph Transformation with Negative Application Conditions.
ICGT 2006: 61-76 |
| 240 | | Paolo Baldan,
Hartmut Ehrig,
Julia Padberg,
Grzegorz Rozenberg:
Foreword.
ECEASST 2: (2006) |
| 239 | | Claudia Ermel,
Hartmut Ehrig,
Karsten Ehrig:
Semantical Correctness of Simulation-to-Animation Model and Rule Transformation.
ECEASST 4: (2006) |
| 238 | | Hartmut Ehrig,
Kathrin Hoffmann,
Julia Padberg:
Transformations of Petri Nets.
Electr. Notes Theor. Comput. Sci. 148(1): 151-172 (2006) |
| 237 | | Hartmut Ehrig,
Karsten Ehrig:
Overview of Formal Concepts for Model Transformations Based on Typed Attributed Graph Transformation.
Electr. Notes Theor. Comput. Sci. 152: 3-22 (2006) |
| 236 | | Leen Lambers,
Hartmut Ehrig,
Fernando Orejas:
Efficient Detection of Conflicts in Graph-based Model Transformation.
Electr. Notes Theor. Comput. Sci. 152: 97-109 (2006) |
| 235 | | Hartmut Ehrig,
Julia Padberg,
Ulrike Prange,
Annegret Habel:
Adhesive High-Level Replacement Systems: A New Categorical Framework for Graph Transformation.
Fundam. Inform. 74(1): 1-29 (2006) |
| 234 | | Hartmut Ehrig,
Karsten Ehrig,
Annegret Habel,
Karl-Heinz Pennemann:
Theory of Constraints and Application Conditions: From Graphs to High-Level Structures.
Fundam. Inform. 74(1): 135-166 (2006) |
| 233 | | Hartmut Ehrig,
Karsten Ehrig,
Ulrike Prange,
Gabriele Taentzer:
Fundamental Theory for Typed Attributed Graphs and Graph Transformation based on Adhesive HLR Categories.
Fundam. Inform. 74(1): 31-61 (2006) |
| 232 | | Julia Padberg,
Hartmut Ehrig:
Petri net modules in the transformation-based component framework.
J. Log. Algebr. Program. 67(1-2): 198-225 (2006) |
| 231 | | Hartmut Ehrig,
Barbara König:
Deriving bisimulation congruences in the DPO approach to graph rewriting with borrowed contexts.
Mathematical Structures in Computer Science 16(6): 1133-1163 (2006) |
| 2005 |
|---|
| 230 | | Hartmut Ehrig,
Karsten Ehrig,
Juan de Lara,
Gabriele Taentzer,
Dániel Varró,
Szilvia Varró-Gyapay:
Termination Criteria for Model Transformation.
FASE 2005: 49-63 |
| 229 | | Kathrin Hoffmann,
Hartmut Ehrig,
Till Mossakowski:
High-Level Nets with Nets and Rules as Tokens.
ICATPN 2005: 268-288 |
| 228 | | Hartmut Ehrig,
Karsten Ehrig,
Gabriele Taentzer,
Juan de Lara,
Dániel Varró,
Szilvia Varró-Gyapay:
Termination Criteria for Model Transformation.
Transformation Techniques in Software Engineering 2005 |
| 227 | | Hartmut Ehrig,
Karsten Ehrig,
Ulrike Prange,
Gabriele Taentzer:
Formal Integration of Inheritance with Typed Attributed Graph Transformation for Efficient VL Definition and Model Manipulation.
VL/HCC 2005: 71-78 |
| 226 | | Hartmut Ehrig,
Julia Padberg,
Grzegorz Rozenberg:
Preface.
Electr. Notes Theor. Comput. Sci. 127(2): 1-3 (2005) |
| 225 | | Hartmut Ehrig,
Benjamin Braatz,
Markus Klein,
Fernando Orejas,
Sonia Pérez,
Elvira Pino:
Object-Oriented Connector-Component Architectures.
Electr. Notes Theor. Comput. Sci. 141(3): 123-151 (2005) |
| 224 | | Hartmut Ehrig:
Behaviour and Instantiation of High-Level Petri Net Processes.
Fundam. Inform. 65(3): 211-247 (2005) |
| 223 | | Paolo Baldan,
Andrea Corradini,
Hartmut Ehrig,
Reiko Heckel:
Compositional semantics for open Petri nets based on deterministic processe.
Mathematical Structures in Computer Science 15(1): 1-35 (2005) |
| 222 | | Hartmut Ehrig,
Benjamin Braatz,
Markus Klein:
Priority Program SoftSpez and the International INT Workshops "Integration of Software Specification Techniques for Applications in Engineering" (DFG-Schwerpunktprogramm SoftSpez und die internationalen INT-Workshops "Integration von Techniken der Softwarespezifikation für ingenieurwissenschaftliche Anwendungen").
it - Information Technology 47(1): 45-53 (2005) |
| 2004 |
|---|
| 221 | | Hartmut Ehrig,
Werner Damm,
Jörg Desel,
Martin Große-Rhode,
Wolfgang Reif,
Eckehard Schnieder,
Engelbert Westkämper:
Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report
Springer 2004 |
| 220 | | Hartmut Ehrig,
Gregor Engels,
Francesco Parisi-Presicce,
Grzegorz Rozenberg:
Graph Transformations, Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 2, 2004, Proceedings
Springer 2004 |
| 219 | | Roswitha Bardohl,
Hartmut Ehrig,
Juan de Lara,
Gabriele Taentzer:
Integrating Meta-modelling Aspects with Graph Transformation for Efficient Visual Language Definition and Model Manipulation.
FASE 2004: 214-228 |
| 218 | | Hartmut Ehrig,
Barbara König:
Deriving Bisimulation Congruences in the DPO Approach to Graph Rewriting.
FoSSaCS 2004: 151-166 |
| 217 | | Hartmut Ehrig,
Annegret Habel,
Julia Padberg,
Ulrike Prange:
Adhesive High-Level Replacement Categories and Systems.
ICGT 2004: 144-160 |
| 216 | | Hartmut Ehrig,
Ulrike Prange,
Gabriele Taentzer:
Fundamental Theory for Typed Attributed Graph Transformation.
ICGT 2004: 161-177 |
| 215 | | Hartmut Ehrig,
Karsten Ehrig,
Annegret Habel,
Karl-Heinz Pennemann:
Constraints and Application Conditions: From Graphs to High-Level Structures.
ICGT 2004: 287-303 |
| 214 | | Hartmut Ehrig,
Julia Padberg,
Grzegorz Rozenberg:
Workshop on Petri Nets and Graph Transformations.
ICGT 2004: 442-444 |
| 213 | | Hartmut Ehrig:
Integration of Software Specification Techniques for Applications in Engineering: Introduction and Overview of Results.
SoftSpez Final Report 2004: 1-8 |
| 212 | | Hartmut Ehrig:
Attributed Graphs and Typing: Reationshi between Different Representations (Column: Formal Specification).
Bulletin of the EATCS 82: 175-190 (2004) |
| 211 | | Hartmut Ehrig:
Integration of Specification Techniques for Applications in Engineering 1998-2004 (Column: Formal Specification).
Bulletin of the EATCS 83: 156-158 (2004) |
| 210 | | Hartmut Ehrig,
Julia Padberg,
Benjamin Braatz,
Markus Klein,
Fernando Orejas,
Sonia Pérez,
Elvira Pino:
A Generic Framework for Connector Architectures based on Components and Transformations.
Electr. Notes Theor. Comput. Sci. 108: 53-67 (2004) |
| 209 | | Hartmut Ehrig,
Fernando Orejas,
Benjamin Braatz,
Markus Klein,
Martti Piirainen:
A component framework for system modeling based on high-level replacement systems.
Software and System Modeling 3(2): 114-135 (2004) |
| 2003 |
|---|
| 208 | | Hartmut Ehrig,
Wolfgang Reisig,
Grzegorz Rozenberg,
Herbert Weber:
Petri Net Technology for Communication-Based Systems - Advances in Petri Nets
Springer 2003 |
| 207 | | Hartmut Ehrig,
Julia Padberg:
Graph Grammars and Petri Net Transformations.
Lectures on Concurrency and Petri Nets 2003: 496-536 |
| 206 | | Herbert Weber,
Hartmut Ehrig,
Wolfgang Reisig,
Alexander Borusan,
Sabine Lembke,
Juliane Dehnert,
Michael Weber,
Axel Martens,
Julia Padberg,
Claudia Ermel,
Anilda Qemali:
The Petri Net Baukasten of the DFG Forschergruppe PETRI NET TECHNOLOGY.
Petri Net Technology for Communication-Based Systems 2003: 1-21 |
| 205 | | Benjamin Braatz,
Hartmut Ehrig,
Milan Urbásek:
Petri Net Transformations in the "Petri Net Baukasten".
Petri Net Technology for Communication-Based Systems 2003: 37-65 |
| 204 | | Claudia Ermel,
Roswitha Bardohl,
Hartmut Ehrig:
Generation of Animation Views for Petri Nets in GenGED.
Petri Net Technology for Communication-Based Systems 2003: 83-108 |
| 203 | | Hartmut Ehrig:
On the relevance of high-level net processes, Formal Specification Column.
Bulletin of the EATCS 79: 64-68 (2003) |
| 202 | | Hartmut Ehrig,
Fernando Orejas,
Benjamin Braatz,
Markus Klein,
Martti Piirainen:
A Component Framework Based on High-Level Replacement Systems.
Electr. Notes Theor. Comput. Sci. 72(3): (2003) |
| 201 | | Hartmut Ehrig:
Behaviour and Instantiation of High-Level Net Processes.
Electr. Notes Theor. Comput. Sci. 82(7): (2003) |
| 200 | | Fernando Orejas,
Hartmut Ehrig:
Components for Algebra Transformation Systems.
Electr. Notes Theor. Comput. Sci. 82(7): (2003) |
| 199 | | Roswitha Bardohl,
Hartmut Ehrig:
Preface UNIGRA'03 - Uniform Approaches to Graphical Process Specification Techniques.
Electr. Notes Theor. Comput. Sci. 82(7): (2003) |
| 2002 |
|---|
| 198 | | Wilfried Brauer,
Hartmut Ehrig,
Juhani Karhumäki,
Arto Salomaa:
Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg [on occasion of his 60th birthday, March 14, 2002]
Springer 2002 |
| 197 | | Andrea Corradini,
Hartmut Ehrig,
Hans-Jörg Kreowski,
Grzegorz Rozenberg:
Graph Transformation, First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings
Springer 2002 |
| 196 | | Hartmut Ehrig,
Fernando Orejas,
Benjamin Braatz,
Markus Klein,
Martti Piirainen:
A Generic Component Framework for System Modeling.
FASE 2002: 33-48 |
| 195 | | Hartmut Ehrig,
Kathrin Hoffmann,
Julia Padberg,
Paolo Baldan,
Reiko Heckel:
High-Level Net Processes.
Formal and Natural Computing 2002: 191-219 |
| 194 | | Hartmut Ehrig:
A Review of Algebraic Specification and Component Techniques at TU Berlin.
Bulletin of the EATCS 76: 84-87 (2002) |
| 193 | | Hartmut Ehrig:
Bigraphs meet Double Pushouts.
Bulletin of the EATCS 78: 72-85 (2002) |
| 192 | | Hartmut Ehrig,
Fernando Orejas:
Foreword Volume 72.
Electr. Notes Theor. Comput. Sci. 72: (2002) |
| 191 | | Reiko Heckel,
Mercè Llabrés,
Hartmut Ehrig,
Fernando Orejas:
Concurrency and Loose Semantics of Open Graph Transformation Systems.
Mathematical Structures in Computer Science 12(4): 349-376 (2002) |
| 2001 |
|---|
| 190 | | Hartmut Ehrig,
Gabriel Juhás,
Julia Padberg,
Grzegorz Rozenberg:
Unifying Petri Nets, Advances in Petri Nets
Springer 2001 |
| 189 | | Paolo Baldan,
Andrea Corradini,
Hartmut Ehrig,
Reiko Heckel:
Compositional Modeling of Reactive Systems Using Open Nets.
CONCUR 2001: 502-518 |
| 188 | | Julia Padberg,
Hartmut Ehrig:
Parameterized Net Classes: A Uniform Approach to Petri Net Classes.
Unifying Petri Nets 2001: 173-229 |
| 187 | | Julia Padberg,
Hartmut Ehrig,
Grzegorz Rozenberg:
Behavior and Realization Construction for Petri Nets Based on Free Monoid and Power Set Graphs.
Unifying Petri Nets 2001: 230-249 |
| 186 | | Magdalena Gajewsky,
Hartmut Ehrig:
The »Petri Net Baukasten«: An Overview.
Unifying Petri Nets 2001: 26-53 |
| 185 | | Fernando Orejas,
Hartmut Ehrig,
Elvira Pino:
Tight and Loose Semantics for Transformation Systems.
WADT 2001: 238-255 |
| 184 | | Hartmut Ehrig,
Bernd Mahr:
Theory and Practice of Software Development: A Review of Driving Forces and Expectations of TAPSOFT from 1985 to 1997.
Current Trends in Theoretical Computer Science 2001: 118-130 |
| 183 | | Hartmut Ehrig:
On the Role of Formal Specification Techniques: From TAPSOFT 1985 to ETAPS 2000.
Current Trends in Theoretical Computer Science 2001: 131-133 |
| 182 | | Hartmut Ehrig,
Bernd Mahr:
Algebraic Techniques in Software Development: A Review of Progress up to the Mid Nineties.
Current Trends in Theoretical Computer Science 2001: 134-152 |
| 181 | | Hartmut Ehrig,
Fernando Orejas:
Dynamic Abstract Data Types: An Informal Proposal in 1994.
Current Trends in Theoretical Computer Science 2001: 180-191 |
| 180 | | Hartmut Ehrig,
Fernando Orejas:
Integration Paradigm for Data Type and Process Specification Techniques.
Current Trends in Theoretical Computer Science 2001: 192-201 |
| 179 | | Hartmut Ehrig,
Julia Padberg,
Fernando Orejas:
From Basic Views and Aspects to Integration of Specification Formalisms.
Current Trends in Theoretical Computer Science 2001: 202-214 |
| 178 | | Hartmut Ehrig,
Robert Geisler,
Martin Große-Rhode,
Marcus Klar,
Stefan Mann:
On Formal Semantics and Integration of Object-Oriented Modeling Languages.
Current Trends in Theoretical Computer Science 2001: 226-232 |
| 177 | | Reiko Heckel,
Hartmut Ehrig,
Uwe Wolter,
Andrea Corradini:
Double-Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems.
Applied Categorical Structures 9(1): 83-110 (2001) |
| 176 | | Hartmut Ehrig:
On the Roots, Birth and Childhood of ETAPS.
Bulletin of the EATCS 74: 58-60 (2001) |
| 175 | | Hartmut Ehrig:
A Review of Graph Grammars and Preview of ICGT 2002: The First International Conference on Graph Transformation.
Bulletin of the EATCS 75: 97 (2001) |
| 174 | | Hartmut Ehrig,
Claudia Ermel,
Julia Padberg:
Preface.
Electr. Notes Theor. Comput. Sci. 44(4): (2001) |
| 173 | | Hartmut Ehrig,
Fernando Orejas:
A Conceptual and Formal Framework for the Integration of Data Type and Process Modeling Techniques.
Electr. Notes Theor. Comput. Sci. 50(3): (2001) |
| 172 | | Hartmut Ehrig,
Annegret Habel,
Francesco Parisi-Presicce:
Basic Results for Two Types of High-Level Replacement Systems.
Electr. Notes Theor. Comput. Sci. 51: (2001) |
| 171 | | Hartmut Ehrig,
Martin Große-Rhode:
Integration von Techniken der Softwarespezifkation fuer ingenieurwissenschaftliche Anwendungen.
Inform., Forsch. Entwickl. 16(2): 110-117 (2001) |
| 2000 |
|---|
| 170 | | Hartmut Ehrig,
Gregor Engels,
Hans-Jörg Kreowski,
Grzegorz Rozenberg:
Theory and Application of Graph Transformations, 6th International Workshop, TAGT'98, Paderborn, Germany, November 16-20, 1998, Selected Papers
Springer 2000 |
| 169 | | Hartmut Ehrig,
Gabriele Taentzer:
A Proposal for Consistent Integration of Visual Computing with Visual Development of Software Components.
ICALP Satellite Workshops 2000: 427-434 |
| 168 | | Hartmut Ehrig,
Robert Geisler,
Martin Große-Rhode,
Marcus Klar,
Stefan Mann:
On Formal Semantics and Integration of Object-Oriented Modeling Languages.
Bulletin of the EATCS 70: 77-81 (2000) |
| 167 | | Hartmut Ehrig:
On the Role of Formal Specification Techniques: From TAPSOFT 1985 to ETAPS 2000.
Bulletin of the EATCS 71: 90-91 (2000) |
| 166 | | Hartmut Ehrig,
Gunnar Schröter:
The Role of Mathematics and Formal Specification Techniques in Software System Development.
Bulletin of the EATCS 72: 77-83 (2000) |
| 1999 |
|---|
| 165 | | Herbert Weber,
Marcus Klar,
Stefan Mann,
Ralf-Detlef Kutsche,
Stefan Jähnichen,
Robert Büssow,
Hartmut Ehrig,
Robert Geisler,
Gabriel Baum,
Claudia Pons,
Miguel Felder,
Sergio Waldoke:
Integrating Object-Oriented Modelling Techniques with Formal Specification Techniques.
German-Argentinian Workshop on Information Technology 1999: 23-30 |
| 164 | | Hartmut Ehrig,
Gabriele Taentzer:
Graphical Represenation and Graph Transformation.
ACM Comput. Surv. 31(3es): 9 (1999) |
| 163 | | Hartmut Ehrig,
Julia Padberg,
Fernando Orejas:
From Basic Views and Aspects to Integration of Specification Formalisms.
Bulletin of the EATCS 69: 98-109 (1999) |
| 162 | | Felix Cornelius,
Michael Baldamus,
Hartmut Ehrig,
Fernando Orejas:
Abstract and behaviour module specifications.
Mathematical Structures in Computer Science 9(1): 21-62 (1999) |
| 1998 |
|---|
| 161 | | Roswitha Bardohl,
Hartmut Ehrig:
Conceptual Model of the Graphical Editor GENGED for the Visual Definition of Visual Languages.
TAGT 1998: 252-266 |
| 160 | | Hartmut Ehrig,
Reiko Heckel,
Mercè Llabrés,
Fernando Orejas,
Julia Padberg,
Grzegorz Rozenberg:
Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information.
TAGT 1998: 85-102 |
| 159 | | Hartmut Ehrig,
Fernando Orejas:
Integration Paradigm for Data Type and Process Specification Techniques.
Bulletin of the EATCS 65: 90-97 (1998) |
| 158 | | Hartmut Ehrig:
EATCS Mini-Track of FM'99.
Bulletin of the EATCS 66: 83-84 (1998) |
| 157 | | Hartmut Ehrig,
Robert Geisler,
Marcus Klar:
DFG-Schwerpunktprogramm ab 1998. Integration von Techniken der Softwarespezifikation für ingenieurwissenschaftliche Anwendungen.
Inform., Forsch. Entwickl. 13(1): 43-46 (1998) |
| 1997 |
|---|
| 156 | | Hartmut Ehrig,
Robert Geisler,
Marcus Klar,
Julia Padberg:
Horizontal and Vertical Structuring Techniques for Statecharts.
CONCUR 1997: 181-195 |
| 155 | | Gregor Engels,
Reiko Heckel,
Gabriele Taentzer,
Hartmut Ehrig:
A View-Oriented Approach to System Modelling Based on Graph Transformation.
ESEC / SIGSOFT FSE 1997: 327-343 |
| 154 | | Hartmut Ehrig,
Julia Padberg:
A Uniform Approach to Petri Nets.
Foundations of Computer Science: Potential - Theory - Cognition 1997: 219-231 |
| 153 | | Hartmut Ehrig:
DFG-Schwerpunktprogramm "Integration von Techniken der Softwarespezifikation für ingenieurwissenschaftliche Anwendungen".
GI Jahrestagung 1997: 180-181 |
| 152 | | Andrea Corradini,
Ugo Montanari,
Francesca Rossi,
Hartmut Ehrig,
Reiko Heckel,
Michael Löwe:
Algebraic Approaches to Graph Transformation - Part I: Basic Concepts and Double Pushout Approach.
Handbook of Graph Grammars 1997: 163-246 |
| 151 | | Hartmut Ehrig,
Reiko Heckel,
Martin Korff,
Michael Löwe,
Leila Ribeiro,
Annika Wagner,
Andrea Corradini:
Algebraic Approaches to Graph Transformation - Part II: Single Pushout Approach and Comparison with Double Pushout Approach.
Handbook of Graph Grammars 1997: 247-312 |
| 150 | | Reiko Heckel,
Hartmut Ehrig,
Uwe Wolter,
Andrea Corradini:
Integrating the Specification Techniques of Graph Transformation and Temporal Logic.
MFCS 1997: 219-228 |
| 149 | | Hartmut Ehrig,
Bernd Mahr:
Future Trends of TAPSOFT.
TAPSOFT 1997: 6-10 |
| 148 | | Hartmut Ehrig,
Magdalena Gajewsky,
Uwe Wolter:
From abstract data types to algebraic development techniques: A shift of paradigms.
WADT 1997: 1-17 |
| 147 | | Hartmut Ehrig,
Wolfgang Reisig:
An Algebraic View on Petri Nets.
Bulletin of the EATCS 61: (1997) |
| 146 | | Hartmut Ehrig,
A. Merten,
Julia Padberg:
How to Transfer Concepts of Abstract Data Types to Petri Nets?
Bulletin of the EATCS 62: (1997) |
| 145 | | Gregor Engels,
Reiko Heckel,
Gabriele Taentzer,
Hartmut Ehrig:
A Combined Reference Model- and View-Based Approach to System Specification.
International Journal of Software Engineering and Knowledge Engineering 7(4): 457-477 (1997) |
| 144 | | Fernando Orejas,
Elvira Pino,
Hartmut Ehrig:
Institutions for Logic Programming.
Theor. Comput. Sci. 173(2): 485-511 (1997) |
| 1996 |
|---|
| 143 | | Janice E. Cuny,
Hartmut Ehrig,
Gregor Engels,
Grzegorz Rozenberg:
Graph Gramars and Their Application to Computer Science, 5th International Workshop, Williamsburg, VA, USA, November 13-18, 1994, Selected Papers
Springer 1996 |
| 142 | | Hartmut Ehrig,
Bernd Mahr:
Algebraic Techniques in Software Development.
Bulletin of the EATCS 58: (1996) |
| 141 | | Hartmut Ehrig,
Uwe Wolter:
The Impact and Future Role of Algebraic Specification.
Bulletin of the EATCS 60: 74-77 (1996) |
| 140 | | Reiko Heckel,
Andrea Corradini,
Hartmut Ehrig,
Michael Löwe:
Horizontal and Vertical Structuring of Typed Graph Transformation Systems.
Mathematical Structures in Computer Science 6(6): 613-648 (1996) |
| 1995 |
|---|
| 139 | | Hartmut Ehrig,
Martin Große-Rhode,
Uwe Wolter:
On the Role of Category Theory in the Area of Algebraic Specification.
COMPASS/ADT 1995: 17-48 |
| 138 | | Hartmut Ehrig,
Bernd Mahr:
A Decade of TAPSOFT: Aspects of Process and Prospects in Theory and Practice of Software Development.
TAPSOFT 1995: 3-24 |
| 137 | | Hartmut Ehrig,
Hans-Jörg Kreowski,
Fernando Orejas:
Correctness of actualization for parameterized implementation concepts based on constructors and abstractors.
Bulletin of the EATCS 56: (1995) |
| 136 | | Hartmut Ehrig,
Bernd Mahr:
Theory and Practice of Software Development: A Review of Driving Forces and Expectations.
Bulletin of the EATCS 57: (1995) |
| 135 | | Hartmut Ehrig:
Introduction to COMPUGRAPH.
Electr. Notes Theor. Comput. Sci. 2: (1995) |
| 134 | | Julia Padberg,
Hartmut Ehrig,
Leila Ribeiro:
Algebraic High-Level Net Transformation Systems.
Mathematical Structures in Computer Science 5(2): 217-256 (1995) |
| 133 | | Rosa M. Jiménez,
Fernando Orejas,
Hartmut Ehrig:
Compositionality and Compatibility of Parameterization and Parameter Passing in Specification Languages.
Mathematical Structures in Computer Science 5(2): 283-314 (1995) |
| 1994 |
|---|
| 132 | | Hans Jürgen Schneider,
Hartmut Ehrig:
Graph Transformations in Computer Science, International Workshop, Dagstuhl Castle, Germany, January 1993, Proceedings
Springer 1994 |
| 131 | | Hartmut Ehrig:
Recent Trends in Data Type Specification, 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26-30, 1992, Selected Papers
Springer 1994 |
| 130 | | Hartmut Ehrig,
Michael Löwe,
Fernando Orejas:
Dynamic Abstract Data Types Based on Algebraic Graph Transformations.
COMPASS/ADT 1994: 236-254 |
| 129 | | Fernando Orejas,
Elvira Pino,
Hartmut Ehrig:
Algebraic Methods in the Compositional Analysis of Logic Programs.
MFCS 1994: 112-126 |
| 128 | | Andrea Corradini,
Hartmut Ehrig,
Michael Löwe,
Ugo Montanari,
Francesca Rossi:
An Event Structure Semantics for Safe Graph Grammars.
PROCOMET 1994: 423-444 |
| 127 | | Hartmut Ehrig,
Gregor Engels:
Pragmatic and Semantic Aspects of a Module Concept for Graph Transformation Systems.
TAGT 1994: 137-154 |
| 126 | | Andrea Corradini,
Hartmut Ehrig,
Michael Löwe,
Ugo Montanari,
Francesca Rossi:
An Event Structure Semantics for Graph Grammars with Parallel Productions.
TAGT 1994: 240-256 |
| 125 | | Andrea Corradini,
Hartmut Ehrig,
Michael Löwe,
Ugo Montanari,
Julia Padberg:
The Category of Typed Graph Grammars and its Adjunctions with Categories.
TAGT 1994: 56-74 |
| 124 | | Hartmut Ehrig:
FLEX: A Flexible Extension and Integration Concept for Software Development in SORSo and COMPASS.
Bulletin of the EATCS 52: 188-202 (1994) |
| 123 | | Hartmut Ehrig,
Fernando Orejas:
Dynamic Abstract Data Types: An informal Proposal.
Bulletin of the EATCS 53: 162-169 (1994) |
| 122 | | Hartmut Ehrig,
Julia Padberg:
Linking Algebraic High level Nets and Dynamic Abstract Data.
Bulletin of the EATCS 54: 132-144 (1994) |
| 121 | | Hartmut Ehrig,
Martin Große-Rhode:
Functorial Theory of Parameterized Specifications in a General Specification Framework.
Theor. Comput. Sci. 135(2): 221-266 (1994) |
| 1993 |
|---|
| 120 | | Hartmut Ehrig,
Francesco Parisi-Presicce:
Interaction between Algebraic Specification Grammars and Modular System Design.
AMAST 1993: 217-224 |
| 119 | | Andrea Corradini,
Hartmut Ehrig,
Michael Löwe,
Ugo Montanari,
Francesca Rossi:
Jungle Rewriting: an Abstract Description of a Lazy Narrowing Machine.
Dagstuhl Seminar on Graph Transformations in Computer Science 1993: 119-137 |
| 118 | | Hartmut Ehrig,
Hans-Jörg Kreowski,
Gabriele Taentzer:
Canonical Derivaitons for High-Level Replacement Systems.
Dagstuhl Seminar on Graph Transformations in Computer Science 1993: 153-169 |
| 117 | | Andrea Corradini,
Hartmut Ehrig,
Michael Löwe,
Ugo Montanari,
Francesca Rossi:
Abstract Graph Derivations in the Double Pushout Approach.
Dagstuhl Seminar on Graph Transformations in Computer Science 1993: 86-103 |
| 116 | | Hartmut Ehrig:
Combined Algebraic Specification Techniques for Concurrent and Distributed Systems.
GI Jahrestagung 1993: 528-533 |
| 115 | | Hartmut Ehrig,
Rosa M. Jiménez,
Fernando Orejas:
Compositionality Results for Different Types of Parameterization and Parameter Passing in Specification Languages.
TAPSOFT 1993: 31-45 |
| 114 | | Hartmut Ehrig,
Michael Löwe:
Categorical principles, techniques and results for high-level-replacement systems in computer science.
Applied Categorical Structures 1(1): 21-50 (1993) |
| 113 | | Hartmut Ehrig,
Michael Löwe:
Parallel and Distributed Derivations in the Single-Pushout Approach.
Theor. Comput. Sci. 109(1&2): 123-143 (1993) |
| 112 | | Hartmut Ehrig,
Michael Löwe:
The ESPRIT Basic Research Working Group COMPUGRAPH "Computing by Graph Transformation": A Survey.
Theor. Comput. Sci. 109(1&2): 3-6 (1993) |
| 1992 |
|---|
| 111 | | Hartmut Ehrig,
Francesco Parisi-Presicce:
High-Level-Replacement Systems for Equational Algebraic Specifications.
ALP 1992: 3-20 |
| 110 | | Hartmut Ehrig,
Julia Padberg,
Leila Ribeiro:
Algebraic High-Level Nets: Petri Nets Revisited.
COMPASS/ADT 1992: 188-206 |
| 109 | | Hartmut Ehrig,
Michael Löwe:
From Parallel to Distributed Derivations of Graphs in the Single-Pushout-Approach.
Informatik zwischen Wissenschaft und Gesellschaft 1992: 47-65 |
| 108 | | Martin Große-Rhode,
Hartmut Ehrig:
Restriction Constructions in Specification Logics.
Bulletin of the EATCS 46: 84-89 (1992) |
| 107 | | Hartmut Ehrig:
Some important new facts supporting the development of algebraic specifications.
Bulletin of the EATCS 47: 135-136 (1992) |
| 106 | | Hartmut Ehrig,
Bernd Mahr,
Ingo Claßen,
Fernando Orejas:
Introduction to Algebraic Specification. Part 1: Formal Methods for Software Development.
Comput. J. 35(5): 460-467 (1992) |
| 105 | | Hartmut Ehrig,
Bernd Mahr,
Ingo Claßen,
Fernando Orejas:
Introduction to Algebraic Specification. Part 2: From Classical View to Foundations of System Specifications.
Comput. J. 35(5): 468-477 (1992) |
| 1991 |
|---|
| 104 | | Hartmut Ehrig,
Hans-Jörg Kreowski,
Grzegorz Rozenberg:
Graph-Grammars and Their Application to Computer Science, 4th International Workshop, Bremen, Germany, March 5-9, 1990, Proceedings
Springer 1991 |
| 103 | | Hartmut Ehrig,
Klaus P. Jantke,
Fernando Orejas,
Horst Reichel:
Recent Trends in Data Type Specification, Proceedings 7th Workshop on Abstract Data Types, Wusterhausen, Dosse, Germany, April 17-20, 1990
Springer 1991 |
| 102 | | Hartmut Ehrig,
Michael Baldamus,
Felix Cornelius,
Fernando Orejas:
Theory of Algebraic Module Specification including Behavioral Semantics and Constraints.
AMAST 1991: 145-172 |
| 101 | | Hartmut Ehrig,
Michael Baldamus,
Fernando Orejas:
New Concepts of Amalgamation and Extension for a General Theory of Specifications.
COMPASS/ADT 1991: 199-221 |
| 100 | | Hartmut Ehrig,
Francesco Parisi-Presicce:
Non-Equivalence of Categories for Equational Algebraic Specifications.
COMPASS/ADT 1991: 222-235 |
| 99 | | Michael Löwe,
Hartmut Ehrig,
Werner Fey,
Dean Jacobs:
On the Relationship Between Algebraic Module Specifications and Program Modules.
TAPSOFT, Vol.2 1991: 83-98 |
| 98 | | Hartmut Ehrig,
Helmut Adametz:
New Compatibility Results for Implementations within the Initial Algebraic Approach.
Bulletin of the EATCS 43: 102-112 (1991) |
| 97 | | Hartmut Ehrig,
Michael Baldamus,
Fernando Orejas:
Amalgamation and Extension in the Framework of Specification Logics and Generalized Morphisms.
Bulletin of the EATCS 44: 129-143 (1991) |
| 96 | | Hartmut Ehrig,
Annegret Habel,
Hans-Jörg Kreowski,
Francesco Parisi-Presicce:
Parallelism and Concurrency in High-Level Replacement Systems.
Mathematical Structures in Computer Science 1(3): 361-404 (1991) |
| 1990 |
|---|
| 95 | | Hartmut Ehrig,
Francesco Parisi-Presicce:
A Match Operation for Rule-Based Modular System Design.
ADT 1990: 74-97 |
| 94 | | Andrea Corradini,
Ugo Montanari,
Francesca Rossi,
Hartmut Ehrig,
Michael Löwe:
Graph Grammars and Logic Programming.
Graph-Grammars and Their Application to Computer Science 1990: 221-237 |
| 93 | | Hartmut Ehrig,
Martin Korff,
Michael Löwe:
Tutorial Introduction to the Algebraic Approach of Graph Grammars Based on Double and Single Pushouts.
Graph-Grammars and Their Application to Computer Science 1990: 24-37 |
| 92 | | 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: 269-291 |
| 91 | | Hartmut Ehrig,
Francesco Parisi-Presicce:
Algebraic Specification Grammars: A Junction between Module Specifications and Graph Grammars.
Graph-Grammars and Their Application to Computer Science 1990: 292-310 |
| 90 | | Hartmut Ehrig,
Michael Löwe:
Computing by Graph Transformation: Overall Aims and New Results.
Graph-Grammars and Their Application to Computer Science 1990: 688-703 |
| 89 | | Michael Löwe,
Hartmut Ehrig:
Algebraic Approach to Graph Transformation Based on Single Pushout Derivations.
WG 1990: 338-353 |
| 88 | | Hartmut Ehrig,
Ingo Claßen:
Overview of Algebraic Specification Languages Environments and Tools, and Algebraic Specifications of Software Systems.
Bulletin of the EATCS 40: 172-181 (1990) |
| 87 | | Hartmut Ehrig:
ESF-concepts linked with algebraic module specifications.
Bulletin of the EATCS 41: 138-144 (1990) |
| 86 | | Hartmut Ehrig,
Ingo Claßen:
Overview of algebraic specification languages, enviroments and tools, and algebraic specifications of software systems(Part 3).
Bulletin of the EATCS 41: 145-153 (1990) |
| 85 | | Hartmut Ehrig,
Michael A. Arbib:
Linking Schemas and Module Specifications: A Proposal.
Bulletin of the EATCS 42: 135 (1990) |
| 84 | | Hartmut Ehrig,
Francesco Parisi-Presicce,
Paul Boehm,
Catharina Rieckhoff,
Christian Dimitrovici,
Martin Große-Rhode:
Combining Data Type and Recursive Process Specifications Using Projection Algebras.
Theor. Comput. Sci. 71(3): 347-380 (1990) |
| 83 | | Hartmut Ehrig,
Werner Fey,
Horst Hansen,
Michael Löwe,
Dean Jacobs,
Francesco Parisi-Presicce:
Compatibility Problems in the Development of Algebraic Module Specifications.
Theor. Comput. Sci. 77(1&2): 27-71 (1990) |
| 1989 |
|---|
| 82 | | Hartmut Ehrig,
Horst Herrlich,
Hans-Jörg Kreowski,
Gerhard Preuß:
Categorial Methods in Computer Science: With Aspects from Topology [Workshop, September 1988, Berlin, Germany]
Springer 1989 |
| 81 | | Hartmut Ehrig,
Werner Fey,
Horst Hansen,
Michael Löwe,
Dean Jacobs:
Algebraic Software Development Concepts for Module and Configuration Families.
FSTTCS 1989: 181-192 |
| 80 | | Hartmut Ehrig,
Peter Pepper,
Fernando Orejas:
On Recent Trends in Algebraic Specification.
ICALP 1989: 263-288 |
| 79 | | Martin Große-Rhode,
Hartmut Ehrig:
Transformation of Combined Data Type and Process Specifications Using Projection Algebras.
REX Workshop 1989: 301-339 |
| 78 | | Hartmut Ehrig,
Ingo Claßen,
Paul Boehm,
Werner Fey,
Martin Korff,
Michael Löwe:
Algebraic Concepts for Software Development in ACT ONE, ACT TWO and LOTOS (eingeladener Vortrag).
Software-Entwicklung 1989: 201-224 |
| 77 | | Hartmut Ehrig:
The Algebraic Specification Column.
Bulletin of the EATCS 38: 79-92 (1989) |
| 76 | | Hartmut Ehrig,
Ingo Claßen:
Overview of Algebraic Specification Languages Environments and Tools, and Algebraic Specifications of Software Systems.
Bulletin of the EATCS 39: 103-111 (1989) |
| 75 | | Hartmut Ehrig,
Werner Fey,
Horst Hansen,
Michael Löwe,
Dean Jacobs,
Anno Langen,
Francesco Parisi-Presicce:
Algebraic Specification of Modules and Configuration Families.
Elektronische Informationsverarbeitung und Kybernetik 25(5/6): 205-232 (1989) |
| 1988 |
|---|
| 74 | | Werner Fey,
Hartmut Ehrig,
Horst Hansen,
Michael Löwe:
Algebraic Theory of Modular Specification Development.
ADT 1988 |
| 73 | | Hartmut Ehrig:
Categorical Concept of Constraints for Algebraic Specifications.
Categorial Methods in Computer Science 1988: 1-15 |
| 72 | | Hartmut Ehrig,
Werner Fey,
Horst Hansen,
Michael Löwe,
Francesco Parisi-Presicce:
Categories for the Development of Algebraic Module Specifications.
Categorial Methods in Computer Science 1988: 157-184 |
| 71 | | Fernando Orejas,
Pilar Nivela,
Hartmut Ehrig:
Semantical Constructions for Categories of Behavioural Specifications.
Categorial Methods in Computer Science 1988: 220-243 |
| 70 | | Horst Herrlich,
Hartmut Ehrig:
The Construct PRO of Projection Spaces: Its Internal Structure.
Categorial Methods in Computer Science 1988: 286-293 |
| 69 | | Hartmut Ehrig:
The Algebraic Specification Column.
Bulletin of the EATCS 34: 39-40 (1988) |
| 68 | | Hartmut Ehrig:
The Algebraic Specification Column.
Bulletin of the EATCS 35: 69-70 (1988) |
| 67 | | Hartmut Ehrig:
The Algebraic Specification Column.
Bulletin of the EATCS 36: 52-56 (1988) |
| 1987 |
|---|
| 66 | | Hartmut Ehrig,
Robert A. Kowalski,
Giorgio Levi,
Ugo Montanari:
TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987, Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP'87)
Springer 1987 |
| 65 | | Hartmut Ehrig,
Robert A. Kowalski,
Giorgio Levi,
Ugo Montanari:
TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987, Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and Logic Programming and Specifications (CFLP)
Springer 1987 |
| 64 | | Hartmut Ehrig,
Manfred Nagl,
Grzegorz Rozenberg,
Azriel Rosenfeld:
Graph-Grammars and Their Application to Computer Science, 3rd International Workshop, Warrenton, Virginia, USA, December 2-6, 1986
Springer 1987 |
| 63 | | Hartmut Ehrig,
Francesco Parisi-Presicce,
Paul Boehm,
Catharina Rieckhoff,
Christian Dimitrovici,
Martin Große-Rhode:
Algebraic Data Type and Process Specifications based on Projection Spaces.
ADT 1987: 23-43 |
| 62 | | Hartmut Ehrig:
Distributed Parallelism of Graph Transformations.
WG 1987: 1-19 |
| 61 | | Hartmut Ehrig:
The Algebraic Specification Column.
Bulletin of the EATCS 32: 70-72 (1987) |
| 60 | | Hartmut Ehrig:
The Algebraic Specification Column.
Bulletin of the EATCS 33: 25-26 (1987) |
| 59 | | Edward K. Blum,
Hartmut Ehrig,
Francesco Parisi-Presicce:
Algebraic Specification of Modules and Their Basic Interconnections.
J. Comput. Syst. Sci. 34(2/3): 293-339 (1987) |
| 58 | | Eric G. Wagner,
Hartmut Ehrig:
Canonical Constraints for Parameterized Data Types.
Theor. Comput. Sci. 50: 323-349 (1987) |
| 1986 |
|---|
| 57 | | Hartmut Ehrig:
Towards an Algebraic Semantics of the ISO Specification Language LOTOS.
ADT 1986 |
| 56 | | Hartmut Ehrig:
Tutorial introduction to the algebraic approach of graph grammars.
Graph-Grammars and Their Application to Computer Science 1986: 3-14 |
| 55 | | Francesco Parisi-Presicce,
Hartmut Ehrig,
Ugo Montanari:
Graph rewriting with unification and composition.
Graph-Grammars and Their Application to Computer Science 1986: 496-514 |
| 54 | | Paul Boehm,
Hartmut Ehrig,
Udo Hummert,
Michael Löwe:
Towards distributed graph grammars.
Graph-Grammars and Their Application to Computer Science 1986: 86-98 |
| 53 | | Hartmut Ehrig,
Herbert Weber:
Programming in the Large with Algebraic Module Specifications (Invited Paper).
IFIP Congress 1986: 675-684 |
| 52 | | Hartmut Ehrig,
Werner Fey,
Francesco Parisi-Presicce,
Edward K. Blum:
Algebraic Theory of Module Specification with Constraints.
MFCS 1986: 59-77 |
| 51 | | 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 29: 22-26 (1986) |
| 50 | | Hartmut Ehrig,
Jacques Loeckx,
Bernd Mahr:
A remark on the equational calculus for many-sorted algebras with possibly empty carrier sets.
Bulletin of the EATCS 30: 61-65 (1986) |
| 49 | | Herbert Weber,
Hartmut Ehrig:
Specification of Modular Systems.
IEEE Trans. Software Eng. 12(7): 784-798 (1986) |
| 1985 |
|---|
| 48 | | Hartmut Ehrig,
Christiane Floyd,
Maurice Nivat,
James W. Thatcher:
Mathematical Foundations of Software Development, Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, Germany, March 25-29, 1985, Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'85)
Springer 1985 |
| 47 | | Hartmut Ehrig,
Christiane Floyd,
Maurice Nivat,
James W. Thatcher:
Mathematical Foundations of Software Development, Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, Germany, March 25-29, 1985, Volume 2: Colloquium on Software Engineering (CSE)
Springer 1985 |
| 46 | | Hartmut Ehrig,
Bernd Mahr:
Fundamentals of Algebraic Specification 1: Equations und Initial Semantics
Springer 1985 |
| 1984 |
|---|
| 45 | | Hartmut Ehrig,
Werner Fey,
Horst Hansen:
Towards Abstract User Interfaces for Formal System Specifications.
ADT 1984: 73-88 |
| 44 | | Hartmut Ehrig,
Hans-Jörg Kreowski,
James W. Thatcher,
Eric G. Wagner,
Jesse B. Wright:
Parameter Passing in Algebraic Specification Languages.
Theor. Comput. Sci. 28: 45-81 (1984) |
| 1983 |
|---|
| 43 | | Hartmut Ehrig,
Manfred Nagl,
Grzegorz Rozenberg:
Graph-Grammars and Their Application to Computer Science, 2nd International Workshop, Haus Ohrbeck [near Osnabrück], Germany, October 4-8, 1982
Springer 1983 |
| 42 | | Hartmut Ehrig,
Werner Fey,
Horst Hansen:
ACT ONE - An Algebraic Specification Language with two Levels of Semantics.
ADT 1983 |
| 41 | | Hartmut Ehrig,
Eric G. Wagner,
James W. Thatcher:
Algebraic Specifications with Generating Constraints.
ICALP 1983: 188-202 |
| 40 | | Hartmut Ehrig,
Hans-Jörg Kreowski:
Compatibility of Parameter Passing and Implementation of Parameterized Data Types.
Theor. Comput. Sci. 27: 255-286 (1983) |
| 1982 |
|---|
| 39 | | Hartmut Ehrig:
ACT - Algebraic Specification Technique for the Correct Design of Reliable Software Systems.
ADT 1982 |
| 38 | | Hartmut Ehrig:
Parameterized Data Types and Parameter Passing.
ADT 1982 |
| 37 | | Hartmut Ehrig:
Aspects of concurrency in graph grammars.
Graph-Grammars and Their Application to Computer Science 1982: 58-81 |
| 36 | | Hartmut Ehrig,
John Staples:
Church-Rosser properties for graph replacement systems with unique splitting.
Graph-Grammars and Their Application to Computer Science 1982: 82-101 |
| 35 | | Hartmut Ehrig,
Hans-Jörg Kreowski,
Bernd Mahr,
Peter Padawitz:
Algebraic Implementation of Abstract Data Types.
Theor. Comput. Sci. 20: 209-263 (1982) |
| 1981 |
|---|
| 34 | | Hartmut Ehrig:
Algebraic Theory of Parameterized Specifications with Requirements.
CAAP 1981: 1-24 |
| 33 | | Hartmut Ehrig,
Werner Fey:
Methodology for the Specification of Software Systems: From Formal Requirements to Algebraic Design Specifications.
GI Jahrestagung 1981: 255-269 |
| 32 | | Hartmut Ehrig,
Hans-Jörg Kreowski,
James W. Thatcher,
Eric G. Wagner,
Jesse B. Wright:
Parameter Passing in Algebraic Specification Languages.
Program Specification 1981: 322-369 |
| 31 | | Jørgen Steensgaard-Madsen,
Jane W. Hughes,
Malcolm S. Powell,
Hartmut Ehrig,
Hans-Jörg Kreowski,
Leif Sandegaard Nielsen,
Jean-Raymond Abrial,
Ib Holm Sørensen,
Robin M. Gallimore,
Derek Coleman,
Joseph A. Goguen:
KWIC-index generation.
Program Specification 1981: 47-117 |
| 30 | | Hartmut Ehrig,
Bernd Mahr:
Complexity of Algebraic Implementations for Abstract Data Types.
J. Comput. Syst. Sci. 23(2): 223-253 (1981) |
| 29 | | Hartmut Ehrig,
Hans-Jörg Kreowski,
Andrea Maggiolo-Schettini,
Barry K. Rosen,
Józef Winkowski:
Transformations of Structures: an Algebraic Approach.
Mathematical Systems Theory 14: 305-334 (1981) |
| 1980 |
|---|
| 28 | | Hartmut Ehrig,
Hans-Jörg Kreowski,
Peter Padawitz:
Algebraic Implementation of Abstract Data Types: Concept, Syntax, Semantics and Correctness.
ICALP 1980: 142-156 |
| 27 | | Hartmut Ehrig,
Hans-Jörg Kreowski,
James W. Thatcher,
Eric G. Wagner,
Jesse B. Wright:
Parameterized Data Types in Algebraic Specification Languages (Short Version).
ICALP 1980: 157-168 |
| 26 | | Hartmut Ehrig,
Hans-Jörg Kreowski,
Bernd Mahr,
Peter Padawitz:
Compound Algebraic Implementations: An Approach to Stepwise Refinement of Software Systems.
MFCS 1980: 231-245 |
| 25 | | Hartmut Ehrig,
Bernd Mahr:
Complexity of Implementations on the Level of Algebraic Specifications
STOC 1980: 281-293 |
| 24 | | Hartmut Ehrig,
Werner Fey,
Hans-Jörg Kreowski:
Algebraische Spezifikation eines Stücklistensystems - eine Fallstudie.
Software Engineering 1980: 75-90 |
| 23 | | Hartmut Ehrig,
Hans-Jörg Kreowski,
Peter Padawitz:
A Case Study of Abstract Implementations and Their Correctness.
Symposium on Programming 1980: 108-122 |
| 22 | | Hartmut Ehrig,
Hans-Jörg Kreowski:
Applications of Graph Grammar Theory to Consistency, Synchronization and Scheduling in Data Base Systems.
Inf. Syst. 5(3): 225-238 (1980) |
| 21 | | Hartmut Ehrig,
Barry K. Rosen:
The Mathematics of Record Handling.
SIAM J. Comput. 9(3): 441-469 (1980) |
| 20 | | Hartmut Ehrig,
Barry K. Rosen:
Parallelism and Concurrency of Graph Manipulations.
Theor. Comput. Sci. 11: 247-275 (1980) |
| 1979 |
|---|
| 19 | | Volker Claus,
Hartmut Ehrig,
Grzegorz Rozenberg:
Graph-Grammars and Their Application to Computer Science and Biology, International Workshop, Bad Honnef, October 30 - November 3, 1978
Springer 1979 |
| 18 | | Hartmut Ehrig,
Hans-Jörg Kreowski,
Herbert Weber:
Neue Aspekte algebraischer Spezifikationsschemata für Datenbanksysteme.
Formale Modelle für Informationssysteme 1979: 181-198 |
| 17 | | Hartmut Ehrig,
Wolfgang Kühnel:
Categorial approach to nonlinear constant continuous-time systems.
ITA 13(2): (1979) |
| 1978 |
|---|
| 16 | | Hartmut Ehrig:
Introduction to the Algebraic Theory of Graph Grammars (A Survey).
Graph-Grammars and Their Application to Computer Science and Biology 1978: 1-69 |
| 15 | | Hartmut Ehrig,
Barry K. Rosen:
Decomposition of Graph Grammar Productions and Derivations.
Graph-Grammars and Their Application to Computer Science and Biology 1978: 192-205 |
| 14 | | Hartmut Ehrig,
Axel Liedtke:
Locally Star Sluing Formulas for a Class of Parallel Graph Grammars.
Graph-Grammars and Their Application to Computer Science and Biology 1978: 206-223 |
| 13 | | Hartmut Ehrig,
Hans-Jörg Kreowski,
Peter Padawitz:
Stepwise Specification and Implementation of Abstract Data Types.
ICALP 1978: 205-226 |
| 12 | | Hartmut Ehrig,
Barry K. Rosen:
Concurrency of Manipulations in Multidimensional Information Structures.
MFCS 1978: 165-176 |
| 11 | | Hartmut Ehrig,
Hans-Jörg Kreowski,
Andrea Maggiolo-Schettini,
Barry K. Rosen,
Józef Winkowski:
Deriving Structures from Structures.
MFCS 1978: 177-190 |
| 10 | | Hartmut Ehrig,
Hans-Jörg Kreowski,
Herbert Weber:
Algebraic Specification Schemes for Data Base Systems.
VLDB 1978: 427-440 |
| 1977 |
|---|
| 9 | | Hartmut Ehrig:
Embedding Theorem in the Algebraic Theory of Graph Grammars.
FCT 1977: 245-255 |
| 8 | | Hartmut Ehrig,
Barry K. Rosen:
The Mathematics of Record Handling.
ICALP 1977: 206-220 |
| 1976 |
|---|
| 7 | | Hartmut Ehrig,
Hans-Jörg Kreowski:
Parallelism of Manipulations in Multidimensional Information Structures.
MFCS 1976: 284-293 |
| 6 | | Hans Jürgen Schneider,
Hartmut Ehrig:
Grammars on Partial Graphs.
Acta Inf. 6: 297-316 (1976) |
| 5 | | Hartmut Ehrig,
Hans-Jörg Kreowski:
Systematic Approach to Reduction and Minimization in Automata and System Theory.
J. Comput. Syst. Sci. 12(3): 269-304 (1976) |
| 1975 |
|---|
| 4 | | Hartmut Ehrig,
Karl Wilhelm Tischer:
Graph Grammars and Applications to Specialization and Evolution in Biology.
J. Comput. Syst. Sci. 11(2): 212-236 (1975) |
| 1974 |
|---|
| 3 | | Hartmut Ehrig,
Wolfgang Kühnel,
Michael Pfender:
Diagram characterization.
Category Theory Applied to Computation and Control 1974: 137-143 |
| 2 | | Hartmut Ehrig,
Hans-Jörg Kreowski:
Power and initial automata in pseudoclosed categories.
Category Theory Applied to Computation and Control 1974: 144-150 |
| 1973 |
|---|
| 1 | | Hartmut Ehrig,
Michael Pfender,
Hans Jürgen Schneider:
Graph-Grammars: An Algebraic Approach
FOCS 1973: 167-180 |
