| |
| 2009 | ||
|---|---|---|
| 6 | EE | Tjark Weber, Hasan Amjad: Efficiently checking propositional refutations in HOL theorem provers. J. Applied Logic 7(1): 26-40 (2009) |
| 2008 | ||
| 5 | EE | Hendrik Tews, Tjark Weber, Marcus Völp: A Formal Model of Memory Peculiarities for the Verification of Low-Level Operating-System Code. Electr. Notes Theor. Comput. Sci. 217: 79-96 (2008) |
| 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 | Hasan Amjad | [6] |
| 2 | James L. Caldwell | [1] |
| 3 | Annabelle McIver | [3] |
| 4 | Hendrik Tews | [5] |
| 5 | Marcus Völp | [5] |