| |
| 2006 | ||
|---|---|---|
| 4 | EE | Tjark Weber: Integrating a SAT Solver with an LCF-style Theorem Prover. Electr. Notes Theor. Comput. Sci. 144(2): 67-78 (2006) |
| 2005 | ||
| 3 | EE | Annabelle McIver, Tjark Weber: Towards Automated Proof Support for Probabilistic Distributed Systems. LPAR 2005: 534-548 |
| 2004 | ||
| 2 | EE | Tjark Weber: Towards Mechanized Program Verification with Separation Logic. CSL 2004: 250-264 |
| 2003 | ||
| 1 | EE | Tjark Weber, James L. Caldwell: Constructively Characterizing Fold and Unfold. LOPSTR 2003: 110-127 |
| 1 | James L. Caldwell | [1] |
| 2 | Annabelle McIver | [3] |