 | 2008 |
|---|
| 4 |       | Udo Frese,
Daniel Hausmann,
Christoph Lüth,
Holger Taubig,
Dennis Walter:
Zertifizierung einer Sicherungskomponente mittels durchgängig formaler Modellierung.
Software Engineering (Workshops) 2008: 335-338 |
| 2006 |
|---|
| 3 |  | Daniel Hausmann,
Till Mossakowski,
Lutz Schröder:
A coalgebraic approach to the semantics of the ambient calculus.
Theor. Comput. Sci. 366(1-2): 121-143 (2006) |
| 2005 |
|---|
| 2 | | Daniel Hausmann,
Till Mossakowski,
Lutz Schröder:
Towards a Coalgebraic Semantics of the Ambient Calculus.
CALCO 2005: 232-246 |
| 1 | | Daniel Hausmann,
Till Mossakowski,
Lutz Schröder:
Iterative Circular Coinduction for CoCasl in Isabelle/HOL.
FASE 2005: 341-356 |
