David E. Muller

University of Lausanne — Switzerland

Computer Science · Physical Sciences

25h-index4.5kcitations84works0.02yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

semigroups and automata theory(25), Formal Methods in Verification(19), Computability, Logic, AI Algorithms(11), Logic, programming, and type systems(10), Software Testing and Debugging Techniques(9)

Publications81 total

No Performance Benefit of Random Over Table-ordered Multiplication Training in Children: Does Memory Interference Between Facts Constrain Arithmetic Learning?
2025Open Access
Discrete Choice Multi-Armed Bandits
arXiv (Cornell University)·2023Open Access
From LTL to unambiguous Büchi automata via disambiguation of alternating automata
Formal Methods in System Design·2021· 2 citedOpen Access
Generic Emptiness Check for Fun and Profit
Lecture notes in computer science·2019· 6 citedOpen Access
From LTL to Unambiguous Büchi Automata via Disambiguation of Alternating Automata
Lecture notes in computer science·2019· 3 cited
LTL to Deterministic Emerson-Lei Automata
Electronic Proceedings in Theoretical Computer Science·2017· 28 citedOpen Access
Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata
International Journal on Software Tools for Technology Transfer·2017· 28 citedOpen Access
Markov Chains and Unambiguous B\"uchi Automata
arXiv (Cornell University)·2016Open Access
Advances in Symbolic Probabilistic Model Checking with PRISM
Lecture notes in computer science·2016· 20 cited
Markov Chains and Unambiguous Büchi Automata
Lecture notes in computer science·2016· 25 cited
The Hanoi Omega-Automata Format
Lecture notes in computer science·2015· 83 citedOpen Access
Alternative automata-based approaches to probabilistic model checking.
Qucosa (Saxon State and University Library Dresden)·2014· 2 citedOpen Access
Are Good-for-Games Automata Good for Probabilistic Model Checking?
Lecture notes in computer science·2014· 16 cited
Salt intrusion in tidal wetlands: European willow species tolerate oligohaline conditions
Estuarine Coastal and Shelf Science·2013· 21 cited
Optimal exercise and profit sharing of joint real investments in energy industry
SHILAP Revista de lepidopterología·2013Open Access
3D-Knochenstrukturanalyse des distalen Radius mittels der Finite Element Methode (FEM) in der Vorhersage von osteoporotischen Wirbelkörperfrakturen
RöFo - Fortschritte auf dem Gebiet der Röntgenstrahlen und der bildgebenden Verfahren·2011
Theory of Automata
Theoretical Computer Science·2011· 1 cited
Vergleich der Finite Element Methode (FEM) mit nichtlinearen Strukturparametern in der Vorhersagekraft der mechanischen Knochenfestigkeit der Wirbelsäule
RöFo - Fortschritte auf dem Gebiet der Röntgenstrahlen und der bildgebenden Verfahren·2010
Searching for high energy cosmic ray electrons using the Earth's magnetic field.
APS April Meeting Abstracts·2006
Energy Spectra and Charge Ratios of Atmospheric Muons
International Cosmic Ray Conference·2003· 1 cited
page 1 of 5Next →

Frequent Co-authors

Paul E. Schupp(10), Joachim Klein(8), F. P. Preparata(7), Christel Baier(7), Sascha Klüppelholz(4), Franco P. Preparata(3), A. Saoudi(3), David J. Klein(2), Jesse W. M. DuMond(2), František Blahoudek(2), Alexandre Duret-Lutz(2), Jan Strejček(2), Philipp Chrszon(2), Marcus Daum(2), Clemens Dubslaff(2), Steffen Märcker(2), R. Beckmann(2), U. Holm(2), Zamir Bavel(2), Simon Jantsch(2)