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

Hartmut Ehrig Home Page Coauthor index pubzone.org

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

DBLP keys2012
331Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Claudia Ermel, Falk Hüffner, Rolf Niedermeier, Olga Runge: Confluence in Data Reduction: Bridging Graph Transformation and Kernelization. CiE 2012: 193-202
330Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Hermann, Hartmut Ehrig, Claudia Ermel, Fernando Orejas: Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars. FASE 2012: 178-193
329Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlrike Golas, Leen Lambers, Hartmut Ehrig, Fernando Orejas: Attributed graph transformation with inheritance: Efficient conflict detection and local confluence analysis using abstract critical pairs. Theor. Comput. Sci. 424: 46-68 (2012)
2011
328Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Claudia Ermel, Gabriele Taentzer: A Formal Resolution Strategy for Operation-Based Conflicts in Model Versioning Using Graph Modifications. FASE 2011: 202-216
327Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZinovy Diskin, Yingfei Xiong, Krzysztof Czarnecki, Hartmut Ehrig, Frank Hermann, Fernando Orejas: From State- to Delta-Based Bidirectional Model Transformations: The Symmetric Case. MoDELS 2011: 304-318
326Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Hermann, Hartmut Ehrig, Fernando Orejas, Krzysztof Czarnecki, Zinovy Diskin, Yingfei Xiong: Correctness of Model Synchronization Based on Triple Graph Grammars. MoDELS 2011: 668-682
325Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlrike Golas, Enrico Biermann, Hartmut Ehrig, Claudia Ermel: A Visual Interpreter Semantics for Statecharts Based on Amalgamated Graph Transformation. ECEASST 39: (2011)
324Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlrike Golas, Hartmut Ehrig, Frank Hermann: Formal Specification of Model Transformations by Triple Graph Grammars with Application Conditions. ECEASST 39: (2011)
323Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Frank Hermann, Hanna Schölzel, Christoph Brandt: Propagation of Constraints along Model Transformations Based on Triple Graph Grammars. ECEASST 41: (2011)
322Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Karsten Gabriel: Transformation of Algebraic High-Level Nets and Amalgamation of Processes with Applications to Communication Platforms. Int. J. Software and Informatics 5(1-2): 207-229 (2011)
321Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJochen Pfalzgraf, Hartmut Ehrig, Ulrike Golas, Thomas Soboll: Foreword. J. Symb. Comput. 46(3): 219-221 (2011)
2010
320Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Arend Rensink, Grzegorz Rozenberg, Andy Schürr: Graph Transformations - 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27 - - October 2, 2010. Proceedings Springer 2010
319Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Claudia Ermel, Olga Runge, Antonio Bucchiarone, Patrizio Pelliccione: Formal Analysis and Verification of Self-Healing Systems. FASE 2010: 139-153
318Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico Biermann, Hartmut Ehrig, Claudia Ermel, Ulrike Golas, Gabriele Taentzer: Parallel Independence of Amalgamated Graph Transformations Applied to Model Transformation. Graph Transformations and Model-Driven Engineering 2010: 121-140
317Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Hermann, Hartmut Ehrig, Fernando Orejas, Ulrike Golas: Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars. ICGT 2010: 155-170
316Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenjamin Braatz, Hartmut Ehrig, Karsten Gabriel, Ulrike Golas: Finitary M\mathcal{M}-Adhesive Categories. ICGT 2010: 234-249
315Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Annegret Habel, Leen Lambers, Fernando Orejas, Ulrike Golas: Local Confluence for Rules with Nested Application Conditions. ICGT 2010: 330-345
314Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlrike Golas, Hartmut Ehrig, Annegret Habel: Multi-Amalgamation in Adhesive Categories. ICGT 2010: 346-361
313Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Ulrike Golas, Frank Hermann: Categorical Frameworks for Graph Transformation and HLR Systems Based on the DPO Approach. Bulletin of the EATCS 102: 111-121 (2010)
312Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Annegret Habel, Leen Lambers: Parallelism and Concurrency Theorems for Rules with Nested Application Conditions. ECEASST 26: (2010)
311Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Hermann, Andrea Corradini, Hartmut Ehrig, Barbara König: Efficient Analysis of Permutation Equivalence of Graph Derivations Based on Petri Nets. ECEASST 29: (2010)
310Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig: From Separate Formal Specifications to Certified Integrated Visual Modelling Techniques and Environments - Position Statement. ECEASST 30: (2010)
309no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaudia Ermel, Hartmut Ehrig, Fernando Orejas, Gabriele Taentzer: International Colloquium on Graph and Model Transformation (GraMoT) 2010: Preface. ECEASST 30: (2010)
308Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaria Maximova, Hartmut Ehrig, Claudia Ermel: Formal Relationship between Petri Net and Graph Transformation Systems based on Functors between M-adhesive Categories. ECEASST 40: (2010)
307Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlrike Golas, Kathrin Hoffmann, Hartmut Ehrig, Alexander Rein, Julia Padberg: Functorial Analysis of Algebraic Higher-Order Net Systems with Applications to Mobile Ad-Hoc Networks. ECEASST 40: (2010)
306Electronic 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 meta models. Formal Asp. Comput. 22(3-4): 327-344 (2010)
305Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFernando Orejas, Hartmut Ehrig, Ulrike Prange: Reasoning with graph constraints. Formal Asp. Comput. 22(3-4): 385-422 (2010)
304Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFernando Orejas, Hartmut Ehrig, Markus Klein, Julia Padberg, Elvira Pino, Sonia Pérez: A Generic Approach to Connector Architectures Part I: The General Framework. Fundam. Inform. 99(1): 63-93 (2010)
303Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFernando Orejas, Hartmut Ehrig, Markus Klein, Julia Padberg, Elvira Pino, Sonia Pérez: A Generic Approach to Connector Architectures Part II: Instantiation to Petri Nets and CSP. Fundam. Inform. 99(1): 95-124 (2010)
2009
302Electronic 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
301Electronic 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
300Electronic 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
299Electronic 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
298no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Claudia Ermel, Frank Hermann, Barbara König: Behaviour Simulation and Equivalence of Systems Modelled by Graph Transformation. Bulletin of the EATCS 97: 117-125 (2009)
297no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Frank Hermann, Ulrike Prange: Cospan DPO Approach: An Alternative for DPO Graph Transformations. Bulletin of the EATCS 98: 139-149 (2009)
296Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Frank Hermann, Christoph Sartorius: Completeness and Correctness of Model Transformations based on Triple Graph Grammars with Negative Application Conditions. ECEASST 18: (2009)
295Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Karsten Ehrig, Claudia Ermel: Refactoring of Model Transformations. ECEASST 18: (2009)
294Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJulia Padberg, Hartmut Ehrig, Fernando Orejas: Towards Component Verification in the Generic Component Framework. Electr. Notes Theor. Comput. Sci. 203(7): 37-53 (2009)
293Electronic 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)
292Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Kathrin Hoffmann, Karsten Gabriel, Julia Padberg: Composition and Independence of High-Level Net Processes. Electr. Notes Theor. Comput. Sci. 242(2): 59-71 (2009)
2008
291no 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
290Electronic 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
289Electronic 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
288Electronic 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
287Electronic 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
286Electronic 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
285Electronic 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
284Electronic 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
283Electronic 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
282Electronic 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
281Electronic 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
280Electronic 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
279Electronic 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
278Electronic 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)
277no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Ulrike Prange: Flattening of Generalized Algebraic High-Level Nets. Bulletin of the EATCS 94: 151-160 (2008)
276no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Hermann, Hartmut Ehrig: Process Definition using Subobject Transformation Systems. Bulletin of the EATCS 95: 153-163 (2008)
275Electronic 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)
274Electronic 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)
273Electronic 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)
272Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKathrin Hoffmann, Hartmut Ehrig, Julia Padberg: Flexible Modeling of Emergency Scenarios using Reconfigurable Systems. ECEASST 12: (2008)
271Electronic 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)
270Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Jochen Pfalzgraf, Ulrike Prange: Preface. Electr. Notes Theor. Comput. Sci. 203(6): 1 (2008)
269Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeen Lambers, Hartmut Ehrig, Ulrike Prange, Fernando Orejas: Parallelism and Concurrency in Adhesive High-Level Replacement Systems with Negative Application Conditions. Electr. Notes Theor. Comput. Sci. 203(6): 43-66 (2008)
268Electronic 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)
267Electronic 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)
266Electronic 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)
265Electronic 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
264Electronic 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
263Electronic 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
262Electronic 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
261Electronic 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
260Electronic 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
259Electronic 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
258no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJulia Padberg, Hartmut Ehrig, Kathrin Hoffmann: Formal Modeling and Analysis of Flexible Processes in Mobile Ad-Hoc Networks. Bulletin of the EATCS 91: 120-124 (2007)
257no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDon S. Batory, Oscar Díaz, Hartmut Ehrig, Claudia Ermel, Ulrike Prange, Gabriele Taentzer: Model Transformations should be Functors. Bulletin of the EATCS 92: 75-81 (2007)
256no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Karsten Ehrig, Claudia Ermel, Ulrike Prange: Model Transformations by Graph Transformation are Functors. Bulletin of the EATCS 93: 134-142 (2007)
255Electronic 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)
254Electronic 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)
253Electronic 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
252no 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
251Electronic 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
250Electronic 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
249Electronic 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
248Electronic 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
247Electronic 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
246Electronic 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
245no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig: Footprints of HR in Initial Algebra and Final Coalgebra. Bulletin of the EATCS 88: 120-125 (2006)
244no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig: Report on ACCAT Workshop at ETAPS 2006: Applied and Computational Category Theory. Bulletin of the EATCS 89: 134-135 (2006)
243no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig: Revie of Dines Bjørner's Textbooks Software Engineering 1-3. Bulletin of the EATCS 90: 131-133 (2006)
242Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Baldan, Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg: Foreword. ECEASST 2: (2006)
241Electronic 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)
240Electronic 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)
239Electronic 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)
238Electronic 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)
237Electronic 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)
236Electronic 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)
235Electronic 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)
234Electronic 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)
233Electronic 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
232Electronic 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
231Electronic 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
230Electronic 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
229Electronic 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
228Electronic 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)
227Electronic 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)
226Electronic 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)
225Electronic 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)
224Electronic 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
223no 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
222no 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
221Electronic 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
220Electronic 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
219Electronic 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
218Electronic 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
217Electronic 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
216Electronic 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
215Electronic 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
214no 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)
213no 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)
212Electronic 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)
211Electronic 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
210no 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
209Electronic 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
208Electronic 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
207Electronic 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
206Electronic 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
205no 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)
204Electronic 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): 118-132 (2003)
203Electronic 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): 1-15 (2003)
202Electronic 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): 166-167 (2003)
201Electronic 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): 63-78 (2003)
2002
200no 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
199no 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
198Electronic 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
197Electronic 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
196no 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)
195no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig: Bigraphs meet Double Pushouts. Bulletin of the EATCS 78: 72-85 (2002)
194Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Fernando Orejas: Foreword Volume 72. Electr. Notes Theor. Comput. Sci. 72: (2002)
193Electronic Edition 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
192no 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
191Electronic 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
190Electronic 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
189Electronic 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
188Electronic 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
187Electronic 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
186no 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
185no 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
184no 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
183no 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
182no 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
181no 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
180no 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
179Electronic 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)
178no 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)
177no 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)
176Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Claudia Ermel, Julia Padberg: Preface. Electr. Notes Theor. Comput. Sci. 44(4): 188-189 (2001)
175Electronic 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): 199-226 (2001)
174Electronic 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: 127-138 (2001)
173Electronic 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
172no 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
171no 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
170no 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)
169no 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)
168no 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
167no 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
166Electronic 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)
165no 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)
164Electronic Edition 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
163Electronic Edition 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
162no 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
161Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Martin Große-Rhode, Uwe Wolter: Applications of Category Theory to the Area of Algebraic Specification in Computer Science. Applied Categorical Structures 6(1): 1-35 (1998)
160no 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)
159no 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)
158no 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
157Electronic 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
156Electronic 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
155Electronic 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
154no 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
153no 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
152no 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
151Electronic 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
150Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Bernd Mahr: Future Trends of TAPSOFT. TAPSOFT 1997: 6-10
149Electronic Edition 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
148no 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)
147no 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)
146Electronic 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)
145Electronic 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
144no 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
143no 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)
142no 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)
141no 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
140Electronic Edition 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
139no 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
138no 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)
137no 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)
136Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig: Introduction to COMPUGRAPH. Electr. Notes Theor. Comput. Sci. 2: 89-100 (1995)
135Electronic Edition 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)
134Electronic Edition 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
133no 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
132no 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
131Electronic Edition 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
130Electronic 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
129no 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
128Electronic Edition 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
127Electronic Edition 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
126Electronic Edition 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
125no 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)
124no 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)
123no 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)
122Electronic Edition 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
121no 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
120Electronic Edition 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
119Electronic Edition 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
118Electronic Edition 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
117no 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
116Electronic 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
115Electronic 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)
114Electronic Edition 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)
113Electronic Edition 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
112Electronic 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
111Electronic Edition 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
110no 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
109no 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)
108no 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)
107Electronic Edition 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)
106Electronic Edition 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
105no 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
104no 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
103no 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
102Electronic Edition 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
101Electronic Edition 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
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Löwe, Hartmut Ehrig, Werner Fey, Dean Jacobs: On the Relationship Between Algebraic Module Specifications and Program Modules. TAPSOFT, Vol.2 1991: 83-98
99no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Helmut Adametz: New Compatibility Results for Implementations within the Initial Algebraic Approach. Bulletin of the EATCS 43: 102-112 (1991)
98no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut 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)
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut 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
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Francesco Parisi-Presicce: A Match Operation for Rule-Based Modular System Design. ADT 1990: 74-97
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea 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
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut 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
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut 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
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut 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
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Michael Löwe: Computing by Graph Transformation: Overall Aims and New Results. Graph-Grammars and Their Application to Computer Science 1990: 688-703
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Löwe, Hartmut Ehrig: Algebraic Approach to Graph Transformation Based on Single Pushout Derivations. WG 1990: 338-353
89no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut 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)
88no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig: ESF-concepts linked with algebraic module specifications. Bulletin of the EATCS 41: 138-144 (1990)
87no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut 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)
86no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Michael A. Arbib: Linking Schemas and Module Specifications: A Proposal. Bulletin of the EATCS 42: 135 (1990)
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut 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)
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut 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
83no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut 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
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Dean Jacobs: Algebraic Software Development Concepts for Module and Configuration Families. FSTTCS 1989: 181-192
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Peter Pepper, Fernando Orejas: On Recent Trends in Algebraic Specification. ICALP 1989: 263-288
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Große-Rhode, Hartmut Ehrig: Transformation of Combined Data Type and Process Specifications Using Projection Algebras. REX Workshop 1989: 301-339
79no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut 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
78no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig: The Algebraic Specification Column. Bulletin of the EATCS 38: 79-92 (1989)
77no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut 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)
76no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut 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
75no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWerner Fey, Hartmut Ehrig, Horst Hansen, Michael Löwe: Algebraic Theory of Modular Specification Development. ADT 1988
74no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig: Categorical Concept of Constraints for Algebraic Specifications. Categorial Methods in Computer Science 1988: 1-15
73no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut 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
72no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFernando Orejas, Pilar Nivela, Hartmut Ehrig: Semantical Constructions for Categories of Behavioural Specifications. Categorial Methods in Computer Science 1988: 220-243
71no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHorst Herrlich, Hartmut Ehrig: The Construct PRO of Projection Spaces: Its Internal Structure. Categorial Methods in Computer Science 1988: 286-293
70no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig: The Algebraic Specification Column. Bulletin of the EATCS 34: 39-40 (1988)
69no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig: The Algebraic Specification Column. Bulletin of the EATCS 35: 69-70 (1988)
68no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig: The Algebraic Specification Column. Bulletin of the EATCS 36: 52-56 (1988)
1987
67no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut 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
66no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut 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
65no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut 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
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut 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
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig: Distributed Parallelism of Graph Transformations. WG 1987: 1-19
62no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig: The Algebraic Specification Column. Bulletin of the EATCS 32: 70-72 (1987)
61no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig: The Algebraic Specification Column. Bulletin of the EATCS 33: 25-26 (1987)
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEdward 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)
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEric G. Wagner, Hartmut Ehrig: Canonical Constraints for Parameterized Data Types. Theor. Comput. Sci. 50: 323-349 (1987)
1986
58no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig: Towards an Algebraic Semantics of the ISO Specification Language LOTOS. ADT 1986
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig: Tutorial introduction to the algebraic approach of graph grammars. Graph-Grammars and Their Application to Computer Science 1986: 3-14
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco Parisi-Presicce, Hartmut Ehrig, Ugo Montanari: Graph rewriting with unification and composition. Graph-Grammars and Their Application to Computer Science 1986: 496-514
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul Boehm, Hartmut Ehrig, Udo Hummert, Michael Löwe: Towards distributed graph grammars. Graph-Grammars and Their Application to Computer Science 1986: 86-98
54no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Herbert Weber: Programming in the Large with Algebraic Module Specifications (Invited Paper). IFIP Congress 1986: 675-684
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Werner Fey, Francesco Parisi-Presicce, Edward K. Blum: Algebraic Theory of Module Specification with Constraints. MFCS 1986: 59-77
52no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut 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)
51no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut 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)
50no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHerbert Weber, Hartmut Ehrig: Specification of Modular Systems. IEEE Trans. Software Eng. 12(7): 784-798 (1986)
1985
49no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut 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
48no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut 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
47no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Bernd Mahr: Fundamentals of Algebraic Specification 1: Equations und Initial Semantics Springer 1985
1984
46no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Werner Fey, Horst Hansen: Towards Abstract User Interfaces for Formal System Specifications. ADT 1984: 73-88
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut 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
44no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut 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
43no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Werner Fey, Horst Hansen: ACT ONE - An Algebraic Specification Language with two Levels of Semantics. ADT 1983
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Eric G. Wagner, James W. Thatcher: Algebraic Specifications with Generating Constraints. ICALP 1983: 188-202
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Hans-Jörg Kreowski: Compatibility of Parameter Passing and Implementation of Parameterized Data Types. Theor. Comput. Sci. 27: 255-286 (1983)
1982
40no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig: ACT - Algebraic Specification Technique for the Correct Design of Reliable Software Systems. ADT 1982
39no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig: Parameterized Data Types and Parameter Passing. ADT 1982
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig: Aspects of concurrency in graph grammars. Graph-Grammars and Their Application to Computer Science 1982: 58-81
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, John Staples: Church-Rosser properties for graph replacement systems with unique splitting. Graph-Grammars and Their Application to Computer Science 1982: 82-101
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Hans-Jörg Kreowski, Bernd Mahr, Peter Padawitz: Algebraic Implementation of Abstract Data Types. Theor. Comput. Sci. 20: 209-263 (1982)
1981
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig: Algebraic Theory of Parameterized Specifications with Requirements. CAAP 1981: 1-24
34no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Werner Fey: Methodology for the Specification of Software Systems: From Formal Requirements to Algebraic Design Specifications. GI Jahrestagung 1981: 255-269
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut 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
32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJø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
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Bernd Mahr: Complexity of Algebraic Implementations for Abstract Data Types. J. Comput. Syst. Sci. 23(2): 223-253 (1981)
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut 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
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Hans-Jörg Kreowski, Peter Padawitz: Algebraic Implementation of Abstract Data Types: Concept, Syntax, Semantics and Correctness. ICALP 1980: 142-156
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut 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
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Hans-Jörg Kreowski, Bernd Mahr, Peter Padawitz: Compound Algebraic Implementations: An Approach to Stepwise Refinement of Software Systems. MFCS 1980: 231-245
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Bernd Mahr: Complexity of Implementations on the Level of Algebraic Specifications STOC 1980: 281-293
25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Werner Fey, Hans-Jörg Kreowski: Algebraische Spezifikation eines Stücklistensystems - eine Fallstudie. Software Engineering 1980: 75-90
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Hans-Jörg Kreowski, Peter Padawitz: A Case Study of Abstract Implementations and Their Correctness. Symposium on Programming 1980: 108-122
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut 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)
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Barry K. Rosen: The Mathematics of Record Handling. SIAM J. Comput. 9(3): 441-469 (1980)
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Barry K. Rosen: Parallelism and Concurrency of Graph Manipulations. Theor. Comput. Sci. 11: 247-275 (1980)
1979
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker 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
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Hans-Jörg Kreowski, Herbert Weber: Neue Aspekte algebraischer Spezifikationsschemata für Datenbanksysteme. Formale Modelle für Informationssysteme 1979: 181-198
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Wolfgang Kühnel: Categorial approach to nonlinear constant continuous-time systems. ITA 13(2): (1979)
1978
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig: Introduction to the Algebraic Theory of Graph Grammars (A Survey). Graph-Grammars and Their Application to Computer Science and Biology 1978: 1-69
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Barry K. Rosen: Decomposition of Graph Grammar Productions and Derivations. Graph-Grammars and Their Application to Computer Science and Biology 1978: 192-205
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut 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
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Hans-Jörg Kreowski, Peter Padawitz: Stepwise Specification and Implementation of Abstract Data Types. ICALP 1978: 205-226
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Barry K. Rosen: Concurrency of Manipulations in Multidimensional Information Structures. MFCS 1978: 165-176
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Hans-Jörg Kreowski, Andrea Maggiolo-Schettini, Barry K. Rosen, Józef Winkowski: Deriving Structures from Structures. MFCS 1978: 177-190
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Hans-Jörg Kreowski, Herbert Weber: Algebraic Specification Schemes for Data Base Systems. VLDB 1978: 427-440
1977
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig: Embedding Theorem in the Algebraic Theory of Graph Grammars. FCT 1977: 245-255
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Barry K. Rosen: The Mathematics of Record Handling. ICALP 1977: 206-220
1976
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Hans-Jörg Kreowski: Parallelism of Manipulations in Multidimensional Information Structures. MFCS 1976: 284-293
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans Jürgen Schneider, Hartmut Ehrig: Grammars on Partial Graphs. Acta Inf. 6: 297-316 (1976)
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut 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
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Karl Wilhelm Tischer: Graph Grammars and Applications to Specialization and Evolution in Biology. J. Comput. Syst. Sci. 11(2): 212-236 (1975)
1974
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Klaus-Dieter Kiermeier, Hans-Jörg Kreowski, Wolfgang Kühnel: Universal theory of automata - a categorial approach. Teubner 1974: 1-240
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Wolfgang Kühnel, Michael Pfender: Diagram characterization. Category Theory Applied to Computation and Control 1974: 137-143
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Hans-Jörg Kreowski: Power and initial automata in pseudoclosed categories. Category Theory Applied to Computation and Control 1974: 144-150
1973
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Michael Pfender, Hans Jürgen Schneider: Graph-Grammars: An Algebraic Approach SWAT (FOCS) 1973: 167-180

Coauthor Index

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

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page