Loading article…
ハルトムート・エーリヒ | |
|---|---|
| 生まれる | 1944年12月6日 |
| 死亡 | 2016年3月17日（享年71歳） |
| 母校 | ベルリン工科大学 |
| 配偶者 | ゲルトラウド |
| 子供たち | カルステン、ティモ、リタ |
| 科学者としてのキャリア | |
| フィールド | 代数仕様、 グラフ文法 |
| 機関 | ベルリン工科大学 |
| 論文 |
|
| 博士課程の指導教員 | クルト・ライヒトヴァイス[1] |
| 博士課程の学生 | ハンス＝ヨルク・クロウスキー、 ミヒャエル・レーヴェ、 ベルント・マール |
ハルトムート・エーリヒ（1944年12月6日アンガーミュンデ生まれ、2016年3月17日死去）はドイツの計算機科学者であり、理論計算機科学と形式仕様の教授であった。彼は抽象データ型の代数仕様とグラフ文法の先駆者であった。[2]
ヴィータ
1969年、エーリヒはベルリン工科大学で数学の学位を取得した。1971年に博士号を取得し、1974年には同大学でハビリテーションを取得した。その後、トーマス・J・ワトソン研究センターなどで研究を行った。1976年、ベルリン工科大学の講師となり、同大学のソフトウェア工学および理論計算機科学研究所の所長となった。1984年、ベルリン工科大学の教授に任命された。1981年から1991年にかけて、同大学の計算機科学科の学部長も数回務めた。 1997年から2002年までEATCS副会長を務めた。2010年10月1日に退職。[2] [3]
主な出版物
- ハルトムット・エーリグ (1971)。F-Morphismendarstellung における Übertragung universalller und spezieller 問題(博士論文)。ベルリン工科大学。
- Hartmut Ehrig、Michael Pfender、Hans-Jürgen Schneider (1973 年 10 月)。「グラフ文法: 代数的アプローチ」。IEEE会議記録、第 14 回スイッチングおよびオートマトン理論に関する年次シンポジウム( SWAT'08 )。IEEE。pp. 167–180。doi :10.1109/SWAT.1973.11。
- ハルトムット・エーリッグ;クラウス・ディーター・キアマイヤー;ハンス・ヨルク・クロウスキー;ヴォルフガング・キューネル (1974)。オートマトンの普遍理論 — カテゴリ別アプローチ。シュトゥットガルト：トイブナー。ISBN 3-519-02054-8。
- Volker Claus、Hartmut Ehrig、Grzegorz Rozenberg 編 (1979)。グラフ文法とコンピュータサイエンスおよび生物学への応用。コンピュータサイエンス講義ノート。第 73 巻。ハイデルベルグ: Springer。doi : 10.1007/ BFb0025726。ISBN 978-3-540-35091-0。
- Hartmut Ehrig、Bernd Mahr (1985)。代数仕様の基礎 1 - 方程式と初期意味論。理論計算機科学のモノグラフ。第 6 巻 (第 1 版)。ハイデルベルク: Springer。ISBN 978-3-642-69964-1。
- Hartmut Ehrig、Bernd Mahr (1990)。代数仕様の基礎 2 – モジュール仕様と制約。理論計算機科学のモノグラフ。第 21 巻 (第 1 版)。ハイデルベルク: Springer。ISBN 978-3-642-64776-5。
- Hartmut Ehrig、Klaus P. Jantke、Fernando Orejas、Horst Reichel 編 (1990 年 4 月)。データ型仕様の最近の動向、抽象データ型に関する第 7 回ワークショップの議事録。LNCS。第 534 巻。Springer。
- I. Claßen、H. Ehrig、D. Wolz (1993)。ソフトウェア開発のための代数的仕様記述技法とツール - ACT アプローチ。AMAST コンピューティング シリーズ。World Scientific Publishing。
- Hartmut Ehrig、G. Engels、H.-J. Kreowski、G. Rozenberg 編 (1999 年 10 月)。アプリケーション、言語、ツール。グラフ文法とグラフ変換によるコンピューティングのハンドブック。第 2 巻。World Scientific。doi : 10.1142/ 4180。ISBN 978-981-02-4020-2。
- ハルトムット・エーリッグ;ジュリア・パドバーグ;ガブリエル・ユハス。グジェゴシュ・ローゼンベルク編。 （2001年）。ペトリ ネットの統合 – ペトリ ネットの進歩。コンピューターサイエンスの講義ノート。 Vol. 2128. ハイデルベルク：シュプリンガー。土井：10.1007/3-540-45541-8。ISBN 978-3-540-43067-4.S2CID 11160106 。
- ハルトムット・エーリッグ;ヴォルフガング・ライジヒ;グジェゴシュ・ローゼンベルク;ハーバート・ウェーバー (2004)。通信ベースのシステムのためのペトリネットテクノロジー。コンピューターサイエンスの講義ノート。 Vol. 2472. ハイデルベルク：シュプリンガー。ISBN 9783540205388。
- Hartmut Ehrig、Gregor Engels、Francesco Parisi- Presicce、Grzegorz Rozenberg 編 (2004)。第 2 回国際グラフ変換会議 (ICGT) の議事録。LNCS。第 3256 巻。ハイデルベルグ: Springer。doi : 10.1007/b100934。ISBN 978-3-540-23207-0. S2CID 32093939。
- ハルトムット・エーリッグ;カルステン・エーリッグ;ウルリケ・プランゲ。ガブリエレ・テンツァー (2006)。代数グラフ変換の基礎。理論コンピュータサイエンスの EATCS モノグラフ。ハイデルベルク：シュプリンガー。土井：10.1007/3-540-31188-2。ISBN 3-540-31187-4。
- Hartmut Ehrig、Claudia Ermel、Ulrike Golas、Frank Hermann (2015)。グラフとモデル変換。EATCS理論計算機科学モノグラフ。ハイデルベルク：Springer。doi : 10.1007 /978-3-662-47980-3。ISBN 978-3-662-47979-7. S2CID 27723564。
参考文献
- ^ 数学系譜プロジェクトのハルトムート・エーリッグ
- ^ ベルリン工科大学 (2016-03-27)。 「死亡記事ハルトムート・エーリグ」（ドイツ語）。
- ^ ベルリン工科大学 (編)。 「ヴィタ・ハルトムート・エーリグ」。
- Hans-Jörg Kreowski、Ugo Montanari、Fernando Orejas、Gregorz Rozenberg、Gabriele Taentzer 編 (2005)。ソフトウェアとシステムモデリングにおける形式手法 - Hartmut Ehrig の 60 歳の誕生日を記念したエッセイ。LNCS。第 3393 巻。ハイデルベルク: Springer。ISBN 9783540249368。