Publications

2023

• Correction to: From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata (Innovations in Systems and Software Engineering, (2022), 18, 3, (385-403), 10.1007/s11334-022-00445-7)John, T., Jantsch, S., Baier, C. & Klüppelholz, S., Jun 2023, In: Innovations in Systems and Software Engineering. Vol. 19. p. 227-229, 3 p.Electronic (full-text) versionResearch output: Contribution to specialist publication > Corrections (errata and retractions)
• Low Earth Orbit Satellite Supported Multi-Hop Dissemination of Messages in V2X NetworksFranke, M., Stroop, R., Klingler, F. & Sommer, C., Jun 2023, 2023 IEEE 97th Vehicular Technology Conference, VTC 2023-Spring - Proceedings. Florence, Italy: IEEEElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Speed Up the Web with Universal CSS RenderingVogel, L. & Springer, T., Jun 2023, Web Engineering: 23rd International Conference, ICWE 2023, Alicante, Spain, June 6–9, 2023, Proceedings. Springer, Berlin [u. a.], p. 191-205Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Towards Discrete-Event, Aggregating, and Relational Control Interfaces for Traffic SimulationMeng, Z., Siguenza-Torres, A., Gao, M., Grossi, M., Wieder, A., Du, X., Bortoli, S. & 2 others, Jun 2023, Proceedings of the 2023 ACM SIGSIM International Conference on Principles of Advanced Discrete Simulation, SIGSIM-PADS 2023. Orlando, FL: Association for Computing Machinery (ACM), New York, p. 12-22, 11 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Waiter and AUTRATAC: Don’t Throw It Away, Just Delay!Vogel, L. & Springer, T., Jun 2023, Web Engineering: 23rd International Conference, ICWE 2023, Alicante, Spain, June 6–9, 2023, Proceedings. Springer, Berlin [u. a.], p. 278–292Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Mobility and Deadline-Aware Task Scheduling Mechanism for Vehicular Edge Computingda Costa, J. B. D., de Souza, A. M., Meneguette, R. I., Cerqueira, E., Rosário, D., Sommer, C. & Villas, L., 31 May 2023, In: IEEE Transactions on Intelligent Transportation Systems. 24, 10, p. 11345-11359, 15 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Unsupervised meta-clustering identifies risk clusters in acute myeloid leukemia based on clinical and genetic profilesEckardt, J., Röllig, C., Metzeler, K., Heisig, P., Stasik, S., Georgi, J., Kroschinsky, F. & 26 others, 17 May 2023, In: Communications medicine. 3, 1, 68Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Towards Modular Trusted Execution EnvironmentsWeinhold, C., Asmussen, N., Göhringer, D. & Roitzsch, M., 8 May 2023, SysTEX 2023 - Proceedings of the 2023 6th Workshop on System Software for Trusted Execution, Part of EuroSys 2023. Association for Computing Machinery, Inc, p. 10-16, 7 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• ROLLED: Racetrack Memory Optimized Linear Layout and Efficient Decomposition of Decision TreesHakert, C., Khan, A. A., Chen, K. H., Hameed, F., Castrillon, J. & Chen, J. J., 1 May 2023, In: IEEE Transactions on Computers. 72, 5, p. 1488-1502, 15 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Analysis of the Hamiltonian Monte Carlo genotyping algorithm on PROVEDIt mixtures including a novel precision benchmarkSusik, M. & Sbalzarini, I. F., May 2023, In: Forensic Science International: Genetics. 64 (2023), 13 p., 102840Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Cryptographic protocol for privacy-preserving integration of HAZOPs in modular process plantsChokparova, Z., Becher, K., Klose, A., Strufe, T. & Urbas, L., May 2023, In:  Computers & chemical engineering : an international journal of computer applications in chemical engineering. 176, 108295Electronic (full-text) versionResearch output: Contribution to journal > Research article
• TCAD-enabled Machine Learning -  An Efficient Framework to Build Highly Accurate and Reliable Models for Semiconductor Technology Development and FabricationJungmann, P., Johnson, J. B., Silva, E. C., Taylor, W., Khan, A. H. & Kumar, A., May 2023, In: IEEE transactions on semiconductor manufacturing. 36, 2, p. 268-278, 11 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• How Streaming Can Improve the World (Wide Web)Vogel, L. & Springer, T., 30 Apr 2023, WWW '23 Companion: Companion Proceedings of the ACM Web Conference 2023. ACM Digital Library, p. 140-143, 4 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Wikidata: The Making OfVrandečić, D., Pintscher, L. & Krötzsch, M., 30 Apr 2023, Companion Proceedings of the ACM Web Conference 2023 (WWW'23). Ding, Y., Tang, J., Sequeda, J. F., Aroyo, L., Castillo, C. & Houben, G. (eds.). Association for Computing Machinery (ACM), New York, p. 615–624, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Demonstrating CleAR Sight: Transparent Interaction Panels for Augmented RealityBüschel, W., Krug, K., Klamka, K. & Dachselt, R., 19 Apr 2023, CHI 2023 - Extended Abstracts of the 2023 CHI Conference on Human Factors in Computing Systems. Schmidt, A., Väänänen, K., Goyal, T., Kristensson, P. O. & Peters, A. (eds.). Association for Computing Machinery, 5 p., 432Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• PEARL: Physical Environment based Augmented Reality Lenses for In-Situ Human Movement AnalysisLuo, W., Yu, Z., Rzayev, R., Satkowski, M., Gumhold, S., McGinity, M. & Dachselt, R., 19 Apr 2023, CHI '23: Proceedings of the 2023 CHI Conference on Human Factors in Computing SystemsElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Point Cloud Alignment through Mid-Air Gestures on a Stereoscopic DisplayKrug, K., Satkowski, M., Docea, R., Ku, T. & Dachselt, R., 19 Apr 2023, CHI 2023 - Extended Abstracts of the 2023 CHI Conference on Human Factors in Computing Systems. New York, NY, USA: Association for Computing Machinery (ACM), New York, p. 230:1-230:7Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Spatiality and Semantics - Towards Understanding Content Placement in Mixed RealityEllenberg, M. O., Satkowski, M., Luo, W. & Dachselt, R., 19 Apr 2023, CHI 2023 - Extended Abstracts of the 2023 CHI Conference on Human Factors in Computing Systems. New York, NY, USA: Association for Computing Machinery (ACM), New York, p. 254:1-254:8Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• TmoTA: Simple, Highly Responsive Tool for Multiple Object Tracking AnnotationOyshi, M. T., Vogt, S. & Gumhold, S., 19 Apr 2023, CHI 2023 - Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems. Schmidt, A., Väänänen, K., Goyal, E., Kristensson, P. O., Peters, A., Mueller, S., Williamson, J. R. & Wilson, M. L. (eds.). Association for Computing Machinery, 11 p., 413Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Adoption and evaluation of a multistatic Fourier-based synthetic aperture radar method for ultrasound imagingDorausch, E. M. G., Swist, D., Herzog, M., Statz, C., Kober, J., Kühnöl, C., Trittler, T. & 4 others, 10 Apr 2023Electronic (full-text) versionResearch output: Contribution to conferences > Poster
• On Composing Finite Forests with Modal LogicsBednarczyk, B., Demri, S., Fervari, R. & Mansutti, A., 3 Apr 2023, In: ACM transactions on computational logic. 24, 2, 46 p., 3569954Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Poster: A Case for Heterogenous Co-Simulation of Cooperative and Autonomous DrivingHardes, T., Turcanu, I. & Sommer, C., Apr 2023, 14th IEEE Vehicular Networking Conference (VNC 2023), Poster Session. Coleri, S., Altintas, O., Kargl, F., Higuchi, T., Segata, M. & Klingler, F. (eds.). Istanbul, Turkey: IEEE, p. 151-152, 2 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Spontaneous flow instabilities of active polar fluids in three dimensionsSingh, A., Vagne, Q., Jülicher, F. & Sbalzarini, I. F., Apr 2023, In: Physical Review Research. 5, 2, L022061Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Enhanced Featurization of Queries with Mixed Combinations of Predicates for ML-based Cardinality EstimationMüller, M., Woltmann, L. & Lehner, W., 28 Mar 2023, Proceedings of the 26th International Conference on Extending Database Technology (EDBT 2023). 2 ed., Vol. 26. p. 273-284, 12 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Learned Selection Strategy for Lightweight Integer Compression AlgorithmsWoltmann, L., Damme, P., Hartmann, C., Habich, D. & Lehner, W., 28 Mar 2023, 26th International Conference on Extending Database Technology (EDBT 2023). 3 ed., OpenProceedings.org, Vol. 26. p. 552-564, 13 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution