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
222010
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
152006
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
Global Caching for the Alternation-free µ-Calculus
D Hausmann, L Schröder, C Egger
27th International Conference on Concurrency Theory (CONCUR 2016), 2016
82016
Quasipolynomial Computation of Nested Fixpoints
D Hausmann, L Schröder
27th International Conference on Tools and Algorithms for the Construction …, 2019
6*2019
Optimal Satisfiability Checking for Arithmetic µ-Calculi
D Hausmann, L Schröder
22nd International Conference on Foundations of Software Science and …, 2019
62019
Global Caching for the Flat Coalgebraic µ-Calculus
D Hausmann, L Schröder
22nd International Symposium on Temporal Representation and Reasoning (TIME …, 2015
62015
Game-Based Local Model Checking for the Coalgebraic µ-Calculus
D Hausmann, L Schröder
30th International Conference on Concurrency Theory (CONCUR 2019), 2019
42019
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
42018
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
Zertifizierung einer Sicherungskomponente mittels durchgängig formaler Modellierung
U Frese, D Hausmann, C Lüth, H Täubig, D Walter
Software Engineering 2008, 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
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
Harnessing LTL With Freeze Quantification
D Hausmann, S Milius, L Schröder
CoRR, 2020
2020
Cheap CTL Compassion in NuSMV
D Hausmann, T Litak, C Rauch, M Zinner
21st International Conference on Verification, Model Checking, and Abstract …, 2020
2020
NP Reasoning in the Monotone µ-Calculus
D Hausmann, L Schröder
10th International Joint Conference on Automated Reasoning (IJCAR 2020 …, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–20