Tjark Weber

	2009
8		Jan Jürjens, Tjark Weber: Finite Models in FOL-Based Crypto-Protocol Verification. ARSPA-WITS 2009: 155-172
7		Tjark Weber, Hasan Amjad: Efficiently checking propositional refutations in HOL theorem provers. J. Applied Logic 7(1): 26-40 (2009)
6		Hendrik Tews, Marcus Völp, Tjark Weber: Formal Memory Models for the Verification of Low-Level Operating-System Code. J. Autom. Reasoning 42(2-4): 189-227 (2009)
	2008
5		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		Tjark Weber: Integrating a SAT Solver with an LCF-style Theorem Prover. Electr. Notes Theor. Comput. Sci. 144(2): 67-78 (2006)
	2005
3		Annabelle McIver, Tjark Weber: Towards Automated Proof Support for Probabilistic Distributed Systems. LPAR 2005: 534-548
	2004
2		Tjark Weber: Towards Mechanized Program Verification with Separation Logic. CSL 2004: 250-264
	2003
1		Tjark Weber, James L. Caldwell: Constructively Characterizing Fold and Unfold. LOPSTR 2003: 110-127

Coauthor Index

1	Hasan Amjad	[7]
2	James L. Caldwell	[1]
3	Jan Jürjens	[8]
4	Annabelle McIver (A. K. McIver)	[3]
5	Hendrik Tews	[5] [6]
6	Marcus Völp	[5] [6]

Colors in the list of coauthors