Publications

2023

• Bounded Treewidth and the Infinite Core Chase textendash: Complications and Workarounds toward Decidable QueryingBaget, J., Mugnier, M. & Rudolph, S., 18 Jun 2023, PODS 2023 - Proceedings of the 42nd ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems. Geerts, F., Ngo, H. Q. & Sintos, S. (eds.). ACM Press, p. 291-302, 12 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Base2: An IR for Binary Numeral TypesFriebel, K. F., Bi, J. & Castrillon, J., 14 Jun 2023, Proceedings of the 13th International Symposium on Highly Efficient Accelerators and Reconfigurable Technologies, HEART 2023. Association for Computing Machinery, p. 19-26, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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
• Energy Efficiency Analysis of RF Power Amplifier Digital Predistortion in Full-Digital MIMO TransmittersGodoy Diaz, L. E., Matúš, E. & Fettweis, G., 1 Jun 2023, 2023 IEEE International Conference on Communications Workshops (ICC Workshops). IEEE, p. 1854-1859, 6 p., 10283530Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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
• Normalizing Flow Based Feature Synthesis for Outlier-Aware Object DetectionKumar, N., Šegvić, S., Eslami, A. & Gumhold, S., 1 Jun 2023, 2023 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR). p. 5156-5165, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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: 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