EEMCS

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

Capobianchi, R. and Mautref, M. and van Keulen, M. and Balsters, H. (1996) An architecture and methodology for the design and development of Technical Information Systems. In: Proceedings of the 9th International Symposium on Methodologies for Intelligent Systems (ISMIS), 9-13 Jun 1996, Zakopane, Poland. pp. 511-520. Lecture Notes in Computer Science 1079. Springer-Verlag. ISSN 0302-9743 ISBN 978-3-540-61286-5

van Keulen, M. and Skowronek, J. and Apers, P.M.G. and Balsters, H. and Blanken, H.M. and de By, R.A. and Flokstra, Jan (1995) A Framework for Representation, Validation and Implementation of Database Application Semantics. INF Memorandum INF 95-37, University of Twente, Enschede, The Netherlands. ISSN 0924-3755

van Keulen, M. and Skowronek, J. and Apers, P.M.G. and Balsters, H. and Blanken, H.M. and de By, R.A. and Flokstra, Jan (1995) Design and Validation of Reliable Complex Computer Systems. INF Memorandum INF 95-38, University of Twente, Enschede, The Netherlands. ISSN 0924-3755

van Keulen, M. and Skowronek, J. and Apers, P.M.G. and Balsters, H. and Blanken, H.M. and de By, R.A. and Flokstra, Jan (1995) A Framework for Representation, Validation and Implementation of Databases Application Semantics. In: Database Applications Semantics, Proceedings of the Sixth IFIP TC-2 Working Conference on Data Semantics (DS-6), May 30 - June 2, 1995, Stone Mountain, Atlanta, Georgia, USA. pp. 526-546. IFIP Conference Proceedings 74. Chapman & Hall. ISBN 0-412-72600-9

Balsters, H. (1994) Lambda Calculus extended with Segments. In: Selected Papers on Automath. Studies in Logic and the Foundations of Mathematics. 133. Elsevier Publishing Company, Amsterdam, pp. 339-369. ISBN 0444898220

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

Balsters, H. and de By, R.A. and Zicari, R. (1991) Typed Sets as a Basis for Object-Oriented Database Schemas. In: Proceedings Computer Science in the Netherlands (CSN1991), 7-8 November 1991, Utrecht, The Netherlands. pp. 62-77. Stichting Mathematisch Centrum. ISBN 90-6196-403-2

Balsters, H. and Fokkinga, M.M. (1991) Subtyping has a Simple Semantics. Theoretical computer science, 87. pp. 81-96. ISSN 0304-3975 *** ISI Impact 0,838 ***

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