 | 2007 |
|---|
| 5 |       | Andreas V. Hense,
Johannes Müller:
Submission of content to a digital object repository using a configurable workflow system
CoRR abs/0706.0306: (2007) |
| 1994 |
|---|
| 4 |  | Andreas V. Hense,
Gert Smolka:
A Record Calculus with Principal Types.
CCL 1994: 219-236 |
| 1993 |
|---|
| 3 | | Andreas V. Hense:
Denotational Semantics of an Object-Oriented Programming Language with Explicit Wrappers.
Formal Asp. Comput. 5(3): 181-207 (1993) |
| 1992 |
|---|
| 2 | | Andreas V. Hense,
Gert Smolka:
A Verification of Extensible Record Types.
IWAR 1992: 137-164 |
| 1991 |
|---|
| 1 | | Andreas V. Hense:
Wrapper Semantics of an Object-Oriented Programming Language with State.
TACS 1991: 548-568 |
