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 | 8 | 9 | 10 | 11 | 12 | 13 | Sie sind auf Seite:14 | 15 | 16 | 17 | 18 | 19
Sortieren nach: Autor Jahr Journal
Ehrig, H. and Taentzer, G.
Lindenmayer Systems. SPRINGER, 283–303. 1992
Ehrig, H., Ermel, C. and Hermann, F.
Proc. International Conference on Fundamental Aspects of Software Engineering (FASE'09). Springer, 325-339. 2009
Ehrig, H., Thatcher, J., Lucas, P. and Zilles, S.
1984
2008
Ehrig, H., Thatcher, J. W., Lucas, P. and Zilles, S. N.
1982
Ehrig, H., Ermel, C., Hermann, F. and König, B.
BEATCS, 117–125. 2009
Ehrig, H. and Tischer, K.-W.
Journal Computer System Science, 212–236. 1975
Ehrig, H., Ermel, C., Hermann, F. and Prange, U.
ACM/IEEE 12th Int. Conf. on Model Driven Engineering Languages and Systems (MODELS'09). Springer, 241–255. 2009
Proc. Conf. on Uniformly Structured Automata Theory and Logic, Tokyo, 1–6. 1975
2009
Proc. Conf. on Biologically Motivated Automata Theory, Virginia, USA. Record MITRE Corp., 158–165. 1974
Ehrig, H., Ermel, C., Hoffmann, K., Padberg, J. and Prange, U.
2007
Ehrig, H., Wagner, E. and Thatcher, J.
Proc. ICALP'83, Automata, Languages and Programming. SPRINGER, 188–202. 1983
Ehrig, H., Ermel, C., Runge, O., Bucchiarone, A. and Pelliccione, P.
Proc. Intern. Conf. on Fundamental Aspects of Software Engineering (FASE'10). SPRINGER, 139–153. 2010
2010
Ehrig, H. and Weber, H.
Information Processing, 675-684. 1986
Ehrig, H., Ermel, C. and Taentzer, G.
Int. Conf. on Fundamental Approaches to Software Engineering (FASE'11). Springer, 202-216. 2011
Proc.\ IFIP Work Conf.\ 85: The Role of Abstract Models in Programming, Wien. North Holland, 231–258. 1985
Engels, E., Ehrig, H., Heckel, R., Taentzer, G. and Corradini, A.
Report on the Dagstuhl-Seminar 9637 \emphGraph Transformations in Computer Science 1996
Engels, G. and Ehrig, H.
Proc. Colloquium on Graph Transformation and its Application in Computer Science, 25–28. 1995
Engels, G., Ehrig, H., Heckel, R. and Taentzer, G.
Int. Journal of Software and Knowledge Engineering, 457–477. 1997
Engels, G., Heckel, R., Taentzer, G. and Ehrig, H.
Proc. of ESEC/FSE'97, Zürich. SPRINGER, 327–343. 1997
Ermel, C., Bardohl, R. and Ehrig, H.
Proc. of 2nd International Colloquium on Petri Net Technology for Comunication Based Systems, 12. 2001
Ermel, C. and Ehrig, H.
Proc. of Workshop on Graph Transformation for Verification and Concurrency (GT-VC'07). Elsevier Science, 55-74. 2008
Ermel, C., Ehrig, H. and Ehrig, K.
Proc. Intern. IMCAS Symposium on Mathematical Modelling (MathMod). ARGESIM-Reports. 2006
Proc. Int. Workshop on Graph and Model Transformation (GraMoT'06), Satellite Event of the IEEE Symposium on Visual Languages and Human-Centric Computing 2006
2006
Ermel, C., Ehrig, H., Orejas, F. and Taentzer, T.
Ermel, C., Ehrig, H. and Taentzer, G.
Proc. 7th Workshop on Embedded Systems – Modeling, Technology, and Applications, Technische Universität Berlin. SPRINGER, 11–20. 2006
Gehe zu: