[Contribution to a book, Contribution to a conference proceedings]
Frasson, Claude (Editor); Mylonas, Phivos (Editor); Troussas, Christos (Editor); Hensen, Benedikt; Bekhter, Danylo
Mixed Reality Agents as Language Learning Tutors
Augmented Intelligence and Intelligent Tutoring Systems / Frasson, Claude (Editor) [https://orcid.org/0000-0002-2299-7265] ; Cham : Springer Nature Switzerland, 2023, Chapter 50 ; ISSN: 0302-9743=1611-3349 ; ISBN: 978-3-031-32882-4=978-3-031-32883-1 ; doi:10.1007/978-3-031-32883-1, 565 - 575 (2023)
[DOI: 10.1007/978-3-031-32883-1_50]

[Journal Article]
Moosbrugger, Marcel; Bartocci, Ezio; Katoen, Joost-Pieter; Kovács, Laura
The probabilistic termination tool amber
Formal methods in system design, 20 Seiten (2023)
[DOI: 10.1007/s10703-023-00424-z]

[Journal Article]
Aksoy, Sinan G.; Bennink, Ryan; Chen, Yuzhou; Frías, José; Gel, Yulia R.; Kay, Bill; Naumann, Uwe; Ortiz Marrero, Carlos; Petyuk, Anthony V.; Roy, Sandip; Segovia-Dominguez, Ignacio; Veldt, Nate; Young, Stephen J.
Seven open problems in applied combinatorics
Journal of combinatorics : JOC, 14, 4, 559-601 (2023)
[DOI: 10.4310/JOC.2023.v14.n4.a8]

[Journal Article]
Combemale, Benoit; Gray, Jeff; Rumpe, Bernhard
ChatGPT in software modeling
Software and systems modeling, 3 Seiten (2023)
[DOI: 10.1007/s10270-023-01106-4]

[Contribution to a book, Contribution to a conference proceedings]
Büsing, Christina Maria Katharina; Gersing, Timo; Koster, Arie Marinus
Recycling Inequalities for Robust Combinatorial Optimization with Budget Uncertainty
Integer Programming and Combinatorial Optimization : 24th International Conference, IPCO 2023, Madison, WI, USA, June 21-23, 2023, Proceedings / edited by Alberto Del Pia, Volker Kaibel, 58-71 (2023)
[DOI: 10.1007/978-3-031-32726-1_5]

[Abstract]
Mohanathasan, Chinthusa; Ehret, Jonathan; Ermert, Cosima Antonia; Fels, Janina; Kuhlen, Torsten; Schlittmeier, Sabine Janina
Memory and Listening Effort in Conversations: The Role of Spatial Cues and Cognitive Functions
Tagung experimentell arbeitender PsychologInnen Trier 2023-03-26 - 2023-03-29 (2023)

[Book, Reference]
Brecher, Christian (Editor); Schuh, Günther (Editor); van der Aalst, Wil M. P. (Editor); Jarke, Matthias (Editor); Piller, Frank Thomas (Editor); Padberg, Melanie Sarah Katharina (Editor)
Internet of Production : Fundamentals, Applications and Proceedings
Interdisciplinary Excellence Accelerator Series : IDEAS (2023)
[DOI: 10.1007/978-3-030-98062-7]

[Contribution to a book]
Behery, Mohamed Anwar Abdellatif; Brauner, Philipp; Zhou, Hans Aoyang; Uysal, Merih Seran; Samsonov, Vladimir; Bellgardt, Martin; Brillowski, Florian Sascha; Brockhoff, Tobias; Farhang Ghahfarokhi, Anahita; Gleim, Lars Christoph; Gorißen, Leon Michel; Grochowski, Marco; Henn, Thomas; Iacomini, Elisa; Kaster, Thomas; Koren, István; Liebenberg, Martin Roland; Reinsch, Leon Niwes; Tirpitz, Liam; Trinh, Minh; Posada Moreno, Andres Felipe; Liehner, Gian Luca Valentin; Schemmer, Thomas; Vervier, Luisa Sophie; Völker, Marcus; Walderich, Philipp; Zhang, Song; Brecher, Christian; Schmitt, Robert H.; Decker, Stefan Josef; Gries, Thomas; Häfner, Constantin Leon; Herty, Michael; Jarke, Matthias; Kowalewski, Stefan; Kuhlen, Torsten; Schleifenbaum, Johannes Henrich; Trimpe, Johann Sebastian; van der Aalst, Wil M. P.; Ziefle, Martina; Lakemeyer, Gerhard
Actionable Artificial Intelligence for the Future of Production
Internet of Production : Fundamentals, Applications and Proceedings / Editors: Christian Brecher, Günther Schuh, Wil van der Aalst, Matthias Jarke, Frank T. Piller, Melanie Padberg, 1-46 (2023)
[DOI: 10.1007/978-3-030-98062-7_4-1]

[Contribution to a book]
Pennekamp, Jan; Belova, Anastasiia; Bergs, Thomas; Bodenbenner, Matthias Stefan; Bührig-Polaczek, Andreas; Dahlmanns, Markus; Kunze, Ike Sebastian; Kröger, Moritz; Geisler, Sandra; Henze, Martin; Lütticke, Daniel; Montavon, Benjamin Leendert; Niemietz, Philipp; Ortjohann, Lucia Christin; Rudack, Maximilian Markus; Schmitt, Robert H.; Vroomen, Uwe; Wehrle, Klaus; Zeng, Michael
Evolving the Digital Industrial Infrastructure for Production : Steps Taken and the Road Ahead
Internet of Production : Fundamentals, Applications and Proceedings / Editors: Christian Brecher, Günther Schuh, Wil van der Aalst, Matthias Jarke, Frank T. Piller, Melanie Padberg, 1-25 (2023)
[DOI: 10.1007/978-3-030-98062-7_2-1]

[Abstract, Contribution to a book, Contribution to a conference proceedings]
Derksen, Melanie; Weißker, Tim Wayan; Kuhlen, Torsten; Botsch, Mario
Towards Discovering Meaningful Historical Relationships in Virtual Reality
2023 IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops (VRW) : Shanghai, China, 25-29 March 2023, 697-698 (2023)
[DOI: 10.1109/VRW58643.2023.00191]

[Abstract, Contribution to a book, Contribution to a conference proceedings]
Weißker, Tim Wayan; Pieters, Leander; Kuhlen, Torsten
Enhanced Auditoriums for Attending Talks in Social Virtual Reality
Extended Abstracts of the 2023 CHI Conference on Human Factors in Computing Systems / Edited by Albrecht Schmidt, Kaisa Väänänen, Tesh Goyal, Per Ola Kristensson, Anicia Peters, 1-7 (2023)
[DOI: 10.1145/3544549.3585718]

[Contribution to a conference proceedings, Journal Article]
Weißker, Tim Wayan; Bimberg, Pauline; Gokhale, Aalok Shashidhar; Kuhlen, Torsten; Froehlich, Bernd
Gaining the High Ground: Teleportation to Mid-Air Targets in Immersive Virtual Environments
IEEE transactions on visualization and computer graphics : TVCG, 29, 5, 2467-2477 (2023)
[DOI: 10.1109/TVCG.2023.3247114]

[Contribution to a book, Contribution to a conference proceedings]
Raissi, Tina; Zhou, Wei; Berger, Simon; Schlüter, Ralf; Ney, Hermann
HMM vs. CTC for Automatic Speech Recognition : Comparison Based on Full-Sum Training from Scratch
2022 IEEE Spoken Language Technology Workshop (SLT) : [Proceedings] - IEEE, 2023. - ISBN 979-8-3503-9690-4 - doi:10.1109/SLT54892.2023.10022967 (2023)
[DOI: 10.1109/SLT54892.2023.10022967]

[Journal Article]
Feng, Shenghua; Chen, Mingshuai; Su, Han; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Zhan, Naijun
Lower Bounds for Possibly Divergent Probabilistic Programs
Proceedings of the ACM on programming languages, 7, OOPSLA1, 99 (2023)
[DOI: 10.1145/3586051]

[Journal Article]
Peters, Philipp; Lemos, Martin; Bönsch, Andrea; Ooms, Mark; Ulbrich, Max; Rashad, Ashkan; Krause, Felix; Lipprandt, Myriam; Kuhlen, Torsten; Röhrig, Rainer; Hölzle, Frank; Puladi, Behrus
Effect of head-mounted displays on students’ acquisition of surgical suturing techniques compared to an e-learning and tutor-led course: A randomized controlled trial
International journal of surgery, Publish Ahead of Print, . (2023)
[DOI: 10.1097/JS9.0000000000000464]

[Contribution to a book, Contribution to a conference proceedings]
Klinger, Andreas Gabriel; Battermann, Felix; Meyer, Ulrike
Anonymous System for Fully Distributed and Robust Secure Multi-Party Computation
Proceedings of the Thirteenth ACM Conference on Data and Application Security and Privacy, 129-139 (2023)
[DOI: 10.1145/3577923.3583651]

[Contribution to a book, Contribution to a conference proceedings]
Klinger, Andreas Gabriel; Meyer, Ulrike
Privacy-Preserving Fully Online Matching with Deadlines
Proceedings of the Thirteenth ACM Conference on Data and Application Security and Privacy, 105-116 (2023)
[DOI: 10.1145/3577923.3583654]

[Contribution to a book, Contribution to a conference proceedings]
Theissen-Lipp, Johannes; Decker, Stefan; Curry, Edward
The First International Workshop on Semantics in Dataspaces
Companion Proceedings of the ACM Web Conference 2023, 1439 (2023)
[DOI: 10.1145/3543873.3589750]

[Contribution to a book, Contribution to a conference proceedings]
Theissen-Lipp, Johannes; Kocher, Max; Lange-Bever, Christoph; Decker, Stefan Josef; Paulus, Alexander; Pomp, André; Curry, Edward
Semantics in Dataspaces: Origin and Future Directions
Companion Proceedings of the ACM Web Conference 2023, 1504-1507 (2023)
[DOI: 10.1145/3543873.3587689]

[Contribution to a book, Contribution to a conference proceedings]
Mohanathasan, Chinthusa; Ehret, Jonathan; Ermert, Cosima Antonia; Fels, Janina; Kuhlen, Torsten; Schlittmeier, Sabine Janina
Towards More Realistic Listening Research in Virtual Environments: The Effect of Spatial Separation of Two Talkers in Conversations on Memory and Listening Effort
DAGA 2023 : 49. Jahrestagung für Akustik : 06. - 09. März 2023, Hamburg : Tagungsband, 1425-1428 (2023)
[DOI: 10.18154/RWTH-2023-05116]

[Bachelor Thesis]
Oraji, Yussur Mustafa; Schwitanski, Simon
Evaluating static analysis techniques to accelerate data race detection for MPI RMA
(2023)
[DOI: 10.18154/RWTH-2023-05106]

[Abstract]
Pape, Sebastian; Ackermann, Jan Jakub; Weißker, Tim Wayan; Kuhlen, Torsten
DasherVR: Evaluating a Predictive Text Entry System in Immersive Virtual Reality
Towards an Inclusive and Accessible Metaverse at CHI2023 in Hamburg, Germany Hamburg 2023-04-23 - 2023-04-23 (2023)
[DOI: 10.18154/RWTH-2023-05093]

[Master Thesis]
Abdullah, Muhammad; Heinemann, Birte; Sokol, Volodymyr
Automated tasks and log generator for teaching AI
(2023)
[DOI: 10.18154/RWTH-2023-05088]

[Contribution to a conference proceedings]
Brocker, Anke; Borchers, Jan Oliver
Eight Challenges of Future Electronics Toolkits
CHI2023 Workshop [WS2] - Beyond Prototyping Boards: Future Paradigms for Electronics Toolkits CHI ’23 (2023)

[Abstract, Contribution to a book, Contribution to a conference proceedings]
Borchers, Jan; Brocker, Anke; Hueber, Sebastian; Nowak, Oliver; Schäfer, René; Wagner, Adrian; Preuschoff, Paul Miles; Schirp, Lea Emilia
The Aachen Lab Demo: From Fundamental Perception to Design Tools
Extended Abstracts of the 2023 CHI Conference on Human Factors in Computing Systems / Edited by Albrecht Schmidt, Kaisa Väänänen, Tesh Goyal, Per Ola Kristensson, Anicia Peters (2023)
[DOI: 10.1145/3544549.3583937]

[Abstract, Contribution to a book, Contribution to a conference proceedings]
Schäfer, René; Wagner, Tobias; Lavnikevich, Ulyana; Borchers, Jan
Enhancing Notification Awareness for Online Presenters via a Wrist-Worn Device
Extended Abstracts of the 2023 CHI Conference on Human Factors in Computing Systems / Edited by Albrecht Schmidt, Kaisa Väänänen, Tesh Goyal, Per Ola Kristensson, Anicia Peters (2023)
[DOI: 10.1145/3544549.3585855]

[Abstract, Contribution to a book, Contribution to a conference proceedings]
Brocker, Anke; Nedorubkova, Ekaterina; Voelker, Simon; Borchers, Jan
Exploring Shape Designs for Soft Robotics and Users’ Associations with Them
Extended Abstracts of the 2023 CHI Conference on Human Factors in Computing Systems / Edited by Albrecht Schmidt, Kaisa Väänänen, Tesh Goyal, Per Ola Kristensson, Anicia Peters (2023)
[DOI: 10.1145/3544549.3585606]

[Abstract, Contribution to a book, Contribution to a conference proceedings]
Wagner, Adrian; Preuschoff, Paul Miles; Wacker, Philipp; Voelker, Simon; Borchers, Jan
FabricFaces: Combining Textiles and 3D Printing for Maker-Friendly Folding-Based Assembly
Extended Abstracts of the 2023 CHI Conference on Human Factors in Computing Systems / Edited by Albrecht Schmidt, Kaisa Väänänen, Tesh Goyal, Per Ola Kristensson, Anicia Peters (2023)
[DOI: 10.1145/3544549.3585854]

[Master Thesis]
Povaliaiev, Dmytro; Liem, Radita Tapaning Hesti
Transfer learning workflow for I/O bandwidth prediction
(2023)
[DOI: 10.18154/RWTH-2023-05063]

[Journal Article]
Schuster, Daniel; van Zelst, Sebastiaan Johannes; van der Aalst, Wil M. P.
Cortado: A dedicated process mining tool for interactive process discovery
SoftwareX, 22, 101373 (2023)
[DOI: 10.1016/j.softx.2023.101373]

[Journal Article]
Rafiei, Majid; van der Aalst, Wil M. P.
An Abstraction-Based Approach for Privacy-Aware Federated Process Mining
IEEE access, 11, 33697-33714 (2023)
[DOI: 10.1109/ACCESS.2023.3263673]

[Contribution to a book, Contribution to a conference proceedings]
Batz, Kevin; Chen, Mingshuai; Junges, Sebastian; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants
Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings, Part II / edited by Sriram Sankaranarayanan, Natasha Sharygina (2023)
[DOI: 10.1007/978-3-031-30820-8_25]

[Contribution to a book]
Schuh, Günther; Gützlaff, Andreas; Rodemann, Niklas; Pütz, Sebastian; Linnartz, Maria; Kim, Soo-Yon; Schlosser, Tino Xaver; Schupp, Steffen; Endrikat, Morten; Welsing, Martin; Millan, Michael; Nitsch, Verena; Decker, Stefan Josef; Geisler, Sandra; Stich, Volker
Managing Growing Uncertainties in Long-Term Production Management
Internet of Production : Fundamentals, Applications and Proceedings / Editors: Christian Brecher, Günther Schuh, Wil van der Aalst, Matthias Jarke, Frank T. Piller, Melanie Padberg, 1-21 (2023)
[DOI: 10.1007/978-3-030-98062-7_15-1]

[Contribution to a book, Contribution to a conference proceedings]
Schäfer, René; Nowak, Oliver; Suchmann, Lovis Bero; Schröder, Sören; Borchers, Jan
What’s That Shape? Investigating Eyes-Free Recognition of Textile Icons
Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems / Edited by Albrecht Schmidt, Kaisa Väänänen, Tesh Goyal, Per Ola Kristensson, Anicia Peters, Stefanie Mueller, Julie R. Williamson, Max L. Wilson (2023)
[DOI: 10.1145/3544548.3580920]

[Journal Article]
Brocker, Anke; Schäfer, René; Remy, Christian; Voelker, Simon; Borchers, Jan
Flowboard: How Seamless, Live, Flow-Based Programming Impacts Learning to Code for Embedded Electronics
ACM transactions on computer human interaction, 30, 1, 1-36 (2023)
[DOI: 10.1145/3533015]

[Contribution to a book, Contribution to a conference proceedings]
Ábrahám, Erika; Nalbach, Jasper; Promies, Valentin Maxim
Automated Exercise Generation for Satisfiability Checking
Formal methods teaching : 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023 : proceedings / Catherine Dubois, Pierluigi San Pietro, editors, 1-16 (2023)
[DOI: 10.1007/978-3-031-27534-0_1]

[Journal Article]
Teubner, Timm; Flath, Christoph M.; Weinhardt, Christof; van der Aalst, Wil M. P.; Hinz, Oliver
Welcome to the Era of ChatGPT et al
Business & information systems engineering, 65, 2, 95-101 (2023)
[DOI: 10.1007/s12599-023-00795-x]

[Contribution to a book, Contribution to a conference proceedings]
Stolz, Tarek; Koren, István; Tirpitz, Liam; Geisler, Sandra
GALOIS: A Hybrid and Platform-Agnostic Stream Processing Architecture
[The International Workshop on Big Data in Emergent Distributed Environments, BiDEDE’23, 2023-06-18 - 2023-06-18, Seattle, USA] (2023)
[DOI: 10.1145/3579142.3594287]

[Contribution to a book]
Rüppel, Adrian Karl; Ay, Muzaffer; Biernat, Benedikt Markus Hubert; Kunze, Ike Sebastian; Landwehr, Markus; Mann, Samuel Micha; Pennekamp, Jan; Rabe, Pascal; Sanders, Mark Pascal; Scheurenberg, Dominik; Schiller, Sven; Xi, Tiandong; Abel, Dirk; Bergs, Thomas; Brecher, Christian; Reisgen, Uwe; Schmitt, Robert H.; Wehrle, Klaus
Model-based controlling approaches for manufacturing processes
Internet of Production : Fundamentals, Applications and Proceedings / Editors: Christian Brecher, Günther Schuh, Wil van der Aalst, Matthias Jarke, Frank T. Piller, Melanie Padberg, 1-26 (2023)
[DOI: 10.1007/978-3-030-98062-7_7-1]

[Book, Proceedings]
Klein, Cornel; Jarke, Matthias
Proceedings of the 12th International Conference on Smart Cities and Green ICT Systems
1 (2023)
[DOI: 10.5220/0000173700003491]

[Contribution to a conference proceedings]
christopher, morris; Grohe, Martin; Tönshoff, Jan Martin; geerts, floris
WL meet VC
[International Conference on Machine Learning, ICML 2023] (2023)

[Preprint]
Fani Sani, Mohammadreza; Vazifehdoostirani, Mozhgan; Park, Gyunam; Pegoraro, Marco; van Zelst, Sebastiaan Johannes; van der Aalst, Wil M. P.
Performance-Preserving Event Log Sampling for Predictive Monitoring
(2023)
[DOI: 10.48550/ARXIV.2301.07624]

[Journal Article]
Aghsaee, Roya; Hecht, Christopher; Schwinger, Felix Clemens; Figgener, Jan; Jarke, Matthias; Sauer, Dirk Uwe
Data-Driven, Short-Term Prediction of Charging Station Occupation
Electricity, 4, 2, 134-153 (2023)
[DOI: 10.3390/electricity4020009]

[Dissertation / PhD Thesis]
Wang, Weiyue
Neural hidden Markov model for machine translation
(2023)
[DOI: 10.18154/RWTH-2023-04470]

[Preprint]
Prabhavalkar, Rohit; Hori, Takaaki; Sainath, Tara N.; Schlüter, Ralf; Watanabe, Shinji
End-to-End Speech Recognition: A Survey
(2023)

[Journal Article]
Heins, Jonathan; Bossek, Jakob Matheus; Pohl, Janina; Seiler, Moritz; Trautmann, Heike; Kerschke, Pascal
A study on the effects of normalized TSP features for automated algorithm selection
Theoretical computer science, 940, 123-145 (2023)
[DOI: 10.1016/j.tcs.2022.10.019]

[Journal Article]
Bossek, Jakob Matheus; Sudholt, Dirk
Do additional target points speed up evolutionary algorithms?
Theoretical computer science, 113757 (2023)
[DOI: 10.1016/j.tcs.2023.113757]

[Journal Article]
Bossek, Jakob; Grimme, Christian
On Single-Objective Sub-Graph-Based Mutation for Solving the Bi-Objective Minimum Spanning Tree Problem
Evolutionary computation, 31, 1 (2023)

[Journal Article]
Broy, Manfred; Rumpe, Bernhard
Development Use Cases for Semantics-Driven Modeling Languages
Communications of the ACM : CACM, 66, 5, 62-71 (2023)
[DOI: 10.1145/3569927]

[Book, Dissertation / PhD Thesis]
Völker, Marcus
Policy iteration for value set analysis of PLC programs
Aachener Informatik-Berichte (AIB) 2023-01 (2023)
[DOI: 10.18154/RWTH-2023-04281]