Publications

2022

• On the Interplay between TLS Certificates and QUIC PerformanceNawrocki, M., Tehrani, P. F., Hiesgen, R., Mücke, J., Schmidt, T. C. & Wählisch, M., 30 Nov 2022, Proceedings of ACM CoNEXT 2022. ACM New York, NY, USA, p. 204-213, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• A Gaussian jump process formulation of the reaction-diffusion master equation enables faster exact stochastic simulationsSubic, T. & Sbalzarini, I. F., 21 Nov 2022, In: Journal of Chemical Physics. 157, 19, 194110Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Collective cell migration during optic cup formation features changing cell-matrix interactions linked to matrix topologySoans, K. G., Ramos, A. P., Sidhaye, J., Krishna, A., Solomatina, A., Hoffmann, K. B., Schlüßler, R. & 4 others, 21 Nov 2022, In: Current biology. 32, 22, p. 4817-4831.e9, 25 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• “E-WAFE” - A Full Body Embodied Social ExergameKalaitzidou, A., Senechal, N., Dimitriou, P., Chandran, K. & McGinity, M., 7 Nov 2022, CHI PLAY '22: Extended Abstracts of the 2022 Annual Symposium on Computer-Human Interaction in Play. New York, USA: Association for Computing Machinery (ACM), New York, p. 286-290, 5 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Combining Gradients and Probabilities for Heterogeneous Approximation of Neural Networks.Trommer, E., Waschneck, B. & Kumar, A., 30 Oct 2022, ICCAD '22: Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design. p. 150:1-150:8, 8 p., 150Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Explaining Non-Entailment by Model Transformation for the Description Logic EL (Slides)Alrabbaa, C. & Hieke, W., 27 Oct 2022Research output: Contribution to conferences > Presentation slides
• Incremental causal connection for self-adaptive systems based on relational reference attribute grammars.Schöne, R., Mey, J., Ebert, S., Götz, S. & Aßmann, U., 26 Oct 2022, MoDELS. p. 1-12, 12 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• ABOVE & BELOW: Investigating Ceiling and Floor for Augmented Reality Content PlacementSatkowski, M., Rzayev, R., Goebel, E. & Dachselt, R., 17 Oct 2022, Proceedings - 2022 IEEE International Symposium on Mixed and Augmented Reality, ISMAR 2022. Duh, H., Williams, I., Grubert, J., Jones, J. A. & Zheng, J. (eds.). Singapore, Singapore: IEEE, p. 518-527, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• High-Performance AKAZE Implementation Including Parametrizable and Generic HLS ModulesNickel, M., Kalms, L., Häring, T. & Göhringer, D., 17 Oct 2022, 2022 IEEE 33rd International Conference on Application-specific Systems, Architectures and Processors (ASAP). p. 139 - 147, 9 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Efficient Dependency Analysis for Rule-Based OntologiesGonzález, L., Ivliev, A., Krötzsch, M. & Mennicke, S., 16 Oct 2022, The Semantic Web – ISWC 2022: 21st International Semantic Web Conference, Proceedings. Sattler, U., Hogan, A., Keet, M., Presutti, V., Almeida, J. P. A., Takeda, H., Monnin, P., Pirrò, G. & d’Amato, C. (eds.). Springer, Berlin [u. a.], p. 267 - 283, 17 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Who benefits from Visualization Adaptations? Towards a better Understanding of the Influence of Visualization LiteracySatkowski, M., Kessler, F., Narciss, S. & Dachselt, R., 16 Oct 2022, 2022 IEEE Visualization and Visual Analytics (VIS). Oklahoma City, OK, USA: IEEE, p. 90-94, 5 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• A Laparoscopic Liver Navigation Pipeline with Minimal Setup RequirementsDocea, R., Pfeiffer, M., Müller, J., Krug, K., Hardner, M., Riedel, P., Menzel, M. & 4 others, 15 Oct 2022, BioCAS 2022 - IEEE Biomedical Circuits and Systems Conference: Intelligent Biomedical Systems for a Better Future, Proceedings: Intelligent Biomedical Systems for a Better Future, Proceedings. IEEE Xplore, p. 578-582, 5 p., 9948587Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Fast High-Resolution Disparity Estimation for Laparoscopic SurgeryMüller, J., Docea, R., Hardner, M., Krug, K., Riedel, P. & Tetzlaff, R., 15 Oct 2022, BioCAS 2022 - IEEE Biomedical Circuits and Systems Conference: Intelligent Biomedical Systems for a Better Future, Proceedings: Intelligent Biomedical Systems for a Better Future, Proceedings. IEEE Xplore, p. 573-577, 5 p., 9948563Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Exercise assessment in trampoline sport by automated jump classificationWoltmann, L., Hartmann, C., Ferger, K. & Lehner, W., 14 Oct 2022, spinfortec2022 : 14. Symposium der Sektion Sportinformatik und Sporttechnologie der Deutschen Vereinigung für Sportwissenschaft (dvs)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Investigation of THz SAR Through-Wall Sensing in Indoor EnvironmentBatra, A., Sheikh, F., Wiemeler, M., Gohringer, D. & Kaiser, T., 9 Oct 2022, AMTA 2022 - Proceedings: 2022 Antenna Measurement Techniques Association Symposium. Institute of Electrical and Electronics Engineers Inc., p. 1-6Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Configurable-by-construction runtime monitoringDubslaff, C. & Köhl, M. A., 1 Oct 2022, Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I. Margaria, T. & Steffen, B. (eds.). Springer, Berlin [u. a.], p. 220–241, 22 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• How to Agree to Disagree: Managing Ontological Perspectives using Standpoint LogicÁlvarez, L. G., Rudolph, S. & Straß, H., 1 Oct 2022, In: Lecture Notes in Computer Science. 13489Research output: Contribution to journal > Conference article
• BOT-MICS: Bounding Time Using Analytics in Mixed-Criticality SystemsRanjbar, B., Hosseinghorban, A., Sahoo, S. S., Ejlali, A. & Kumar, A., Oct 2022, In: IEEE transactions on computer-aided design of integrated circuits and systems. 41, 10, p. 3239 - 3251, 13 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Brief Summary of Existing Research on Students’ Conceptions of AIMarx, E., Leonhardt, T. & Bergner, N., Oct 2022, p. 1-2, 2 p.Electronic (full-text) versionResearch output: Contribution to conferences > Poster
• Reflections on “Rock, Paper, Scissors”: Communicating Science to the Public through a DemonstratorBobbe, T., Winger, H., Podlubne, A., Wieczorek, F., Lüneburg, L., Kharabet, I., Wagner, J. & 1 others, 29 Sep 2022, HRI 2022 - Proceedings of the 2022 ACM/IEEE International Conference on Human-Robot Interaction. Vol. 2022. p. 1208-1209, 2 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Error-Tolerant Reasoning in the Description Logic ℰℒ Based on Optimal RepairsBaader, F., Kriegel, F. & Nuradiansyah, A., 26 Sep 2022, Rules and Reasoning: 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26–28, 2022, Proceedings. Springer, Berlin [u. a.], p. 227–243, 17 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• RATLS: Integrating Transport Layer Security with Remote AttestationWalther, R. H., Weinhold, C. & Roitzsch, M., 24 Sep 2022, Applied Cryptography and Network Security Workshops: ACNS 2022 Satellite Workshops, AIBlock, AIHWS, AIoTS, CIMSS, Cloud S&P, SCI, SecMT, SiMLA, Rome, Italy, June 20–23, 2022, Proceedings. 1 ed., Springer, Cham, p. 361–379, 19 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Optimal Fixed-Premise Repairs of ℰℒ TBoxesKriegel, F., 19 Sep 2022, Proceedings of the 45th German Conference on Artificial Intelligence (KI 2022), Virtual in Trier, Germany, September 19-23, 2022: Advances in Artificial Intelligence - 45th German Conference on AI, Proceedings. Bergmann, R., Malburg, L., Rodermund, S. C. & Timm, I. J. (eds.). Springer, Berlin [u. a.], p. 115-130, 16 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Optimal Fixed-Premise Repairs of ℰℒ TBoxesKriegel, F., 19 Sep 2022Electronic (full-text) versionResearch output: Contribution to conferences > Presentation slides
• Optimal Fixed-Premise Repairs of ℰℒ TBoxes (Extended Version)Kriegel, F., 19 Sep 2022Electronic (full-text) versionResearch output: Contribution to conferences > Paper