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 |