[Buchbeitrag]
Hillemacher, Steffen; Jäckel, Nicolas; Kugler, Christopher; Orth, Philipp; Schmalzing, David Pascal; Wachtmeister, Louis
Artifact-Based Analysis for the Development of Collaborative Embedded Systems
Model-based engineering of collaborative embedded systems : extensions of the SPES methodology / Wolfgang Böhm, Manfred Broy, Cornel Klein, Klaus Pohl, Bernhard Rumpe, Sebastian Schröck - editors (2021)

[Buchbeitrag]
Gandor, Malin; Jäckel, Nicolas; Käser, Lorenz; Schlie, Alexander; Stierand, Ingo; Terfloth, Axel; Toborg, Steffen; Wachtmeister, Louis; Wißdorf, Anna
Architectures for Dynamically Coupled Systems
Model-based engineering of collaborative embedded systems : extensions of the SPES methodology / Wolfgang Böhm, Manfred Broy, Cornel Klein, Klaus Pohl, Bernhard Rumpe, Sebastian Schröck - editors (2021)

[Buch]
Böhm, Wolfgang; Broy, Manfred; Rumpe, Bernhard; Schröck, Sebastian
Model-Based Engineering of Collaborative Embedded Systems
(2021)

[Fachzeitschriftenartikel]
Folmer, Erwin; Jakobs, Kai
Standards Development for Smart Systems—A Potential Way Forward
IEEE transactions on engineering management, 68, 1, 75-86 (2021)
[DOI: 10.1109/TEM.2020.2976640]

[Fachzeitschriftenartikel]
Liu, Zheng-Ning; Cao, Yan-Pei; Kuang, Zheng-Fei; Kobbelt, Leif; Hu, Shi-Min
High-Quality Textured 3D Shape Reconstruction with Cascaded Fully Convolutional Networks
IEEE transactions on visualization and computer graphics, 27, 1, 83-97 (2021)
[DOI: 10.1109/TVCG.2019.2937300]

[Buchbeitrag]
Kirchhof, Jörg Christian; Nieke, Michael; Schaefer, Ina; Schmalzing, David; Schulze, Michael
Variant and Product Line Co-Evolution
Model-Based Engineering of Collaborative Embedded Systems : Extensions of the SPES Methodology / edited by Wolfgang Böhm, Manfred Broy, Cornel Klein, Klaus Pohl, Bernhard Rumpe, Sebastian Schröck, 333-351 (2021)
[DOI: 10.1007/978-3-030-62136-0_18]

[Fachzeitschriftenartikel]
Langer, Raymond; Lotz, Johannes; Cai, Liming; vom Lehn, Florian Alexander; Leppkes, Klaus; Naumann, Uwe; Pitsch, Heinz
Adjoint sensitivity analysis of kinetic, thermochemical, and transport data of nitrogen and ammonia chemistry
Proceedings of the Combustion Institute, 38 (2021)
[DOI: 10.1016/j.proci.2020.07.020]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Pennekamp, Jan; Buchholz, Erik; Lockner, Yannik; Dahlmanns, Markus; Xi, Tiandong; Fey, Marcel; Brecher, Christian; Hopmann, Christian; Wehrle, Klaus
Privacy-Preserving Production Process Parameter Exchange
Annual Computer Security Applications Conference : [Proceedings] - ACM New York, NY, USA, 2020. - ISBN 9781450388580 - doi:10.1145/3427228.3427248 (2020)
[DOI: 10.1145/3427228.3427248]

[Buch, Poster]
Wolsing, Konrad; Wagner, Eric; Henze, Martin
Facilitating Protocol-independent Industrial Intrusion Detection Systems
Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security - ACM New York, NY, USA, 2020. - ISBN 9781450370899 - doi:10.1145/3372297.3420019 (2020)
[DOI: 10.1145/3372297.3420019]

[Fachzeitschriftenartikel]
Fischer, Dennis; Woeginger, Gerhard J.
A faster algorithm for the continuous bilevel knapsack problem
Operations research letters, 48, 6, 784 - 786 (2020)
[DOI: 10.1016/j.orl.2020.09.007]

[Fachzeitschriftenartikel]
Frohn, Florian; Naaf, Matthias; Brockschmidt, Marc; Giesl, Jürgen
Inferring Lower Runtime Bounds for Integer Programs
ACM transactions on programming languages and systems, 42, 3, 1-50 (2020)
[DOI: 10.1145/3410331]

[Buch]
Felderer, Michael; Hasselbring, Wilhelm; Matthes, Florian; Prechelt, Lutz; Reussner, Ralf; Rumpe, Bernhard; Schaefer, Ina
Ernst Denert Award for Software Engineering 2019 : Practice Meets Foundations
, V, 140 Seiten : Illustrationen (2020)
[DOI: 10.1007/978-3-030-58617-1]

[Buchbeitrag, Fachzeitschriftenartikel]
Landwehr, Patrick; Löding, Christof
Projection for Büchi Tree Automata with Constraints between Siblings
International journal of foundations of computer science : IJFCS, 31, 6, 749-775 (2020)
[DOI: 10.1142/S012905412041004X]

[Fachzeitschriftenartikel]
Longva, Andreas Borgen; Löschner, Fabian; Kugelstadt, Tassilo; Fernández-Fernández, José Antonio; Bender, Jan Stephen
Higher-order finite elements for embedded simulation
ACM transactions on graphics : TOG, 39, 6, 1-14 (2020)
[DOI: 10.1145/3414685.3417853]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Plewnia, Christian Colin; Steffens, Andreas; Wild, Nils Alexander; Lichter, Horst
A lightweight collaborative approach for teaching software project labs with industry partners
Joint Proceedings of 3rd Software Engineering Education Workshop (SEED 2020) & Workshop on NLP Advancements for Software Engineering (NLPaSE 2020), 1-8 (2020)

[Fachzeitschriftenartikel]
Bohner, Lauren; Meier, Norbert; Gremse, Felix; Tortamano, Pedro; Kleinheinz, Johannes; Hanisch, Marcel
Magnetic resonance imaging artifacts produced by dental implants with different geometries
Dentomaxillofacial radiology : DMFR, 49, 8, 20200121 (2020)
[DOI: 10.1259/dmfr.20200121]

[Bachelorarbeit]
Bayrak, Duygu
Implementierung eines interaktiven E-Mail-Interface für Anti-Phishing-Lernspiele
(2020, 2021)

[Fachzeitschriftenartikel]
Michael, Judith
Towards Privacy Preservation and Data Protection in Information System Design
Enterprise modelling and information systems architectures, 15, 10.18417 (2020)
[DOI: 10.18417/EMISA.15.7]

[Beitrag zu einem Tagungsband]
Behery, Mohamed; Tschesche, Matteo; Rudolph, Fridtjof; Hirt, Gerhard; Lakemeyer, Gerhard
Action Discretization for Robot Arm Teleoperation in Open-Die Forging
Proceedings of the SMC 2020 conference (2020)

[Beitrag zu einem Tagungsband]
Gannouni, Aymen; Samsonov, Vladimir; Behery, Mohamed; Meisen, Tobias; Lakemeyer, Gerhard
Neural Combinatorial Optimization for Production Scheduling with Sequence-Dependent Setup Waste
Proceedings of the SMC 2020 conference (2020)

[Beitrag zu einem Tagungsband]
Liebenberg, Martin; Jarke, Matthias
Information Systems Engineering with Digital Shadows: Concept and Case Studies
Proceedings of the 32nd International Conference on Advanced Information Systems Engineering (CAiSE '20) (2020)
[DOI: 10.1007/978-3-030-49435-3_5]

[Beitrag zu einem Tagungsband]
Mitrevski, Alex; Plöger, Paul G.; Lakemeyer, Gerhard
Representation and Experience-Based Learning of Explainable Models for Robot Action Execution
Proc. of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) (2020)

[Beitrag zu einem Tagungsband]
Levesque, Gerhard Lakemeyer and Hector J.
A First-Order Logic of Limited Belief Based on Possible Worlds
Proc. of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020, 624-635 (2020)
[DOI: 10.24963/kr.2020/62]

[Bericht]
Hofmann, Till; Eltester, Sebastian; Viehmann, Tarik; Limpert, Nicolas; Mataré, Victor; Ferrein, Alexander; Lakemeyer, Gerhard
The Carologistics RoboCup Logistics Team 2020
(2020)

[Beitrag zu einem Tagungsband]
Mataré, Victor; Schiffer, Stefan; Ferrein, Alexander; Viehmann, Tarik; Hofmann, Till; Lakemeyer, Gerhard
Constraint-based Plan Transformation in a Safe and Usable GOLOG Language
Proceedings of the Workshop on Bringing Constraint-based Robot Programming to Real-World Applications (IROS CobaRoP) (2020)

[Poster]
Hofmann, Till; Lakemeyer, Gerhard
Controller Synthesis for Golog Programs over Finite Domains with Metric Temporal Constraints
17th International Conference on Principles of Knowledge Representation and Reasoning online 2020-09-12 - 2020-09-18 (2020)

[Fachzeitschriftenartikel]
Zaric, Nadja; Lukarov, Vlatko; Schroeder, Ulrik
A Fundamental Study for Gamification Design : Exploring Learning Tendencies' Effects
International journal of serious games : IJSG, 7, 4, 3-25 (2020)
[DOI: 10.17083/ijsg.v7i4.356]

[Beitrag zu einem Tagungsband, Fachzeitschriftenartikel]
Poux, F.; Mattes, C.; Kobbelt, L.
Unsupervised Segmentation of Indoor 3D Point Cloud: Application to Object-Based Classification
The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences, XLIV-4/W1-2020, 111-118 (2020)
[DOI: 10.5194/isprs-archives-XLIV-4-W1-2020-111-2020]

[Fachzeitschriftenartikel]
Schmidt, Patrick; Campen, Marcel; Born, Janis Sebastian; Kobbelt, Leif
Inter-surface maps via constant-curvature metrics
ACM transactions on graphics : TOG, 39, 4, 119 (2020)
[DOI: 10.1145/3386569.3392399]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Grohe, Martin
word2vec, node2vec, graph2vec, X2vec: Towards a Theory of Vector Embeddings of Structured Data
Proceedings of the 39th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems - ACM New York, NY, USA, 2020. - ISBN 9781450371087 - doi:10.1145/3375395.3387641, 1-16 (2020)
[DOI: 10.1145/3375395.3387641]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Grohe, Martin
Counting Bounded Tree Depth Homomorphisms
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science - ACM New York, NY, USA, 2020. - ISBN 9781450371049 - doi:10.1145/3373718.3394739, 507-520 (2020)
[DOI: 10.1145/3373718.3394739]

[Fachzeitschriftenartikel]
Grohe, Martin; Schweitzer, Pascal
The graph isomorphism problem
Communications of the ACM, 63, 11, 128-134 (2020)
[DOI: 10.1145/3372123]

[Fachzeitschriftenartikel]
Schuh, Günther; Gützlaff, Andreas; Schmitz, Seth; van der Aalst, Wil M. P.
Data-based description of process performance in end-to-end order processing
CIRP annals, manufacturing technology, 69, 1, 381-384 (2020)
[DOI: 10.1016/j.cirp.2020.03.013]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Fögen, Konrad; Lichter, Horst
Generation of Invalid Test Inputs from Over-Constrained Test Models for Combinatorial Robustness Testing
Proceedings of 2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 171-180 (2020)
[DOI: 10.1109/ICSTW50294.2020.00038]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Friedrichs, Torben; Fögen, Konrad; Lichter, Horst
A Comparison Infrastructure for Fault Characterization Algorithms
Proceedings of 2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 201-210 (2020)
[DOI: 10.1109/ICSTW50294.2020.00042]

[Buch, Tagungsband]
Lichter, Horst; Aydin, Selin; Sunetnanta, Thanwadee; Anwar, Toni
Proceedings of the 8th International Workshop on Quantitative Approaches to Software Quality (QuASoQ 2020), Singapore, December 1
(2020)

[Buchbeitrag, Beitrag zu einem Tagungsband]
Lichter, Horst; Aydin, Selin; Sunetnanta, Thanwadee; Anwar, Toni
Report on the the 8th International Workshop on Quantitative Approaches to Software Quality
8th International Workshop on Quantitative Approaches to Software Quality (QuASoQ 2020), Singapore, December 1, 1-5 (2020)

[Buchbeitrag, Beitrag zu einem Tagungsband]
Fögen, Konrad; Lichter, Horst
An Industrial Case Study on Fault Detection Effectiveness of Combinatorial Robustness Testing
8th International Workshop on Quantitative Approaches to Software Quality (QuASoQ 2020), Singapore, December 1, 29-36 (2020)

[Buchbeitrag, Beitrag zu einem Tagungsband]
Lehmann, Barry-Detlef; Alexander, Peter; Lichter, Horst; Hacks, Simon
Towards the Identification of Process Anti-Patterns in Enterprise Architecture Models
8th International Workshop on Quantitative Approaches to Software Quality (QuASoQ 2020), Singapore, December 1, 47-54 (2020)

[Buchbeitrag, Beitrag zu einem Tagungsband]
Sok, Sophoan; Plewnia, Christian Colin; Tanachutiwat, Sansiri; Lichter, Horst
Optimization of Compute Costs in Hybrid Clouds with Full Rescheduling
IEEE International Conference on Smart Cloud (SmartCloud) (2020)
[DOI: 10.1109/SmartCloud49737.2020.00016]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Hacks, Simon; Lichter, Horst
Qualitative Comparison of Enterprise Architecture Model Maintenance Processes
40 Years EMISA : digital ecosystems of the future: methodology, techniques and applications : Fachtagung vom 15.-17. May 2019 in Tutzing am Starnberger See / Heinrich C. Mayr, Stefanie Rinderle-Ma, Stefan Strecker (Hrsg.) ; Gesellschaft für Informatik e.V. (GI), 105-118 (2020)

[Beitrag zu einem Tagungsband]
Alexander, Peter; Hacks, Simon; Jung, Juergen; Steffens, Ulrike; Uludag, Ömer; Lichter, Horst
A Framework for Managing Enterprise Architecture Debts - Outline and Research Directions
EMISA 2020 : Enterprise Modeling and Information Systems Architectures 2020 ; 10th International Workshop on Enterprise Modeling and Information Systems Architectures ; Kiel, Germany, May 14-15, 2020 / Edited by Agnes Koschmider ; Judith Michael ; Bernhard Thalheim *, 5-10 (2020)

[Buchbeitrag, Beitrag zu einem Tagungsband]
Salentin, Johannes; Hacks, Simon
Towards a Catalog of Enterprise Architecture Smells
Entwicklungen, Chancen und Herausforderungen der Digitalisierung / Gronau, N., Heine, M., Krasnova, H., Pousttchi, K. (Hrsg.), 276-290 (2020)
[DOI: 10.30844/wi_2020_y1-salentin]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Wild, Nils; Lichter, Horst; Kehren, Peter
Test Automation Challenges for Application Landscape Frameworks
Proceedings of 2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 330-333 (2020)
[DOI: 10.1109/ICSTW50294.2020.00059]

[Fachzeitschriftenartikel]
Muhammad Ashraf, Waqar; Moeen Uddin, Ghulam; Muhammad Arafat, Syed; Afghan, Sher; Hassan Kamal, Ahmad; Asim, Muhammad; Haider Khan, Muhammad; Waqas Rafique, Muhammad; Naumann, Uwe; Niazi, Sajawal Gul; Jamil, Hanan; Jamil, Ahsaan; Hayat, Nasir; Ahmad, Ashfaq; Changkai, Shao; Bin Xiang, Liu; Ahmad Chaudhary, Ijaz; Krzywanski, Jaroslaw
Optimization of a 660 MWe Supercritical Power Plant Performance—A Case of Industry 4.0 in the Data-Driven Operational Management Part 1. Thermal Efficiency
Energies, 13, 21, 5592 (2020)
[DOI: 10.3390/en13215592]

[Fachzeitschriftenartikel]
Löschner, Fabian; Longva, Andreas; Jeske, Stefan; Kugelstadt, Tassilo; Bender, Jan Stephen
Higher‐Order Time Integration for Deformable Solids
Computer graphics forum, 39, 8, 157-169 (2020)
[DOI: 10.1111/cgf.14110]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Leibe, Bastian; Zülfikar, Idil Esen; Luiten, Jonathon Tyler
UnOVOST: Unsupervised Offline Video Object Segmentation and Tracking
2020 IEEE Winter Conference on Applications of Computer Vision (WACV) : Snowmass Village, CO, March 1-5, 2020 : proceedings / publisher: IEEE, 1989-1998 (2020)
[DOI: 10.1109/WACV45572.2020.9093285]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Dalibor, Manuela; Michael, Judith; Rumpe, Bernhard; Varga, Simon; Wortmann, Andreas
Towards a Model-Driven Architecture for Interactive Digital Twin Cockpits
[39th International Conference on Conceptual Modeling, ER, 2020-11-03 - 2020-11-06, Vienna, Austria] (2020)
[DOI: 10.1007/978-3-030-62522-1_28]

[Doktorarbeit]
Nußbaum-Thom, Markus
Investigations on neural networks, discriminative training criteria and error bounds
, 1 Online-Ressource(xi, 107 Seiten) : Illustrationen, Diagramme (2020, 2021)

[Buchbeitrag, Beitrag zu einem Tagungsband]
Mann, Samuel Micha; Glebke, René; Kunze, Ike Sebastian; Scheurenberg, D.; Sharma, Rahul; Reisgen, Uwe; Wehrle, Klaus; Abel, D.
Study on weld seam geometry control for connected gas metal arc welding systems
[17th International Conference on Ubiquitous Robots, UR, 2020-06-22 - 2020-06-26, Kyoto, Japan], 373-379 (2020)
[DOI: 10.1109/UR49135.2020.9144839]