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

[Buchbeitrag, Beitrag zu einem Tagungsband]
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]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Kim, Yunsu; Gao, Yingbo; Ney, Hermann Josef
Effective Cross-lingual Transfer of Neural Machine Translation Models without Shared Vocabularies
57th Annual Meeting of the Association-for-Computational-Linguistics (ACL), 1246-1257 (2019)

[Buchbeitrag, Beitrag zu einem Tagungsband]
Dalibor, Manuela; Jansen, Nico; Kästle, Johannes; Rumpe, Bernhard; Schmalzing, David Pascal; Wachtmeister, Louis; Wortmann, Andreas
Mind the Gap: Lessons Learned from Translating Grammars Between MontiCore and Xtext
Proceedings of the 17th ACM SIGPLAN International Workshop on Domain-Specific Modeling - DSM 2019 - ACM Press New York, New York, USA, 2019. - ISBN 9781450369848 - doi:10.1145/3358501.3361236, 40-49 (2019)
[DOI: 10.1145/3358501.3361236]

[Buchbeitrag, Fachzeitschriftenartikel]
Aronov, Boris; de Berg, Mark; Markovic, Aleksandar; Wöginger, Gerhard Johannes
Non-Monochromatic and Conflict-Free Colorings on Tree Spaces and Planar Network Spaces
Algorithmica : an international journal in computer science, 1-20 (2019)
[DOI: 10.1007/s00453-019-00639-9]

[Buch, Poster]
Pennekamp, Jan; Hiller, Jens; Reuter, Sebastian; la De Cadena, Wladimir; Mitseva, Asya; Henze, Martin; Engel, Thomas; Wehrle, Klaus; Panchenko, Andriy
Multipathing Traffic to Reduce Entry Node Exposure in Onion Routing
In Proceedings of the 27th IEEE International Conference on Network Protocols (ICNP '19) (2019)
[DOI: 10.1109/ICNP.2019.8888029]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Krude, Johannes; Eichholz, Matthias; Winck, Maximilian; Wehrle, Klaus; Mezini, Mira
Optimizing Data Plane Programs for the Network
Proceedings of the ACM SIGCOMM 2019 Workshop on Networking and Programming Languages - NetPL'19 (2019)
[DOI: 10.1145/3341561.3349590]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Sander, Constantin; Rüth, Jan; Hohlfeld, Oliver; Wehrle, Klaus
DeePCCI: Deep Learning-based Passive Congestion Control Identification
In Proceedings of the ACM SIGCOMM Workshop on Network Meets AI & ML (NetAI '19) (2019)
[DOI: 10.1145/3341216.3342211]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Wolsing, Konrad; Rüth, Jan; Wehrle, Klaus; Hohlfeld, Oliver
A performance perspective on web optimized protocol stacks
In Proceedings of the Applied Networking Research Workshop (ANRW '19) (2019)
[DOI: 10.1145/3340301.3341123]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Ruth, Jan; Kunze, Ike; Hohlfeld, Oliver
An Empirical View on Content Provider Fairness
In Proceedings of the Network Traffic Measurement and Analysis Conference (TMA '19) (2019)
[DOI: 10.23919/TMA.2019.8784684]

[Buch, Tagungsband]
Chandrasekaran, Sunita; Juckeland, Guido; Wienke, Sandra Juliane
Accelerator Programming Using Directives : 5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018 : Proceedings
5th International Workshop on Accelerator Programming Using Directives Dalles, TX 2018-11-11 - 2018-11-17, VIII, 135 Seiten : Diagramme (2019)
[DOI: 10.1007/978-3-030-12274-4]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Frohn, Florian; Giesl, Jürgen
Proving Non-Termination via Loop Acceleration
Proceedings of the 19th Conference on Formal Methods in Computer-Aided Design : FMCAD 2019 : October 22-25, 2019, San Jose, California, USA / Edited by Clark Barrett and Jin Yang, 221-230 (2019)
[DOI: 10.23919/FMCAD.2019.8894271]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Giesl, Jürgen; Rubio, Albert; Sternagel, Christian; Waldmann, Johannes; Yamada, Akihisa
The Termination and Complexity Competition
Tools and Algorithms for the Construction and Analysis of Systems / Beyer, Dirk (Editor) [https://orcid.org/0000-0003-4832-7662] ; Cham : Springer International Publishing, 2019, Chapter 10 ; ISSN: 0302-9743=1611-3349 ; ISBN: 978-3-030-17501-6=978-3-030-17502-3 ; doi:10.1007/978-3-030-17502-3, 156-166 (2019)
[DOI: 10.1007/978-3-030-17502-3_10]

[Buch, Doktorarbeit]
Greifenberg, Timo Herbert
Artefaktbasierte Analyse modellgetriebener Softwareentwicklungsprojekte
, XI, 338 Seiten : Illustrationen (2019)

[Buchbeitrag, Beitrag zu einem Tagungsband]
Leofante, Francesco; Schupp, Stefan Alexander; Ábrahám, Erika; Tacchella, Armando
Engineering Controllers For Swarm Robotics Via Reachability Analysis In Hybrid Systems
Proceedings of the 33rd International ECMS Conference on Modelling and Simulation, ECMS 2019 : June 11th-June 14th, 2019, Caserta, Italy : communications of the ECMS, volume 33, issue 1, June 2019 / edited by: Mauro Iacono, Francesco Palmieri, Marco Gribaudo, Massimo Ficco ; organized by: ECMS - European Council for Modelling and Simulation ; hosted by: Università degli Studi della Campania "Luigi Vanvitelli", 7 Seiten (2019)
[DOI: 10.7148/2019-0407]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Nalbach, Jasper; Kremer, Gereon Lukas; Ábrahám, Erika
On Variable Orderings in MCSAT for Non-linear Real Arithmetic : (extended abstract)
SC-square 2019 : Satisfiability Checking and Symbolic Computation 2019 : Proceedings of the 4th SC-Square Workshop co-located with the SIAM Conference on Applied Algebraic Geometry (SIAM AG 2019) : Bern, Switzerland, 10th July 2019 / Edited by John Abbott, Alberto Griggio, 7 Seiten (2019)

[Buchbeitrag, Beitrag zu einem Tagungsband]
Kremer, Gereon Lukas; Ábrahám, Erika; Ganesh, Vijay
On the Proof Complexity of MCSAT
SC-square 2019 : Satisfiability Checking and Symbolic Computation 2019 : Proceedings of the 4th SC-Square Workshop co-located with the SIAM Conference on Applied Algebraic Geometry (SIAM AG 2019) : Bern, Switzerland, 10th July 2019 / Edited by John Abbott, Alberto Griggio, 10 Seiten (2019)

[Buchbeitrag, Beitrag zu einem Tagungsband]
Löding, Christof; Pirogov, Anton
New Optimizations and Heuristics for Determinization of Büchi Automata
Automated Technology for Verification and Analysis : 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings / Yu-Fang Chen, Chih-Hong Cheng, Javier Esparza (eds.), 317-333 (2019)
[DOI: 10.1007/978-3-030-31784-3_18]

[Masterarbeit]
Bayer, Patrick
SoRoLib: Library of Building Blocks for Pneumatic Shape Changing in Soft Robotics
, XXI, 72 Seiten : Illustrationen (2019)

[Buchbeitrag, Beitrag zu einem Tagungsband]
Subramanian, Krishna Prasath; Bonot, Jeanine; Coanda, Radu A.; Borchers, Jan Oliver
StatPlayground : A Sandbox for Learning Practical Statistics
Human-computer interaction - INTERACT 2019 : 17th IFIP TC 13 International Conference, Paphos, Cyprus, September 2-6, 2019 : proceedings / David Lamas, Fernando Loizides, Lennart Nacke, Helen Petrie, Marco Winckler, Panayiotis Zaphiris (eds.). - Part 2, 156-165 (2019)
[DOI: 10.1007/978-3-030-29384-0_9]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Stickel, Oliver; Stilz, Melanie; Brocker, Anke; Borchers, Jan Oliver; Pipek, Volkmar
Fab:UNIverse - Makerspaces, Fab Labs and Lab Managers in Academia
Proceedings of the FabLearn Europe 2019 Conference, 2 Seiten (2019)
[DOI: 10.1145/3335055.3335074]

[Masterarbeit]
Hu, Yue
Statistics in the Wild: How Practitioners Choose Statistical Procedures
, XV, 101 Seiten : (2019)

[Fachzeitschriftenartikel]
Richardson, Michael; Thar, Jan; Alvarez, James; Borchers, Jan Oliver; Ward, Jamie; Hamilton-Fletcher, Giles
How Much Spatial Information Is Lost in the Sensory Substitution Process? : Comparing Visual, Tactile, and Auditory Approaches
Perception, 48, 11, 1079-1103 (2019)
[DOI: 10.1177/0301006619873194]

[Bachelorarbeit]
Timchenko, Kirill
SoRoCAD: A Tool to Design Shape Changes in Soft Robotics
(2019)

[Buchbeitrag, Beitrag zu einem Tagungsband]
Luiten, Jonathon; Voigtlaender, Paul; Leibe, Bastian
PReMVOS: Proposal-Generation, Refinement and Merging for Video Object Segmentation
Computer Vision - ACCV 2018 : 14th Asian Conference on Computer Vision, Perth, Australia, December 2-6, 2018, Revised Selected Papers, Part IV / edited by C.V. Jawahar, Hongdong Li, Greg Mori, Konrad Schindler, 565-580 (2019)
[DOI: 10.1007/978-3-030-20870-7_35]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Frohn, Florian; Giesl, Jürgen
Termination of Triangular Integer Loops is Decidable
Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II / edited by Isil Dillig, Serdar Tasiran, 426-444 (2019)
[DOI: 10.1007/978-3-030-25543-5_24]

[Fachzeitschriftenartikel]
Gorgi Zadeh, Shekoufeh; Wintergerst, Maximilian W. M.; Schultz, Thomas
Intelligent interaction and uncertainty visualization for efficient drusen and retinal layer segmentation in optical coherence tomography
Computers & graphics, 83, 51-61 (2019)
[DOI: 10.1016/j.cag.2019.07.001]

[Fachzeitschriftenartikel]
Hassani, Marwan; van Zelst, Sebastiaan J.; van der Aalst, Wil M. P.
On the application of sequential pattern mining primitives to process discovery : Overview, outlook and opportunity identification
Wiley interdisciplinary reviews : WIREs / Data mining and knowledge discovery, 9, 6, e1315 (2019)
[DOI: 10.1002/widm.1315]

[Beitrag zu einem Tagungsband, Fachzeitschriftenartikel]
van der Aalst, Wil M. P.
Lucent Process Models and Translucent Event Logs
Fundamenta informaticae, 169, 1/2, 151-177 (2019)
[DOI: 10.3233/FI-2019-1842]

[Tagungsband]
Grochowski, Marco; Kowalewski, Stefan; Buchsbaum, Melanie; Brecher, Christian
Applying runtime monitoring to the industrial internet of things
2019 24th IEEE International Conference on Emerging Technologies and Factory Automation Zaragoza 2019-09-10 - 2019-09-13 (2019)
[DOI: 10.1109/ETFA.2019.8869447]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Wang, Ruijie; Wang, Meng; Liu, Jun; Chen, Weitong; Cochez, Michael; Decker, Stefan Josef
Leveraging Knowledge Graph Embeddings for Natural Language Question Answering
Database Systems for Advanced Applications : 24th International Conference, DASFAA 2019, Chiang Mai, Thailand, April 22-25, 2019, Proceedings, Part I / edited by Guoliang Li, Jun Yang, Joao Gama, Juggapong Natwichai, Yongxin Tong, 659-675 (2019)
[DOI: 10.1007/978-3-030-18576-3_39]

[Buchbeitrag, Beitrag zu einem Tagungsband, Fachzeitschriftenartikel]
Ionita, Andrei; Pomp, André; Cochez, Michael; Meisen, Tobias; Decker, Stefan Josef
Transferring Knowledge from Monitored to Unmonitored Areas for Forecasting Parking Spaces
International journal on artificial intelligence tools : IJAIT, 28, 06, 1960003 (2019)
[DOI: 10.1142/S0218213019600030]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Keilhoff, Dan; Niedballa, Dennis; Reuss, Hans-Christian; Buchholz, Michael; Gies, Fabian; Dietmayer, Klaus; Lauer, Martin; Stiller, Christoph; Ackermann, Stefan; Winner, Hermann; Kampmann, Alexandru; Alrifaee, Bassam; Kowalewski, Stefan; Klein, Fabian; Struth, Michael Manfred; Woopen, Timo; Eckstein, Lutz
UNICARagil - New architectures for disruptive vehicle concepts
19. Internationales Stuttgarter Symposium : Automobil- und Motorentechnik / herausgegeben von Michael Bargende, Hans-Christian Reuss, Andreas Wagner, Jochen Wiedemann, 830-842 (2019)
[DOI: 10.1007/978-3-658-25939-6_65]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Smieschek, Manfred Thomas; Kobsik, Gregor; Stollenwerk, André; Kowalewski, Stefan; Orlikowsky, Thorsten; Schoberer, Mark
Aided Hand Detection in Thermal Imaging Using RGB Stereo Vision
[41st Annual International Conference of the IEEE Engineering in Medicine & Biology Society, EMBC, 2019-07-23 - 2019-07-27, Berlin, Germany], 6314-6317 (2019)
[DOI: 10.1109/EMBC.2019.8856990]

[Buch, Doktorarbeit]
Stoffers, Mirko
Automated optimization of discrete event simulations without knowing the model
, 216 Seiten : Diagramme (2019)

[Fachzeitschriftenartikel]
Tillmann, Nora
Computing the spark: mixed-integer programming for the (vector) matroid girth problem
Computational optimization and applications, 74, 2, 387-441 (2019)
[DOI: 10.1007/s10589-019-00114-9]

[Beitrag zu einem Tagungsband]
Kusmenko, Evgeny; Nickels, Sebastian; Pavlitskaya, Svetlana; Rumpe, Bernhard; Timmermanns, Thomas
Modeling and Training of Neural Processing Systems
[22nd International Conference on Model Driven Engineering Languages and Systems, MODELS, 2019-09-15 - 2019-09-20, Munich, Germany], 283-293 (2019)

[Beitrag zu einem Tagungsband]
Gatto, Nicola; Kusmenko, Evgeny; Rumpe, Bernhard
Modeling Deep Reinforcement Learning Based Architectures for Cyber-Physical Systems
[22nd International Conference on Model Driven Engineering Languages and Systems, MODELS, 2019-09-15 - 2019-09-20, Munich, Germany], 196-202 (2019)

[Beitrag zu einem Tagungsband]
Kirchhof, Jörg Christian; Kusmenko, Evgeny; Rumpe, Bernhard; Zhang, Hengwen
Simulation as a Service for Cooperative Vehicles
[22nd International Conference on Model Driven Engineering Languages and Systems, MODELS, 2019-09-15 - 2019-09-20, Munich, Germany], 28-37 (2019)

[Beitrag zu einem Tagungsband]
Kirchhof, Jörg Christian; Kusmenko, Evgeny; Meurice, Jean; Rumpe, Bernhard
Simulation of Model Execution for Embedded Systems
[22nd International Conference on Model Driven Engineering Languages and Systems, MODELS, 2019-09-15 - 2019-09-20, Munich, Germany], 331-338 (2019)

[Buchbeitrag, Beitrag zu einem Tagungsband]
Völker, Marcus; Kowalewski, Stefan
A Change-Based Heuristic for Static Analysis with Policy Iteration
Static Analysis / Chang, Bor-Yuh Evan (Editor) ; Cham : Springer International Publishing, 2019, Chapter 5 ; ISSN: 0302-9743=1611-3349 ; ISBN: 978-3-030-32303-5=978-3-030-32304-2 ; doi:10.1007/978-3-030-32304-2, 73-95 (2019)
[DOI: 10.1007/978-3-030-32304-2_5]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Drave, Imke Helene; Kautz, Oliver; Michael, Judith; Rumpe, Bernhard
Semantic Evolution Analysis of Feature Models
Proceedings of the 23rd International Systems and Software Product Line Conference : Paris, France — September 09 - 13, 2019. - Volume A, 245-255 (2019)
[DOI: 10.1145/3336294.3336300]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Ebert, Rolf; Jolianis, Jahir; Kriebel, Stefan; Markthaler, Matthias; Prünster, Benjamin; Rumpe, Bernhard; Salman, Karin Samira
Applying Product Line Testing for the Electric Drive System
Proceedings of the 23rd International Systems and Software Product Line Conference : Paris, France — September 09 - 13, 2019. - Volume A, 14-24 (2019)
[DOI: 10.1145/3336294.3336318]

[Fachzeitschriftenartikel]
Huang, Mingzhang; Fu, Hongfei; Katoen, Joost-Pieter
Deciding probabilistic simulation between probabilistic pushdown automata and finite-state systems
Information and computation, 268, 104431 (2019)
[DOI: 10.1016/j.ic.2019.05.004]

[Fachzeitschriftenartikel]
Jarke, Matthias; Otto, Boris; Ram, Sudha
Data Sovereignty and Data Space Ecosystems
Business & information systems engineering, 61, 5, 549-550 (2019)
[DOI: 10.1007/s12599-019-00614-2]

[Buch]
Steffen, Bernhard; Wöginger, Gerhard Johannes
Computing and software science : state of the art and perspectives
, XIX, 590 Seiten (2019)
[DOI: 10.1007/978-3-319-91908-9]

[Buchbeitrag]
Češka, Milan; Dehnert, Christian; Jansen, Nils; Junges, Jan Sebastian Lukas; Katoen, Joost-Pieter
Model Repair Revamped
From Reactive Systems to Cyber-Physical Systems : Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday / edited by Ezio Bartocci, Rance Cleaveland, Radu Grosu, Oleg Sokolsky, 107-125 (2019)
[DOI: 10.1007/978-3-030-31514-6_7]

[Buchbeitrag]
Baier, Christel; Hermanns, Holger; Katoen, Joost-Pieter
The 10,000 Facets of MDP Model Checking
Computing and software science : state of the art and perspectives / Bernhard Steffen, Gerhard Woeginger (Eds.), 420-451 (2019)
[DOI: 10.1007/978-3-319-91908-9_21]

[Bachelorarbeit]
Hanneken, Lukas
Investigation of Node-Level Performance Variation on the CLAIX2016 and CLAIX2018 Cluster of the RWTH Aachen University
, 1 Online-Ressource (xiii, 65 Seiten) (2019)

[Fachzeitschriftenartikel]
Mannhardt, Felix; Koschmider, Agnes; Baracaldo, Nathalie; Weidlich, Matthias; Michael, Judith
Privacy-Preserving Process Mining : Differential Privacy for Event Logs
Business & information systems engineering, 61, 5, 595-614 (2019)
[DOI: 10.1007/s12599-019-00613-3]