direkt zum Inhalt springen
direkt zum Hauptnavigationsmenü
Sie sind hier
Suchen
Institut für Softwaretechnik und Theoretische InformatikTheor. Informatik / Formale Spezifikation
Sie sind auf Seite:1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19
Sortieren nach: Autor Jahr Journal
Gottmann, S., Nachtigall, N., Ermel, C., Hermann, F. and Engel, T.
5th International Workshop on Bidirectional Transformations. CEUR Workshop Proceedings, 45-60. 2016
Maximova, M., Ehrig, H. and Ermel, C.
Sci. Comput. Program., 44–70. 2015
Bucchiarone, A., Ehrig, H., Ermel, C., Pelliccione, P. and Runge, O.
Software, Services, and Systems. Springer International Publishing, 582-601. 2015
Ehrig, H., Ermel, C., Golas, U. and Hermann, F.
||Springer Berlin Heidelberg. 2015
Gabriel, K., Braatz, B., Ehrig, H. and Golas, U.
Mathematical Structures in Computer Science, 1–40. 2014
Golas, U., Habel, A. and Ehrig, H.
Mathematical Structures in Computer Science 2014
Ehrig, H., Golas, U., Habel, A., Lambers, L. and Orejas, F.
Hermann, F., Corradini, A. and Ehrig, H.
Hermann, F., Ehrig, H., Golas, U. and Orejas, F.
Mathematical Structures in Computer Science, 1-57. 2014
Hermann, F., Gottmann, S., Nachtigall, N., Ehrig, H., Braatz, B., Morelli, G., Pierre, A., Engel, T. and Ermel, C.
Proc. Int. Conf. on Model Transformations (ICMT 2014). Springer International Publishing, 122-137. 2014
, 1-22. 2014
Gottmann, S., Hermann, F., Nachtigall, N., Braatz, B., Ermel, C., Ehrig, H. and Engel, T.
Proc. Int. Workshop on Analysis of Model Transformations 2013 (AMT'13), 67-76. 2013
Ehrig, H., Hermann, F., Schölzel, H. and Brandt, C.
Visual Languages and Computing, 365-388. 2013
Proceedings of the International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT'13). European Association of Software Science and Technology. 2013
2013
Orejas, F., Boronat, A., Ehrig, H., Hermann, F. and Schölzel, H.
Electronic Communications of the EASST. European Association of Software Science and Technology. 2013
Ehrig, H., Ermel, C., Hüffner, F., Niedermeier, R. and Runge, O.
Computability. IOS Press, 31-49. 2013
Golas, U., Lambers, L., Ehrig, H. and Giese, H.
Graph Transformations. Springer Berlin Heidelberg, 141-155. 2012
Golas, U., Lambers, L., Ehrig, H. and Orejas, F.
Theor. Comput. Sci., 46-68. 2012
MSCS 2012
Hermann, F., Ehrig, H., Ermel, C. and Orejas, F.
Int. Conf. on Fundamental Approaches to Software Engineering (FASE'12). Springer, 178-193. 2012
Proc. of 5th Workshop on Petri Nets and Graph Transformation (PNGT). European Association of Software Science and Technology, 1-12. 2012
2012
Heckel, R., Ehrig, H., Golas, U. and Hermann, F.
ICGT. Springer, 96-110. 2012
Schölzel, H., Ehrig, H., Maximova, M., Gabriel, K. and Hermann, F.
Proc. Seventh ACCAT Workshop on Applied and Computational Category Theory (ACCAT'12) 2012
Proc. of Int. Conf. on Computability in Europe (CiE'12). Springer. 2012
Ehrig, H., Ermel, C. and Taentzer, G.
2011
Gehe zu: