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.


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).


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).


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]


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).


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


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 Tue Jun 27 05:42:37 2017 CEST.