Hartmut Ehrig Home Page Coauthor index DBLP Vis pubzone.org

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

DBLP keys2009
284Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFernando Orejas, Esther Guerra, Juan de Lara, Hartmut Ehrig: Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation. CALCO 2009: 383-397
283Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Hermann, Hartmut Ehrig, Claudia Ermel: Transformation of Type Graphs with Inheritance for Ensuring Security in E-Government Networks. FASE 2009: 325-339
282Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut 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
281Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaudia Ermel, Tony Modica, Enrico Biermann, Hartmut Ehrig, Kathrin Hoffmann: Modeling multicasting in communication spaces by reconfigurable high-level Petri nets. VL/HCC 2009: 47-50
280Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDénes Bisztray, Reiko Heckel, Hartmut Ehrig: Compositionality of Model Transformations. Electr. Notes Theor. Comput. Sci. 236: 5-19 (2009)
279Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Kathrin Hoffmann, K. Gabriel, Julia Padberg: Composition and Independence of High-Level Net Processes. Electr. Notes Theor. Comput. Sci. 242(2): 59-71 (2009)
2008
278no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Reiko Heckel, Grzegorz Rozenberg, Gabriele Taentzer: Graph Transformations, 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings Springer 2008
277Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlrike Prange, Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg: Transformations in Reconfigurable Place/Transition Systems. Concurrency, Graphs and Models 2008: 96-113
276Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFernando Orejas, Hartmut Ehrig, Ulrike Prange: A Logic of Graph Constraints. FASE 2008: 179-198
275Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDénes Bisztray, Reiko Heckel, Hartmut Ehrig: Verification of Architectural Refactorings by Rule Extraction. FASE 2008: 347-361
274Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeen Lambers, Leonardo Mariani, Hartmut Ehrig, Mauro Pezzè: A Formal Framework for Developing Adaptable Service-Based Applications. FASE 2008: 392-406
273Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Karsten Ehrig, Claudia Ermel, Ulrike Prange: Consistent Integration of Models Based on Views of Visual Languages. FASE 2008: 62-76
272Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuilherme Rangel, Barbara König, Hartmut Ehrig: Deriving Bisimulation Congruences in the Presence of Negative Application Conditions. FoSSaCS 2008: 413-427
271Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeen Lambers, Hartmut Ehrig, Ulrike Prange, Fernando Orejas: Embedding and Confluence of Graph Transformations with Negative Application Conditions. ICGT 2008: 162-177
270Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Ulrike Prange: Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels. ICGT 2008: 178-193
269Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Claudia Ermel: Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation. ICGT 2008: 194-210
268Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuilherme 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
267Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Baldan, Andrea Corradini, Hartmut Ehrig, Barbara König: Open Petri Nets: Non-deterministic Processes and Compositionality. ICGT 2008: 257-273
266Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDénes Bisztray, Reiko Heckel, Hartmut Ehrig: Compositional Verification of Architectural Refactorings. WADS 2008: 308-333
265Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlrike 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)
264Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König: Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets CoRR abs/0809.4115: (2008)
263Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Karsten Ehrig, Frank Hermann: From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph Grammars. ECEASST 10: (2008)
262Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeen Lambers, Hartmut Ehrig, Gabriele Taentzer: Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences. ECEASST 10: (2008)
261Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDénes Bisztray, Reiko Heckel, Hartmut Ehrig: Verification of Architectural Refactorings: Rule Extraction and Tool Support. ECEASST 16: (2008)
260Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeen 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)
259Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank 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)
258Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaudia Ermel, Hartmut Ehrig: Behavior-Preserving Simulation-to-Animation Model and Rule Transformations. Electr. Notes Theor. Comput. Sci. 213(1): 55-74 (2008)
257Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo 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
256Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeen Lambers, Hartmut Ehrig, Leonardo Mariani, Mauro Pezzè: Iterative model-driven development of adaptable service-based applications. ASE 2007: 453-456
255Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlrike Prange, Hartmut Ehrig: From Algebraic Graph Transformation to Adhesive HLR Categories and Systems. CAI 2007: 122-146
254Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König: Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets. CALCO 2007: 126-142
253Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJulia 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
252Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Karsten Ehrig, Claudia Ermel, Frank Hermann, Gabriele Taentzer: Information Preserving Bidirectional Model Transformations. FASE 2007: 72-86
251Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut 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
250Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuilherme Rangel, Barbara König, Hartmut Ehrig: Bisimulation Verification for the DPO Approach with Borrowed. ECEASST 6: (2007)
249Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTihamer Levendovszky, Ulrike Prange, Hartmut Ehrig: Termination Criteria for DPO Transformations with Injective Matches. Electr. Notes Theor. Comput. Sci. 175(4): 87-100 (2007)
248Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan 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
247no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea 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
246Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut 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
245Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Baldan, Hartmut Ehrig, Barbara König: Composition and Decomposition of DPO Transformations with Borrowed Context. ICGT 2006: 153-167
244Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Fernando Orejas, Ulrike Prange: Categorical Foundations of Distributed Graph Transformation. ICGT 2006: 215-229
243Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDániel Varró, Szilvia Varró-Gyapay, Hartmut Ehrig, Ulrike Prange, Gabriele Taentzer: Termination Analysis of Model Transformations by Petri Nets. ICGT 2006: 260-274
242Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Baldan, Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg: Workshop on Petri Nets and Graph Transformations. ICGT 2006: 467-469
241Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeen Lambers, Hartmut Ehrig, Fernando Orejas: Conflict Detection for Graph Transformation with Negative Application Conditions. ICGT 2006: 61-76
240Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Baldan, Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg: Foreword. ECEASST 2: (2006)
239Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaudia Ermel, Hartmut Ehrig, Karsten Ehrig: Semantical Correctness of Simulation-to-Animation Model and Rule Transformation. ECEASST 4: (2006)
238Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Kathrin Hoffmann, Julia Padberg: Transformations of Petri Nets. Electr. Notes Theor. Comput. Sci. 148(1): 151-172 (2006)
237Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut 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)
236Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeen Lambers, Hartmut Ehrig, Fernando Orejas: Efficient Detection of Conflicts in Graph-based Model Transformation. Electr. Notes Theor. Comput. Sci. 152: 97-109 (2006)
235Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut 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)
234Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut 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)
233Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut 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)
232Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJulia Padberg, Hartmut Ehrig: Petri net modules in the transformation-based component framework. J. Log. Algebr. Program. 67(1-2): 198-225 (2006)
231Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut 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
230Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Karsten Ehrig, Juan de Lara, Gabriele Taentzer, Dániel Varró, Szilvia Varró-Gyapay: Termination Criteria for Model Transformation. FASE 2005: 49-63
229Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKathrin Hoffmann, Hartmut Ehrig, Till Mossakowski: High-Level Nets with Nets and Rules as Tokens. ICATPN 2005: 268-288
228Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut 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
227Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut 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
226Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Julia Padberg, Grzegorz Rozenberg: Preface. Electr. Notes Theor. Comput. Sci. 127(2): 1-3 (2005)
225Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut 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)
224Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig: Behaviour and Instantiation of High-Level Petri Net Processes. Fundam. Inform. 65(3): 211-247 (2005)
223Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo 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)
222Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut 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
221no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut 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
220no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut 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
219Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoswitha 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
218Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Barbara König: Deriving Bisimulation Congruences in the DPO Approach to Graph Rewriting. FoSSaCS 2004: 151-166
217Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Annegret Habel, Julia Padberg, Ulrike Prange: Adhesive High-Level Replacement Categories and Systems. ICGT 2004: 144-160
216Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Ulrike Prange, Gabriele Taentzer: Fundamental Theory for Typed Attributed Graph Transformation. ICGT 2004: 161-177
215Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Karsten Ehrig, Annegret Habel, Karl-Heinz Pennemann: Constraints and Application Conditions: From Graphs to High-Level Structures. ICGT 2004: 287-303
214Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Julia Padberg, Grzegorz Rozenberg: Workshop on Petri Nets and Graph Transformations. ICGT 2004: 442-444
213Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig: Integration of Software Specification Techniques for Applications in Engineering: Introduction and Overview of Results. SoftSpez Final Report 2004: 1-8
212no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig: Attributed Graphs and Typing: Reationshi between Different Representations (Column: Formal Specification). Bulletin of the EATCS 82: 175-190 (2004)
211no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig: Integration of Specification Techniques for Applications in Engineering 1998-2004 (Column: Formal Specification). Bulletin of the EATCS 83: 156-158 (2004)
210Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut 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)
209Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut 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
208no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Wolfgang Reisig, Grzegorz Rozenberg, Herbert Weber: Petri Net Technology for Communication-Based Systems - Advances in Petri Nets Springer 2003
207Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Julia Padberg: Graph Grammars and Petri Net Transformations. Lectures on Concurrency and Petri Nets 2003: 496-536
206Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHerbert 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
205Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenjamin Braatz, Hartmut Ehrig, Milan Urbásek: Petri Net Transformations in the "Petri Net Baukasten". Petri Net Technology for Communication-Based Systems 2003: 37-65
204Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaudia Ermel, Roswitha Bardohl, Hartmut Ehrig: Generation of Animation Views for Petri Nets in GenGED. Petri Net Technology for Communication-Based Systems 2003: 83-108
203no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig: On the relevance of high-level net processes, Formal Specification Column. Bulletin of the EATCS 79: 64-68 (2003)
202Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut 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)
201Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig: Behaviour and Instantiation of High-Level Net Processes. Electr. Notes Theor. Comput. Sci. 82(7): (2003)
200Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFernando Orejas, Hartmut Ehrig: Components for Algebra Transformation Systems. Electr. Notes Theor. Comput. Sci. 82(7): (2003)
199Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoswitha Bardohl, Hartmut Ehrig: Preface UNIGRA'03 - Uniform Approaches to Graphical Process Specification Techniques. Electr. Notes Theor. Comput. Sci. 82(7): (2003)
2002
198no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilfried 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
197no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea 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
196Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Fernando Orejas, Benjamin Braatz, Markus Klein, Martti Piirainen: A Generic Component Framework for System Modeling. FASE 2002: 33-48
195Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Kathrin Hoffmann, Julia Padberg, Paolo Baldan, Reiko Heckel: High-Level Net Processes. Formal and Natural Computing 2002: 191-219
194no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig: A Review of Algebraic Specification and Component Techniques at TU Berlin. Bulletin of the EATCS 76: 84-87 (2002)
193no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig: Bigraphs meet Double Pushouts. Bulletin of the EATCS 78: 72-85 (2002)
192Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Fernando Orejas: Foreword Volume 72. Electr. Notes Theor. Comput. Sci. 72: (2002)
191no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReiko 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
190no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Gabriel Juhás, Julia Padberg, Grzegorz Rozenberg: Unifying Petri Nets, Advances in Petri Nets Springer 2001
189Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel: Compositional Modeling of Reactive Systems Using Open Nets. CONCUR 2001: 502-518
188Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJulia Padberg, Hartmut Ehrig: Parameterized Net Classes: A Uniform Approach to Petri Net Classes. Unifying Petri Nets 2001: 173-229
187Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJulia 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
186Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMagdalena Gajewsky, Hartmut Ehrig: The »Petri Net Baukasten«: An Overview. Unifying Petri Nets 2001: 26-53
185Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFernando Orejas, Hartmut Ehrig, Elvira Pino: Tight and Loose Semantics for Transformation Systems. WADT 2001: 238-255
184no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut 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
183no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig: On the Role of Formal Specification Techniques: From TAPSOFT 1985 to ETAPS 2000. Current Trends in Theoretical Computer Science 2001: 131-133
182no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut 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
181no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Fernando Orejas: Dynamic Abstract Data Types: An Informal Proposal in 1994. Current Trends in Theoretical Computer Science 2001: 180-191
180no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Fernando Orejas: Integration Paradigm for Data Type and Process Specification Techniques. Current Trends in Theoretical Computer Science 2001: 192-201
179no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Julia Padberg, Fernando Orejas: From Basic Views and Aspects to Integration of Specification Formalisms. Current Trends in Theoretical Computer Science 2001: 202-214
178no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut 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
177Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReiko 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)
176no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig: On the Roots, Birth and Childhood of ETAPS. Bulletin of the EATCS 74: 58-60 (2001)
175no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut 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)
174Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Claudia Ermel, Julia Padberg: Preface. Electr. Notes Theor. Comput. Sci. 44(4): (2001)
173Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut 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)
172Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Annegret Habel, Francesco Parisi-Presicce: Basic Results for Two Types of High-Level Replacement Systems. Electr. Notes Theor. Comput. Sci. 51: (2001)
171Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Martin Große-Rhode: Integration von Techniken der Softwarespezifkation fuer ingenieurwissenschaftliche Anwendungen. Inform., Forsch. Entwickl. 16(2): 110-117 (2001)
2000
170no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut 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
169no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Gabriele Taentzer: A Proposal for Consistent Integration of Visual Computing with Visual Development of Software Components. ICALP Satellite Workshops 2000: 427-434
168no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut 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)
167no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig: On the Role of Formal Specification Techniques: From TAPSOFT 1985 to ETAPS 2000. Bulletin of the EATCS 71: 90-91 (2000)
166no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut 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
165no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHerbert 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
164Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Gabriele Taentzer: Graphical Represenation and Graph Transformation. ACM Comput. Surv. 31(3es): 9 (1999)
163no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Julia Padberg, Fernando Orejas: From Basic Views and Aspects to Integration of Specification Formalisms. Bulletin of the EATCS 69: 98-109 (1999)
162no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFelix Cornelius, Michael Baldamus, Hartmut Ehrig, Fernando Orejas: Abstract and behaviour module specifications. Mathematical Structures in Computer Science 9(1): 21-62 (1999)
1998
161no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoswitha Bardohl, Hartmut Ehrig: Conceptual Model of the Graphical Editor GENGED for the Visual Definition of Visual Languages. TAGT 1998: 252-266
160no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut 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
159no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Fernando Orejas: Integration Paradigm for Data Type and Process Specification Techniques. Bulletin of the EATCS 65: 90-97 (1998)
158no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig: EATCS Mini-Track of FM'99. Bulletin of the EATCS 66: 83-84 (1998)
157no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut 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
156Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Robert Geisler, Marcus Klar, Julia Padberg: Horizontal and Vertical Structuring Techniques for Statecharts. CONCUR 1997: 181-195
155Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGregor Engels, Reiko Heckel, Gabriele Taentzer, Hartmut Ehrig: A View-Oriented Approach to System Modelling Based on Graph Transformation. ESEC / SIGSOFT FSE 1997: 327-343
154Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Julia Padberg: A Uniform Approach to Petri Nets. Foundations of Computer Science: Potential - Theory - Cognition 1997: 219-231
153no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig: DFG-Schwerpunktprogramm "Integration von Techniken der Softwarespezifikation für ingenieurwissenschaftliche Anwendungen". GI Jahrestagung 1997: 180-181
152no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea 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
151no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut 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
150Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReiko Heckel, Hartmut Ehrig, Uwe Wolter, Andrea Corradini: Integrating the Specification Techniques of Graph Transformation and Temporal Logic. MFCS 1997: 219-228
149Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Bernd Mahr: Future Trends of TAPSOFT. TAPSOFT 1997: 6-10
148no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Magdalena Gajewsky, Uwe Wolter: From abstract data types to algebraic development techniques: A shift of paradigms. WADT 1997: 1-17
147no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Wolfgang Reisig: An Algebraic View on Petri Nets. Bulletin of the EATCS 61: (1997)
146no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, A. Merten, Julia Padberg: How to Transfer Concepts of Abstract Data Types to Petri Nets? Bulletin of the EATCS 62: (1997)
145Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGregor 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)
144Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFernando Orejas, Elvira Pino, Hartmut Ehrig: Institutions for Logic Programming. Theor. Comput. Sci. 173(2): 485-511 (1997)
1996
143no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJanice 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
142no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Bernd Mahr: Algebraic Techniques in Software Development. Bulletin of the EATCS 58: (1996)
141no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Uwe Wolter: The Impact and Future Role of Algebraic Specification. Bulletin of the EATCS 60: 74-77 (1996)
140no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReiko 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
139no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Martin Große-Rhode, Uwe Wolter: On the Role of Category Theory in the Area of Algebraic Specification. COMPASS/ADT 1995: 17-48
138no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Bernd Mahr: A Decade of TAPSOFT: Aspects of Process and Prospects in Theory and Practice of Software Development. TAPSOFT 1995: 3-24
137no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut 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)
136no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Bernd Mahr: Theory and Practice of Software Development: A Review of Driving Forces and Expectations. Bulletin of the EATCS 57: (1995)
135Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig: Introduction to COMPUGRAPH. Electr. Notes Theor. Comput. Sci. 2: (1995)
134no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJulia Padberg, Hartmut Ehrig, Leila Ribeiro: Algebraic High-Level Net Transformation Systems. Mathematical Structures in Computer Science 5(2): 217-256 (1995)
133no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRosa 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
132no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans Jürgen Schneider, Hartmut Ehrig: Graph Transformations in Computer Science, International Workshop, Dagstuhl Castle, Germany, January 1993, Proceedings Springer 1994
131no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut 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
130no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Michael Löwe, Fernando Orejas: Dynamic Abstract Data Types Based on Algebraic Graph Transformations. COMPASS/ADT 1994: 236-254
129Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFernando Orejas, Elvira Pino, Hartmut Ehrig: Algebraic Methods in the Compositional Analysis of Logic Programs. MFCS 1994: 112-126
128no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Francesca Rossi: An Event Structure Semantics for Safe Graph Grammars. PROCOMET 1994: 423-444
127no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Gregor Engels: Pragmatic and Semantic Aspects of a Module Concept for Graph Transformation Systems. TAGT 1994: 137-154
126no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Francesca Rossi: An Event Structure Semantics for Graph Grammars with Parallel Productions. TAGT 1994: 240-256
125no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea 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
124no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig: FLEX: A Flexible Extension and Integration Concept for Software Development in SORSo and COMPASS. Bulletin of the EATCS 52: 188-202 (1994)
123no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Fernando Orejas: Dynamic Abstract Data Types: An informal Proposal. Bulletin of the EATCS 53: 162-169 (1994)
122no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Julia Padberg: Linking Algebraic High level Nets and Dynamic Abstract Data. Bulletin of the EATCS 54: 132-144 (1994)
121no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Martin Große-Rhode: Functorial Theory of Parameterized Specifications in a General Specification Framework. Theor. Comput. Sci. 135(2): 221-266 (1994)
1993
120no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Francesco Parisi-Presicce: Interaction between Algebraic Specification Grammars and Modular System Design. AMAST 1993: 217-224
119no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea 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
118no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut 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
117no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea 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
116no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig: Combined Algebraic Specification Techniques for Concurrent and Distributed Systems. GI Jahrestagung 1993: 528-533
115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Rosa M. Jiménez, Fernando Orejas: Compositionality Results for Different Types of Parameterization and Parameter Passing in Specification Languages. TAPSOFT 1993: 31-45
114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut 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)
113no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Michael Löwe: Parallel and Distributed Derivations in the Single-Pushout Approach. Theor. Comput. Sci. 109(1&2): 123-143 (1993)
112no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut 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
111Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Francesco Parisi-Presicce: High-Level-Replacement Systems for Equational Algebraic Specifications. ALP 1992: 3-20
110no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Julia Padberg, Leila Ribeiro: Algebraic High-Level Nets: Petri Nets Revisited. COMPASS/ADT 1992: 188-206
109no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Michael Löwe: From Parallel to Distributed Derivations of Graphs in the Single-Pushout-Approach. Informatik zwischen Wissenschaft und Gesellschaft 1992: 47-65
108no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Große-Rhode, Hartmut Ehrig: Restriction Constructions in Specification Logics. Bulletin of the EATCS 46: 84-89 (1992)
107no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig: Some important new facts supporting the development of algebraic specifications. Bulletin of the EATCS 47: 135-136 (1992)
106no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut 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)
105no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut 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
104no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut 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
103no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut 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
102no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Michael Baldamus, Felix Cornelius, Fernando Orejas: Theory of Algebraic Module Specification including Behavioral Semantics and Constraints. AMAST 1991: 145-172
101no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Michael Baldamus, Fernando Orejas: New Concepts of Amalgamation and Extension for a General Theory of Specifications. COMPASS/ADT 1991: 199-221
100no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Francesco Parisi-Presicce: Non-Equivalence of Categories for Equational Algebraic Specifications. COMPASS/ADT 1991: 222-235
99Electronic Edition pubzone.org CiteSeerX Google scholar