Publications

2022

• Optimal ABox Repair w.r.t. Static ℰℒ TBoxes: from Quantified ABoxes back to ABoxes (Slides)Baader, F., Koopmann, P., Kriegel, F. & Nuradiansyah, A., 29 May 2022Electronic (full-text) versionResearch output: Contribution to conferences > Presentation slides
• 50 Jahre universitärer Informatik-Studiengang an der TU Dresden aus der Sicht von Zeitzeugen in einem ZeitstrahlDemuth, B., Rohde, F. & Aßmann, U., 25 May 2022, In:  Informatik-Spektrum : Organ der Gesellschaft für Informatik e.V. und mit ihr assoziierter Organisationen. 45, 3, p. 183-191, 9 p., 3Electronic (full-text) versionResearch output: Contribution to journal > Research article
• A genome-wide scan of wastewater E. coli for genes under positive selection: focusing on mechanisms of antibiotic resistanceMalekian, N., Agrawal, A. A., Berendonk, T. U., Al-Fatlawi, A. & Schroeder, M., 16 May 2022, In: Scientific reports. 12, 8037Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Object Recognition in High-Resolution Indoor THz SAR Mapped EnvironmentBatra, A., Sheikh, F., Khaliel, M., Wiemeler, M., Gohringer, D. & Kaiser, T., 15 May 2022, In: Sensors. 22, 10, 3762Electronic (full-text) versionResearch output: Contribution to journal > Research article
• A multiscale model of the regulation of aquaporin 2 recyclingLeberecht, C., Schroeder, M. & Labudde, D., 9 May 2022, In: npj systems biology and applications. 8, 16, 16Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Universal Horn Sentences and the Joint Embedding Property.Bodirsky, M., Rydval, J. & Schrottenloher, A., 6 May 2022, In: Discrete mathematics & theoretical computer science. 23, 2, 15 p., 4Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Where should we put it? Layout and placement strategies of documents in augmented reality for collaborative sensemakingLuo, W., Lehmann, A., Widengren, H. & Dachselt, R., 5 May 2022, Proceedings of the ACM Conference on Human Factors in Computing Systems (CHI). Barbosa, S., Lampe, C., Appert, C., Shamma, D. A., Drucker, S., Williamson, J. & Yatani, K. (eds.).p. 627:1-627:16, 16 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• AvatAR: An immersive analysis environment for human motion data combining interactive 3D avatars and trajectoriesReipschläger, P., Brudy, F., Dachselt, R., Matejka, J., Fitzmaurice, G. & Anderson, F., 2 May 2022, Proceedings of the ACM Conference on Human Factors in Computing Systems (CHI). Barbosa, S., Lampe, C., Appert, C., Shamma, D. A., Drucker, S., Williamson, J. & Yatani, K. (eds.).p. 23:1-23:15, 15 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Topology-Preserving Simplification of OpenStreetMap Network Data for Large-scale Simulation in SUMOMeng, Z., Du, X., Sottovia, P., Foroni, D., Axenie, C., Wieder, A., Eckhoff, D. & 3 others, 1 May 2022, SUMO User Conference 2022 (SUMO 2022). Vol. 3. p. 181-197, 17 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• AppAxO: Designing Application-specific Approximate Operators for FPGA-based Embedded SystemsUllah, S., Sahoo, S. S., Ahmed, N., Chaudhury, D. & Kumar, A., May 2022, In: ACM transactions on embedded computing systems. 21, 3, p. 29:1-29:31, 31 p., 29Electronic (full-text) versionResearch output: Contribution to journal > Research article
• CHORS: hardening high-assurance security systems with trusted computingOzga, W., Faqeh, R., Le Quoc, D. & Gregor, F., May 2022, p. 1626–1635Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Ingredient-based Forecast of Sold Dish Portions in Campus Canteen KitchensWoltmann, L., Drechsel, J., Hartmann, C. & Lehner, W., May 2022, Proceedings - 2022 IEEE 38th International Conference on Data Engineering Workshops, ICDEW 2022. p. 111-116, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• STRAIDE: A Research Platform for Shape-Changing Spatial Displays based on Actuated StringsEngert, S., Klamka, K., Peetz, A. & Dachselt, R., 29 Apr 2022, CHI 2022 - Proceedings of the 2022 CHI Conference on Human Factors in Computing Systems. New Orleans, LA, USA, p. 263:1-263:16, 16 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• To share or not to share vector registers?Pietrzyk, J., Krause, A., Habich, D. & Lehner, W., 28 Apr 2022, In: The VLDB journal. 31, 6, p. 1215-1236, 22 p., 6Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Computing generalizations of temporal 𝓔𝓛 concepts with next and global.Tirtarasa, S. & Turhan, A., 25 Apr 2022, p. 903-910, 8 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Probabilistic causes in Markov ChainsZiemek, R., Piribauer, J., Funke, F., Jantsch, S. & Baier, C., 25 Apr 2022, In: Innovations in Systems and Software Engineering. 18, 3, p. 347-367, 21 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• AGILER: An Adaptive Heterogeneous Tile-Based Many-Core Architecture for RISC-V ProcessorsKamaleldin, A. & Göhringer, D., 18 Apr 2022, In: IEEE Access. 10, p. 43895-43913, 19 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automataJohn, T., Jantsch, S., Baier, C. & Klüppelholz, S., 9 Apr 2022, In: Innovations in Systems and Software Engineering. 18, 3, p. 385–403, 19 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Memory Performance of AMD EPYC Rome and Intel Cascade Lake SP Server ProcessorsVelten, M., Schöne, R., Ilsche, T. & Hackenberg, D., 9 Apr 2022, ICPE 2022 - Proceedings of the 2022 ACM/SPEC International Conference on Performance Engineering. p. 165–175, 11 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Fast Privileged Function CallsMiemietz, T., Planeta, M., Reusch, V. L., Bierbaum, J., Roitzsch, M. & Härtig, H., 5 Apr 2022Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• An Abstract, Logical Approach to Characterizing Strong Equivalence in Non-monotonic Knowledge Representation FormalismsBaumann, R. & Straß, H., 1 Apr 2022, In: Artificial intelligence. 305, 103680Electronic (full-text) versionResearch output: Contribution to journal > Research article
• A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear ArithmeticBromberger, M., Dragoste, I. T., Faqeh, R., Fetzer, C., González González, L. J., Krötzsch, M., Marx, M. & 2 others, 30 Mar 2022, Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part I. Fisman, D. & Rosu, G. (eds.).p. 480–501, 22 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Slashing the Disaggregation Tax in Heterogeneous Data Centers with FractOSVilanova, L., Maudlej, L., Bergman, S., Miemietz, T., Hille, M., Asmussen, N., Roitzsch, M. & 2 others, 28 Mar 2022, EuroSys 2022 - Proceedings of the 17th European Conference on Computer Systems. Association for Computing Machinery, Inc, p. 352-367, 16 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• MPER – A motion profiling experiment and research system for human body movementRettlinger, S., Knaus, B., Wieczorek, F., Ivakko, N., Hanisch, S., Nguyen, G. T., Strufe, T. & 1 others, 23 Mar 2022, 2022 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events, PerCom Workshops 2022. p. 88-90, 3 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• A Partial-Reconfiguration-Enabled HW/SW Co-Design Benchmark for LTE ApplicationsHosseinghorban, A. & Kumar, A., 22 Mar 2022, In: Electronics (Switzerland). 11, 7, 978Electronic (full-text) versionResearch output: Contribution to journal > Research article