[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, 32 Seiten (2020)
[DOI: 10.1007/s00236-020-00374-7]

[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]

[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]

[Book]
Treasure-Jones, Tamsin; Dennerlein, Sebastian; Antoniou, Panagiotis; Koren, István
Co-Creation in the Design, Development and Implementation of Technology-Enhanced Learning
Interaction Design and Architecture(s) : IxD&A, 42, 231 Seiiten (2019)

[Contribution to a book, Journal Article]
Treasure-Jones, Tamsin; Dennerlein, Sebastian; Antoniou, Panagiotis; Koren, István
Special issue on 'Co-Creation in the Design, Development and Implementation of Technology-Enhanced Learning' : Preface
Interaction Design and Architecture(s) : IxD&A, 42, 5-10 (2019)

[Contribution to a conference proceedings]
Menne, Tobias; Sklyar, Ilya; Schlüter, Ralf; Ney, Hermann
Analysis of Deep Clustering as Preprocessing for Automatic Speech Recognition of Sparsely Overlapping Speech
Interspeech 2019 : 15-19 September 2019, Graz / Chairs: Gernot Kubin and Zdravko Kačič, 2638-2642 (2019)
[DOI: 10.21437/Interspeech.2019-1728]

[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]
van der Aalst, Wil M. P.
Structuring Behavior or Not, That is the Question
The Art of Structuring : Bridging the Gap Between Information Systems Research and Practice / edited by Katrin Bergener, Michael Räckers, Armin Stein, 221-226 (2019)
[DOI: 10.1007/978-3-030-06234-7_21]

[Contribution to a book]
Artale, Alessandro; Calvanese, Diego; Montali, Marco; van der Aalst, Wil M. P.
Enriching Data Models with Behavioral Constraints
Ontology Makes Sense : Essays in Honor of Nicola Guarino / Edited by Stefano Borgo, Laboratory for Applied Ontology, ISTC-CNR, Trento; Roberta Ferrario, Laboratory for Applied Ontology, ISTC-CNR, Trento; Claudio Masolo, Laboratory for Applied Ontology, ISTC-CNR, Trento and Laure Vieu, Institut de Recherche en Informatique de Toulouse, CNRS, Toulouse and Laboratory for Applied Ontology, ISTC-CNR, Trento, 257-277 (2019)
[DOI: 10.3233/978-1-61499-955-3-257]

[Contribution to a book, Contribution to a conference proceedings]
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 : BPM 2018 International Workshops, Sydney, NSW, Australia, September 9-14, 2018, Revised Papers / edited by Florian Daniel, Quan Z. Sheng, Hamid Motahari, 18-30 (2019)
[DOI: 10.1007/978-3-030-11641-5_2]

[Contribution to a book, Contribution to a conference proceedings]
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 : BPM 2018 International Workshops, Sydney, NSW, Australia, September 9-14, 2018, Revised Papers / edited by Florian Daniel, Quan Z. Sheng, Hamid Motahari, 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
BPM 2019 International Workshops Vienna 2019-09-01 - 2019-09-06 (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, 4-7 (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, Marcus; de Leoni, Massimiliano; van der Aalst, Wil M. P.; Reijers, Hajo A.
What If Process Predictions Are Not Followed By Good Recommendations?
BPM2019IF, 17th International Conference on Business Process Management 2019 Industry Forum : proceedings of the Industry Forum at BPM 2019, co-located with 17th International Conference on Business Process Management (BPM 2019) : Vienna, Austria, September 1-6, 2019 / edited by Jan vom Brocke (University of Liechtenstein, Liechtenstein), Jan Mendling (Vienna University of Economics and Business, Austria), Michael Rosemann (Queensland University of Technology, Brisbane, Australia), 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]