Publications

2023

• Strategy Synthesis in Markov Decision Processes Under Limited Sampling AccessBaier, C., Dubslaff, C., Wienhöft, P. & Kiebel, S., 3 Jun 2023, NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings. Rozier, K. Y. & Chaudhuri, S. (eds.). Springer, Cham, p. 86-103, 18 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Adaptive Thermal Model for Structure Model Based CorrectionThiem, X., Rudolph, H., Krahn, R., Ihlenfeldt, S., Fetzer, C. & Müller, J., 2 Jun 2023, Lecture Notes in Production Engineering. p. 67-82, 16 p., Chapter 6Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Enhanced Pathfinding and Scalability with Shortest-Path Tree Routing For Space NetworksDe Jonckère, O., Fraire, J. & Burleigh, S., 1 Jun 2023Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Monitoring Toxic Gases Using Nanotechnology and Wireless Sensor NetworksDargie, W., Wen, J., Panes-Ruiz, L. A., Riemenschneider, L., Ibarlucea, B. & Cuniberti, G., 1 Jun 2023, In: IEEE sensors journal. 23, 11, p. 12274-12283, 10 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Visual analysis of the impact of periodic wakes on the pressure side of a turbine bladeNsonga, B., Ventosa-Molina, J., Koschichow, D., Fröhlich, J., Gumhold, S. & Scheuermann, G., 1 Jun 2023, In: Journal of Visualization. 26, 5, p. 1115-1137, 23 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• 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: Institute of Electrical and Electronics Engineers (IEEE)Electronic (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