Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Andreas V.
Last name:	Hense
DBLP:	12/3126
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 5 of 5  

Select a publication
Show	Title	Venue	Rating	Date
	Andreas V. Hense, Johannes Müller 0002. Submission of content to a digital object repository using a configurable workflow system	CoRR 2007, Volume 0	(0)	2007
	Andreas V. Hense, Gert Smolka. A Record Calculus with Principal Types.	Constraints in Computational Logics, First International Conference, CCL'94, Munich, Germant, September 7-9, 1994 1994	(0)	1994
	Andreas V. Hense. Denotational Semantics of an Object-Oriented Programming Language with Explicit Wrappers.	Formal Asp. Comput. 1993, Volume 5	(0)	1993
	Andreas V. Hense, Gert Smolka. A Verification of Extensible Record Types.	Automated Reasoning, Proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992 1992	(0)	1992
	Andreas V. Hense. Wrapper Semantics of an Object-Oriented Programming Language with State.	Theoretical Aspects of Computer Software, International Conference TACS '91, Sendai, Japan, September 24-27, 1991, Proceedings 1991	(0)	1991

Your query returned 5 matches in the database.