| 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 |
