[Preprint]
Batz, Kevin; Junges, Sebastian; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph; Schröer, Philipp
PrIC3: Property Directed Reachability for MDPs
(2020)

[Buchbeitrag, Beitrag zu einem Tagungsband]
Hark, Marcel; Frohn, Florian; Giesl, Jürgen
Polynomial Loops: Beyond Termination
Proceedings of LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, 279-297 (2020)
[DOI: 10.29007/nxv1]

[Fachzeitschriftenartikel]
Laska, Marius; Blankenbach, Jörg; Klamma, Ralf
Adaptive Indoor Area Localization for Perpetual Crowdsourced Data Collection
Sensors, 20, 5, 1443 (2020)
[DOI: 10.3390/s20051443]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Küppers, Bastian; Eifert, Thomas; Zameitat, Richard; Schroeder, Ulrik
EA and BYOD: Threat Model and Comparison to Paper-based Examinations
Proceedings of the 12th International Conference on Computer Supported Education : May 2-4, 2020. (2020)
[DOI: 10.5220/0009578004950502]

[Fachzeitschriftenartikel]
Osterland, Thomas; Rose, Thomas
Model checking smart contracts for Ethereum
Pervasive and mobile computing, 63, 101129 - (2020)
[DOI: 10.1016/j.pmcj.2020.101129]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Haehn, Rebecca; Ábrahám, Erika; Nießen, Nils
Freight Train Scheduling in Railway Systems
Measurement, Modelling and Evaluation of Computing Systems : 20th International GI/ITG Conference, MMB 2020, Saarbrücken, Germany, March 16-18, 2020, Proceedings / edited by Holger Hermanns, 225-241 (2020)
[DOI: 10.1007/978-3-030-43024-5_14]

[Beitrag zu einem Tagungsband]
Roepert, Linus; Dahlmanns, Markus; Fink, Ina; Pennekamp, Jan; Henze, Martin
Assessing the Security of OPC UA Deployments
[1st ITG Workshop on IT Security, ITSec] (2020)
[DOI: 10.15496/PUBLIKATION-41813]

[Fachzeitschriftenartikel]
Beverungen, Daniel; Buijs, Joos C. A. M.; Becker, Jörg; Di Ciccio, Claudio; van der Aalst, Wil M. P.; Bartelheimer, Christian; vom Brocke, Jan; Comuzzi, Marco; Kraume, Karsten; Leopold, Henrik; Matzner, Martin; Mendling, Jan; Ogonek, Nadine; Post, Till; Resinas, Manuel; Revoredo, Kate; del-Río-Ortega, Adela; La Rosa, Marcello; Santoro, Flávia Maria; Solti, Andreas; Song, Minseok; Stein, Armin; Stierle, Matthias; Wolf, Verena
Seven Paradoxes of Business Process Management in a Hyper-Connected World
Business & information systems engineering, 12 Seiten (2020)
[DOI: 10.1007/s12599-020-00646-z]

[Fachzeitschriftenartikel]
Luiten, Jonathon; Fischer, Tobias; Leibe, Bastian
Track to Reconstruct and Reconstruct to Track
Missing Journal / Fehlende Zeitschrift, 5, 2, 1803 - 1810 (2020)
[DOI: 10.1109/LRA.2020.2969183]

[Fachzeitschriftenartikel]
Pika, Anastasiia; Wynn, Moe T.; Budiono, Stephanus; ter Hofstede, Arthur H. M.; van der Aalst, Wil M. P.; Reijers, Hajo A.
Privacy-Preserving Process Mining in Healthcare
International journal of environmental research and public health, 17, 5, 1612 (2020)
[DOI: 10.3390/ijerph17051612]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Cramer, Tim; Römmer, Manoel; Kosmynin, Boris; Focht, Erich; Müller, Matthias S.
OpenMP Target Device Offloading for the SX-Aurora TSUBASA Vector Engine
Parallel Processing and Applied Mathematics : 13th International Conference, PPAM 2019, Bialystok, Poland, September 8-11, 2019, Revised Selected Papers, Part I / edited by Roman Wyrzykowski, Ewa Deelman, Jack Dongarra, Konrad Karczewski, 237-249 (2020)
[DOI: 10.1007/978-3-030-43229-4_21]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Löding, Christof; Pirogov, Anton
Ambiguity, Weakness, and Regularity in Probabilistic Büchi Automata
Foundations of Software Science and Computation Structures : 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings / edited by Jean Goubault-Larrecq, Barbara König, 522-541 (2020)
[DOI: 10.1007/978-3-030-45231-5_27]

[Beitrag zu einem Tagungsband]
Völker, Simon; Hueber, Sebastian; Holz, Christian; Remy, Christian; Marquardt, Nicolai
GazeConduits: Calibration-Free Cross-Device Collaboration through Gaze and Touch
[The 2020 CHI Conference on Human Factors in Computing Systems, CHI '20] (2020)
[DOI: 10.1145/3313831.3376578]

[Beitrag zu einem Tagungsband]
Völker, Simon; Hueber, Sebastian; Corsten, Christian Leonhard; Remy, Christian
HeadReach: Using Head Tracking to Increase Reachability on Mobile Touch Devices
[The 2020 CHI Conference on Human Factors in Computing Systems, CHI '20] (2020)
[DOI: 10.1145/3313831.3376868]

[Beitrag zu einem Tagungsband]
Wacker, Philipp; Wagner, Adrian; Völker, Simon; Borchers, Jan
Heatmaps, Shadows, Bubbles, Rays: Comparing Mid-Air Pen Position Visualizations in Handheld AR
[The 2020 CHI Conference on Human Factors in Computing Systems, CHI '20] (2020)
[DOI: 10.1145/3313831.3376848]

[Beitrag zu einem Tagungsband]
Subramanian, Krishna; Maas, Johannes; Borchers, Jan
TRACTUS: Understanding and Supporting Source Code Experimentation in Hypothesis-Driven Data Science
[The 2020 CHI Conference on Human Factors in Computing Systems, CHI '20] (2020)
[DOI: 10.1145/3313831.3376764]

[Tagungsband]
Marchal, Maud; Gabbard, Joseph L.; Jorge, Joaquim; Kuhlen, Torsten; Steed, Anthony
2020 IEEE Conference on Virtual Reality and 3D User Interfaces : Atlanta, Georgia, 22-26 March 2020
IEEE transactions on visualization and computer graphics, 26, 5 (2020)

[Buchbeitrag, Beitrag zu einem Tagungsband]
An, Jie; Chen, Mingshuai; Zhan, Bohua; Zhan, Naijun; Zhang, Miaomiao
Learning One-Clock Timed Automata
The 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2020), April 25-30, 2020, Dublin, Ireland / Biere, Armin and Parker, David (Editors), 444-462 (2020)
[DOI: 10.1007/978-3-030-45190-5_25]

[Fachzeitschriftenartikel]
Tax, Niek; Teinemaa, Irene; van Zelst, Sebastiaan J.
An interdisciplinary comparison of sequence modeling methods for next-element prediction
Software and systems modeling, 21 Seiten (2020)
[DOI: 10.1007/s10270-020-00789-3]

[Beitrag zu einem Tagungsband, Fachzeitschriftenartikel]
Marchal, Maud; Gabbard, Joseph L.; Jorge, Joaquim; Kuhlen, Torsten; Steed, Anthony
Preface : Message from the Program Chairs and Guest Editors
IEEE transactions on visualization and computer graphics : TVCG, 26, 5, vi-vi (2020)
[DOI: 10.1109/TVCG.2020.2978987]

[Buchbeitrag]
Mann, Samuel Micha; Pennekamp, Jan; Brockhoff, Tobias; Farhang, Anahita; Pourbafrani, Mahsa; Oster, Lukas Emmanuel; Uysal, Merih Seran; Sharma, Rahul; Reisgen, Uwe Kaspar; Wehrle, Klaus; van der Aalst, Wil M. P.
Connected, Digitalized Welding Production : Secure, Ubiquitous Utilization of Data Across Process Layers
Advanced Joining Processes / Lucas F. M. da Silva, Paulo A. F. Martins, Mohamad S. El-Zein, Editors, 101-118 (2020)
[DOI: 10.1007/978-981-15-2957-3_8]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Kosek, Mike; Blöcher, Leo; Rüth, Jan; Zimmermann, Torsten; Hohlfeld, Oliver
MUST, SHOULD, DON’T CARE: TCP Conformance in the Wild
Passive and Active Measurement / Sperotto, Anna (Editor), 122-138 (2020)
[DOI: 10.1007/978-3-030-44081-7_8]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Matzutt, Roman; Pennekamp, Jan; Wehrle, Klaus
A Secure and Practical Decentralized Ecosystem for Shareable Education Material
2020 International Conference on Information Networking (ICOIN) : [Proceedings] (2020)
[DOI: 10.1109/ICOIN48656.2020.9016478]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Grohe, Martin
Weisfeiler and Leman’s Unlikely Journey from Graph Isomorphism to Neural Networks
37th International Symposium on Theoretical Aspects of Computer Science : STACS 2020, March 10-13, 2020, Montpellier, France / edited by Christophe Paul, Markus Bläser (2020)
[DOI: 10.4230/LIPICS.STACS.2020.2]

[Fachzeitschriftenartikel]
Gray, Jeff; Rumpe, Bernhard
Modeling dynamic structures
Software and systems modeling, s10270-020-00793-7 (2020)
[DOI: 10.1007/s10270-020-00793-7]

[Fachzeitschriftenartikel]
Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Wöginger, Gerhard Johannes
Timeline-based planning over dense temporal domains
Theoretical computer science, 813, 305-326 (2020)
[DOI: 10.1016/j.tcs.2019.12.030]

[Fachzeitschriftenartikel]
Janisch, Thorsten; Stollenwerk, André; Siekmann, Ulrich; Kopp, Rüdger
Treatment of children with Hyperbaric Oxygenation (HBOT) : an Europe-wide survey
Minerva Pediatrica (2020)
[DOI: 10.23736/S0026-4946.20.05741-2]

[Fachzeitschriftenartikel]
Gleim, Lars; Pennekamp, Jan; Liebenberg, M.; Buchsbaum, Melanie Sarah Katharina; Niemietz, Philipp; Knape, Simon; Epple, A.; Storms, S.; Trauth, D.; Bergs, T.; Brecher, C.; Decker, S.; Lakemeyer, Gerhard; Wehrle, K.
FactDAG: Formalizing Data Interoperability in an Internet of Production
IEEE internet of things journal, 2020, Online First, 10 pp (2020)
[DOI: 10.1109/JIOT.2020.2966402]

[Fachzeitschriftenartikel]
Disser, Yann; Fearnley, John; Gairing, Martin; Göbel, Oliver; Klimm, Max; Schmand, Daniel; Skopalik, Alexander; Tönnis, Andreas
Hiring Secretaries over Time: The Benefit of Concurrent Employment
Mathematics of operations research, 45, 1, 323-352 (2020)
[DOI: 10.1287/moor.2019.0993]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Grohe, Martin; Lindner, Peter
Infinite Probabilistic Databases
23rd International Conference on Database Theory (ICDT 2020), 16:1-16:20 (2020)
[DOI: 10.4230/LIPIcs.ICDT.2020.16]

[Fachzeitschriftenartikel]
Brenner, Andreas; Zecherle, Markus; Verpoort, Sven; Schuster, Kersten; Schnitzler, Claus; Kogel-Hollacher, Markus; Reisacher, Martin; Nohn, Benedikt
Efficient production of design textures on large-format 3D mold tools
Journal of laser applications, 32, 1, 012018 (2020)
[DOI: 10.2351/1.5132401]

[Fachzeitschriftenartikel]
Hinz, Oliver; van der Aalst, Wil M. P.; Weinhardt, Christof
Research in the Attention Economy
Business & information systems engineering, 62, 2, 83-85 (2020)
[DOI: 10.1007/s12599-020-00631-6]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Moerman, Joshua; Rot, Jurriaan
Separation and Renaming in Nominal Sets
28th EACSL Annual Conference on Computer Science Logic (CSL 2020), 31:1-31:17 (2020)
[DOI: 10.4230/LIPIcs.CSL.2020.31]

[Fachzeitschriftenartikel]
Ergin, Huseyin; Gray, Jeff; Rumpe, Bernhard; Schindler, Martin
SoSyM reflections: the 2019 “state of the journal” report
Software and systems modeling, 19, 1, 1-4 (2020)
[DOI: 10.1007/s10270-020-00778-6]

[Fachzeitschriftenartikel]
Gray, Jeff; Rumpe, Bernhard
Compositional model analysis
Software and systems modeling, 19, 2, 261-262 (2020)
[DOI: 10.1007/s10270-020-00784-8]

[Fachzeitschriftenartikel]
Fathalla, Said; Vahdati, Sahar; Lange, Christoph; Auer, Sören
Scholarly event characteristics in four fields of science: a metrics-based analysis
Scientometrics : an international journal for all quantitative aspects of the science of science, communication in science and science policy (2020)
[DOI: 10.1007/s11192-020-03391-y]

[Doktorarbeit]
Kiefer, Sandra
Power and limits of the Weisfeiler-Leman algorithm
, 1 Online-Ressource (viii, 249 Seiten) : Illustrationen (2020)

[Buchbeitrag, Beitrag zu einem Tagungsband]
Klinkenberg, Jannis; Samfass, Philipp; Bader, Michael; Terboven, Christian; Müller, Matthias Stefan
Reactive Task Migration for Hybrid MPI+OpenMP Applications
Parallel Processing and Applied Mathematics : 13th International Conference, PPAM 2019, Bialystok, Poland, September 8-11, 2019, Revised Selected Papers, Part II / Editors: Roman WyrzykowskiEwa DeelmanJack DongarraKonrad Karczewski, 59-71 (2020)
[DOI: 10.1007/978-3-030-43222-5_6]

[Buch, Doktorarbeit]
Breuers, Stefan
Multi-object tracking and person analysis from mobile robot platforms
, 1 Online-Ressource (viii, 130 Seiten) : Illustrationen, Diagramme (2020)

[Bachelorarbeit]
Thärigen, Isabel
Identification of characteristic performance behavior in data race detection
(2020)

[Doktorarbeit]
Zielasko, Daniel
DeskVR: seamless integration of virtual reality into desk-based data analysis workflows
, 1 Online-Ressource (202 Seiten) : Illustrationen, Diagramme (2020)

[Masterarbeit]
Feser, Patrick
Foundations of Interactive Jewelry: Understanding Crafting Practices
(2020)

[Masterarbeit]
Sohail, Anam
Challenges in Recruiting Participants for Studies in HCI
(2020)

[Masterarbeit]
Mayilli, Asif
Understanding How Tangibles Are Used for Data Sharing
(2020)

[Masterarbeit]
Jha, Ajay Kumar
Springlet Apps: Applications of On-Skin Shape Memory Alloy Actuators
(2020)

[Beitrag zu einem Tagungsband]
Drave, Imke Helene; Henrich, Timo; Hölldobler, Katrin; Kautz, Oliver; Michael, Judith; Rumpe, Bernhard
Modellierung, Verifikation und Synthese von validen Planungszuständen für Fernsehausstrahlungen
[Modellierung 2020 Conference, 2020-02-19 - 2020-02-21, Vienna, Austria], 173-188 (2020)

[Beitrag zu einem Tagungsband]
Gerasimov, Arkadii; Heuser, Patricia; Ketteniß, Holger; Letmathe, Peter; Michael, Judith; Netz, Lukas Stephan Michael; Rumpe, Bernhard; Varga, Simon
Generated Enterprise Information Systems: MDSE for Maintainable Co-Development of Frontend and Backend
[Modellierung 2020 Conference, 2020-02-19 - 2020-02-21, Vienna, Austria], 22-30 (2020)

[Buchbeitrag, Beitrag zu einem Tagungsband]
Kausch, Hendrik; Pfeiffer, Mathias; Raco, Deni; Rumpe, Bernhard
MontiBelle - Toolbox for a Model-Based Development and Verification of Distributed Critical Systems for Compliance with Functional Safety
AIAA Scitech 2020 Forum : [Proceedings], 0671 (2020)
[DOI: 10.2514/6.2020-0671]

[Fachzeitschriftenartikel]
Hark, Marcel; Kaminski, Benjamin Lucien; Giesl, Jürgen; Katoen, Joost-Pieter
Aiming low is harder: induction for lower bounds in probabilistic program verification
Proceedings of the ACM on programming languages, 4, POPL, 1-28 (2020)
[DOI: 10.1145/3371105]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Kirchhof, Jörg Christian; Rumpe, Bernhard; Schmalzing, David Pascal; Wortmann, Andreas
Structurally Evolving Component-Port-Connector Architectures of Centrally Controlled Systems
[14th International Working Conference on Variability Modelling of Software-Intensive Systems, VAMOS'20, 2020-02-05 - 2020-02-07, Magdeburg, Germany], article 23 (2020)
[DOI: 10.1145/3377024.3377035]