direkt zum Inhalt springen
direkt zum Hauptnavigationsmenü
Sie sind hier
Suchen
Institut für Softwaretechnik und Theoretische InformatikTheor. Informatik / Formale Spezifikation
1 | 2 | 3 | 4 | 5 | 6 | 7 | Sie sind auf Seite:8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19
Sortieren nach: Autor Jahr Journal
Padberg, J., Ehrig, H. and Rozenberg, G.
Advances in Petri Nets: Unifying Petri Nets. SPRINGER, 230–249. 2001
Padberg, J., Jansen, L., Ehrig, H., Schnieder, E. and Heckel, R.
Journal of Integrated Design and Process Technology, 3-21. 2001
Bardohl, R., Ermel, C. and Ehrig, H.
2001
Ehrig, H. and Mahr, B.
Current Trends in Theoretical Computer Science: Entering the 21st Century. World Scientific, Singapore etc. 2001, 134-152. 2001
Current Trends in Theoretical Computer Science: Entering the 21st Century. World Scientific, Singapore etc. 2001, 118–130. 2001
Ehrig, H., Mahr, B., Cornelius, F., Grosse-Rhode, M., Zeitz, P., Schröter, G. and Robering, K.
||SPRINGER. 2001
Ehrig, H. and Orejas, a. F.
Current Trends in Theoretical Computer Science: Entering the 21st Century. World Scientific, Singapore, 192 – 201. 2001
Ehrig, H. and Orejas, F.
Current Trends in Theoretical Computer Science: Entering the 21st Century. World Scientific, Singapore etc. 2001, 180–191. 2001
Ehrig, H.
Current Trends in Theoretical Computer Science: Entering the 21st Century. World Scientific, Singapore etc. 2001, 131–133. 2001
Current Trends in Theoretical Computer Science. World Scientific, Singapore etc., 49–222. 2001
Proc. GT-VMT 2001, ICALP 2001 Satellite Workshops, 201–228. 2001
, 58–60. 2001
BEACTS, 93–96. 2001
Ehrig, H., Padberg, J. and Orejas, F.
Current Trends in Theoretical Computer Science: Entering the 21st Century. World Scientific, Singapore, 202 – 214. 2001
Ehrig, H. and Schröter, G.
International Journal of Differential Equations and Applications, 169–182. 2001
2000
Bardohl, R., Ehrig, H. and Ermel, C.
Proc. Integrated Design and Process Technology (IDPT 2000) 2000
Tsiolakis, A. and Ehrig, H.
Proc. GRATRA'2000 - Joint APPLIGRAPH and GETGRATS Workshop on Graph Transformation Systems. Technische Universität Berlin, 77-86. 2000
Ehrig, H., Gajewsky, M. and Parisi-Presicce, F.
Handbook of Graph Grammars and Computing by Graph Transformation. Vol 3: Concurrency, Parallelism and Distribution. World Scientific, Singapore etc., 341–400. 2000
Ehrig, H., Geisler, R., Große–Rhode, M., Klar, M. and Mann, S.
BEACTS, 77–81. 2000
Ehrig, H., Große–Rhode, M. and Orejas, F.
Heckel, R., Llabres, M., Ehrig, H. and Orejas, F.
Proc. of Joint APPLIGRAPH/GETGRATS Workshop on Graph Transformation (GRATRA 2000), 146–154. 2000
Ehrig, H., Heckel, R., Llabres, M., Orejas, F., Padberg, J. and Rozenberg, G.
Proc. Theory and Application of Graph Transformations (TAGT'98). SPRINGER, 85–102. 2000
Kluge, O., Padberg, J. and Ehrig, H.
Proc. Formale Techniken für die Eisenbahnsicherung (FORMS), 25–42. 2000
Orejas, F. and Ehrig, H.
INT: Integration of Specification Techniques with Applications in Enginering. TU Berlin, FB 13, 54–56. 2000
Padberg, J., Schiller, P. and Ehrig, H.
Proc.\ Vol.\ 2, 9th Symposium on Transportation Systems, 153–160. 2000
Bardohl, R. and Ehrig, H.
Proc. Theory and Application of Graph Transformations (TAGT'98). SPRINGER, 252–266. 2000
Taentzer, G. and Ehrig, H.
GI Workshop ``Rigorose Entwicklung software-intensiver Systeme'', Berlin. LMU-Report 0005, 57–72. 2000
Gehe zu: