| Iterative circular coinduction for CoCasl in Isabelle/HOL D Hausmann, T Mossakowski, L Schröder 8th International Conference on Fundamental Approaches to Software …, 2005 | 33 | 2005 |
| Optimal Tableaux for Conditional Logics with Cautious Monotonicity. L Schröder, D Pattinson, D Hausmann 6th European Conference on Artificial Intelligence (ECAI 2010), 707-712, 2010 | 25 | 2010 |
| Quasipolynomial Computation of Nested Fixpoints D Hausmann, L Schröder 27th International Conference on Tools and Algorithms for the Construction …, 2021 | 16* | 2021 |
| A Coalgebraic Approach to the Semantics of the Ambient Calculus D Hausmann, T Mossakowski, L Schröder Theoretical computer science 366 (1-2), 121-143, 2006 | 16 | 2006 |
| The Importance of Being Formal U Frese, D Hausmann, C Lüth, H Täubig, D Walter 1st Workshop on Certification of Safety-Critical Software Controlled Systems …, 2009 | 14 | 2009 |
| Optimal Satisfiability Checking for Arithmetic µ-Calculi D Hausmann, L Schröder 22nd International Conference on Foundations of Software Science and …, 2019 | 11 | 2019 |
| Global Caching for the Alternation-free µ-Calculus D Hausmann, L Schröder, C Egger 27th International Conference on Concurrency Theory (CONCUR 2016), 2016 | 11 | 2016 |
| Game-Based Local Model Checking for the Coalgebraic µ-Calculus D Hausmann, L Schröder 30th International Conference on Concurrency Theory (CONCUR 2019), 2019 | 10 | 2019 |
| Symbolic solution of Emerson-Lei games for reactive synthesis D Hausmann, M Lehaut, N Piterman International Conference on Foundations of Software Science and Computation …, 2024 | 8 | 2024 |
| Permutation Games for the Weakly Aconjunctive µ-Calculus D Hausmann, L Schröder, HP Deifel 24th International Conference on Tools and Algorithms for the Construction …, 2018 | 6 | 2018 |
| Global Caching for the Flat Coalgebraic µ-Calculus D Hausmann, L Schröder 22nd International Symposium on Temporal Representation and Reasoning (TIME …, 2015 | 6 | 2015 |
| Generic model checking for modal fixpoint logics in COOL-MC D Hausmann, M Humml, S Prucker, L Schröder, A Strahlberger International Conference on Verification, Model Checking, and Abstract …, 2023 | 5 | 2023 |
| COOL 2–a generic reasoner for modal fixpoint logics (system description) O Görlitz, D Hausmann, M Humml, D Pattinson, S Prucker, L Schröder International Conference on Automated Deduction, 234-247, 2023 | 5 | 2023 |
| Nominal Büchi Automata with Name Allocation H Urbat, D Hausmann, S Milius, L Schröder 32th International Conference on Concurrency Theory (CONCUR), 4:1-4:16, 2021 | 5 | 2021 |
| Optimizing Conditional Logic Reasoning within CoLoSS D Hausmann, L Schröder 6th Workshop on Methods for Modalities (M4M) 262, 157-171, 2010 | 4 | 2010 |
| Distribution of reconfiguration languages maintaining tree-like communication topology D Hausmann, M Lehaut, N Piterman International Symposium on Automated Technology for Verification and …, 2024 | 3 | 2024 |
| Coalgebraic Satisfiability Checking for Arithmetic -Calculi D Hausmann, L Schröder Logical Methods in Computer Science 20, 2024 | 3 | 2024 |
| Fair -Regular Games D Hausmann, N Piterman, I Sağlam, AK Schmuck International Conference on Foundations of Software Science and Computation …, 2024 | 3 | 2024 |
| A Linear-Time Nominal µ-Calculus with Name Allocation D Hausmann, S Milius, L Schröder 46th International Symposium on Mathematical Foundations of Computer Science …, 2021 | 3* | 2021 |
| SAMS-Sicherheitskomponente fur Autonome Mobile Serviceroboter C Luth, U Frese, H Taubig, D Walter, D Hausmann VDI-Bericht 2012, 123, 2008 | 3 | 2008 |
Lutz SchröderProfessor of Computer Science, Friedrich-Alexander-Universität Erlangen-NürnbergVerified email at cs.fau.de
