[Preprint]
Delicaris, Joanna; Schupp, Stefan; Ábrahám, Erika; Remke, Anne
Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks
(2023)
[DOI: 10.48550/arXiv.2304.14996]

[Book, Proceedings]
Ábrahám, Erika (Editor); Sturm, Thomas (Editor)
SC-Square 2023 : Satisfiability Checking and Symbolic Computation 2023 : Proceedings of the 8th SC-Square Workshop : co-located with the 48th International Symposium on Symbolic and Algebraic Computation (ISSAC 2023) : Tromsø, Norway, July 28, 2023
CEUR Workshop Proceedings 3455 (2023)

[Contribution to a book, Contribution to a conference proceedings]
Delicaris, Joanna; Schupp, Stefan; Ábrahám, Erika; Remke, Anne
Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks
Theoretical Aspects of Software Engineering : 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings / edited by Cristina David, Meng Sun, 164-182 (2023)
[DOI: 10.1007/978-3-031-35257-7_10]

[Preprint]
Bär, Philipp; Nalbach, Jasper Kurt Ferdinand; Ábrahám, Erika; Brown, Christopher W.
Exploiting Strict Constraints in the Cylindrical Algebraic Covering
(2023)
[DOI: 10.48550/arXiv.2306.16757]

[Contribution to a book, Contribution to a conference proceedings]
Seppelt, Tim Frederik
Logical Equivalences, Homomorphism Indistinguishability, and Forbidden Minors
48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023) / Herausgeber: Jérôme Leroux, Sylvain Lombardy, David Peleg, 82:1-82:15 (2023)
[DOI: 10.4230/LIPIcs.MFCS.2023.82]

[Journal Article]
Combemale, Benoit; Gray, Jeff; Rumpe, Bernhard
Research software engineering and the importance of scientific models
Software and systems modeling, 22, 4, 1081-1083 (2023)
[DOI: 10.1007/s10270-023-01119-z]

[Contribution to a book, Contribution to a conference proceedings]
Behery, Mohamed Anwar Abdellatif; Trinh, Minh; Brecher, Christian; Lakemeyer, Gerhard
Self-Optimizing Agents Using Mixed Initiative Behavior Trees
2023 IEEE/ACM 18th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) : 15-16 May 2023, 97-103 (2023)
[DOI: 10.1109/SEAMS59076.2023.00023]

[Journal Article]
Adams, Jan Niklas; Park, Gyunam; van der Aalst, Wil M. P.
Preserving complex object-centric graph structures to improve machine learning tasks in process mining
Engineering applications of artificial intelligence, 125, 106764 (2023)
[DOI: 10.1016/j.engappai.2023.106764]

[Contribution to a book, Contribution to a conference proceedings]
Drury, Vincent Jakob; Drees, Jakob; Meyer, Ulrike Michaela
Easier in Reverse: Simplifying URL Reading for Phishing URLs via Reverse Domain Name Notation
ARES '23 : 18th International Conference on Availability, Reliability and Security : 29 Aug. until 1 Sept. 2023, Benevento, Italy : proceedings, 10 Seiten (2023)
[DOI: 10.1145/3600160.3604989]

[Master Thesis]
Stankov, Rafail; Görzen, Sergej; Heinemann, Birte
An interface for connecting Educational WebXR Apps and Moodle
(2023)
[DOI: 10.18154/RWTH-2023-07987]

[Bachelor Thesis]
Sußebach, Thorben; Heinemann, Birte
Theory-based redesign of a VR learning environment for desktop
(2023)
[DOI: 10.18154/RWTH-2023-07986]

[Bachelor Thesis]
Kang, Hyejin
UX based development of a productivity tool for pupil intership management
(2023)
[DOI: 10.18154/RWTH-2023-07985]

[Contribution to a book, Contribution to a conference proceedings]
Bellgardt, Martin; Pape, Sebastian; Gilbert, David Yannik Reinhard; Prochnau, Marcel Sebastian; König, Georg; Kuhlen, Torsten
Virtual Optical Bench: Teaching Spherical Lens Layout in VR with Real-Time Ray Tracing
2023 IEEE Conference on Virtual Reality and 3D User Interfaces : 25-29 March 2023, Shanghai, China : proceedings / general chairs: Xubo Yang (Shanghai Jiao Tong University, China), Kun Zhou (Zhejiang University, China), Stephan Lukosch (HIT Lab NZ, University of Canterbury, New Zealand), Tobias Langlotz (University of Otago, New Zealand) ; publications chairs: Christos Mousas (Purdue University, USA), Mohammed Safayet Arefin (Mississippi State University, USA), Matias Volonte (Northeastern University, USA), Yan Zhang (Shanghai Jiao Tong University, China) (2023)
[DOI: 10.1109/VR55154.2023.00065]

[Journal Article]
Abida, Ahmed; Richter, Pascal
HVAC control in buildings using neural network
Journal of building engineering, 65, 105558 (2023)
[DOI: 10.1016/j.jobe.2022.105558]

[Contribution to a book, Contribution to a conference proceedings]
Zhang, Yisong; van der Aalst, Wil M. P.
Explorative Process Discovery Using Activity Projections
Application and Theory of Petri Nets and Concurrency : 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25-30, 2023, Proceedings / edited by Luis Gomes, Robert Lorenz, 229-239 (2023)
[DOI: 10.1007/978-3-031-33620-1_13]

[Journal Article]
Nofer, Michael; Bauer, Kevin; Hinz, Oliver; van der Aalst, Wil M. P.; Weinhardt, Christof
Quantum Computing
Business & information systems engineering, 65, 4, 361-367 (2023)
[DOI: 10.1007/s12599-023-00823-w]

[Journal Article]
Berti, Alessandro; Jessen, Urszula; Park, Gyunam; Rafiei, Majid; van der Aalst, Wil M. P.
Analyzing interconnected processes: using object-centric process mining to analyze procurement processes
International journal of data science and analytics, 23 Seiten (2023)
[DOI: 10.1007/s41060-023-00427-3]

[Contribution to a book, Contribution to a conference proceedings]
van Bergerem, Steffen; Grohe, Martin; Kiefer, Sandra; Oeljeklaus, Luca Frédéric Tilmann
Simulating Logspace-Recursion with Logarithmic Quantifier Depth
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) : 26 - 29 June 2023, Boston, USA, 2023 (2023)
[DOI: 10.1109/LICS56636.2023.10175818]

[Contribution to a book, Contribution to a conference proceedings]
Böttcher, Luis Robert; Wolf, Hinrikus; Jung, Bastian; Lutat, Philipp Leonard; Trageser, Marc Roland; Pohl, Oliver; Tao, Xiaohu; Ulbig, Andreas; Grohe, Martin
Solving AC Power Flow with Graph Neural Networks under Realistic Constraints
2023 IEEE Belgrade PowerTech : June 25-29, 2023, Belgrade, Serbia, 7 Seiten (2023)
[DOI: 10.1109/PowerTech55446.2023.10202246]

[Contribution to a book, Contribution to a conference proceedings]
Schäfer, Simon; Steidl, Hendrik; Kowalewski, Stefan; Alrifaee, Bassam
Investigating a Pressure Sensitive Surface Layer for Vehicle Localization
2023 IEEE Intelligent Vehicles Symposium (IV) : 4-7 June 2023, 6 Seiten (2023)
[DOI: 10.1109/IV55152.2023.10186582]

[Journal Article]
Berti, Alessandro; Herforth, Johannes; Qafari, Mahnaz Sadat; van der Aalst, Wil M. P.
Graph-based feature extraction on object-centric event logs
International journal of data science and analytics, 17 Seiten (2023)
[DOI: 10.1007/s41060-023-00428-2]

[Contribution to a book, Contribution to a conference proceedings]
Scheffe, Patrick; Alrifaee, Bassam
A Scaled Experiment Platform to Study Interactions Between Humans and CAVs
2023 IEEE Intelligent Vehicles Symposium (IV) : 4-7 June 2023, 6 Seiten (2023)
[DOI: 10.1109/IV55152.2023.10186623]

[Contribution to a conference proceedings]
Shtarbanov, Ali; Brocker, Anke; Cabrera, Adriana; Hu, Yuhan; Müller, Heiko; Mazursky, Alex
Soft Robotics and Programmable Materials for Human-Computer Interaction
DIS '23 Companion: Companion Publication of the 2023 ACM Designing Interactive Systems Conference (2023)
[DOI: 10.1145/3563703.3591460]

[Master Thesis]
Sahabi, Sarah
Prevalent dark patterns : investigating children's mental models of malicious designs
(2023)

[Bachelor Thesis]
Nitulescu, Ana-Maria
Tool support for substitutions in DIY tutorials
(2023)

[Master Thesis]
Reim, Julia
Investigating peripheral feedback for sitting posture guidance
(2023)

[Bachelor Thesis]
Buttkus, Elisabeth Jane
Measuring perceived haptic similarities between textile icons
(2023)

[Bachelor Thesis]
Baicu, Ilinca
Can smart home action multiplexing solve priority conflicts?
(2023)

[Contribution to a book, Contribution to a conference proceedings]
Trinh, Minh; Dammers, Hannah; Behery, Mohamed Anwar Abdellatif; Baier, Ralph Oliver; Henn, Thomas; Gossen, Daniel; Corves, Burkhard; Kowalewski, Stefan; Nitsch, Verena; Lakemeyer, Gerhard; Gries, Thomas; Brecher, Christian
Safety of Human-Robot Collaboration within the Internet of Production
HCI in Business, Government and Organizations : 10th International Conference, HCIBGO 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part II / edited by Fiona Nah, Keng Siau, 86-103 (2023)
[DOI: 10.1007/978-3-031-36049-7_7]

[Contribution to a book, Contribution to a conference proceedings]
Sarandi, Istvan; Hermans, Alexander; Leibe, Bastian
Learning 3D Human Pose Estimation from Dozens of Datasets using a Geometry-Aware Autoencoder to Bridge Between Skeleton Formats
2023 IEEE Winter Conference on Applications of Computer Vision : 3-7 January 2023, Waikoloa, Hawaii : proceedings / conference sponsor: IEEE Computer Society, CVF ; general chairs: Tamara Berg, Ryan Farrell, 2955-2965 (2023)
[DOI: 10.1109/WACV56688.2023.00297]

[Contribution to a book, Contribution to a conference proceedings]
Athar, Ali; Luiten, Jonathon Tyler; Voigtlaender, Paul; Khurana, Tarasha; Dave, Achal; Leibe, Bastian; Ramanan, Deva
BURST: A Benchmark for Unifying Object Recognition, Segmentation and Tracking in Video
2023 IEEE Winter Conference on Applications of Computer Vision : 3-7 January 2023, Waikoloa, Hawaii : proceedings / conference sponsor: IEEE Computer Society, CVF ; general chairs: Tamara Berg, Ryan Farrell, 1674-1683 (2023)
[DOI: 10.1109/WACV56688.2023.00172]

[Journal Article]
Leemans, Sander Jacobus Johannes; McGree, James M.; Polyvyanyy, Artem; ter Hofstede, Arthur H. M.
Statistical Tests and Association Measures for Business Processes
IEEE transactions on knowledge and data engineering : TKDE, 35, 7, 7497-7511 (2022)
[DOI: 10.1109/TKDE.2022.3197840]

[Journal Article]
Schlender, Thalea; Viljanen, Markus; van Rijn, Jan N.; Mohr, Felix; Peijnenburg, Willie J. G. M.; Hoos, Holger Hendrik; Rorije, Emiel; Wong, Albert
The Bigger Fish : A Comparison of Meta-Learning QSAR Models on Low-Resourced Aquatic Toxicity Regression Tasks
Environmental science & technology (2023)
[DOI: 10.1021/acs.est.3c00334]

[Contribution to a book]
Buschhaus, Constantin Martin; Butting, Arvid; Hillemacher, Steffen; Michael, Judith; Rumpe, Bernhard
Plattformentwicklung - vom Modell zum Tool
Wearables und Individuelle Digitale Souveränität, 20-22 (2023)

[Contribution to a book, Journal Article]
Michael, Judith
Mehr als gespiegelt
Inf : das Informatik-Magazin, 2, 12-17 (2023)
[DOI: 10.18420/INF-2023-02-12]

[Journal Article]
Tahar, Kais; Martin, Tamara; Mou, Yongli; Verbuecheln, Raphael; Graessner, Holm; Krefting, Dagmar
Rare Diseases in Hospital Information Systems—An Interoperable Methodology for Distributed Data Quality Assessments
Methods of information in medicine, 10, a-2006-1018 (2023)
[DOI: 10.1055/a-2006-1018]

[Software]
Wiartalla, Marc Oliver; Berg, Frederik Julius; Ottersbach, Florian; Kühn, Jan; Buglowski, Mateusz; Kowalewski, Stefan; Stollenwerk, André
A modular and verifiable software architecture for interconnected medical systems in intensive care
(2023)
[DOI: 10.18154/RWTH-2023-07342]

[Contribution to a book]
Michael, Judith; Koren, István; Dimitriadis, Iraklis; Fulterer, Judith; Gannouni, Aymen; Heithoff, Malte Felix; Hermann, Annkristin Sophie Alessandra; Hornberg, Katharina; Kröger, Moritz; Sapel, Patrick; Schäfer, Niklas Cedric; Theissen-Lipp, Johannes; Decker, Stefan Josef; Hopmann, Christian; Jarke, Matthias; Rumpe, Bernhard; Schmitt, Robert H.; Schuh, Günther
A Digital Shadow Reference Model for Worldwide Production Labs
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-28 (2023)
[DOI: 10.1007/978-3-030-98062-7_3-2]

[Journal Article]
Schmidt, Patrick; Pieper, D.; Kobbelt, Leif
Surface Maps via Adaptive Triangulations
Computer graphics forum, 42, 2, 103-117 (2023)
[DOI: 10.1111/cgf.14747]

[Journal Article]
Naumann, Uwe; Burela, Shubhaditya
Hessian Chain Bracketing
Journal of Combinatorics, 14, 4, 539-558 (2023)
[DOI: 10.4310/JOC.2023.v14.n4.a7]

[Journal Article]
Khader, Firas; Kather, Jakob Nikolas; Müller-Franzes, Gustav; Wang, Tianci; Han, Tianyu; Tayebi Arasteh, Soroosh; Hamesch, Karim; Bressem, Keno; Haarburger, Christoph; Stegmaier, Johannes; Kuhl, Christiane; Nebelung, Sven; Truhn, Daniel
Medical transformer for multimodal survival prediction in intensive care: integration of imaging and non-imaging data
Scientific reports, 13, 10666 (2023)
[DOI: 10.1038/s41598-023-37835-1]

[Journal Article]
Schupp, Stefan; Ábrahám, Erika; Waez, Md Tawhid Bin; Rambow, Thomas; Qiu, Zeng
On the applicability of hybrid systems safety verification tools from the automotive perspective
International journal on software tools for technology transfer (2023)
[DOI: 10.1007/s10009-023-00707-0]

[Contribution to a book, Contribution to a conference proceedings]
Bär, Philipp; Nalbach, Jasper Kurt Ferdinand; Ábrahám, Erika; Brown, Christopher
Exploiting Strict Constraints in the Cylindrical Algebraic Covering
SMT 2023 : Satisfiability Modulo Theories 2023 : Proceedings of the 21st International Workshop on Satisfiability Modulo Theories (SMT 2023) : co-located with the 29th International Conference on Automated Deduction (CADE 2023) : Rome, Italy, July, 5-6, 2023 / Edited by Stéphane Graham-Lengrand ; Mathias Preiner, 13 Seiten (2023)

[Book, Journal Article]
Grüne, Christoph Manfred; Zieger, Stephan
Solving the Dial-a-Ride Problem for Railway Traffic by Means of Heuristics
Communications in computer and information science, 1843, 93-133 (2023)
[DOI: 10.1007/978-3-031-37470-8_5]

[Master Thesis]
Peeß, Philipp Christoph; Brocker, Annabell; Röpke, René
Automatic generation of Python programming exercises in Jupyter
(2023)
[DOI: 10.18154/RWTH-2023-07045]

[Book, Dissertation / PhD Thesis]
Kloock, Maximilian Martin
Synchronization-based cooperative trajectory planning of networked vehicles
Aachener Informatik-Berichte (AIB) 2023,02 (2023)
[DOI: 10.18154/RWTH-2023-06950]

[Journal Article]
Ringert, Jan Oliver; Rumpe, Bernhard; Stachon, Max Philip
On Implementing Open World Semantic Differencing for Class Diagrams
Journal of object technology : JOT, 22, 2, 2 (2023)
[DOI: 10.5381/jot.2023.22.2.a11]

[Journal Article]
Lindt, Achim; Rumpe, Bernhard; Stachon, Max Philip; Stüber, Sebastian Wolfram
CDMerge: Semantically Sound Merging of Class Diagrams for Software Component Integration
Journal of object technology : JOT, 22, 2, 2 (2023)
[DOI: 10.5381/jot.2023.22.2.a1]

[Contribution to a book, Journal Article]
van der Aalst, Wil M. P.
Object-Centric Process Mining: Unraveling the Fabric of Real Processes
Mathematics : open access journal, 11, 12, 2691 (2023)
[DOI: 10.3390/math11122691]

[Journal Article]
Berti, Alessandro; Park, Gyunam; Rafiei, Majid; van der Aalst, Wil M. P.
A generic approach to extract object-centric event data from databases supporting SAP ERP
Journal of intelligent information systems : JIIS (2023)
[DOI: 10.1007/s10844-023-00799-9]