Вы здесь

Главная

Ehrig H.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Integrating Meta-modeling Aspects with Graph Transformation for Efficient Visual Language Definition and Model Manipulation 2004 Bardohl R., Ehrig H., De Lara J., Taentzer G. Lecture Notes in Computer Science 16.04.2004
СТ A Generic Component Framework for System Modeling 2002 Ehrig H., Orejas F., Braatz B., Klein M., Piirainen M. Lecture Notes in Computer Science 15.05.2002
СТ High-Level Net Progresses 2002 Ehrig H., Hoffmann K., Padberg J., Baldan P., Heckel R. Lecture Notes in Computer Science 14.03.2002
М Distribute Laws for Composition and Union of Module Specifications for Software Systems 1986 Ehrig H., Fey W., Parisi-Presicce F. IFIP: TC 2, Working Conf. on Program Specification and Transformation 09.12.1999
СТ From Abstract Data Types to Algebraic Development Techniques: A Shift of Paradigms 1998 Ehrig H., Gajewsky M., Wolter U. Lecture Notes in Computer Science 07.05.1998
СТ A Uniform Approach to Petri Nets 1997 Ehrig H., Padberg J. Lecture Notes in Computer Science 28.11.1997
СТ A View-Oriented Approach to System Modeling Based on Graph Transformation 1997 Engels G., Heckel R., Taentzer G., Ehrig H. Lecture Notes in Computer Science 07.10.1997
СТ Future Trends of TAPSOFT 1997 Ehrig H., Mahr B. Lecture Notes in Computer Science 16.05.1997
СТ Algebraic Techniques in Software Development 1996 Ehrig H., Mahr B. EATCS Bull. 21.03.1996
СТ How to Cope with the Spectrum of Spectrum 1995 Wolter U., Didrich K., Cornelius F., Klar M., Wessaly R., Ehrig H. Lecture Notes in Computer Science KORSO: Methods, Languages, and Tools for the Construction of Correct Software 28.12.1995
СТ A Decade of TAPSOFT: Aspects of Progress and Prospects in Theory and Practice of Software Development 1995 Ehrig H., Mahr B. Lecture Notes in Computer Science 15.06.1995
СТ Dynamic Abstract Data Types Based on Algebraic Graph Transformations 1995 Ehrig H., Lowe M., Orejas F. Lecture Notes in Computer Science 24.05.1995
СТ The Algebraic Specification Column 1995 Ehrig H. EATCS Bull. 13.04.1995
СТ Linking Algebraic High Level Nets and Dynamic Abstract Data Types 1994 Ehrig H., Padberg J. EATCS Bull. 07.12.1994
СТ Algebraic High Level Nets: Petri Nets Revisited 1994 Ehrig H., Padberg J., Ribeiro L. Lecture Notes in Computer Science 04.06.1994
СТ FLEX: A Flexible Extension and Integration Concept for Software Development in KORSO and COMPASS 1994 Ehrig H. EATCS Bull. 20.04.1994
СТ Compositionality Results for Different Types of Parameterization and Parameter Passing in Specification Languages 1993 Ehrig H. Lecture Notes in Computer Science 26.05.1993
СТ Computing by Graph Transformation (COMPUCRAPH) 1992 Ehrig H., Lowe M. EATCS Bull. 19.08.1992
СТ Restriction Constructions in Specification Logics 1992 Grosse-Rhode M., Ehrig H. EATCS Bull. 07.08.1992
СТ On the Relationship Between Algebraic Module Specifications and Program Modules 1991 Lowe M., Ehrig H., Fey W. Lecture Notes in Computer Science 21.05.1991
СТ Compatibility Problems in the Development of Algebraic Module Specifications 1990 Ehrig H., Fey W., Hansen H., Lowe M., Jacobs D., Parisi-Presicce F. Theoretical Computer Science 12.02.1991

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Graph Transformations: Proc./6th International Conference, ICGT 2012, Bremen, Germany, September 2012 2012 Lecture Notes in Computer Science
  1. Ehrig H.
  2. Engels G.
  3. Kreowski H. -J.
  4. Rozenberg G.
 01.10.2012
СБ Graph Transformations: Proc./5th International Conference, ICGT 2010, Enschede, The Netherland, September/October 2010 2010 Lecture Notes in Computer Science
  1. Ehrig H.
  2. Rensink A.
  3. Rozenberg G.
  4. Schurr A.
 23.11.2010
СБ Graph Transformations: Proc./4th International Conference, ICGT 2008. Leicester, UK, September 2008 2008 Lecture Notes in Computer Science
  1. Ehrig H.
  2. Heckel R.
  3. Rozenberg G.
  4. Taentzer G.
 03.10.2008
СБ Graph Transformations: Proc./Third International Conference, ICGT 2006. Natal Rio Grande de Norte, Brazil, September 2006 2006 Lecture Notes in Computer Science
  1. Corradini A.
  2. Ehrig H.
  3. Montanari U.
  4. Ribeiro L.
 11.01.2007
СБ Graph Transformations: Proc./Second International Conference, ICGT 2004. Rome, Italy, September/October 2004 2004 Lecture Notes in Computer Science
  1. Ehrig H.
  2. Engels G.
  3. Parisi-Presicce F.
  4. Rozenberg G.
 21.12.2004
СБ Petri Net Technology for Communication-Based Systems 2003 Lecture Notes in Computer Science
  1. Ehrig H.
  2. Reisig W.
  3. Rozenberg G.
  4. Weber H.
 Advances in Petri Nets 15.01.2004
СБ Graph Transformation: Proc./First Intern. Conf., ICGT 2002, Barcelona, Spain, October 2002 2002 Lecture Notes in Computer Science
  1. Corradini A.
  2. Ehrig H.
  3. Kreowski H. -J.
  4. Rozenberg G.
 30.10.2002
СБ Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg 2002 Lecture Notes in Computer Science
  1. Brauer W.
  2. Ehrig H.
  3. Karhumaki J.
  4. Salomaa A.
 14.03.2002
СБ Unifying Petri Nets: Advances in Petri Nets 2001 Lecture Notes in Computer Science
  1. Ehrig H.
  2. Juhas G.
  3. Padberg J.
  4. Rozenberg G.
 02.02.2002
СБ Theory and Application of Graph Transformations: Proc./6th Intern. Workshop, TAGT 98. Paderborn, Germany, November 1998 2000 Lecture Notes in Computer Science
  1. Ehrig H.
  2. Engels G.
  3. Kreowski H. -J.
  4. Rozenberg G.
 13.04.2000
СБ Recent Trends in Data Type Specification: Selected Papers/9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop. Caldes de Malavella, Spain, October 1992 1994 Lecture Notes in Computer Science
  1. Ehrig H.
  2. Orejas F.
 02.06.1994
СБ Graph Transformations in Computer Science: Proc./Intern. Workshop. Dagstuhl Castle, Germany, January 1993 1994 Lecture Notes in Computer Science
  1. Schneider H. J.
  2. Ehrig H.
 26.04.1994