( en | de | ru )

 

Disambiguation of "Hausmann, Daniel"

Author of the publication

copydeleteadd this publication to your clipboard
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).

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)Quasipolynomial Computation of Nested Fixpoints., and . TACAS (1), volume 12651 of Lecture Notes in Computer Science, page 38-56. Springer, (2021)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)Fair ømega-Regular Games., , , and . FoSSaCS (1), volume 14574 of Lecture Notes in Computer Science, page 13-33. Springer, (2024)Computing Nested Fixpoints in Quasipolynomial Time., and . CoRR, (2019)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).Coalgebraic Satisfiability Checking for Arithmetic μ-Calculi., and . CoRR, (2022)A Linear-Time Nominal μ-Calculus with Name Allocation., , and . MFCS, volume 202 of LIPIcs, page 58:1-58:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Zertifizierung einer Sicherungskomponente mittels durchgängig formaler Modellierung., , , , and . Software Engineering (Workshops), volume P-122 of LNI, page 335-338. GI, (2008)Symbolic Reactive Synthesis for the Safety and EL-fragment of LTL., , and . CoRR, (2023)