[Fachzeitschriftenartikel]
Gray, Jeff; Rumpe, Bernhard
Reflections on the standardization of SysML 2
Software and systems modeling, -, - (2021)
[DOI: 10.1007/s10270-021-00881-2]

[Fachzeitschriftenartikel]
Cheng, Gong; Liu, Daxin; Qu, Yuzhong
Fast Algorithms for Semantic Association Search and Pattern Mining
IEEE transactions on knowledge and data engineering : TKDE, 33, 4, 1490-1502 (2019, 2021)
[DOI: 10.1109/TKDE.2019.2942031]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Stilz, Melanie; Bockermann, Iris; Wilkens, Daniel; Brocker, Anke
Fab Labs als neue Bildungsorte in der Hochschullehre
Hochschulen im digitalen (Klima)Wandel : Tagungsband zur 3. Online-Tagung Hochschule digital.innovat : #digiPH3iv / Marie Lene Kieberl, Stefanie Schallert (Hrsg.), 117-123 (2021)

[Fachzeitschriftenartikel]
Quatmann, Tim; Junges, Sebastian; Katoen, Joost-Pieter
Markov automata with multiple objectives
Formal methods in system design (2021)
[DOI: 10.1007/s10703-021-00364-6]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Meyer, Fabian; Hark, Marcel Tobias; Giesl, Jürgen
Inferring Expected Runtimes of Probabilistic Integer Programs Using Expected Sizes
Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings / Editors: Jan Friso GrooteKim Guldstrand Larsen. - Part I, 250-269 (2021)
[DOI: 10.1007/978-3-030-72016-2_14]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Neumann, Alexander Tobias; de Lange, Peter; Klamma, Ralf; Pengel, Norbert; Arndt, Tamar
Intelligent Mentoring Bots in Learning Management Systems : Concepts, Realizations and Evaluations
Learning Technologies and Systems : 19th International Conference on Web-Based Learning, ICWL 2020, and 5th International Symposium on Emerging Technologies for Education, SETE 2020, Ningbo, China, October 22–24, 2020, Proceedings / edited by Chaoyi Pang, Yunjun Gao, Guanliang Chen, Elvira Popescu, Lu Chen, Tianyong Hao, Bailing Zhang, Silvia Margarita Baldiris Navarro, Qing Li, 3-14 (2021)
[DOI: 10.1007/978-3-030-66906-5_1]

[Buchbeitrag]
Jakobs, Kai
ICT, Smart Systems, and Standardization
Encyclopedia of organizational knowledge, administration, and technology / Mehdi Khosrow-Pour D.B.A. - Volume 2, 950-965 (2021)
[DOI: 10.4018/978-1-7998-3473-1.ch067]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Böckenhauer, Hans-Joachim; Burjons, Elisabet; Hromkovic, Juraj; Lotze, Henri; Rossmanith, Peter
Online Simple Knapsack with Reservation Costs
38th International Symposium on Theoretical Aspects of Computer Science (STACS 2021) / Herausgeber: Markus Bläser, Benjamin Monmege, [16:1]-16:18 (2021)
[DOI: 10.4230/LIPICS.STACS.2021.16]

[Preprint]
Klimm, Florian; Jones, Nick S.; Schaub, Michael Thomas
Modularity maximisation for graphons
, 28 Seiten (2021)

[Buch]
Lambiotte, Renaud; Schaub, Michael Thomas
Modularity and Dynamics on Complex Networks
(2021)

[Preprint]
Yang, Maosheng; Isufi, Elvin; Schaub, Michael Thomas; Leus, Geert
Finite Impulse Response Filters for Simplicial Complexes
, 5 Seiten (2021)

[Buchbeitrag, Beitrag zu einem Tagungsband]
Gleim, Lars Christoph; Pennekamp, Jan; Tirpitz, Liam; Welten, Sascha; Brillowski, Florian Sascha; Decker, Stefan Josef
FactStack : Interoperable Data Management and Preservation for the Web and Industry 4.0
Datenbanksysteme für Business, Technologie und Web (BTW 2021), 13.–17. September 2021 in Dresden, Deutschland / Kai-Uwe Sattler, Melanie Herschel, Wolfgang Lehner (Hrsg.), 371-395 (2021)
[DOI: 10.18420/btw2021-20]

[Beitrag zu einem Tagungsband, Fachzeitschriftenartikel]
Batz, Kevin; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph
Relatively complete verification of probabilistic programs : an expressive language for expectation-based reasoning
Proceedings of the ACM on programming languages : (PACMPL), 5, 39 (2021)
[DOI: 10.1145/3434320]

[Fachzeitschriftenartikel]
Serror, Martin; Hack, Sacha; Henze, Martin; Schuba, Marko; Wehrle, Klaus
Challenges and Opportunities in Securing the Industrial Internet of Things
IEEE transactions on industrial informatics, 17, 5, 2985-2996 (2020, 2021)
[DOI: 10.1109/TII.2020.3023507]

[Fachzeitschriftenartikel]
Kugelstadt, Tassilo; Longva, Andreas Borgen; Thuerey, Nils; Bender, Jan Stephen
Implicit Density Projection for Volume Conserving Liquids
IEEE transactions on visualization and computer graphics : TVCG, 27, 4, 2385-2395 (2019, 2021)
[DOI: 10.1109/TVCG.2019.2947437]

[Buchbeitrag, Fachzeitschriftenartikel]
Böckenhauer, Hans-Joachim; Hromkovič, Juraj; Krug, Sacha; Unger, Walter
On the advice complexity of the online dominating set problem
Theoretical computer science, 862, 81-96 (2021)
[DOI: 10.1016/j.tcs.2021.01.022]

[Fachzeitschriftenartikel]
de Berg, Mark; Buchin, Kevin; Jansen, Bart M. P.; Woeginger, Gerhard
Fine-grained Complexity Analysis of Two Classic TSP Variants
ACM transactions on algorithms, 17, 1, 1-29 (2021)
[DOI: 10.1145/3414845]

[Fachzeitschriftenartikel]
Nehring-Wirxel, Julius; Trettner, Philip; Kobbelt, Leif
Fast Exact Booleans for Iterated CSG using Octree-Embedded BSPs
Computer aided design : CAD, 135, 103015 (2021)
[DOI: 10.1016/j.cad.2021.103015]

[Fachzeitschriftenartikel]
Junges, Sebastian; Katoen, Joost-Pieter; Pérez, Guillermo A.; Winkler, Tobias
The complexity of reachability in parametric Markov decision processes
Journal of computer and system sciences : JCSS, 119, 183-210 (2021)
[DOI: 10.1016/j.jcss.2021.02.006]

[Fachzeitschriftenartikel]
Grigoriev, Alexander; Hartmann, Tim A.; Lendl, Stefan; Woeginger, Gerhard
Dispersing Obnoxious Facilities on a Graph
Algorithmica : an international journal in computer science, 16 Seiten (2021)
[DOI: 10.1007/s00453-021-00800-3]

[Buchbeitrag, Fachzeitschriftenartikel]
Ficker, Annette M. C.; Spieksma, Frits C. R.; Woeginger, Gerhard
The transportation problem with conflicts
Annals of operations research, 298, 1/2, 207-227 (2018, 2021)
[DOI: 10.1007/s10479-018-3004-y]

[Fachzeitschriftenartikel]
Ábrahám, Erika; Davenport, James H.; England, Matthew; Kremer, Gereon
Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings
Journal of Logical and Algebraic Methods in Programming, 119, 100633 (2020, 2021)
[DOI: 10.1016/j.jlamp.2020.100633]

[Fachzeitschriftenartikel]
Fani Sani, Mohammadreza; van Zelst, Sebastiaan Johannes; van der Aalst, Wil M. P.
The impact of biased sampling of event logs on the performance of process discovery
Computing : archives for informatics and numerical computation (2021)
[DOI: 10.1007/s00607-021-00910-4]

[Fachzeitschriftenartikel]
Schomakers, Eva-Maria; Lidynia, Chantal; Müllmann, Dirk; Matzutt, Roman; Wehrle, Klaus; Spiecker Döhmann, Indra; Ziefle, Martina
Insights on Data Sensitivity from the Technical, Legal and the Users’ Perspectives : Practical suggestions on how to raise more awareness for the assumed exercise of informational self-determination
Computer law review international, 22, 1, 8-15 (2021)
[DOI: 10.9785/cri-2021-220103]

[Preprint]
Thulke, David; Daheim, Nico; Dugast, Christian; Ney, Hermann
Efficient Retrieval Augmented Generation from Unstructured Knowledge for Task-Oriented Dialog
, 9 Seiten (2021)

[Beitrag zu einem Tagungsband]
Bahar, Parnia; Brix, Christopher Jan-Steffen; Ney, Hermann
Two-Way Neural Machine Translation : A Proof of Concept for Bidirectional Translation Modeling using a Two-Dimensional Grid
[IEEE Spoken Language Technology Workshop, SLT 2021, 2021-01-19 - 2021-01-22] (2021)

[Beitrag zu einem Tagungsband]
Thulke, David; Daheim, Nico; Dugast, Christian; Ney, Hermann
Efficient Retrieval Augmented Generation from Unstructured Knowledge for Task-Oriented Dialog
AAAI-21 : 9th Dialog System Technology Challenge (DSTC-9) Workshop (2021)

[Beitrag zu einem Tagungsband]
Bahar, Parnia; Bieschke, Tobias; Schlüter, Ralf; Ney, Hermann
Tight Integrated End-to-End Training for Cascaded Speech Translation
[IEEE Spoken Language Technology Workshop, SLT 2021, 2021-01-19 - 2021-01-22] (2021)

[Fachzeitschriftenartikel]
Bauer, Kevin; Hinz, Oliver; van der Aalst, Wil M. P.; Weinhardt, Christof
Expl(AI)n It to Me : Explainable AI and Information Systems Research
Business & information systems engineering, 10, 4 Seiten (2021)
[DOI: 10.1007/s12599-021-00683-2]

[Fachzeitschriftenartikel]
Ergin, Huseyin; Gray, Jeff; Rumpe, Bernhard; Schindler, Martin
SoSyM reflections : the 2020 'State of the Journal' report
Software and systems modeling, 20, 1, 1-5 (2021)
[DOI: 10.1007/s10270-021-00871-4]

[Buchbeitrag, Beitrag zu einem Tagungsband]
van Bergerem, Steffen; Schweikardt, Nicole
Learning Concepts Described By Weight Aggregation Logic
29th EACSL Annual Conference on Computer Science Logic : CSL 2021, January 25-28, 2021, Ljubljana, Slovenia (virtual conference) / edited by Christel Baier, Jean Goubault-Larrecq, 10:1-10:18 (2021)
[DOI: 10.4230/LIPICS.CSL.2021.10]

[Fachzeitschriftenartikel]
Pieterse, Astrid; Woeginger, Gerhard
The subset sum game revisited
Theory of computing systems (2021)
[DOI: 10.1007/s00224-021-10034-z]

[Buch, Bericht]
Nagl, Manfred
Characterization of Shallow and Deep Reuse
, 17 Seiten : Diagramme (2021)

[Buch, Tagungsband]
Götz, Sebastian; Linsbauer, Lukas; Schaefer, Ina; Wortmann, Andreas
SE-SE 2021 : Software Engineering 2021 Satellite Events - Workshops and Tools & Demos : Braunschweig/Virtual, Germany, February 22 - 26, 2021 : Proceedings of the Software Engineering 2021 Satellite Events
Software Engineering 2021 Satellite Events Braunschweig/Virtual 2021-02-22 - 2021-02-26, 1 Online-Ressource (2021)

[Buchbeitrag, Beitrag zu einem Tagungsband]
Röpke, René; Drury, Vincent Jakob; Schroeder, Ulrik; Meyer, Ulrike
A Modular Architecture for Personalized Learning Content in Anti-Phishing Learning Games
SE-SE 2021 : Software Engineering 2021 Satellite Events - Workshops and Tools & Demos : Braunschweig/Virtual, Germany, February 22 - 26, 2021 : Proceedings of the Software Engineering 2021 Satellite Events / Edited by Sebastian Götz, Lukas Linsbauer, Ina Schaefer, Andreas Wortmann, 1-7 (2021)

[Fachzeitschriftenartikel]
Gao, Lin; Lai, Yu-Kun; Yang, Jie; Zhang, Ling-Xiao; Xia, Shihong; Kobbelt, Leif
Sparse Data Driven Mesh Deformation
IEEE transactions on visualization and computer graphics: TVCG, 27, 3, 2085-2100 (2019, 2021)
[DOI: 10.1109/TVCG.2019.2941200]

[Fachzeitschriftenartikel]
Tönshoff, Jan; Ritzert, Martin; Wolf, Hinrikus; Grohe, Martin
Graph Neural Networks for Maximum Constraint Satisfaction
Frontiers in artificial intelligence, 3, 580607 (2021)
[DOI: 10.3389/frai.2020.580607]

[Buch]
Barthe, Gilles; Katoen, Joost-Pieter; Silva, Alexandra
Foundations of probabilistic programming
, xiv, 568 Seiten : Illustrationen (2020, 2021)
[DOI: 10.1017/9781108770750]

[Buch, Bericht]
Nagl, Manfred
Process Interaction Diagrams are more than Process Chains or Transport Networks
, 18 Seiten : Diagramme (2021)

[Buch, Bericht]
Nagl, Manfred
Embedded Systems : Simple Rules to Improve Adaptability
, 23 Seiten : Diagramme (2021)

[Buch, Bericht]
Nagl, Manfred
Sequences of Software Architectures
, 16 Seiten : Diagramme (2021)

[Buch, Bericht]
Nagl, Manfred
An Integrative Approach for Software Architectures
, 26 Seiten : Diagramme (2021)

[Doktorarbeit]
Schnorr, Andrea
Feature tracking for space-filling structures
, 1 Online-Ressource : Illustrationen, Diagramme (2021)

[Doktorarbeit]
Suleri, Sarah
Impact of technological support on the workload of software prototyping
, 1 Online-Ressource (xxvi, 209 Seiten) : Illustrationen, Diagramme (2021)

[Preprint]
Hofmann, Till; Lakemeyer, Gerhard
Controller Synthesis for Golog Programs over Finite Domains with Metric Temporal Constraints
, 10 Seiten (2021)

[Doktorarbeit]
Pirogov, Anton
Determinization and ambiguity of classical and probabilistic Büchi automata
, 1 Online-Ressource : Illustrationen, Diagramme (2021)

[Buchbeitrag, Beitrag zu einem Tagungsband]
Mataré, Victor; Viehmann, Tarik; Hofmann, Till; Lakemeyer, Gerhard; Ferrein, Alexander; Schiffer, Stefan
Portable High-level Agent Programming with golog++
Proceedings of the 13th International Conference on Agents and Artificial Intelligence. / Ana Paula Rocha, Luc Steels, Jaap van den Herik (Eds.). - Volume 2, 218-227 (2021)
[DOI: 10.5220/0010253902180227]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Hofmann, Till; Viehmann, Tarik; Gomaa, Mostafa; Habering, Daniel; Niemüller, Tim Dieter; Lakemeyer, Gerhard
Multi-Agent Goal Reasoning with the CLIPS Executive in the RoboCup Logistics League
Proceedings of the 13th International Conference on Agents and Artificial Intelligence. / Ana Paula Rocha, Luc Steels, Jaap van den Herik (Eds.). - Volume 1, 80-91 (2021)
[DOI: 10.5220/0010252600800091]

[Buchbeitrag]
Böhm, Birthe; Böhm, Wolfgang; Daun, Marian; Hayward, Alexander; Kranz, Sieglinde; Regnat, Nikolaus; Schröck, Sebastian; Stierand, Ingo; Vogelsang, Andreas; Vollmar, Jan; Voss, Sebastian; Weyer, Thorsten; Wortmann, Andreas
Engineering 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, 15–48 (2020, 2021)
[DOI: 10.1007/978-3-030-62136-0_2]

[Buchbeitrag]
Towara, Markus; Lotz, Johannes; Naumann, Uwe
Discrete Adjoint Approaches for CHT Applications in OpenFOAM
Advances in Evolutionary and Deterministic Methods for Design, Optimization and Control in Engineering and Sciences / edited by António Gaspar-Cunha, Jacques Periaux, Kyriakos C. Giannakoglou, Nicolas R. Gauger, Domenico Quagliarella, David Greiner, 163-178 (2020, 2021)
[DOI: 10.1007/978-3-030-57422-2_11]