Vianden, M. ; Lichter, H. (Thesis advisor) ; Wagner, S. (Thesis advisor)

Aachener Informatik-Berichte, Software-Engineering 26, 14 ungezählte Seiten, 361 Seiten : Illustrationen, Diagramme (2017)

Jakobs, K. (Corresponding author)

ICT Express 3(2), 85-89 (2017) [10.1016/j.icte.2017.05.008]

DOI: 10.1016/j.icte.2017.05.008

Grohe, M. ; Kreutzer, S. ; Siebertz, S.

Journal of the ACM 64(3), 1-32 (2017) [10.1145/3051095]

DOI: 10.1145/3051095

Borodin, A. (Corresponding author) ; Mirvoda, S. ; Kulikov, I. ; Porshnev, S.

Beyond Databases, Architectures and Structures. Towards Efficient Solutions for Data Analysis and Knowledge Representation : 13th International Conference, BDAS 2017, Ustroń, Poland, May 30 - June 2, 2017, Proceedings / edited by Stanisław Kozielski, Dariusz Mrozek, Paweł Kasprowski, Bożena Małysiak-Mrozek, Daniel Kostrzewa, Seiten/Artikel-Nr: 224-232

Communications in Computer and Information Science 716, 224-232 (2017) [10.1007/978-3-319-58274-0_19]

DOI: 10.1007/978-3-319-58274-0_19

Brauner, P. M. (Corresponding author) ; van Heek, J. ; Schaar, A. K. ; Ziefle, M. ; ; et al

HCI in Business, Government and Organizations. Interacting with Information Systems : 4th International Conference, HCIBGO 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part I, Seiten/Artikel-Nr: 279-298

279-298 (2017) [10.1007/978-3-319-58481-2_22]

DOI: 10.1007/978-3-319-58481-2_22

Psounis, K. (Editor) ; Melodia, T. (Editor) ; Wehrle, K. (Editor) ; Lestas, M. (Editor)

1 Online-Ressource : Illustrationen (2017)

URL: http://ieeexplore.ieee.org/servlet/opac?punumber=7886469

Dernehl, C. (Corresponding author)

2016 European Control Conference (ECC) : [Proceedings] - IEEE, 2016. - ISBN 978-1-5090-2591-6 - doi:10.1109/ECC.2016.7810324

(2016) [10.1109/ECC.2016.7810324]

DOI: 10.1109/ECC.2016.7810324

Junges, J. S. L. (Corresponding author) ; Guck, D. ; Katoen, J.-P. ; Rensink, A. ; ; et al

Formal aspects of computing 29(4), 651-703 (2017) [10.1007/s00165-016-0412-0]

DOI: 10.1007/s00165-016-0412-0

Ábrahám, E. (Corresponding author)

Numerical Software Verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings / Alessandro Abate ; Sylvie Boldo (Eds.), Seiten/Artikel-Nr: XVI-XVII

Lecture Notes in Computer Science 10381, XVI-XVII (2017)

URL: https://link.springer.com/content/pdf/bfm%3A978-3-319-63501-9%2F1%2F1.pdf

Cao, J. (Corresponding author) ; Metzmacher, H. ; O'Donnell, J. ; Frisch, J. ; ; et al

Building and environment 123, 601-624 (2017) [10.1016/j.buildenv.2017.07.018]

DOI: 10.1016/j.buildenv.2017.07.018