Hispanopedia Wiki
Articulo de referencia

Hartmut Ehrig

[[Graph grammar]]s"},"workplaces":{"wt":"[[TU Berlin]]"},"patrons":{"wt":""},"education":{"wt":""},"alma_mater":{"wt":"[[TU Berlin]]"},"thesis1_title":{"wt":"Übertragung univers...

Hispanopedia WikiContenido en espanolLectura gratuita

Hartmut Ehrig (nacido el 6 de diciembre de 1944 en Angermünde ; fallecido el 17 de marzo de 2016) fue un científico informático alemán y profesor de informática teórica y especificación formal. Fue pionero en la especificación algebraica de tipos de datos abstractos y en gramáticas de grafos . [ 2 ]

Vitae

En 1969, Ehrig recibió su diploma en matemáticas de la Universidad Técnica de Berlín . En 1971, obtuvo su doctorado y en 1974 su habilitación en la misma universidad. Posteriormente, realizó estancias de investigación en el Centro de Investigación Thomas J. Watson , entre otros. En 1976, se convirtió en profesor de la TU Berlín y director de su Instituto de Ingeniería de Software e Informática Teórica. En 1984, fue nombrado catedrático de la TU Berlín. Entre 1981 y 1991, también fue decano de su Departamento de Informática durante varios periodos. Fue vicepresidente de la EATCS de 1997 a 2002. Se jubiló el 1 de octubre de 2010. [ 2 ] [ 3 ]

Publicaciones seleccionadas

  • Hartmut Ehrig (1971). Übertragung universeller und spezieller Probleme in F-Morphismendarstellung (tesis doctoral). Universidad Técnica de Berlín.
  • Hartmut Ehrig; Michael Pfender (1972). Categorías y automatizaciones . Berlín: de Gruyter. doi : 10.1515/9783110832020 . ISBN 3-11-003902-8.
  • Hartmut Ehrig; Klaus-Dieter Kiermeier; Hans-Jörg Kreowski; Wolfgang Kühnel (1974). Teoría universal de los autómatas : un enfoque categorial . Stuttgart: Teubner. ISBN 3-519-02054-8.
  • Volker Claus; Hartmut Ehrig; Grzegorz Rozenberg, eds. (1979). «Un lema de bombeo para lenguajes de grafos libres de contexto». Gramáticas de grafos y su aplicación a la informática y la biología . Notas de clase en informática. Vol.  73. Heidelberg: Springer. pp. 270–283 . doi : 10.1007/BFb0025726 . ISBN  978-3-540-35091-0.
  • Hartmut Ehrig; Bernd Mahr (1985). Fundamentos de la especificación algebraica 1 – Ecuaciones y semántica inicial . Monografías en informática teórica. Vol.  6 (1.ª  ed.). Heidelberg: Springer. ISBN 978-3-642-69964-1.
  • Hartmut Ehrig; Bernd Mahr (1990). Fundamentos de la especificación algebraica 2 – Especificaciones de módulos y restricciones . Monografías en informática teórica. Vol.  21 (1.ª  ed.). Heidelberg: Springer. ISBN 978-3-642-64776-5.
  • Hartmut Ehrig; Klaus P. Jantke; Fernando Orejas; Horst Reichel, eds. (Abril de 1990). Tendencias recientes en la especificación de tipos de datos, Actas del 7.º Taller sobre Tipos de Datos Abstractos . LNCS. Vol.  534. Springer.
  • I. Claßen; H. Ehrig; D. Wolz (1993). Técnicas y herramientas de especificación algebraica para el desarrollo de software : el enfoque ACT . Serie AMAST en Computación. World Scientific Publishing.
  • Hartmut Ehrig; G. Engels; H.-J. Kreowski; G. Rozenberg, eds. (octubre de 1999). Aplicaciones, lenguajes y herramientas . Manual de gramáticas de grafos y computación mediante transformación de grafos. Vol.  2. World Scientific. doi : 10.1142/4180 . ISBN 978-981-02-4020-2.
  • Hartmut Ehrig; Julia Padberg; Gabriel Juhás; Grzegorz Rozenberg, eds. (2001). Unificando Redes de Petri – Avances en Redes de Petri . Apuntes de conferencias sobre informática. vol.  2128. Heidelberg: Springer. doi : 10.1007/3-540-45541-8 . ISBN 978-3-540-43067-4. S2CID 11160106 . 
  • Hartmut Ehrig; Wolfgang Reisig; Grzegorz Rozenberg; Herbert Weber (2004). Tecnología Petri Net para sistemas basados ​​en comunicaciones . Apuntes de conferencias sobre informática. vol.  2472. Heidelberg: Springer. ISBN 9783540205388.
  • Hartmut Ehrig; Gregor Engels; Francesco Parisi-Presicce; Grzegorz Rozenberg, eds. (2004). Actas de la 2.ª Conferencia Internacional sobre Transformación de Grafos (ICGT) . LNCS. Vol.  3256. Heidelberg: Springer. doi : 10.1007/b100934 . ISBN 978-3-540-23207-0. S2CID 32093939 . 
  • Hartmut Ehrig; Karsten Ehrig; Ulrike Prange; Gabriele Taentzer (2006). Fundamentos de la transformación de gráficos algebraicos . Monografías de la EATCS en Informática Teórica. Heidelberg: Springer. doi : 10.1007/3-540-31188-2 . ISBN 3-540-31187-4.
  • Hartmut Ehrig; Claudia Ermel; Ulrike Golas; Frank Hermann (2015). Transformación de grafos y modelos . Monografías de EATCS en informática teórica. Heidelberg: Springer. doi : 10.1007/978-3-662-47980-3 . ISBN 978-3-662-47979-7. S2CID 27723564 . 

Referencias

  1. ↑ Hartmut Ehrig en el Proyecto de Genealogía Matemática
  2. ^ Technische Universität Berlín ( 27 de marzo de 2016). "Obituario Hartmut Ehrig" (en alemán).
  3. ↑ TU Berlín (ed.). "Vita Hartmut Ehrig" .
  • Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Gregorz Rozenberg y Gabriele Taentzer (eds.) (2005). Métodos formales en el modelado de software y sistemas : ensayos dedicados a Hartmut Ehrig con motivo de su 60 cumpleaños . LNCS. Vol.  3393. Heidelberg: Springer. ISBN 9783540249368.
  • Literatura de y sobre Hartmut Ehrig en el catálogo de la Biblioteca Nacional Alemana.
  • Hartmut Ehrig en el servidor de bibliografía DBLP
  • Vita en TU Berlín — contiene una foto de retrato