Author Publications

Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type
Jump to: 1998 | 1996 | 1995 | 1993 | 1991 | 1987
Number of items: 9.

1998

Spelt, D. and Balsters, H. (1998) Automatic Verification of Transactions on an Object-Oriented Database. In: Proceedings of the 6th Workshop on Database Programming Languages (DBPL), 18-20 Aug 1997, Estes Park, Colorado, USA (pp. pp. 396-412).

1996

Capobianchi, R. and Mautref, M. and Keulen, M. van and Balsters, H. (1996) An architecture and methodology for the design and development of Technical Information Systems. In: 9th International Symposium on Methodologies for Intelligent Systems, ISMIS 1996, 9-13 Jun 1996, Zakopane, Poland (pp. pp. 511-520).

1995

Keulen, M. van and Skowronek, J. and Apers, P.M.G. and Balsters, H. and Blanken, H.M. and By, R.A. de and Flokstra, J. (1995) A Framework for Representation, Validation and Implementation of Database Application Semantics. [Report]

1993

Apers, P.M.G. and Balsters, H. and Blanken, H.M. and By, R.A. de and Houtsma, M.A.W. and Verkoulen, P.A.C. and Wilschut, A.N. (1993) Database research at the University of Twente. SIGMOD record, 22 (4). pp. 87-91. ISSN 0163-5808

Bal, C.M.R. and Balsters, H. (1993) A Deductive and Typed Object-Oriented Language. In: Proceedings of the 2rd International Conference on Deductive and Object-Oriented Databases (DOOD 1993), 6-8 Dec 1993, Phoenix, Arizona (pp. pp. 340-359).

Balsters, H. and By, R.A. de and Zicari, R. (1993) Typed Sets as a Basis for Object-Oriented Database Schemas. In: Proceedings of the 7th European Conference on Object-Oriented Programming (ECOOP 1993), 26-30 July 1993, Kaiserslautern, Germany (pp. pp. 161-184).

1991

Balsters, H. and Vreeze, C.C. de (1991) A Semantics of Object-Oriented Sets. In: Proceedings of the third international workshop on Database programming languages (DBPL) : bulk types and persistent data, 27-30 Aug 1991, Nafplion, Greece (pp. pp. 203-217).

Balsters, Herman and Fokkinga, Maarten M. (1991) Subtyping can have a simple semantics. Theoretical computer science, 87 (1). pp. 81-96. ISSN 0304-3975

1987

Balsters, H. (1987) Comments on "A deficiency of natural deduction". Information Processing Letters, 26 (3). pp. 163-164. ISSN 0020-0190

This list was generated on Sun Nov 23 05:29:51 2014 CET.