Home > Publications
Home University of Twente
Prospective Students
Intranet (internal)

EEMCS EPrints Service

Home Policy Brochure Browse Search User Area Contact Help


Spelt, D. (1999) Verification Support For Object Database Design. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 99-24 ISBN 90-365135-53


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. 396-412. Lecture Notes in Computer Science 1369. Springer Verlag. ISBN 3-540-64823-2


Vermeer, W.W.M. (1997) Semantic Interoperability For Legacy Databases. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 97-11 ISBN 90-365-0964-5


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. 340-359. Lecture Notes in Computer Science 760. Springer Verlag. ISSN 0302-9743 ISBN 3-540-57530-8
Balsters, H. and de By, R.A. 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. 161-184. Lecture Notes in Computer Science 707. Springer Verlag. ISSN 0302-9743 ISBN 3-540-57120-5


van Keulen, M. (1992) Struggle for LIFE: A Rapid prototype for TM in LIFE. Master's thesis, University of Twente.


Balsters, H. and Fokkinga, M.M. (1991) Subtyping can have a simple semantics. Theoretical computer science, 87 (1). pp. 81-96. ISSN 0304-3975 *** ISI Impact 0,643 ***
Balsters, H. and de Vreeze, C.C. (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. 203-217. Morgan Kaufmann Publishers Inc.. ISBN 1-55860-242-9