dblp.uni-trier.dewww.uni-trier.de

Hartmut Ehrig Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
281EEFernando Orejas, Esther Guerra, Juan de Lara, Hartmut Ehrig: Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation. CALCO 2009: 383-397
280EEFrank Hermann, Hartmut Ehrig, Claudia Ermel: Transformation of Type Graphs with Inheritance for Ensuring Security in E-Government Networks. FASE 2009: 325-339
279EEHartmut 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
278EEDénes Bisztray, Reiko Heckel, Hartmut Ehrig: Compositionality of Model Transformations. Electr. Notes Theor. Comput. Sci. 236: 5-19 (2009)
2008
277 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
276EEUlrike Prange, Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg: Transformations in Reconfigurable Place/Transition Systems. Concurrency, Graphs and Models 2008: 96-113
275EEFernando Orejas, Hartmut Ehrig, Ulrike Prange: A Logic of Graph Constraints. FASE 2008: 179-198
274EEDénes Bisztray, Reiko Heckel, Hartmut Ehrig: Verification of Architectural Refactorings by Rule Extraction. FASE 2008: 347-361
273EELeen Lambers, Leonardo Mariani, Hartmut Ehrig, Mauro Pezzè: A Formal Framework for Developing Adaptable Service-Based Applications. FASE 2008: 392-406
272EEHartmut Ehrig, Karsten Ehrig, Claudia Ermel, Ulrike Prange: Consistent Integration of Models Based on Views of Visual Languages. FASE 2008: 62-76
271EEGuilherme Rangel, Barbara König, Hartmut Ehrig: Deriving Bisimulation Congruences in the Presence of Negative Application Conditions. FoSSaCS 2008: 413-427
270EELeen Lambers, Hartmut Ehrig, Ulrike Prange, Fernando Orejas: Embedding and Confluence of Graph Transformations with Negative Application Conditions. ICGT 2008: 162-177
269EEHartmut Ehrig, Ulrike Prange: Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels. ICGT 2008: 178-193
268EEHartmut Ehrig, Claudia Ermel: Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation. ICGT 2008: 194-210
267EEGuilherme 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
266EEPaolo Baldan, Andrea Corradini, Hartmut Ehrig, Barbara König: Open Petri Nets: Non-deterministic Processes and Compositionality. ICGT 2008: 257-273
265EEUlrike 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)
264EEPaolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König: Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets CoRR abs/0809.4115: (2008)
263EEHartmut Ehrig, Karsten Ehrig, Frank Hermann: From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph Grammars. ECEASST 10: (2008)
262EELeen Lambers, Hartmut Ehrig, Gabriele Taentzer: Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences. ECEASST 10: (2008)
261EEDénes Bisztray, Reiko Heckel, Hartmut Ehrig: Verification of Architectural Refactorings: Rule Extraction and Tool Support. ECEASST 16: (2008)
260EELeen 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)
259EEFrank 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)
258EEClaudia Ermel, Hartmut Ehrig: Behavior-Preserving Simulation-to-Animation Model and Rule Transformations. Electr. Notes Theor. Comput. Sci. 213(1): 55-74 (2008)
257EEPaolo 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
256EELeen Lambers, Hartmut Ehrig, Leonardo Mariani, Mauro Pezzè: Iterative model-driven development of adaptable service-based applications. ASE 2007: 453-456
255EEUlrike Prange, Hartmut Ehrig: From Algebraic Graph Transformation to Adhesive HLR Categories and Systems. CAI 2007: 122-146
254EEPaolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König: Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets. CALCO 2007: 126-142
253EEJulia 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
252EEHartmut Ehrig, Karsten Ehrig, Claudia Ermel, Frank Hermann, Gabriele Taentzer: Information Preserving Bidirectional Model Transformations. FASE 2007: 72-86
251EEHartmut 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
250EEGuilherme Rangel, Barbara König, Hartmut Ehrig: Bisimulation Verification for the DPO Approach with Borrowed. ECEASST 6: (2007)
249EETihamer Levendovszky, Ulrike Prange, Hartmut Ehrig: Termination Criteria for DPO Transformations with Injective Matches. Electr. Notes Theor. Comput. Sci. 175(4): 87-100 (2007)
248EEJuan 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
246EEHartmut 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
245EEPaolo Baldan, Hartmut Ehrig, Barbara König: Composition and Decomposition of DPO Transformations with Borrowed Context. ICGT 2006: 153-167
244EEHartmut Ehrig, Fernando Orejas, Ulrike Prange: Categorical Foundations of Distributed Graph Transformation. ICGT 2006: 215-229
243EEDániel Varró, Szilvia Varró-Gyapay, Hartmut Ehrig, Ulrike Prange, Gabriele Taentzer: Termination Analysis of Model Transformations by Petri Nets. ICGT 2006: 260-274
242EEPaolo Baldan, Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg: Workshop on Petri Nets and Graph Transformations. ICGT 2006: 467-469
241EELeen Lambers, Hartmut Ehrig, Fernando Orejas: Conflict Detection for Graph Transformation with Negative Application Conditions. ICGT 2006: 61-76
240EEPaolo Baldan, Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg: Foreword. ECEASST 2: (2006)
239EEClaudia Ermel, Hartmut Ehrig, Karsten Ehrig: Semantical Correctness of Simulation-to-Animation Model and Rule Transformation. ECEASST 4: (2006)
238EEHartmut Ehrig, Kathrin Hoffmann, Julia Padberg: Transformations of Petri Nets. Electr. Notes Theor. Comput. Sci. 148(1): 151-172 (2006)
237EEHartmut 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)
236EELeen Lambers, Hartmut Ehrig, Fernando Orejas: Efficient Detection of Conflicts in Graph-based Model Transformation. Electr. Notes Theor. Comput. Sci. 152: 97-109 (2006)
235EEHartmut 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)
234EEHartmut 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)
233EEHartmut 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)
232EEJulia Padberg, Hartmut Ehrig: Petri net modules in the transformation-based component framework. J. Log. Algebr. Program. 67(1-2): 198-225 (2006)
231EEHartmut 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
230EEHartmut Ehrig, Karsten Ehrig, Juan de Lara, Gabriele Taentzer, Dániel Varró, Szilvia Varró-Gyapay: Termination Criteria for Model Transformation. FASE 2005: 49-63
229EEKathrin Hoffmann, Hartmut Ehrig, Till Mossakowski: High-Level Nets with Nets and Rules as Tokens. ICATPN 2005: 268-288
228EEHartmut 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
227EEHartmut 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
226EEHartmut Ehrig, Julia Padberg, Grzegorz Rozenberg: Preface. Electr. Notes Theor. Comput. Sci. 127(2): 1-3 (2005)
225EEHartmut 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)
224EEHartmut Ehrig: Behaviour and Instantiation of High-Level Petri Net Processes. Fundam. Inform. 65(3): 211-247 (2005)
223EEPaolo 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)
222EEHartmut 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
219EERoswitha 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
218EEHartmut Ehrig, Barbara König: Deriving Bisimulation Congruences in the DPO Approach to Graph Rewriting. FoSSaCS 2004: 151-166
217EEHartmut Ehrig, Annegret Habel, Julia Padberg, Ulrike Prange: Adhesive High-Level Replacement Categories and Systems. ICGT 2004: 144-160
216EEHartmut Ehrig, Ulrike Prange, Gabriele Taentzer: Fundamental Theory for Typed Attributed Graph Transformation. ICGT 2004: 161-177
215EEHartmut Ehrig, Karsten Ehrig, Annegret Habel, Karl-Heinz Pennemann: Constraints and Application Conditions: From Graphs to High-Level Structures. ICGT 2004: 287-303
214EEHartmut Ehrig, Julia Padberg, Grzegorz Rozenberg: Workshop on Petri Nets and Graph Transformations. ICGT 2004: 442-444
213EEHartmut 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)
210EEHartmut 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)
209EEHartmut 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
207EEHartmut Ehrig, Julia Padberg: Graph Grammars and Petri Net Transformations. Lectures on Concurrency and Petri Nets 2003: 496-536
206EEHerbert 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
205EEBenjamin Braatz, Hartmut Ehrig, Milan Urbásek: Petri Net Transformations in the "Petri Net Baukasten". Petri Net Technology for Communication-Based Systems 2003: 37-65
204EEClaudia 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)
202EEHartmut 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)
201EEHartmut Ehrig: Behaviour and Instantiation of High-Level Net Processes. Electr. Notes Theor. Comput. Sci. 82(7): (2003)
200EEFernando Orejas, Hartmut Ehrig: Components for Algebra Transformation Systems. Electr. Notes Theor. Comput. Sci. 82(7): (2003)
199EERoswitha 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
196EEHartmut Ehrig, Fernando Orejas, Benjamin Braatz, Markus Klein, Martti Piirainen: A Generic Component Framework for System Modeling. FASE 2002: 33-48
195EEHartmut 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)
192EEHartmut 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
189EEPaolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel: Compositional Modeling of Reactive Systems Using Open Nets. CONCUR 2001: 502-518
188EEJulia Padberg, Hartmut Ehrig: Parameterized Net Classes: A Uniform Approach to Petri Net Classes. Unifying Petri Nets 2001: 173-229
187EEJulia 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
186EEMagdalena Gajewsky, Hartmut Ehrig: The »Petri Net Baukasten«: An Overview. Unifying Petri Nets 2001: 26-53
185EEFernando 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
177EEReiko 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)
174EEHartmut Ehrig, Claudia Ermel, Julia Padberg: Preface. Electr. Notes Theor. Comput. Sci. 44(4): (2001)
173EEHartmut 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)
172EEHartmut Ehrig, Annegret Habel, Francesco Parisi-Presicce: Basic Results for Two Types of High-Level Replacement Systems. Electr. Notes Theor. Comput. Sci. 51: (2001)
171EEHartmut 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
164EEHartmut 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
156EEHartmut Ehrig, Robert Geisler, Marcus Klar, Julia Padberg: Horizontal and Vertical Structuring Techniques for Statecharts. CONCUR 1997: 181-195
155EEGregor Engels, Reiko Heckel, Gabriele Taentzer, Hartmut Ehrig: A View-Oriented Approach to System Modelling Based on Graph Transformation. ESEC / SIGSOFT FSE 1997: 327-343
154EEHartmut 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
150EEReiko Heckel, Hartmut Ehrig, Uwe Wolter, Andrea Corradini: Integrating the Specification Techniques of Graph Transformation and Temporal Logic. MFCS 1997: 219-228
149EEHartmut 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)
145EEGregor 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)
144EEFernando 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)
135EEHartmut 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
129EEFernando 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
115EEHartmut Ehrig, Rosa M. Jiménez, Fernando Orejas: Compositionality Results for Different Types of Parameterization and Parameter Passing in Specification Languages. TAPSOFT 1993: 31-45
114EEHartmut 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
111EEHartmut 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
99EEMichael 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
89EEMichael 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
81EEHartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Dean Jacobs: Algebraic Software Development Concepts for Module and Configuration Families. FSTTCS 1989: 181-192
80EEHartmut Ehrig, Peter Pepper, Fernando Orejas: On Recent Trends in Algebraic Specification. ICALP 1989: 263-288
79EEMartin 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
62EEHartmut 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
52EEHartmut 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
41EEHartmut 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
34EEHartmut 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
32EEHartmut 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
28EEHartmut Ehrig, Hans-Jörg Kreowski, Peter Padawitz: Algebraic Implementation of Abstract Data Types: Concept, Syntax, Semantics and Correctness. ICALP 1980: 142-156
27EEHartmut 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
26EEHartmut 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
13EEHartmut Ehrig, Hans-Jörg Kreowski, Peter Padawitz: Stepwise Specification and Implementation of Abstract Data Types. ICALP 1978: 205-226
12EEHartmut Ehrig, Barry K. Rosen: Concurrency of Manipulations in Multidimensional Information Structures. MFCS 1978: 165-176
11EEHartmut Ehrig, Hans-Jörg Kreowski, Andrea Maggiolo-Schettini, Barry K. Rosen, Józef Winkowski: Deriving Structures from Structures. MFCS 1978: 177-190
10EEHartmut 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
8EEHartmut Ehrig, Barry K. Rosen: The Mathematics of Record Handling. ICALP 1977: 206-220
1976
7EEHartmut 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

Coauthor Index

1Jean-Raymond Abrial [31]
2Helmut Adametz [98]
3Michael A. Arbib [85]
4Michael Baldamus [97] [101] [102] [162]
5Paolo Baldan [189] [195] [223] [240] [242] [245] [254] [257] [264] [266] [267]
6Roswitha Bardohl [161] [199] [204] [219] [248]
7Gabriel Baum (Gabriel A. Baum) [165]
8Enrico Biermann [253]
9Dénes Bisztray [261] [274] [278]
10Edward K. Blum [52] [59]
11Paul Boehm [51] [54] [63] [78] [84]
12Alexander Borusan [206]
13Benjamin Braatz [196] [202] [205] [209] [210] [222] [225]
14Wilfried Brauer [198]
15Robert Büssow [165]
16Ingo Claßen [76] [78] [86] [88] [105] [106]
17Volker Claus [19]
18Derek Coleman [31]
19Felix Cornelius [102] [162]
20Andrea Corradini [94] [117] [119] [125] [126] [128] [140] [150] [151] [152] [177] [189] [197] [223] [247] [254] [257] [264] [266]
21Janice E. Cuny [143]
22Werner Damm [221]
23Juliane Dehnert [206]
24Jörg Desel [221]
25Christian Dimitrovici [63] [84]
26Karsten Ehrig [215] [227] [228] [230] [233] [234] [237] [239] [248] [252] [263] [272]
27Gregor Engels [127] [143] [145] [155] [170] [220]
28Claudia Ermel [174] [204] [206] [239] [251] [252] [253] [258] [268] [272] [279] [280]
29Miguel Felder [165]
30Werner Fey [24] [33] [42] [45] [52] [72] [74] [75] [78] [81] [83] [99]
31Christiane Floyd [47] [48]
32Magdalena Gajewsky [148] [186]
33Robin M. Gallimore [31]
34Robert Geisler [156] [157] [165] [168] [178]
35Joseph A. Goguen [31]
36Martin Große-Rhode [63] [79] [84] [108] [121] [139] [168] [171] [178] [221]
37Esther Guerra [281]
38Annegret Habel [51] [92] [96] [172] [215] [217] [234] [235]
39Horst Hansen [42] [45] [72] [74] [75] [81] [83]
40Reiko Heckel [140] [145] [150] [151] [152] [155] [160] [177] [189] [191] [195] [223] [254] [257] [261] [264] [274] [277] [278]
41Frank Hermann [252] [259] [263] [279] [280]
42Horst Herrlich [70] [82]
43Kathrin Hoffmann [195] [229] [238] [251] [253] [276]
44Jane W. Hughes [31]
45Udo Hummert [51] [54]
46Dean Jacobs [75] [81] [83] [99]
47Stefan Jähnichen [165]
48Klaus P. Jantke [103]
49Rosa M. Jiménez [115] [133]
50Gabriel Juhás [190]
51Juhani Karhumäki [198]
52Marcus Klar [156] [157] [165] [168] [178]
53Markus Klein [196] [202] [209] [210] [222] [225]
54Barbara König [218] [231] [245] [250] [254] [257] [264] [266] [267] [271]
55Martin Korff [78] [93] [151]
56Robert A. Kowalski [65] [66]
57Hans-Jörg Kreowski [2] [5] [7] [10] [11] [13] [18] [22] [23] [24] [26] [27] [28] [29] [31] [32] [35] [40] [44] [82] [92] [96] [104] [118] [137] [170] [197]
58Wolfgang Kühnel [3] [17]
59Ralf-Detlef Kutsche [165]
60Leen Lambers [236] [241] [256] [260] [262] [265] [267] [270] [273]
61Anno Langen [75]
62Juan de Lara (Juan de Lara Jaramillo) [219] [228] [230] [248] [281]
63Sabine Lembke [206]
64Tihamer Levendovszky [249]
65Giorgio Levi [65] [66]
66Axel Liedtke [14]
67Mercè Llabrés [160] [191]
68Jacques Loeckx [50]
69Michael Löwe [54] [72] [74] [75] [78] [81] [83] [89] [90] [93] [94] [99] [109] [112] [113] [114] [117] [119] [125] [126] [128] [130] [140] [151] [152]
70Andrea Maggiolo-Schettini [11] [29]
71Bernd Mahr [25] [26] [30] [35] [46] [50] [105] [106] [136] [138] [142] [149] [182] [184]
72Stefan Mann [165] [168] [178]
73Leonardo Mariani [256] [273]
74Axel Martens [206]
75A. Merten [146]
76Tony Modica [253]
77Ugo Montanari [55] [65] [66] [94] [117] [119] [125] [126] [128] [152] [247]
78Till Mossakowski [229]
79Manfred Nagl [43] [64]
80Leif Sandegaard Nielsen [31]
81Maurice Nivat [47] [48]
82Pilar Nivela [71]
83Fernando Orejas [71] [80] [97] [101] [102] [103] [105] [106] [115] [123] [129] [130] [133] [137] [144] [159] [160] [162] [163] [173] [179] [180] [181] [185] [191] [192] [196] [200] [202] [209] [210] [225] [236] [241] [244] [260] [270] [275] [281]
84Peter Padawitz [13] [23] [26] [28] [35]
85Julia Padberg [110] [122] [125] [134] [146] [154] [156] [160] [163] [174] [179] [187] [188] [190] [195] [206] [207] [210] [214] [217] [226] [232] [235] [238] [240] [242] [251] [253] [276]
86Francesco Parisi-Presicce [52] [55] [59] [63] [72] [75] [83] [84] [91] [92] [95] [96] [100] [111] [120] [172] [220]
87Karl-Heinz Pennemann [215] [234]
88Peter Pepper [80]
89Sonia Pérez [210] [225]
90Mauro Pezzè [256] [273]
91Michael Pfender [1] [3]
92Martti Piirainen [196] [202] [209]
93Elvira Pino [129] [144] [185] [210] [225]
94Claudia Pons [165]
95Malcolm S. Powell [31]
96Ulrike Prange [216] [217] [227] [233] [235] [243] [244] [246] [248] [249] [251] [255] [265] [269] [270] [272] [275] [276] [279]
97Gerhard Preuß [82]
98Anilda Qemali [206]
99Guilherme Rangel [250] [267] [271]
100Horst Reichel [103]
101Wolfgang Reif [221]
102Wolfgang Reisig [147] [206] [208]
103Leila Ribeiro (Leila Ribeiro Korff) [110] [134] [151] [247]
104Catharina Rieckhoff [63] [84]
105Barry K. Rosen [8] [11] [12] [15] [20] [21] [29]
106Azriel Rosenfeld [64]
107Francesca Rossi [94] [117] [119] [126] [128] [152]
108Grzegorz Rozenberg [19] [43] [64] [104] [143] [160] [170] [187] [190] [197] [208] [214] [220] [226] [240] [242] [247] [277]
109Arto Salomaa [198]
110Hans Jürgen Schneider [1] [6] [132]
111Eckehard Schnieder [221]
112Gunnar Schröter [166]
113Ib Holm Sørensen [31]
114John Staples [36]
115Jørgen Steensgaard-Madsen [31]
116Gabriele Taentzer [118] [145] [155] [164] [169] [216] [219] [227] [228] [230] [233] [243] [248] [252] [259] [262] [277]
117James W. Thatcher [27] [32] [41] [44] [47] [48]
118Karl Wilhelm Tischer [4]
119Milan Urbásek [205]
120Dániel Varró [228] [230] [243]
121Szilvia Varró-Gyapay (Szilvia Gyapay) [228] [230] [243]
122Annika Wagner [151]
123Eric G. Wagner [27] [32] [41] [44] [58]
124Sergio Waldoke [165]
125Herbert Weber [10] [18] [49] [53] [165] [206] [208]
126Michael Weber [206]
127Engelbert Westkämper [221]
128Józef Winkowski [11] [29]
129Uwe Wolter [139] [141] [148] [150] [177]
130Jesse B. Wright [27] [32] [44]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)