[Contribution to a book, Contribution to a conference proceedings]
Smieschek, Manfred; Rakel, Stefan; Thönnessen, David; Derks, Andreas; Stollenwerk, André; Kowalewski, Stefan
A Remote Test Environment for a Large-Scale Microcontroller Laboratory Course
[Workshop on Embedded Systems and Cyber-Physical Systems Education, WESE 2019, New York, USA], 231-246 (2020)
[DOI: 10.1007/978-3-030-41131-2_11]

[Book, Journal Article]
Stollenwerk, André; Chamberlain, Roger; Edin Grimheden, Martin; Taha, Walid
An Embedded Graduate Lab Course with Spirit
Lecture notes in computer science, 11971, 247-263 (2020)
[DOI: 10.1007/978-3-030-41131-2_12]

[Master Thesis]
Deb, Amrita
Application of Gamification as a support for strategizing in Self-regulated Learning
(2020)

[Master Thesis]
Gottschlich, Dirk Manuel
Enhancing E-learning with an Interactive Gamification Analytics Tool
(2020)

[Contribution to a book, Journal Article]
Klamma, Ralf; Koren, István; Jarke, Matthias
Mixed Reality and Wearables in Industrial Training
ERCIM news, 120, 27-28 (2020)

[Journal Article]
Klinkenberg, Jannis; Samfass, Philipp; Bader, Michael; Terboven, Christian; Müller, Matthias Stefan
CHAMELEON: Reactive Load Balancing for Hybrid MPI+OpenMP Task-Parallel Applications
Journal of parallel and distributed computing, 138, 55-64 (2020)
[DOI: 10.1016/j.jpdc.2019.12.005]

[Contribution to a book, Contribution to a conference proceedings]
Tauer, Björn Frederik; Fischer, Dennis; Fuchs, Janosch; Vargas Koch, Laura; Zieger, Stephan
Waiting for Trains: Complexity Results
Algorithms and Discrete Applied Mathematics : 6th International Conference, CALDAM 2020, Hyderabad, India, February 13-15, 2020 : Proceedings / Manoj Changat, Sandip Das (Eds.), 282-303 (2020)
[DOI: 10.1007/978-3-030-39219-2_24]

[Contribution to a book, Contribution to a conference proceedings]
Pourbafrani, Mahsa; van Zelst, Sebastiaan J.; van der Aalst, Wil M. P.
Supporting Decisions in Production Line Processes by Combining Process Mining and System Dynamics
[Intelligent Human Systems Integration 2020, IHSI2020, 2020-02-19 - 2020-02-21, Modena, Italy], 461-467 (2020)
[DOI: 10.1007/978-3-030-39512-4_72]

[Contribution to a book, Contribution to a conference proceedings]
Pegoraro, Marco; Uysal, Merih Seran; van der Aalst, Wil M. P.
Discovering Process Models from Uncertain Event Data
Business Process Management Workshops : BPM 2019 International Workshops, Vienna, Austria, September 1-6, 2019, Revised Selected Papers / edited by Chiara Di Francescomarino, Remco Dijkman, Uwe Zdun., 238-249 (2019)
[DOI: 10.1007/978-3-030-37453-2_20]

[Bachelor Thesis]
Kraus, Nicole
Ein Leitfaden für Lehrende zum Einstieg in das Thema Data Mining
(2020)

[Contribution to a book]
Steinberger, Claudia; Michael, Judith
Using Semantic Markup to Boost Context Awareness for Assistive Systems
Smart Assisted Living : Toward An Open Smart-Home Infrastructure / edited by Feng Chen, Rebeca I. García-Betances, Liming Chen, María Fernanda Cabrera-Umpiérrez, Chris Nugent, 227-246 (2020)
[DOI: 10.1007/978-3-030-25590-9_11]

[Dissertation / PhD Thesis]
Matheja, Christoph
Automated reasoning and randomization in separation logic
, 1 Online-Ressource (x, 504 Seiten) : Illustrationen, Diagramme (2020)

[Dataset]
Kosek, Mike; Rüth, Jan Christoph; Zimmermann, Torsten; Blöcher, Leo; Hohlfeld, Oliver
Dataset to "MUST, SHOULD, DON’T CARE: TCP Conformance in the Wild"
(2020)

[Contribution to a book, Contribution to a conference proceedings]
Fögen, Konrad; Lichter, Horst
Semi-Automatic Repair of Over-Constrained Models for Combinatorial Robustness Testing
2019 26th Asia-Pacific Software Engineering Conference (APSEC) : [Proceedings], 110-117 (2020)
[DOI: 10.1109/APSEC48747.2019.00024]

[Journal Article]
van der Aalst, Wil M. P.
Case Notion Discovery and Recommendation: Automated Event Log Building on Databases
Knowledge and information systems, 2019, 1-37 (2020)
[DOI: 10.1007/s10115-019-01430-6]

[Journal Article]
Grochowski, Marco; Simon, Hendrik; Bohlender, Dimitri; Kowalewski, Stefan; Löcklin, Andreas; Müller, Timo; Jazdi, Nasser; Zeller, Andreas; Weyrich, Michael
Formale Methoden für rekonfigurierbare cyber-physische Systeme in der Produktion
Automatisierungstechnik, 68, 1, 3-14 (2020)
[DOI: 10.1515/auto-2019-0115]

[Journal Article]
Hromkovic, Juraj; Rossmanith, Peter
What one has to know when attacking P vs. NP
Journal of computer and system sciences : JCSS, 107, 142-155 (2019)
[DOI: 10.1016/j.jcss.2019.06.004]

[Contribution to a book, Contribution to a conference proceedings]
Deussen, Jens; Naumann, Uwe
Discrete Interval Adjoints in Unconstrained Global Optimization
Optimization of Complex Systems: Theory, Models, Algorithms and Applications / edited by Hoai An Le Thi, Hoai Minh Le, Tao Pham Dinh, 78-88 (2020)
[DOI: 10.1007/978-3-030-21803-4_8]

[Journal Article]
Childs, Hank; Bennett, Janine; Garth, Christoph; Hentschel, Bernd; Rhyne, Theresa-Marie
In Situ Visualization for Computational Science
IEEE computer graphics and applications, 39, 6, 76-85 (2019)
[DOI: 10.1109/MCG.2019.2936674]

[Contribution to a book]
Bergener, Katrin; Räckers, Michael; Stein, Armin; van der Aalst, Wil
Structuring Behavior or Not, That is the Question
The Art of Structuring / Bergener, Katrin (Editor) ; Cham : Springer International Publishing, 2019, Chapter 21 ; ISBN: 978-3-030-06233-0 ; doi:10.1007/978-3-030-06234-7, 221-226 (2019)
[DOI: 10.1007/978-3-030-06234-7_21]

[Contribution to a book]
van der Aalst, Wil M. P.; Artale, A.; Calvanese, D.; Montali, M.
Enriching Data Models with Behavioral Constraints
, 257-277 (2019)

[Contribution to a book, Contribution to a conference proceedings]
Daniel, Florian; Sheng, Quan Z.; Motahari, Hamid; van Eck, Maikel L.; Sidorova, Natalia; van der Aalst, Wil M. P.
Multi-instance Mining: Discovering Synchronisation in Artifact-Centric Processes
Business Process Management Workshops / Daniel, Florian (Editor) [https://orcid.org/0000-0003-3004-8702] ; Cham : Springer International Publishing, 2019, Chapter 2 ; ISSN: 1865-1348=1865-1356 ; ISBN: 978-3-030-11640-8=978-3-030-11641-5 ; doi:10.1007/978-3-030-11641-5, 18-30 (2019)
[DOI: 10.1007/978-3-030-11641-5_2]

[Contribution to a book, Contribution to a conference proceedings]
Daniel, Florian; Sheng, Quan Z.; Motahari, Hamid; Lee, Wai Lam Jonathan; Munoz-Gama, Jorge; Verbeek, H. M. W.; van der Aalst, Wil M. P.; Sepúlveda, Marcos
Improving Merging Conditions for Recomposing Conformance Checking
Business Process Management Workshops / Daniel, Florian (Editor) [https://orcid.org/0000-0003-3004-8702] ; Cham : Springer International Publishing, 2019, Chapter 3 ; ISSN: 1865-1348=1865-1356 ; ISBN: 978-3-030-11640-8=978-3-030-11641-5 ; doi:10.1007/978-3-030-11641-5, 31-43 (2019)
[DOI: 10.1007/978-3-030-11641-5_3]

[Contribution to a book, Contribution to a conference proceedings]
Feld, Christian; Convent, Simon; Hermanns, Marc-André; Protze, Joachim; Geimer, Markus; Mohr, Bernd
Score-P and OMPT : Navigating the Perils of Callback-Driven Parallel Runtime Introspection
OpenMP: conquering the full hardware spectrum : 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11-13, 2019 : proceedings / Xing Fan, Bronis R. de Supinski, Oliver Sinnen, Nasser Giacaman, eds, 21-35 (2019)
[DOI: 10.1007/978-3-030-28596-8_2]

[Contribution to a book, Contribution to a conference proceedings]
Protze, Joachim; Cramer, Tim; Convent, Simon; Müller, Matthias S.
OMPT-Multiplex : Nesting of OMPT Tools
Tools for High Performance Computing 2017 : Proceedings of the 11th International Workshop on Parallel Tools for High Performance Computing, September 2017, Dresden, Germany / edited by Christoph Niethammer, Michael M. Resch, Wolfgang E. Nagel, Holger Brunst, Hartmut Mix, 73-83 (2019)
[DOI: 10.1007/978-3-030-11987-4_5]

[Contribution to a book, Contribution to a conference proceedings]
van Eck, Maikel L.; Markslag, Else; Sidorova, Natalia; Brosens-Kessels, Angelique; van der Aalst, Wil M. P.
Data-Driven Usability Test Scenario Creation
Human-Centered Software Engineering : 7th IFIP WG 13.2 International Working Conference, HCSE 2018, Sophia Antipolis, France, September 3-5, 2018, Revised Selected Papers / edited by Cristian Bogdan, Kati Kuusinen, Marta Kristín Lárusdóttir, Philippe Palanque, Marco Winckler, 88-108 (2019)
[DOI: 10.1007/978-3-030-05909-5_6]

[Contribution to a book, Contribution to a conference proceedings]
van der Aalst, Wil M. P.
Responsible Data Science in a Dynamic World : The Four Essential Elements of Data Science
Internet of things : information processing in an increasingly connected world : First IFIP International Cross-Domain Conference, IFIPIoT 2018, held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18-20, 2018 : revised selected papers / Leon Strous, Vinton G. Cerf (eds.), 3-10 (2019)
[DOI: 10.1007/978-3-030-15651-0_1]

[Journal Article]
Otto, Boris; Jarke, Matthias
Designing a multi-sided data platform : findings from the International Data Spaces case
Electronic markets : EM, 29, 4, 561-580 (2019)
[DOI: 10.1007/s12525-019-00362-x]

[Book, Proceedings]
Di Francescomarino, Chiara; Dijkman, Remco M.; Zdun, Uwe
Business Process Management Workshops - BPM 2019 International Workshops, Vienna, Austria, September 1-6, 2019, Revised Selected Papers
BPM 2019 International Workshops Vienna 2019-09-01 - 2019-09-06, XVI, 761 p. 354 illus., 142 illus. in color (2019)
[DOI: 10.1007/978-3-030-37453-2]

[Preprint]
Pegoraro, Marco; Uysal, Merih Seran; van der Aalst, Wil M. P.
Discovering Process Models from Uncertain Event Data
(2019)

[Contribution to a book, Contribution to a conference proceedings]
Ali, Lubna
Developing Methods to Automate the Utilization of OER in Higher Education
DeLFI 2019 : die 17. Fachtagung Bildungstechnologien, 16.-19. September 2019, Berlin, Deutschland / Niels Pinkwart, Johannes Konert (Hrsg.) (2019)

[Contribution to a conference proceedings, Preprint]
Bohlender, Dimitri; Chiyah Garcia, Francisco J.; Köhl, Maximilian; Menghi, Claudio; Wortmann, Andreas
On Explainability and its Characterization
Explainable Software for Cyber-Physical Systems (ES4CPS) : Report from the GI Dagstuhl Seminar 19023 : January 06-11 2019, Schloss Dagstuhl / Edited By: Joel Greenyer ; Malte Lochau ; Thomas Vogel (2019)

[Preprint]
Bohlender, Dimitri; Köhl, Maximilian A.
Towards a Characterization of Explainable Systems
(2019)

[Journal Article]
Wang, An; Kuriata, Olha; Xu, Fengming; Nietzsche, Sandor; Gremse, Felix; Dirsch, Olaf; Settmacher, Utz; Dahmen, Uta
A Survival Model of In Vivo Partial Liver Lobe Decellularization Towards In Vivo Liver Engineering
Tissue engineering / C Methods Part C, 1-16 (2019)
[DOI: 10.1089/ten.tec.2019.0194]

[Contribution to a book, Contribution to a conference proceedings]
Di Francescomarino, Chiara; Dijkman, Remco; Zdun, Uwe; Mannel, Lisa Luise; van der Aalst, Wil M. P.
Finding Uniwired Petri Nets Using eST-Miner
Business Process Management Workshops / Di Francescomarino, Chiara (Editor) ; Cham : Springer International Publishing, 2019, Chapter 19 ; ISSN: 1865-1348=1865-1356 ; ISBN: 978-3-030-37452-5=978-3-030-37453-2 ; doi:10.1007/978-3-030-37453-2, 224 - 237 (2019)
[DOI: 10.1007/978-3-030-37453-2_19]

[Contribution to a conference proceedings]
van der Aalst, Wil M. P.
Filtering Toolkit: Interactively Filter Event Logs to Improve the Quality of Discovered Models
BPM 2019 Demo Track (2019)

[Contribution to a book, Contribution to a conference proceedings]
Leemans, Sander J. J.; Syring, Anja F.; van der Aalst, Wil M. P.
Earth Movers’ Stochastic Conformance Checking
Business Process Management Forum : BPM Forum 2019, Vienna, Austria, September 1-6, 2019, Proceedings / edited by Thomas Hildebrandt, Boudewijn F. van Dongen, Maximilian Röglinger, Jan Mendling, 127-143 (2019)
[DOI: 10.1007/978-3-030-26643-1_8]

[Contribution to a book, Contribution to a conference proceedings]
Artale, Alessandro; Kovtunova, Alisa; Montali, Marco; van der Aalst, Wil M. P.
Modeling and Reasoning over Declarative Data-Aware Processes with Object-Centric Behavioral Constraints
Business process management : 17th International Conference, BPM 2019, Vienna, Austria, September 1-6, 2019 : proceedings / Thomas Hildebrandt, Boudewijn F. van Dongen, Maximilian Röglinger, Jan Mendling (eds.), 139-156 (2019)
[DOI: 10.1007/978-3-030-26619-6_11]

[Contribution to a book, Contribution to a conference proceedings]
van der Aalst, Wil M. P.
Everything You Always Wanted to Know About Petri Nets, but Were Afraid to Ask
Business process management : 17th International Conference, BPM 2019, Vienna, Austria, September 1-6, 2019 : proceedings / Thomas Hildebrandt, Boudewijn F. van Dongen, Maximilian Röglinger, Jan Mendling (eds.), 3-9 (2019)
[DOI: 10.1007/978-3-030-26619-6_1]

[Contribution to a book, Contribution to a conference proceedings]
Li, Guangming; de Carvalho, Renata Medeiros; van der Aalst, Wil M. P.
A Model-based Framework to Automatically Generate Semi-real Data for Evaluating Data Analysis Techniques
ICEIS 2019 : proceedings of the 21st International Conference on Enterprise Information Systems : Heraklion, Crete, Greece, May 3-5, 2019 / sponsored by INSTICC - Institute for Systems and Technologies of Information, Control and Communication ; co-organized by University of Crete ; edited by Joaquim Filipe, Michal Smialek, Alexander Brodsky and Slimane Hammoudi, 213-220 (2019)
[DOI: 10.5220/0007713702130220]

[Contribution to a book, Contribution to a conference proceedings]
Liu, Cong; van Dongen, Boudewijn; Assy, Nour; van der Aalst, Wil M. P.
A General Framework to Identify Software Components from Execution Data
ENASE 2019 : proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering : Heraklion, Crete, Greece, May 4-5, 2019 / sponsored by: INSTICC - Institute for Systems and Technologies of Information, Control and Communication ; edited by Ernesto Damiani, George Spanoudakis and Leszek Maciaszek (2019)
[DOI: 10.5220/0007655902340241]

[Contribution to a book, Contribution to a conference proceedings]
Klinkmüller, Christopher; Ponomarev, Alexander; Tran, An Binh; Weber, Ingo; van der Aalst, Wil M. P.
Mining Blockchain Processes : Extracting Process Mining Data from Blockchain Applications
Business Process Management: Blockchain and Central and Eastern Europe Forum : BPM 2019 Blockchain and CEE Forum, Vienna, Austria, September 1-6, 2019, Proceedings / edited by Claudio Di Ciccio, Renata Gabryelczyk, Luciano García-Bañuelos, Tomislav Hernaus, Rick Hull, Mojca Indihar Štemberger, Andrea Kő, Mark Staples, 71-86 (2019)
[DOI: 10.1007/978-3-030-30429-4_6]

[Contribution to a book, Contribution to a conference proceedings]
Dees, 5. M.; de Leoni, M.; van der Aalst, Wil M. P.; Reijers, and H.
What If Process Predictions Are Not Followed By Good Recommendations?
volume 2428 of CEUR Workshop Proceedings, 61-72 (2019)

[Contribution to a book, Contribution to a conference proceedings]
Mannel, Lisa Luise; van der Aalst, Wil M. P.
Finding Complex Process-Structures by Exploiting the Token-Game
Application and theory of petri nets and concurrency : 40th international conference, PETRI NETS 2019, Aachen, Germany, June 23-28, 2019 : proceedings / Susanna Donatelli, Stefan Haar (eds.), 258-278 (2019)
[DOI: 10.1007/978-3-030-21571-2_15]

[Contribution to a book, Contribution to a conference proceedings]
Pourbafrani, Mahsa; van Zelst, Sebastiaan J.; van der Aalst, Wil M. P.
Scenario-Based Prediction of Business Processes Using System Dynamics
On the move to meaningful internet systems : OTM 2019 Conferences : Confederated International Conferences: CoopIS, ODBASE, C&TC 2019, Rhodes, Greece, October 21-25, 2019 : proceedings / Hervé Panetto [und 6 andere] (eds.), 422-439 (2019)
[DOI: 10.1007/978-3-030-33246-4_27]

[Contribution to a book, Contribution to a conference proceedings]
Li, Chiao-Yun; van Zelst, Sebastiaan J.; van der Aalst, Wil M. P.
A Generic Approach for Process Performance Analysis Using Bipartite Graph Matching
Business Process Management Workshops : BPM 2019 International Workshops, Vienna, Austria, September 1-6, 2019, Revised Selected Papers / edited by Chiara Di Francescomarino, Remco Dijkman, Uwe Zdun., 199-211 (2019)
[DOI: 10.1007/978-3-030-37453-2_17]

[Journal Article]
Kunjachan, Sijumon; Kotb, Shady; Pola, Robert; Pechar, Michal; Kumar, Rajiv; Singh, Bijay; Gremse, Felix; Taleeli, Reza; Trichard, Florian; Motto-Ros, Vincent; Sancey, Lucie; Detappe, Alexandre; Yasmin-Karim, Sayeda; Protti, Andrea; Shanmugam, Ilanchezhian; Ireland, Thomas; Etrych, Tomas; Sridhar, Srinivas; Tillement, Olivier; Makrigiorgos, Mike; Berbeco, Ross I.
Selective Priming of Tumor Blood Vessels by Radiation Therapy Enhances Nanodrug Delivery
Scientific reports, 9, 1, 15844 (2019)
[DOI: 10.1038/s41598-019-50538-w]

[Journal Article]
Yamoah, Grace Gyamfuah; Cao, Liji; Wu, Chao Wu; Beekman, Freek J.; Vandeghinste, Bert; Mannheim, Julia G.; Rosenhain, Stefanie; Leonardic, Kevin; Kießling, Fabian; Gremse, Felix
Data Curation for Preclinical and Clinical Multimodal Imaging Studies
Molecular imaging & biology : MIB, 21, 6, 1034-1043 (2019)
[DOI: 10.1007/s11307-019-01339-0]

[Journal Article]
Karim, Md. Rezaul; Rahman, Ashiqur; Jares, João Bosco; Decker, Stefan Josef; Beyan, Oya Deniz
A snapshot neural ensemble method for cancer-type prediction based on copy number variations
Neural computing & applications, 1-19 (2019)
[DOI: 10.1007/s00521-019-04616-9]

[Proceedings]
Klamma, Ralf; Spaniol, Marc; Unankard, Sayan
Advances in Web-Based Learning
Journal of universal computer science : JUCS, 25, 12, 1503-1665 (2019)