| 2023 | ISSTA | That's a Tough Call: Studying the Challenges of Call Graph Construction for WebAssembly. | Daniel Lehmann, Michelle Thalakottur, Frank Tip, Michael Pradel |
| 2022 | PLDI | Finding the dwarf: recovering precise types from WebAssembly binaries. | Daniel Lehmann, Michael Pradel |
| 2022 | SP | Wobfuscator: Obfuscating JavaScript Malware via Opportunistic Translation to WebAssembly. | Alan Romano, Daniel Lehmann, Michael Pradel, Weihang Wang |
| 2021 | ICANN | Layer-Wise Activation Cluster Analysis of CNNs to Detect Out-of-Distribution Samples. | Daniel Lehmann, Marc Ebner |
| 2021 | WWW | An Empirical Study of Real-World WebAssembly Binaries: Security, Languages, Use Cases. | Aaron Hilbig, Daniel Lehmann, Michael Pradel |
| 2020 | ISSTA | Differential regression testing for REST APIs. | Patrice Godefroid, Daniel Lehmann, Marina Polishchuk |
| 2019 | ASPLOS | Wasabi: A Framework for Dynamically Analyzing WebAssembly. | Daniel Lehmann, Michael Pradel |
| 2019 | ISSTA | Interactive metamorphic testing of debuggers. | Sandro Tolksdorf, Daniel Lehmann, Michael Pradel |
| 2017 | OOPSLA | Automatic testing of interactive JavaScript debuggers. | Daniel Lehmann |
| 2016 | SEC | Teaching Phishing-Security: Which Way is Best? | Simon Stockhardt, Benjamin Reinheimer, Melanie Volkamer, Peter Mayer, Alexandra Kunz, Philipp Rack, Daniel Lehmann |
| 2009 | ICSEA | Testing of Image Processing Algorithms on Synthetic Data. | Kilian von Neumann-Cosel, Erwin Roth, Daniel Lehmann, Johannes Speth, Alois C. Knoll |
| 2009 | TARK | Foundations of non-commutative probability theory. | Daniel Lehmann |
| 2000 | KR | Representing and Aggregating Conflicting Beliefs. | Pedrito Maynard-Reid II, Daniel Lehmann |
| 1998 | TARK | Nonstandard Numbers for Qualitative Decision Making. | Daniel Lehmann |
| 1996 | UAI | Generalized Qualitative Probability: Savage revisited. | Daniel Lehmann |
| 1996 | TARK | Distance Semantics for Belief Revision. | Karl Schlechta, Daniel Lehmann, Menachem Magidor |
| 1995 | IJCAI | Belief Revision, Revised. | Daniel Lehmann |
| 1995 | MFCS | Ranked Structures in Nonmonotonic Reasoning and Belief Revision: Abstract. | Daniel Lehmann |
| 1994 | ECAI | Categorical Tools for Artificial Perception. | Zippora Arzi-Gonczarowski, Daniel Lehmann |
| 1991 | CSL | Plausibility Logic. | Daniel Lehmann |
| 1990 | JELIA | Deductive Inference Operations. | Michael Freund, Daniel Lehmann |
| 1990 | TARK | Preferential Logics: the Predicate Calculus Case. | Daniel Lehmann, Menachem Magidor |
| 1989 | KR | What Does a Conditional Knowledge Base Entail? | Daniel Lehmann |
| 1986 | ICALP | Knowledge, Belief and Time. | Sarit Kraus, Daniel Lehmann |
| 1984 | PODC | Knowledge, Common Knowledge and related puzzles (Extended Summary). | Daniel Lehmann |
| 1983 | FOCS | Decision Procedures for Time and Chance (Extended Abstract) | Sarit Kraus, Daniel Lehmann |
| 1983 | ICALP | Symmetric and Economical Solutions to the Mutual Exclusion Problem in a Distributed System (Extended Abstract). | Shimon Cohen, Daniel Lehmann, Amir Pnueli |
| 1983 | ICALP | Reasoning with Time and Chance (Extended Abstract). | Daniel Lehmann, Saharon Shelah |
| 1982 | PODC | Dynamic Systems and Their Distributed Termination. | Shimon Cohen, Daniel Lehmann |
| 1981 | ICALP | Impartiality, Justice and Fairness: The Ethics of Concurrent Termination. | Daniel Lehmann, Amir Pnueli, Jonathan Stavi |
| 1981 | POPL | On the Advantages of Free Choice: A Symmetric and Fully Distributed Solution to the Dining Philosophers Problem. | Daniel Lehmann, Michael O. Rabin |
| 1980 | FOCS | A Linear History Semantics for Distributed Languages (Extended Abstract) | Nissim Francez, Daniel Lehmann, Amir Pnueli |
| 1977 | FOCS | Data Types (Extended Abstract) | Daniel Lehmann, Michael B. Smyth |