Publications
Below you will find some information about the faculty's publications, which are provided by the research information system. In addition, you will find complete lists of publications on the websites of the respective institutes and chairs.
3727 Entries
2023
-
Strategy Synthesis in Markov Decision Processes Under Limited Sampling Access , 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 Correction , 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 Networks , 1 Jun 2023Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Monitoring Toxic Gases Using Nanotechnology and Wireless Sensor Networks , 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 blade , 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) , 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 Networks , 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 Rendering , 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 Simulation , 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! , 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 Computing , 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 profiles , 17 May 2023, In: Communications medicine. 3, 1, 68Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Towards Modular Trusted Execution Environments , 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 Trees , 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 benchmark , 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 plants , 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 Fabrication , 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) , 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 Of , 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 Reality , 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 Analysis , 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 Display , 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 Reality , 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 Annotation , 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 imaging , 10 Apr 2023Electronic (full-text) versionResearch output: Contribution to conferences > Poster