Friedrich W. von Henke Vis

*	2007
25	EE	Timo Weithöner, Thorsten Liebig, Marko Luther, Sebastian Böhm, Friedrich W. von Henke, Olaf Noppens: Real-World Reasoning with OWL. ESWC 2007: 296-310
	2005
24		Thorsten Liebig, Friedrich W. von Henke, Olaf Noppens: Explanation Support for OWL Authoring. ExaCt 2005: 86-93
	2004
23	EE	Thorsten Liebig, Holger Pfeifer, Friedrich W. von Henke: Reasoning Services for an OWL Authoring Tool: An Experience Report . Description Logics 2004
22	EE	Holger Pfeifer, Friedrich W. von Henke: Modular Formal Analysis of the Central Guardian in the Time-Triggered Architecture. SAFECOMP 2004: 240-253
	2003
21	EE	Axel Dold, Friedrich W. von Henke, Wolfgang Goerigk: A Completely Verified Realistic Bootstrap Compiler. Int. J. Found. Comput. Sci. 14(4): 659- (2003)
	2002
20	EE	Jie Xu, Brian Randell, Alexander B. Romanovsky, Robert J. Stroud, Avelino F. Zorzo, Ercument Canver, Friedrich W. von Henke: Rigorous Development of an Embedded Fault-Tolerant System Based on Coordinated Atomic Actions. IEEE Trans. Computers 51(2): 164-179 (2002)
	1999
19		Ercument Canver, Friedrich W. von Henke: Formal Development of Object-Based Systems in a Temporal Logic Setting. FMOODS 1999: 419-436
18	EE	Jie Xu, Brian Randell, Alexander B. Romanovsky, Robert J. Stroud, Avelino F. Zorzo, Ercument Canver, Friedrich W. von Henke: Rigorous Development of a Safety-Critical System Based on Coordinated Atomic Actions. FTCS 1999: 68-75
	1998
17	EE	Detlef Schwier, Friedrich W. von Henke: Mechanical Verification of Clock Synchronization Algorithms. FTRTFT 1998: 262-271
16	EE	Friedrich W. von Henke, Stephan Pfab, Holger Pfeifer, Harald Rueß: Case Studies in Meta-Level Theorem Proving. TPHOLs 1998: 461-478
	1997
15	EE	Axel Dold, Friedrich W. von Henke, Holger Pfeifer, Harald Rueß: Formal Verification of Transformations for Peephole Optimization. FME 1997: 459-472
14	EE	Friedrich W. von Henke, Marko Luther, Martin Strecker: Typelab: An Environment for Modular Program Development. TAPSOFT 1997: 851-854
	1996
13		Friedrich W. von Henke, Marko Luther, Holger Pfeifer, Harald Rueß, Detlef Schwier, Martin Strecker, Matthias Wagner: The TYPELAB Specification and Verification Environment. AMAST 1996: 604-607
	1995
12		Friedrich W. von Henke, Axel Dold, Harald Rueß, Detlef Schwier: Construction and Deduction Methods for the Formal Development of Software. KORSO Book 1995: 239-254
11	EE	Sam Owre, John M. Rushby, Natarajan Shankar, Friedrich W. von Henke: Formal Verification for Fault-Tolerant Architectures: Prolegomena to the Design of PVS. IEEE Trans. Software Eng. 21(2): 107-125 (1995)
	1994
10		Friedrich W. von Henke: Putting Software Technology to Work. IFIP Congress (3) 1994: 345-350
	1993
9	EE	Sam Owre, John M. Rushby, Natarajan Shankar, Friedrich W. von Henke: Formal Verification for Fault-Tolerant Architectures: Some Lessons Learned. FME 1993: 482-500
8	EE	John M. Rushby, Friedrich W. von Henke: Formal Verification of Algorithms for Critical Systems. IEEE Trans. Software Eng. 19(1): 13-23 (1993)
	1987
7		David C. Luckham, Friedrich W. von Henke, Bernd Krieg-Brückner, Olaf Owe: ANNA - A Language for Annotating Ada Programs, Reference Manual Springer 1987
	1984
6		David C. Luckham, Friedrich W. von Henke, H. J. Larsen, Duncan Stevenson: Adam: An Ada-based Language for Multiprocessing. Softw., Pract. Exper. 14(7): 605-642 (1984)
	1977
5	EE	Friedrich W. von Henke: Formal Transformations and the Development of Programs. MFCS 1977: 288-296
4		Friedrich W. von Henke: Towards automation of proofs by induction. Theoretical Computer Science 1977: 208-214
	1976
3	EE	Friedrich W. von Henke: An Algebraic Approach to Data Types, Program Verification, and Program Synthesis. MFCS 1976: 330-336
	1975
2	EE	Friedrich W. von Henke, G. Rose, Klaus Indermark, Klaus Weihrauch: On primitive recursive wordfunctions. Computing 15(3): 217-234 (1975)
	1972
1		Friedrich W. von Henke, Klaus Indermark, Klaus Weihrauch: Hierarchies of Primitive Recursive Wordfunctions and Transductions Defined by Automata. ICALP 1972: 549-561

Coauthor Index

1	Sebastian Böhm	[25]
2	Ercument Canver	[18] [19] [20]
3	Axel Dold	[12] [15] [21]
4	Wolfgang Goerigk	[21]
5	Klaus Indermark	[1] [2]
6	Bernd Krieg-Brückner	[7]
7	H. J. Larsen	[6]
8	Thorsten Liebig	[23] [24] [25]
9	David C. Luckham	[6] [7]
10	Marko Luther	[13] [14] [25]
11	Olaf Noppens	[24] [25]
12	Olaf Owe	[7]
13	Sam Owre	[9] [11]
14	Stephan Pfab	[16]
15	Holger Pfeifer	[13] [15] [16] [22] [23]
16	Brian Randell	[18] [20]
17	Alexander Romanovsky (Alexander B. Romanovsky)	[18] [20]
18	G. Rose	[2]
19	Harald Rueß	[12] [13] [15] [16]
20	John M. Rushby	[8] [9] [11]
21	Detlef Schwier	[12] [13] [17]
22	Natarajan Shankar	[9] [11]
23	Duncan Stevenson	[6]
24	Martin Strecker	[13] [14]
25	Robert J. Stroud	[18] [20]
26	Matthias Wagner	[13]
27	Klaus Weihrauch	[1] [2]
28	Timo Weithöner	[25]
29	Jie Xu	[18] [20]
30	Avelino Francisco Zorzo (Avelino F. Zorzo)	[18] [20]

Colors in the list of coauthors