David Mller
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
15
Venues
13
Active years
2011–2025
Best venue rank
A*
Where they publish
Papers
15 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CHI | PrivacyHub: A Functional Tangible and Digital Ecosystem for Interoperable Smart Home Privacy Awareness and Control. | Maximiliane Windl, Philipp Thalhammer, David Mller, Albrecht Schmidt, Sebastian S. Feger |
| 2025 | IROS | Autonomous Human-Robot Interaction via Operator Imitation. | Sammy Christen, David Mller, Agon Serifi, Ruben Grandia, Georg Wiedebach, Michael A. Hopkins, Espen Knoop, Moritz Bcher |
| 2025 | SIGGRAPH | AMOR: Adaptive Character Control through Multi-Objective Reinforcement Learning. | Lucas N. Alegre, Agon Serifi, Ruben Grandia, David Mller, Espen Knoop, Moritz Bcher |
| 2024 | ICARCV | Inside Bridges: Autonomous Crack Inspection with Nano UAVs in GNSS-Denied Environments. | David Mller, Patrick Herbers, Raphael Dyrska, Firdes elik, Markus Knig, Martin Mnnigmann |
| 2024 | VTC | Assessing EKF-based Orientation Uncertainties and its Impact on the Channels of UAV-mounted RIS. | David Mller, Kevin Weinberger, Raphael Dyrska, Aydin Sezgin, Martin Mnnigmann |
| 2023 | MUM | ConnectivityControl: A Model Ecosystem for Advanced Smart Home Privacy. | Philipp Thalhammer, David Mller, Alexander Schmidt, Michael Huber, Albrecht Schmidt, Sebastian S. Feger |
| 2022 | GI | Automatisierte berprfung von Webauftritten auf Fremdinhalte. | Konstantin Knorr, David Mller |
| 2019 | ATVA | Generic Emptiness Check for Fun and Profit. | Christel Baier, Frantisek Blahoudek, Alexandre Duret-Lutz, Joachim Klein, David Mller, Jan Strejcek |
| 2019 | FM | From LTL to Unambiguous Bchi Automata via Disambiguation of Alternating Automata. | Simon Jantsch, David Mller, Christel Baier, Joachim Klein |
| 2016 | CAV | Markov Chains and Unambiguous Bchi Automata. | Christel Baier, Stefan Kiefer, Joachim Klein, Sascha Klppelholz, David Mller, James Worrell |
| 2016 | TACAS | Advances in Symbolic Probabilistic Model Checking with PRISM. | Joachim Klein, Christel Baier, Philipp Chrszon, Marcus Daum, Clemens Dubslaff, Sascha Klppelholz, Steffen Mrcker, David Mller |
| 2015 | CAV | The Hanoi Omega-Automata Format. | Toms Babiak, Frantisek Blahoudek, Alexandre Duret-Lutz, Joachim Klein, Jan Kretnsk, David Mller, David Parker, Jan Strejcek |
| 2014 | LATA | Are Good-for-Games Automata Good for Probabilistic Model Checking? | Joachim Klein, David Mller, Christel Baier, Sascha Klppelholz |
| 2011 | GI | Mapping microblog posts to encyclopedia articles. | Uta Lsch, David Mller |
| 2011 | SiggraphA | Non-local image reconstruction for efficient BTF synthesis. | Kai Schrder, David Mller, Reinhard Klein, Arno Zinke |