[Master Thesis]
Mendez, Christine
Smart Learning in Business Contexts : A Concept for the Meaningful Application of Smart Technology in Corporate Learning Scenarias
(2018)

[Contribution to a book, Contribution to a conference proceedings]
Butting, Arvid; Eikermann, Robert; Kautz, Oliver; Rumpe, Bernhard; Wortmann, Andreas
Controlled and Extensible Variability of Concrete and Abstract Syntax with Independent Language Features
VaMos 2018 : Twelfth International Workshop on Variability Modelling of Software-intensive Systems : proceedings : Madrid, Spain, 7-9 February, 2018, 75-82 (2018)
[DOI: 10.1145/3168365.3168368]

[Contribution to a book, Contribution to a conference proceedings]
Adam, Kai; Butting, Arvid; Kautz, Oliver; Pfeiffer, Jérôme; Rumpe, Bernhard; Wortmann, Andreas
Retrofitting Type-safe Interfaces into Template-based Code Generators
MODELSWARD 2018 : proceedings of the 6th International Conference on Model-Driven Engineering and Software Development : Funchal, Madeira, Portugal, January 22-24, 2018 / sponsored by INSTICC - Institute for Systems and Technologies of Information, Control and Communication ; local partner: M-ITI - Madeira Interactive Technologies Institute ; edited by Slimane Hammoudi , Luis Ferreira Pires and Bran Selic, 179-190 (2018)
[DOI: 10.5220/0006605001790190]

[Contribution to a book, Contribution to a conference proceedings]
Kusmenko, Evgeny; Shumeiko, Igor; Rumpe, Bernhard; von Wenckstern, Michael
Fast Simulation Preorder Algorithm
MODELSWARD 2018 : proceedings of the 6th International Conference on Model-Driven Engineering and Software Development : Funchal, Madeira, Portugal, January 22-24, 2018 / sponsored by INSTICC - Institute for Systems and Technologies of Information, Control and Communication ; local partner: M-ITI - Madeira Interactive Technologies Institute ; edited by Slimane Hammoudi , Luis Ferreira Pires and Bran Selic, 256-267 (2018)
[DOI: 10.5220/0006722102560267]

[Contribution to a book, Contribution to a conference proceedings]
Hillemacher, Steffen; Kriebel, Stefan; Kusmenko, Evgeny; Lorang, Mike; Rumpe, Bernhard; Sema, Albi; Strobl, Georg; von Wenckstern, Michael
Model-Based Development of Self-Adaptive Autonomous Vehicles using the SMARDT Methodology
MODELSWARD 2018 : proceedings of the 6th International Conference on Model-Driven Engineering and Software Development : Funchal, Madeira, Portugal, January 22-24, 2018 / sponsored by INSTICC - Institute for Systems and Technologies of Information, Control and Communication ; local partner: M-ITI - Madeira Interactive Technologies Institute ; edited by Slimane Hammoudi , Luis Ferreira Pires and Bran Selic, 163-178 (2018)
[DOI: 10.5220/0006603701630178]

[Preprint]
van der Aalst, Wil M. P.
Markings in Perpetual Free-Choice Nets Are Fully Characterized by Their Enabled Transitions
(2018)

[Master Thesis]
Rouchdi, Amine
Automated Meta-Classification of Scientific Publications
(2018)

[Master Thesis]
Hardat, Shruti
Guided Reflective Thinking: Supporting Non-Expert Researchers Gain Orientation
(2018)

[Contribution to a conference proceedings, Journal Article]
Löding, Christof; Madhusudan, P.; Peña, Lucas
Foundations for natural proofs and quantifier instantiation
Proceedings of the ACM on Programming Languages : PACMPL, 2, 10 (2018)
[DOI: 10.1145/3158098]

[Contribution to a book]
Henze, Martin; Hiller, Jens; Hummen, René; Matzutt, Roman; Wehrle, Klaus; Ziegeldorf, Jan Henrik
Network Security and Privacy for Cyber-Physical Systems
Security and privacy in cyber-physical systems : foundations, principles, and applications / edited by Houbing Song, Glenn A. Fink, Sabina Jeschke, 25-56 (2017, 2018)
[DOI: 10.1002/9781119226079.ch2]

[Contribution to a book, Contribution to a conference proceedings]
Kloster, Kyle; Kuinke, Philipp; O'Brien, Michael P.; Reidl, Felix; Sanchez Villaamil, Fernando; Sullivan, Blair D.; van der Poel, Andrew
A practical fpt algorithm for Flow Decomposition and transcript assembly
20th Workshop on Algorithm Engineering and Experiments 2018 (ALENEX 18) : New Orleans, Louisiana, USA, 7-8 January 2018 / editors: Rasmus Pagh, Suresh Venkatasubramanian ; SIAM: Society for Industrial and Applied Mathematics (2018)
[DOI: 10.1137/1.9781611975055.7]

[Contribution to a book, Contribution to a conference proceedings]
Dreier, Jan; Kuinke, Philipp; Xuan, Ba Le; Rossmanith, Peter
Local Structure Theorems for Erdős-Rényi Graphs and Their Algorithmic Applications
SOFSEM 2018: Theory and Practice of Computer Science : 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018, Proceedings / edited by A Min Tjoa, Ladjel Bellatreche, Stefan Biffl, Jan van Leeuwen, Jiří Wiedermann, 125-136 (2017, 2018)
[DOI: 10.1007/978-3-319-73117-9_9]

[Contribution to a conference proceedings, Journal Article]
Nicolaescu, Petru; Rosenstengel, Mario; Derntl, Michael; Klamma, Ralf; Jarke, Matthias
Near real-time collaborative modeling for view-based Web information systems engineering
Information Systems : IS, 74, Part 1, 23-39 (2017, 2018)
[DOI: 10.1016/j.is.2017.07.008]

[Contribution to a book, Contribution to a conference proceedings]
Butting, Arvid; Greifenberg, Timo Herbert; Rumpe, Bernhard; Wortmann, Andreas
On the Need for Artifact Models in Model-Driven Systems Engineering Projects
Software Technologies: Applications and Foundations : STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers / edited by Martina Seidl, Steffen Zschaler, 146-153 (2018)
[DOI: 10.1007/978-3-319-74730-9_12]

[Journal Article]
Stutz, David; Hermans, Alexander; Leibe, Bastian
Superpixels: An evaluation of the state-of-the-art
Computer vision and image understanding : CVIU, 166, 1-27 (2017, 2018)
[DOI: 10.1016/j.cviu.2017.03.007]

[Journal Article]
Volk, Matthias; Junges, Sebastian; Katoen, Joost-Pieter
Fast Dynamic Fault Tree Analysis by Model Checking Techniques
IEEE transactions on industrial informatics, 14, 1, 370-379 (2017, 2018)
[DOI: 10.1109/TII.2017.2710316]

[Journal Article]
Olmedo, Federico; Gretz, Friedrich; Jansen, Nils; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Mciver, Annabelle
Conditioning in Probabilistic Programming
ACM transactions on programming languages and systems : ACM TOPLAS, 40, 1, 4 (2017, 2018)
[DOI: 10.1145/3156018]

[Journal Article]
Belmonte, Rémy; Otachi, Yota; Schweitzer, Pascal
Induced Minor Free Graphs: Isomorphism and Clique-Width
Algorithmica, 80, 1, 29-47 (2016, 2018)
[DOI: 10.1007/s00453-016-0234-8]

[Dataset]
Hahnfeld, Jonas; Terboven, Christian; Price, James; Pflug, Hans Joachim; Müller, Matthias S.
Measurement data for paper "Evaluation of Asynchronous Offloading Capabilities of Accelerator Programming Models for Multiple Devices"
(2018)
[DOI: 10.18154/RWTH-2017-10493]

[Contribution to a conference proceedings, Journal Article]
Huang, Cheng-Chao; Li, Jing-Cao; Xu, Ming; Li, Zhi-Bin
Positive root isolation for poly-powers by exclusion and differentiation
Journal of symbolic computation, 85, 148-169 (2017, 2018)
[DOI: 10.1016/j.jsc.2017.07.007]

[Journal Article]
Berkholz, Christoph; Verbitsky, Oleg
On the speed of constraint propagation and the time complexity of arc consistency testing
Journal of computer and system sciences, 91, 104-114 (2017, 2018)
[DOI: 10.1016/j.jcss.2017.09.003]

[Journal Article]
Ziegeldorf, Jan Henrik; Matzutt, Roman; Henze, Martin; Grossmann, Fred; Wehrle, Klaus
Secure and anonymous decentralized Bitcoin mixing
Future generation computer systems, 80, 448-466 (2016, 2018)
[DOI: 10.1016/j.future.2016.05.018]

[Master Thesis]
Theissen-Lipp, Johannes; Pomp, André
Applying external knowledge bases and user-assisted semantic modeling to evolve a semantic knowledge graph
(2017, 2022)
[DOI: 10.13140/RG.2.2.34726.14405]

[Talk (non-conference)]
Nagl, Manfred
Die fragwürdige Rolle der Informatik
Austria-Forum Graz (2017)

[Talk (non-conference)]
Nagl, Manfred
Wir brauchen Querdenker mit Umsicht
Austria-Forum (2017)

[Contribution to a book, Journal Article]
Paredes, Pablo Enrique; Hamdan, Nur Al-huda; Clark, Dav; Cai, Carrie; Ju, Wendy; Landay, James A.
Evaluating In-Car Movements in the Design of Mindful Commute Interventions: Exploratory Study
Journal of medical internet research : JMIR, 19, 12, e372 (2017)
[DOI: 10.2196/jmir.6983]

[Contribution to a book, Contribution to a conference proceedings]
Hüls, Jannik; Schupp, Stefan; Remke, Anne; Ábrahám, Erika
Analyzing Hybrid Petri nets with multiple stochastic firings using HyPro
Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools : VALUETOOLS 2017 : 5-7 December 2017, Venice, Italy / general co-chairs: Andrea Marin, University of Venice - Ca', Foscari, Italy, Benny Van Houdt, University of Antwerp, Belgium ; technical programme committe chairs: Giuliano Casale, Imperial College London, United Kingdom, Dorina Petriu, Carleton University, Canada, Sabina Rossi, University of Venice - Ca', Foscari, Italy, 178-185 (2017)
[DOI: 10.1145/3150928.3150938]

[Bachelor Thesis]
Messerschmidt, Moritz
Badge maker developing an easy-to-use system to design and build illuminated acrylic name tags for children
(2017)

[Master Thesis]
Velasco, Tania
Evaluating user interaction with a smart armchair
(2017)

[Contribution to a conference proceedings]
Niemüller, Tim Dieter; Lakemeyer, Gerhard; Leofante, Francesco; Ábrahám, Erika
Towards CLIPS-based Task Execution and Monitoring with SMT-based Planning and Optimization
Proceedings of the 5th Workshop on Planning and Robotics at ICAPS (PLANROB 2017) (2017)

[Contribution to a book]
Niemüller, Tim Dieter; Lakemeyer, Gerhard; Reuter, Sebastian; Jeschke, Sabina; Ferrein, Alexander
Benchmarking of Cyber-Physical Systems in Industrial Robotics: The RoboCup Logistics League as a CPS Benchmark Blueprint
Cyber-Physical Systems: Foundations, Principles and Applications / Edited by: Houbing Song, Danda B. Rawat, Sabina Jeschke and Christian Brecher, 193-207 (2016, 2017)
[DOI: 10.1016/B978-0-12-803801-7.00013-4]

[Contribution to a book]
Niemüller, Tim Dieter; Zwilling, Frederik; Lakemeyer, Gerhard; Löbach, Matthias; Reuter, Sebastian; Jeschke, Sabina; Ferrein, Alexander
Cyber-Physical System Intelligence : Knowledge-Based Mobile Robot Autonomy in an Industrial Scenario
Industrial internet of things : cybermanufacturing systems / Sabina Jeschke, Christian Brecher, Houbing Song, Danda B. Rawat editors (2016, 2017)
[DOI: 10.1007/978-3-319-42559-7_17]

[Contribution to a conference proceedings]
Hopmann, Christian; Jeschke, Sabina; Thiele, Thomas David; Meisen, Tobias; Tercan, Hasan; Liebenberg, Martin Roland; Heinisch, Julian; Theunissen, Matthias
Combined learning processes for injection moulding based on simulation and experimental data
33rd International Conference of the Polymer Processing Society : PPS-33 : Cancun, Mexico, December 10-14, 2017 (2017)

[Contribution to a book, Contribution to a conference proceedings]
Walenta, Robert; Schellekens, Twan; Ferrein, Alexander; Schiffer, Stefan
A Decentralised System Approach for Controlling AGVs with ROS
Science, technology & innovation for Africa : 2017 IEEE AFRICON : 18-20 September, the Avenue V&A Waterfront, Cape Town, South Africa / IEEE ; editor: Darryn R. Cornish, 1436-1441 (2017)
[DOI: 10.1109/AFRCON.2017.8095693]

[Report]
Neumann, Tobias; Hofmann, Till; Mataré, Victor; Henke, Christoph; Schönitz, Sebastian; Niemüller, Tim Dieter; Ferrein, Alexander; Jeschke, Sabina; Lakemeyer, Gerhard
The Carologistics RoboCup Logistics Team 2017
(2017)

[Book]
Grohe, Martin
Descriptive complexity, canonisation, and definable graph structure theory
Lecture notes in logic 47 (2017)

[Contribution to a book, Contribution to a conference proceedings]
Karim, Rezaul; Heinrichs, Matthias; Gleim, Lars Christoph; Cochez, Michael; Porter, Emily; La Gioia, Alessandra; Salahuddin, Saqib; O'Halloran, Martin; Decker, Stefan Josef; Beyan, Oya Deniz
Towards a FAIR Sharing of Scientific Experiments: Improving Discoverability and Reusability of Dielectric Measurements of Biological Tissues
SWAT4LS 2017 : Semantic Web Applications and Tools for Health Care and Life Sciences ; Proceedings of the 10th International Conference on Semantic Web Applications and Tools for Health Care and Life Sciences (SWAT4LS 2017) ; Rome, Italy, December 4-7, 2017 / Edited by Adrian Paschke ; Albert Burger ; Andrea Splendiani ; M. Scott Marshall ; Paolo Romano ; Valentina Presutti (2017)

[Book, Proceedings]
Beecks, Christian (Editor); Borutta, Felix (Editor); Kröger, Peer (Editor); Seidl, Thomas (Editor)
Similarity Search and Applications - 10th International Conference, SISAP 2017, Munich, Germany, October 4-6, 2017, Proceedings
Lecture Notes in Computer Science 10609 (2017)
[DOI: 10.1007/978-3-319-68474-1]

[Contribution to a book, Contribution to a conference proceedings]
Uysal, Merih Seran; Driessen, Kai Axel; Brockhoff, Tobias; Seidl, Thomas
Fast Similarity Search with the Earth Mover's Distance via Feasible Initialization and Pruning
Similarity Search and Applications - 10th International Conference, SISAP 2017, Munich, Germany, October 4-6, 2017, Proceedings, 141-155 (2017)
[DOI: 10.1007/978-3-319-68474-1\_10]

[Contribution to a book, Contribution to a conference proceedings]
Ábrahám, Erika; Kremer, Gereon
SMT Solving for Arithmetic Theories: Theory and Tool Support
19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 1-8 (2017)
[DOI: 10.1109/SYNASC.2017.00009]

[Preprint]
Neuen, Daniel; Schweitzer, Pascal
An exponential lower bound for Individualization-Refinement algorithms for Graph Isomorphism
(2017)

[Contribution to a book, Contribution to a conference proceedings]
Camgoz, Necati Cihan; Hadfield, Simon; Koller, Oscar Tobias Anatol; Ney, Hermann; Bowden, Richard
Neural Sign Language Translation
30th IEEE Conference on Computer Vision and Pattern Recognition : CVPR 2017 : 21-26 July 2016, Honolulu, Hawaii : proceedings / general chairs: Rama Chellappa, Zhengyou Zhang, Anthony Hoogs, 7784-7793 (2017)
[DOI: 10.1109/CVPR.2018.00812]

[Book]
Greifenberg, Timo Herbert; Hillemacher, Steffen; Rumpe, Bernhard
Towards a Sustainable Artifact Model : Artifacts in Generator-Based Model-Driven Projects
Aachener Informatik-Berichte, Software Engineering 30 (2017, 2022)
[DOI: 10.18154/RWTH-2019-00315]

[Book]
Rumpe, Bernhard; Hölldobler, Katrin
MontiCore 5 Language Workbench
Aachener Informatik-Berichte, Software Engineering 32 (2017, 2022)
[DOI: 10.2370/9783844057133]

[Book]
Adam, Kai; Butting, Arvid; Heim, Robert; Kautz, Oliver; Pfeiffer, Jérôme; Rumpe, Bernhard; Wortmann, Andreas
Modeling Robotics Tasks for Better Separation of Concerns, Platform-Independence, and Reuse : Results of the iserveU Federal Research Project
Aachener Informatik-Berichte, Software Engineering 28 (2017, 2022)
[DOI: 10.18154/RWTH-2019-00277]

[Contribution to a conference proceedings, Journal Article]
Adam, Kai; Hölldobler, Katrin; Rumpe, Bernhard; Wortmann, Andreas
Modeling Robotics Software Architectures with Modular Model Transformations
Journal of Software Engineering for Robotics : JOSER, 8, 1, 3-16 (2017)

[Book, Proceedings]
Combemale, Benoit (Editor); Mernik, Marjan (Editor); Rumpe, Bernhard (Editor)
Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering
(2017)

[Contribution to a book, Contribution to a conference proceedings]
Smieschek, Manfred; Stollenwerk, André; Kowalewski, Stefan; Orlikowsky, Thorsten; Schoberer, Mark
Unterstützte Handerkennung in Thermographiebildern zur Validierung der hygienischen Händedesinfektion
Bildverarbeitung für die Medizin 2017 : Algorithmen - Systeme - Anwendungen : Proceedings des Workshops vom 12. bis 14. März 2017 in Heidelberg / Klaus Hermann Maier-Hein, Thomas M. Deserno, Heinz Handels, Thomas Tolxdorff (Herausgeber), 147-152 (2017)
[DOI: 10.1007/978-3-662-54345-0_35]

[Contribution to a book, Contribution to a conference proceedings, Journal Article]
Dzafic, Dzenan; Wagener, Nicolas; Schoonbrood, Peter; Franke, Dominik; Kowalewski, Stefan
Multimodales Dynamisches Routen mit eNav
AGIT : Journal für angewandte Geoinformatik, 2017, 3, 278-287 (2017)

[Contribution to a conference proceedings]
Dzafic, Dzenan; Wagener, Nicolas; Schoonbrood, Peter; Franke, Dominik; Kowalewski, Stefan
Multimodal Dynamic Routing for Wheelchairs and Pedestrians
Proceedings International Conference on Intelligent Transport Systems in Theory and Practice, mobil.TUM 2017, 1-10 (2017)