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 | Sie sind auf Seite:13 | 14 | 15 | 16 | 17 | 18 | 19
Sortieren nach: Autor Jahr Journal
Ehrig, H., Boehm, P. and Fey, W.
Proc. 23rd Hawaii Int. Conf. on System Science, Kailua-Kona, Hawaii. IEEE Comp. Sci. Press, 153–164. 1990
Ehrig, H., Pfender, M. and Schneider, H.
14th Annual IEEE Symposium on Switching and Automata Theory. IEEE, 167–180. 1973
Ehrig, H., Braatz, B., Klein, M., Orejas, F., Pérez, S. and Pino, E.
Proc. Second International Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures (FESCA 2005), 123-151. 2005
Ehrig, H. and Pfender, M. et al.
||de Gruyter Lehrbuch. 1972
Ehrig, H. and Prange, U.
Proc. International Conference on Graph Transformation (ICGT'08). SPRINGER, 178–193. 2008
Ehrig, H., Claßen, I., Boehm, P., Fey, W., Korff, M. and Löwe, M.
Informatik Fachberichte 212. SPRINGER, 201–224. 1989
Algebra, Meaning and Computation. Essays Dedicated to J.A. Goguen. SPRINGER, 235–251. 2006
Advances in Multiagent Systems, Robotics and Cybernetics: Theory and Practice. Proceedings of Intern. Conf. on Systems Research, Informatics and Cybernetics 2005. IIAS. 2006
Proceedings of InterSymp 2005. IIAS. 2005
Ehrig, H. and Ehrig, K.
Proc. Int. Workshop on Graph and Model Transformation (GraMoT'05). Elsevier Science. 2005
Ehrig, H., Prange, U. and Taentzer, G.
Proc. 2nd Int. Conference on Graph Transformation (ICGT'04), Rome, Italy. SPRINGER. 2004
Ehrig, H., Ehrig, K., Ermel, C., Hermann, F. and Taentzer, G.
Fundamental Approaches to Software Engineering. SPRINGER, 72–86. 2007
Ehrig, H., Prange, U., Taentzer, G., Ermel, C. and Biermann, E.
2009
Ehrig, H., Ehrig, K., Ermel, C. and Padberg, J.
Proc. Intern. IMCAS Symposium on Mathematical Modelling (MathMod). ARGESIM-Reports. 2006
Ehrig, H., Ehrig, K., Ermel, C. and Prange, U.
Proc. Fundamental Approaches to Software Engineering (FASE'08). SPRINGER, 62–76. 2008
Ehrig, H., Reisig, W. and Weber, H.
1997
Ehrig, H. and Rosen, B.
SIAM J. COMPUT., 441 – 469. 1980
1978
Ehrig, H., Ehrig, K., Habel, A. and Pennemann, K.-H.
Proc. 2nd Int. Conference on Graph Transformation (ICGT'04). SPRINGER, 287–303. 2004
Mathematical Foundations of Computer Science. SPRINGER, 65–176. 1978
1976
Ehrig, H., Ehrig, K. and Hermann, F.
2008
Ehrig, H. and Rosen, B.-K.
1st Int.\ Workshop on Graph Grammars and their Application to Computer Science and Biology. SPRINGER, 192–205. 1979
Ehrig, H., Ehrig, K., de Lara, J., Taentzer, G., Varró, D. and Varró-Gyapay, S.
Proc.\ Fundamental Approaches to Software Engineering (FASE). SPRINGER, 214–228. 2005
Ehrig, H. and Rozenberg, G.
Formal Languages, Automata and Development. North Holland, 443 - 468. 1976
Ehrig, H., Ehrig, K., Prange, U. and Taentzer, G.
||SPRINGER. 2006
Automata, Laanguages Development. North-Holland Publishing Compasny, 443 – 468. 1976
Ehrig, H., Rozenberg, G. and Padberg, J.
Proc. 6th International Workshop on Theory and Application of Graph Transformation. Universität Paderborn, 268–278. 1998
Proc. IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'05) 2005
Gehe zu: