Follow
Daniel Hausmann
Daniel Hausmann
Gothenburg University, Chalmers Technical University, Gothenburg, Sweden
Verified email at chalmers.se - Homepage
Title
Cited by
Cited by
Year
Iterative circular coinduction for CoCasl in Isabelle/HOL
D Hausmann, T Mossakowski, L Schröder
8th International Conference on Fundamental Approaches to Software …, 2005
322005
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
202010
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
162006
Quasipolynomial Computation of Nested Fixpoints
D Hausmann, L Schröder
27th International Conference on Tools and Algorithms for the Construction …, 2021
15*2021
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
132009
Optimal Satisfiability Checking for Arithmetic µ-Calculi
D Hausmann, L Schröder
22nd International Conference on Foundations of Software Science and …, 2019
112019
Global Caching for the Alternation-free µ-Calculus
D Hausmann, L Schröder, C Egger
27th International Conference on Concurrency Theory (CONCUR 2016), 2016
102016
Game-Based Local Model Checking for the Coalgebraic µ-Calculus
D Hausmann, L Schröder
30th International Conference on Concurrency Theory (CONCUR 2019), 2019
62019
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
62015
Optimizing Conditional Logic Reasoning within CoLoSS
D Hausmann, L Schröder
6th Workshop on Methods for Modalities (M4M) 262, 157-171, 2010
42010
SAMS-Sicherheitskomponente fur Autonome Mobile Serviceroboter
C Luth, U Frese, H Taubig, D Walter, D Hausmann
VDI-Bericht 2012, 123, 2008
32008
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
22021
Zertifizierung einer Sicherungskomponente mittels durchgängig formaler Modellierung.
U Frese, D Hausmann, C Lüth, H Täubig, D Walter
Software Engineering (Workshops) 2008, Gesellschaft für Informatik e. V …, 2008
22008
Towards a Coalgebraic Semantics of the Ambient Calculus
D Hausmann, T Mossakowski, L Schröder
1st International Conference on Algebra and Coalgebra in Computer Science …, 2005
22005
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
1*2021
Cheap CTL Compassion in NuSMV
D Hausmann, T Litak, C Rauch, M Zinner
21st International Conference on Verification, Model Checking, and Abstract …, 2020
12020
Satisfiability Checking for the Coalgebraic µ-Calculus
D Hausmann
PhD Thesis, Friedrich-Alexander-University Erlangen-Nürnberg, 2018
12018
Data Types and Computability via Final Coalgebras
D Hausmann
Masters thesis, Dresden University, 2004
12004
General Recursive and Partial Recursive Functions in Type Theories
D Hausmann
Technical report, 2004
12004
The system can't perform the operation now. Try again later.
Articles 1–20