Norbert Völker

	2007
12		Norbert Völker: HOL2P - A System of Classical Higher Order Logic with Second Order Polymorphism. TPHOLs 2007: 334-351
	2006
11		Carsten Huth, Norbert Völker, Olaf Hahnl, Björn Reinhold: Interprom - A Collaborative Framework Driven by Business Needs - Service Oriented Inter-Organisational Support for Business Processes in Collaborative Environments. ICE-B 2006: 13-21
	2004
10		Norbert Völker: Thoughts on Requirements and Design Issues of User Interfaces for Proof Assistants. Electr. Notes Theor. Comput. Sci. 103: 139-159 (2004)
	2002
9		Norbert Völker, Bernd J. Krämer: Automated verification of function block-based industrial control systems. Sci. Comput. Program. 42(1): 101-113 (2002)
	1999
8		Hans-Friedrich Kötter, Bernd J. Krämer, Norbert Völker: 3D-Visualisierung sicherheitskritischer Vorgänge in der Lehre mittels Java und VRML. SimVis 1999: 19-32
7		Norbert Völker: Disjoint Sums over Type Classes in HOL. TPHOLs 1999: 5-18
6		Norbert Völker, Bernd J. Krämer: Automated Verification of Function Block Based Industrial Control Systems. Electr. Notes Theor. Comput. Sci. 25: (1999)
	1998
5		Bernd J. Krämer, Norbert Völker, Reiner Lichtenecker, Hans-Friedrich Kötter: Deriving CORBA Applications from Formal Specifications. Journal of Systems Integration 8(2): 143-158 (1998)
	1997
4		Bernd J. Krämer, Norbert Völker: A Highly Dependable Computing Architecture for Safety-Critical Control Applications. Real-Time Systems 13(3): 237-251 (1997)
	1995
3		Wolfgang A. Halang, Bernd J. Krämer, Norbert Völker: Formale Verifikation der Grundelemente in Funktionsplänen von Notabschaltsystemen. VIS 1995: 229-
	1992
2		Eerke A. Boiten, Helmuth Partsch, Daniel Tuijnman, Norbert Völker: How to Produce Correct Software - An Introduction to Formal Specification and Program Development by Transformations. Comput. J. 35(6): 547-554 (1992)
	1991
1		Helmuth Partsch, Norbert Völker: Another Case Study on Reusability of Transformational Developments Pattern Matching According to Knuth, Morris, and Pratt. Methods of Programming 1991: 35-48

Coauthor Index

1	Eerke A. Boiten	[2]
2	Olaf Hahnl	[11]
3	Wolfgang A. Halang	[3]
4	Carsten Huth	[11]
5	Hans-Friedrich Kötter	[5] [8]
6	Bernd J. Krämer	[3] [4] [5] [6] [8] [9]
7	Reiner Lichtenecker	[5]
8	Helmuth Partsch	[1] [2]
9	Björn Reinhold	[11]
10	Daniel Tuijnman	[2]

Colors in the list of coauthors