[Contribution to a conference proceedings, Journal Article]
Hähnle, Reiner; van der Aalst, Wil M. P.
Automated model analysis tools and techniques presented at FASE 2019
International journal on software tools for technology transfer : STTT, 23, 3, 285-287 (2020)
[DOI: 10.1007/s10009-020-00589-6]

[Journal Article]
Sabau, Alex R.; Hacks, Simon; Steffens, Andreas
Implementation of a continuous delivery pipeline for enterprise architecture model evolution
Software and systems modeling, 20, 1, 117-145 (2020)
[DOI: 10.1007/s10270-020-00828-z]

[Journal Article]
Koubarakis, Manolis; Borgida, Alexander; Constantopoulos, Panos; Doerr, Martin; Jarke, Matthias; Jeusfeld, Manfred A.; Mylopoulos, John; Plexousakis, Dimitris
A retrospective on Telos as a metamodeling language for requirements engineering
Requirements engineering, 26, 1, 1-23 (2020)
[DOI: 10.1007/s00766-020-00329-x]

[Dataset]
Küppers, Bastian; Schroeder, Ulrik
Test data for Stylometric Authorship Attribution
(2021)
[DOI: 10.18154/RWTH-2020-09627]

[Journal Article]
Winterer, Leonore; Junges, Sebastian; Wimmer, Ralf; Jansen, Nils; Topcu, Ufuk; Katoen, Joost-Pieter; Becker, Bernd
Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions
IEEE transactions on automatic control, 66, 3, 1040-1054 (2020)
[DOI: 10.1109/TAC.2020.2990140]

[Journal Article]
Chen, Mingshuai; Fränzle, Martin; Li, Yangjia; Mosaad, Peter N.; Zhan, Naijun
Indecision and delays are the parents of failure - taming them algorithmically by synthesizing delay-resilient control
Acta informatica, 58, 5, 497-528 (2020)
[DOI: 10.1007/s00236-020-00374-7]

[Dataset]
Küppers, Bastian; Schroeder, Ulrik
Performance Data for FLEX
(2021)
[DOI: 10.18154/RWTH-2020-00065]

[Dataset]
Küppers, Bastian; Schroeder, Ulrik
System Usability Scale for FLEX
(2021)
[DOI: 10.18154/RWTH-2020-00059]

[Dataset]
Küppers, Bastian; Schroeder, Ulrik
R Scripts for Survey Analysis
(2021)
[DOI: 10.18154/RWTH-2019-06868]

[Dataset]
Küppers, Bastian; Schroeder, Ulrik
e-Assessment: Examiner Survey 2019
(2021)
[DOI: 10.18154/RWTH-2019-06840]

[Dataset]
Küppers, Bastian; Schroeder, Ulrik
e-Assessment: Student Survey 2018
(2021)
[DOI: 10.18154/RWTH-2019-04775]

Jakobs, Kai
Booklet of Papers of the 11th International Conference on Standardisation and Innovation in Information Technology (SIIT 2020): The Past, 20/20 and Future of ICT Standardisation
EURAS contributions to standardisation research (2020)

[Book, Proceedings]
Jakobs, Kai (Editor); Kim, Dong-hyu (Editor)
Proceedings 25th EURAS Annual Standardisation Conference - Standards for Digital Transformations: Blockchain and Innovation - should have been held 10-12 June 2020, Glasgow, Scotland
EURAS Contributions to Standardisation Research 15 (2020)

[Contribution to a book, Contribution to a conference proceedings]
Li, Shuang; Jiang, Jiaxi; Ruppel, Philipp; Liang, Hongzhuo; Ma, Xiaojian; Hendrich, Norman; Sun, Fuchun; Zhang, Jianwei
A Mobile Robot Hand-Arm Teleoperation System by Vision and IMU
2020 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) / publisher: IEEE, 10900-10906 (2020)
[DOI: 10.1109/IROS45743.2020.9340738]

[Contribution to a book, Contribution to a conference proceedings]
Fominykh, Mikhail; Wild, Fridolin; Klamma, Ralf; Billinghurst, Mark; Costiner, Lisandra S.; Karsakov, Andrey; Mangina, Eleni; Molka-Danielsen, Judith; Pollock, Ian; Preda, Marius; Smolic, Aljosa
Model Augmented Reality Curriculum
Proceedings of the Working Group Reports on Innovation and Technology in Computer Science Education, 131-149 (2020)
[DOI: 10.1145/3437800.3439205]

[Contribution to a book, Contribution to a conference proceedings]
Weber, Mark; Luiten, Jonathon Tyler; Leibe, Bastian
Single-Shot Panoptic Segmentation
2020 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) / publisher: IEEE, 8476-8483 (2020)
[DOI: 10.1109/IROS45743.2020.9341546]

[Contribution to a book, Contribution to a conference proceedings]
Engelmann, Francis; Kontogianni, Theodora; Leibe, Bastian
Dilated Point Convolutions: On the Receptive Field Size of Point Convolutions on 3D Point Clouds
2020 Ieee International Conference on Robotics And Automation (icra), 9463-9469 (2020)
[DOI: 10.1109/ICRA40945.2020.9197503]

[Contribution to a book, Contribution to a conference proceedings]
Jia, Dan; Hermans, Alexander; Leibe, Bastian
DR-SPAAM: A Spatial-Attention and Auto-regressive Model for Person Detection in 2D Range Data
2020 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) / publisher: IEEE, 10270-10277 (2020)
[DOI: 10.1109/IROS45743.2020.9341689]

[Bachelor Thesis]
Niewianda, Rene
Pengible: Designing an active pen-shaped tangible
(2020)

[Journal Article]
Gray, Jeff; Rumpe, Bernhard
Modeling dynamic structures
Software and systems modeling, 19(3), 527-528 (2020)
[DOI: 10.1007/s10270-020-00793-7]

[Contribution to a book, Contribution to a conference proceedings]
Röpke, René; Schroeder, Ulrik
Teaching Defence Against the Dark Arts Using Game-Based Learning: A Review of Learning Games for Cybersecurity Education
Computer Supported Education : 11th International Conference, CSEDU 2019, Heraklion, Crete, Greece, May 2-4, 2019, Revised Selected Papers / edited by H. Chad Lane, Susan Zvacek, James Uhomoibhi, 71-87 (2020)
[DOI: 10.1007/978-3-030-58459-7_4]

[Contribution to a book, Contribution to a conference proceedings]
Zaric, Nadja; Röpke, René; Gottschlich, Manuel; Schroeder, Ulrik
Interactive Gamification Analytics Tool (IGAT)
Games and Learning Alliance, 57-68 (2020)
[DOI: 10.1007/978-3-030-63464-3_6]

[Preprint]
Ábrahám, Erika; Davenport, James; England, Matthew; Kremer, Gereon; Tonks, Zak
New Opportunities for the Formal Proof of Computational Real Geometry?
(2020)

[Contribution to a book, Contribution to a conference proceedings]
Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph
Verifying Probabilistic Programs
Quantitative evaluation of systems : 17th international conference, QEST 2020, Vienna, Austria, August 31 - September 3, 2020 : proceedings / Marco Gribaudo, David N. Jansen, Anne Remke (Eds.), 298-298 (2020)

[Abstract, Contribution to a book, Contribution to a conference proceedings]
Ábrahám, Erika; Davenport, James; England, Matthew; Kremer, Gereon; Tonks, Zak
New Opportunities for the Formal Proof of Computational Real Geometry? (Extended Abstract)
PAAR+SC-Square 2020: Practical Aspects of Automated Reasoning and Satisfiability Checking and Symbolic Computation Workshop 2020 : joint proceedings of the 7th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 5th Satisfiability Checking and Symbolic Computation Workshop (SC-Square) Workshop, 2020 : co-located with the 10th International Joint Conference on Automated Reasoning (IJCAR 2020) : Paris, France, June-July, 2020 (virtual) / edited by Pascal Fontaine, Konstantin Korovin, Ilias S. Kotsireas, Philipp Rümmer, Sophie Tourret, 178-188 (2020)
[DOI: 10.18154/RWTH-2021-09565]

[Contribution to a book, Contribution to a conference proceedings]
Pilch, Carina; Krause, Maurice; Remke, Anne; Ábrahám, Erika
A Transformation of Hybrid Petri Nets with Stochastic Firings into a Subclass of Stochastic Hybrid Automata
NASA formal methods : 12th international symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020 : proceedings / Ritchie Lee, Susmit Jha, Anastasia Mavridou (eds.), 381-400 (2020)
[DOI: 10.1007/978-3-030-55754-6_23]

[Contribution to a book, Contribution to a conference proceedings]
Ábrahám, Erika; Bartocci, Ezio; Bonakdarpour, Borzoo; Dobe, Oyendrila
Probabilistic Hyperproperties with Nondeterminism
Automated technology for verification and analysis : 18th international symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020 : proceedings / Dang Van Hung, Oleg Sokolsky (eds.), 518-534 (2020)
[DOI: 10.1007/978-3-030-59152-6_29]

[Master Thesis]
Drahovsky, Robin
Parameter synthesis in bayesian networks
(2020)

[Contribution to a book, Contribution to a conference proceedings]
Yu, Lechen; Protze, Joachim; Hernandez, Oscar; Sarkar, Vivek
A Study of Memory Anomalies in OpenMP Applications
OpenMP: Portable Multi-Level Parallelism on Modern Systems, 328-342 (2020)
[DOI: 10.1007/978-3-030-58144-2_21]

[Contribution to a book, Contribution to a conference proceedings]
Protze, Joachim; Hermanns, Marc-André; Demiralp, Ali Can; Müller, Matthias S.; Kuhlen, Torsten
MPI Detach - Asynchronous Local Completion
27th European MPI Users\' Group Meeting, 71-80 (2020)
[DOI: 10.1145/3416315.3416323]

[Dissertation / PhD Thesis]
Höhnerbach, Markus
A framework for the vectorization of molecular dynamics kernels
(2020)
[DOI: 10.18154/RWTH-2021-08729]

[Contribution to a book, Journal Article]
Beyan, Oya Deniz; Choudhury, Ananya; van Soest, Johan; Kohlbacher, Oliver; Zimmermann, Lukas; Stenzhorn, Holger; Karim, Md. Rezaul; Dumontier, Michel; Decker, Stefan Josef; da Silva Santos, Luiz Olavo Bonino; Dekker, Andre
Distributed Analytics on Sensitive Medical Data : The Personal Health Train
Data Intelligence, 2, 1/2, 96-107 (2020)
[DOI: 10.1162/dint_a_00032]

[Journal Article]
Pammer-Schindler, Viktoria; Wild, Fridolin; Fominykh, Mikhail; Ley, Tobias; Perifanou, Maria; Soule, Maria Victoria; Hernández-Leo, Davinia; Kalz, Marco; Klamma, Ralf; Pedro, Luís; Santos, Carlos; Glahn, Christian; Economides, Anastasios A.; Parmaxi, Antigoni; Prasolova-Førland, Ekaterina; Gillet, Denis; Maillet, Katherine
Interdisciplinary Doctoral Training in Technology-Enhanced Learning in Europe
Frontiers in education, 5, 150 (2020)
[DOI: 10.3389/feduc.2020.00150]

[Contribution to a book, Contribution to a conference proceedings]
Hueck, Alexander; Protze, Joachim; Lehr, Jan-Patrick; Terboven, Christian; Bischof, Christian; Müller, Matthias S.
Towards compiler-aided correctness checking of adjoint MPI applications
Proceedings of Correctness 2020: Fouth Ieee/acm International Workshop on Software Correctness for Hpc Applications, 40-48 (2020)
[DOI: 10.1109/Correctness51934.2020.00010]

[Contribution to a book, Contribution to a conference proceedings]
Karim, Md Rezaul; Dohmen, Till; Cochez, Michael; Beyan, Oya Deniz; Rebholz-Schuhmann, Dietrich; Decker, Stefan Josef
DeepCOVIDExplainer: Explainable COVID-19 Diagnosis from Chest X-ray Images
2020 IEEE International Conference on Bioinformatics and Biomedicine : December 16-19, 2020, virtual event : proceedings / editors: Taesung Park, Young-Rae Cho, Xiaohua Hu, Illhoi Yoo, Hyun Goo Woo, Jianxin Wang, Julio Facelli, Seungyoon Nam, Mingon Kang ; sponsored by SNU Bioinformatics Institute, K-GENOME - Korea Genome Open HRD, KOGO, BSRC - Bio-Synergy Research Center, KOFST, Seoul National University, 1034-1037 (2020)
[DOI: 10.1109/BIBM49941.2020.9313304]

[Contribution to a book, Contribution to a conference proceedings]
Zhang, Run; Cavallaro, Gabriele; Jitsev, Jenia
Super-Resolution of Large Volumes of Sentinel-2 Images with High Performance Distributed Deep Learning
2020 IEEE International Geoscience & Remote Sensing Symposium : proceedings : September 26-October 2, 2020, virtual / sponsored by the Institute of Electrical and Electronics Engineers, Geoscience and Remote Sensing Society, 617-620 (2020)
[DOI: 10.1109/IGARSS39084.2020.9323734]

[Contribution to a book, Contribution to a conference proceedings]
Hermerschmidt, Lars; Straub, Andreas; Piskachev, Goran
Language-agnostic Injection Detection
2020 IEEE Symposium on Security and Privacy workshops : SPW 2020 : San Francisco, California, USA, 18-21 May 2020 : proceedings / publisher: IEEE, 9283833, 268-275 (2020)
[DOI: 10.1109/SPW50608.2020.00060]

[Contribution to a book, Contribution to a conference proceedings]
Bogusz, Martin; Samfass, Philipp; Poppl, Alexander; Klinkenberg, Jannis; Bader, Michael
Evaluation of Multiple HPC Parallelization Frameworks in a Shallow Water Proxy Application with Multi-Rate Local Time Stepping
Proceedings of PAW-ATM 2020: the 3rd Annual Parallel Applications Workshop, Alternatives to MPI+X : held in conjunction with SC20: the International Conference for High Performance Computing, Networking, Storage and Analysis : virtual conference, November 9-19, 2020 / IEEE Computer Society, TCHPC, ACM, SIGHPC ; workshop chair: Karla Morris (Sandia National Laboratories, USA), 27-39 (2020)
[DOI: 10.1109/PAWATM51920.2020.00008]

[Contribution to a book, Contribution to a conference proceedings]
Berti, Alessandro; van der Aalst, Wil M. P.
Extracting Multiple Viewpoint Models from Relational Databases
Data-Driven Process Discovery and Analysis : 8th IFIP WG 2.6 International Symposium, SIMPDA 2018, Seville, Spain, December 13-14, 2018, and 9th International Symposium, SIMPDA 2019, Bled, Slovenia, September 8, 2019, Revised Selected Papers / edited by Paolo Ceravolo, Maurice van Keulen, María Teresa Gómez-López, 24-51 (2020)
[DOI: 10.1007/978-3-030-46633-6_2]

[Dissertation / PhD Thesis]
Winkelmann, Jan
Computational challenges in materials science
(2020)
[DOI: 10.18154/RWTH-2021-07540]

[Proceedings]
Kuhlen, Torsten (Editor); Nguyen, Huyen (Editor); Duval, Thierry (Editor); Trescak, Tomas (Editor)
Special Section on the 25th ACM Symposium on Virtual Reality Software and Technology 2019
Computers & graphics, A6-49 (2020)

[Preprint]
Carmeli, Nofar; Grohe, Martin; Kimelfeld, Benny; Livshists, Ester; Tibi, Muhammad
Database Repairing with Soft Functional Dependencies
(2020)

[Contribution to a book, Contribution to a conference proceedings]
Morris, Christopher; Rattan, Gaurav; Mutzel, Petra
Weisfeiler and Leman go sparse: Towards scalable higher-order graph embeddings
NeurIPS 2020 / Edited by: H. Larochelle and M. Ranzato and R. Hadsell and M.F. Balcan and H. Lin, 1-17 (2020)

[Preprint]
Grohe, Martin; Schweitzer, Pascal; Wiebking, Daniel
Deep Weisfeiler Leman
(2020)

[Contribution to a book, Contribution to a conference proceedings]
Morris, Christopher; Rattan, Gaurav; Mutzel, Petra
Weisfeiler and Leman go sparse: Towards scalable higher-order graph embeddings
34th Conference on Neural Information Processing Systems (NeurIPS 2020) : online, 6-12 December 2020 / Neural Information Processing Systems Foundation, Inc. ; [edited by: H. Larochelle and M. Ranzato and R. Hadsell and M.F. Balcan and H. Lin]. - Volume 27, 21824-21840 (2020)

[Contribution to a conference proceedings, Journal Article]
de Lange, Peter; Nicolaescu, Petru; Neumann, Alexander Tobias; Klamma, Ralf
Integrating Web-Based Collaborative Live Editing and Wireframing into a Model-Driven Web Engineering Process
Data science and engineering : DSE, 5, 3, 240-260 (2020)
[DOI: 10.1007/s41019-020-00131-3]

[Contribution to a conference proceedings, Journal Article]
Kampmann, Alexandru; Mokhtarian, Armin; Rogalski, Jan; Kowalewski, Stefan; Alrifaee, Bassam
Agile Latency Estimation for a Real-time Service-oriented Software Architecture
IFAC-PapersOnLine, 53, 2, 5795-5800 (2020)
[DOI: 10.1016/j.ifacol.2020.12.1619]

[Journal Article]
Kiefer, Sandra
The Weisfeiler-Leman algorithm : an exploration of its power
ACM SIGLOG news, 7, 3, 5-27 (2020)
[DOI: 10.1145/3436980.3436982]

[Contribution to a book, Contribution to a conference proceedings]
Hofmann, Till; Niemüller, Tim Dieter; Lakemeyer, Gerhard
Macro Operator Synthesis for ADL Domains
ECAI 2020 : 24th European Conference on Artificial Intelligence : 29 August-8 September 2020, Santiago De Compostela, Spain, including 10th Conference on Prestigious Applications of Artificial Intelligence (PAIS 2020) : proceedings / edited by Giuseppe De Giacomo [and six others], 761-768 (2020)
[DOI: 10.3233/FAIA200164]

[Contribution to a book, Contribution to a conference proceedings]
Grohe, Martin; Wiebking, Daniel; Neuen, Daniel
Isomorphism Testing for Graphs Excluding Small Minors
2020 IEEE 61st Annual Symposium on Foundations of Computer Science : FOCS 2020 : proceedings : 16-19 November 2020, virtual conference / general chair: Yuval Rabani (the Hebrew University of Jerusalem) ; sponsors: IEEE Computer Society, Microsoft Research ; publisher: IEEE, 625-636 (2020)
[DOI: 10.1109/FOCS46700.2020.00064]