 | 2010 |
|---|
| 7 |       | Lutz Schröder,
Dirk Pattinson,
Daniel Hausmann:
Optimal Tableaux for Conditional Logics with Cautious Monotonicity.
ECAI 2010: 707-712 |
| 6 | | Daniel Hausmann,
Lutz Schröder:
Optimizing Conditional Logic Reasoning within CoLoSS.
Electr. Notes Theor. Comput. Sci. 262: 157-171 (2010) |
| 2009 |
|---|
| 5 | | Udo Frese,
Daniel Hausmann,
Christoph Lüth,
Holger Täubig,
Dennis Walter:
The Importance of Being Formal.
Electr. Notes Theor. Comput. Sci. 238(4): 57-70 (2009) |
| 2008 |
|---|
| 4 |  | Udo Frese,
Daniel Hausmann,
Christoph Lüth,
Holger Täubig,
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 |
Data released under the ODC-BY 1.0 license — See also our legal information page