( en | de | ru )

 

Disambiguation of "Hausmann, Daniel"

Author of the publication

copydeleteadd this publication to your clipboard
Tracing the decision-making process of physicians with a Decision Process Matrix.

, , , and . BMC Medical Informatics Decis. Mak., (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Daniel Hausmann

Daniel Hausmann

Daniel Hausmann

Daniel Hausmann-Thürig

Daniel Ferdinand Hausmann

 

Other publications of authors with the same name

Iterative Circular Coinduction for CoCASL in Isabelle/HOL, , and . Fundamental Approaches to Software Engineering 2005, volume 3442 of Lecture Notes in Computer Science, page 341-356. Springer; Berlin; http://www.springer.de, (2005)Generic Model Checking for Modal Fixpoint Logics in COOL-MC., , , , and . VMCAI (1), volume 14499 of Lecture Notes in Computer Science, page 171-185. Springer, (2024)Quasipolynomial Computation of Nested Fixpoints., and . TACAS (1), volume 12651 of Lecture Notes in Computer Science, page 38-56. Springer, (2021)Fair ømega-Regular Games., , , and . FoSSaCS (1), volume 14574 of Lecture Notes in Computer Science, page 13-33. Springer, (2024)COOL 2 - A Generic Reasoner for Modal Fixpoint Logics., , , , , and . CoRR, (2023)Game-Based Local Model Checking for the Coalgebraic mu-Calculus., and . CONCUR, volume 140 of LIPIcs, page 35:1-35:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Permutation Games for the Weakly Aconjunctive μ -Calculus., , and . TACAS (2), volume 10806 of Lecture Notes in Computer Science, page 361-378. Springer, (2018)A Coalgebraic Approach to the Semantics of the Ambient Calculus, , and . Theoretical Computer Science, 366 (1-2): 121-143 (2006)Extends (Hausmann et al. 2005).Computing Nested Fixpoints in Quasipolynomial Time., and . CoRR, (2019)Symbolic Reactive Synthesis for the Safety and EL-fragment of LTL., , and . CoRR, (2023)