Schmitz, J. H. (Corresponding author) ; von Lengerke, C. ; Airee, N. ; Behboodi, A. ; ; et al

DOI: 10.1109/ICCW.2019.8757051

Jarke, M. (Corresponding author) ; Otto, B. ; Ram, S.

Business & information systems engineering 61(5), Seiten/Artikel-Nr.:549 - 550

DOI: 10.1007/s12599-019-00614-2

Steffen, B. (Editor) ; Wöginger, G. J. (Editor)

DOI: 10.1007/978-3-319-91908-9

Češka, M. ; Dehnert, C. ; Jansen, N. ; Junges, J. S. L. ; ; et al

From Reactive Systems to Cyber-Physical Systems : Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday / edited by Ezio Bartocci, Rance Cleaveland, Radu Grosu, Oleg Sokolsky, Seiten/Artikel-Nr: 107-125

DOI: 10.1007/978-3-030-31514-6_7

Baier, C. ; Hermanns, H. ; Katoen, J.-P. (Corresponding author)

Computing and software science : state of the art and perspectives / Bernhard Steffen, Gerhard Woeginger (Eds.), Seiten/Artikel-Nr: 420-451

DOI: 10.1007/978-3-319-91908-9_21

Hanneken, L. ; Lankes, S. (Thesis advisor) ; Müller, M. S. (Thesis advisor) ; Schürhoff, D. (Thesis advisor)

DOI: 10.18154/RWTH-2019-09153

Mannhardt, F. ; Koschmider, A. (Corresponding author) ; Baracaldo, N. ; Weidlich, M. ; ; et al

Business & information systems engineering 61(5), Seiten/Artikel-Nr.:595-614

DOI: 10.1007/s12599-019-00613-3

Morris, C. (Corresponding author) ; Ritzert, M. A. F. (Corresponding author) ; Fey, M. (Corresponding author) ; Hamilton, W. L. (Corresponding author) ; ; et al

The Thirty-Third AAAI Conference on Artificial Intelligence, the Thirty-First Innovative Applications of Artificial Intelligence Conference, the Ninth AAAI Symposium on Educational Advances in Artificial Intelligence : Honolulu, Hawaii USA - January 27-February 1, 2019 / sponsored by the Association for the Advancement of Artificial Intelligence, Seiten/Artikel-Nr: 4602-4609

DOI: 10.1609/aaai.v33i01.33014602

Izsak, R. (Corresponding author) ; Talmon, N. (Corresponding author) ; Wöginger, G. J. (Corresponding author)

The Thirty-Second AAAI Conference on Artificial Intelligence, the Thirtieth Innovative Applications of Artificial Intelligence Conference, the Eighth AAAI Symposium on Educational Advances in Artificial Intelligence : New Orleans, Louisiana USA - February 2-7, 2018 / sponsored by the Association for the Advancement of Artificial Intelligence, Seiten/Artikel-Nr: 1071-1078

URL: https://aaai.org/Library/AAAI/aaai18contents.php

Leofante, F. (Corresponding author)

The Thirty-Second AAAI Conference on Artificial Intelligence, the Thirtieth Innovative Applications of Artificial Intelligence Conference, the Eighth AAAI Symposium on Educational Advances in Artificial Intelligence : New Orleans, Louisiana USA - February 2-7, 2018 / sponsored by the Association for the Advancement of Artificial Intelligence, Seiten/Artikel-Nr: 8020-8021

URL: https://aaai.org/ocs/index.php/AAAI/AAAI18/paper/view/16178