Hendrik Tews

	2009
11		Erik Schierboom, Alejandro Tamalet, Hendrik Tews, Marko C. J. D. van Eekelen, Sjaak Smetsers: Preemption Abstraction. FMICS 2009: 149-164
10		Hendrik Tews, Bart Jacobs: Performance Issues of Selective Disclosure and Blinded Issuing Protocols on Java Card. WISTP 2009: 95-111
9		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
8		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)
	2004
7		Hendrik Tews: Predicate and Relation Lifting for Parametric Algebraic Specifications. Electr. Notes Theor. Comput. Sci. 106: 335-353 (2004)
	2002
6		Michael Hohmuth, Hendrik Tews, Shane G. Stephens: Applying source-code verification to a microkernel: the VFiasco project. ACM SIGOPS European Workshop 2002: 165-169
5		Hendrik Tews: Greatest Bisimulations for Binary Methods. Electr. Notes Theor. Comput. Sci. 65(1): (2002)
	2001
4		Hendrik Tews: Coalgebras for Binary Methods: Properties of Bisimulations and Invariants. ITA 35(1): 83-111 (2001)
3		Jan Rothe, Hendrik Tews, Bart Jacobs: The Coalgebraic Class Specification Language CCSL. J. UCS 7(2): 175-193 (2001)
	2000
2		Hendrik Tews: Coalgebras for Binary Methods. Electr. Notes Theor. Comput. Sci. 33: (2000)
	1998
1		Ulrich Hensel, Marieke Huisman, Bart Jacobs, Hendrik Tews: Reasonong about Classess in Object-Oriented Languages: Logical Models and Tools. ESOP 1998: 105-121

Coauthor Index

1	Marko C. J. D. van Eekelen	[11]
2	Ulrich Hensel	[1]
3	Michael Hohmuth	[6]
4	Marieke Huisman	[1]
5	Bart Jacobs	[1] [3] [10]
6	Jan Rothe	[3]
7	Erik Schierboom	[11]
8	Sjaak Smetsers (J. E. W. Smetsers)	[11]
9	Shane G. Stephens	[6]
10	Alejandro Tamalet	[11]
11	Marcus Völp	[8] [9]
12	Tjark Weber	[8] [9]

Colors in the list of coauthors