Not finding it? Sign in to also search OpenAlex live.
-
Caesar: A Deductive Verifier for Probabilistic Programs2026 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access
Philipp Schröer, Kevin Batz, Umut Yiğit Dural, Darion Haase, Benjamin Lucien Kaminski, Joost-Pieter Katoen, +1 more
0citations -
Cascading CMA-ES Instances for Generating Input-diverse Solution Batches2025 Genetic and Evolutionary Computation Conference Companion (GECCO Companion) conference-paper Computer Science Metaheuristic Optimization Algorithms Research Open access
Maria Laura Santoni, Christoph Dürr, Carola Doerr, Mike Preuß, Elena Raponi
0citations -
Feasibility of Mixed Reality-assisted Physician-modified Endografts2025 Journal of Vascular Surgery article Computer Science Augmented Reality Applications Open access
Johannes Hatzl, Christian Uhl, Jana Ebner, Alexandra Marquardt, Dimitrios David Papazoglou, Katrin Meisenbacher, +2 more
2citations -
One-press control: a tactile input method for pressure-sensitive computer keyboards2021 arXiv (Cornell University) preprint Computer Science Interactive and Immersive Displays Open access
Staas de Jong, Jeroen Jillissen, Dünya Kirkali, Alwin de Rooij, Hanna Schraffenberger, Arnout Terpstra
0citations -
Connecting the Dots: Aligning human capacity through networks toward a globally interoperable Digital Extended Specimen (DES) infrastructure2023 Biodiversity Information Science and Standards article Computer Science Research Data Management Practices Open access
Elizabeth R. Ellwood, Wouter Addink, John M. Bates, Andrew C. Bentley, Jutta Buschbom, Alina Freire‐Fierro, +18 more
0citations -
Don't Detect, Just Correct: Can LLMs Defuse Deceptive Patterns Directly?2025 CHI Conference Extended Abstracts on Human Factors in Computing Systems (CHI EA) conference-paper Computer Science Ethics and Social Impacts of AI Open access
René Schäfer, Paul Miles Preuschoff, Rene Niewianda, Kevin Fiedler, Jan Borchers
8citations -
A Latency-Optimized LLM-based Multimodal Dialogue System for Embodied Conversational Agents in VR2025 ACM International Conference on Intelligent Virtual Agents (IVA) conference-paper Computer Science Speech and dialogue systems Open access
Konstantin W. Kühlem, Jonathan Ehret, Torsten Kuhlen, Andrea Bönsch
5citations -
Digital Tools for Large-Scale Provenance Research Developed by the BECACO Project2026 Zenodo (CERN European Organization for Nuclear Research) article Computer Science Semantic Web and Ontologies Open access
Martin E. Berger, Ishak Riali, Elizabeth Rodríguez-Estrada, Gabriel Spautz Vieira
0citations