Author Publications

2011

Koppelman, Herman and Dijk van, Betsy and Hoeven van der, Gerrit (2011) Undergraduate research: a case study. In: 16th Annual Joint Conference on Innovation and Technology in Computer Science Education, ITiCSE 2011, 27-29 June 2011, Darmstadt, Germany.

2009

Smit, Gerard J.M. and Hoeven van der, Gerrit F. and Groote, Jan Friso and Otten, Ralph H.J.M. and Tonino, Hans and Juurlink, Ben H.H. and Haverkort, Boudewijn R.H.M. (2009) The 3TU Embedded Systems master in the Netherlands. In: Workshop on Embedded Systems Education, WISE, 15 Oct 2009, Grenoble, France.

1995

Andernach, J.A. and Burgt van de, S.P. and Hoeven, G.F., eds. (1995) Corpus-based approaches to dialogue modelling : proceedings of the ninth Twente Workshop on Language Technology. Twente Workshop on Language Technology 9 . University of Twente, Enschede, the Netherlands.

Andernach, T. and Doest ter, H. and Akker op den, R. and Hoeven, G. and Schaake, J. and Burgt van der, S. and Nijholt, A. (1995) Language analysis for dialogue management in a theatre information and booking system. In: Artificial Intelligence '95: Fifteenth International Conference (Language Engineering 95), Montpellier, France.

Andernach, Toine and Burgt van der, Stan and Hoeven van der, Gerrit (1995) Preface. In: Corpus-based approaches to dialogue modelling : proceedings of the ninth Twente Workshop on Language Technology. Twente Workshop on Language Technology 9 . University of Twente, Enschede, the Netherlands.

1994

Hoeven van der, G.F. and Andernach, J.A. and Burgt van der, S.P. and Kruijff, G-J.M. and Nijholt, A. and Schaake, J. and Jong de, F.M.G. (1994) SCHISMA: a natural language accessible theatre information and booking system. In: Speech and language engineering : proceedings of the eighth Twente Workshop on Language Technology. Twente Workshop on Language Technology 8 . University of Twente, Enschede, the Netherlands, pp. 137-149.

1993

Joosten, Stef and Berg van den, Klaas and Hoeven van der, Gerrit (1993) Teaching functional programming to first-year students. Journal of Functional Programming, 3 (1). pp. 49-65. ISSN 0956-7968

1984

Hoeven van der, Gerrit and Moerdijk, Ieke (1984) On Choice Sequences Determined by Spreads. The Journal of Symbolic Logic, 49 (3). pp. 908-916. ISSN 0022-4812

1983

Hoeven van der, Gerrit and Moerdijk, Ieke (1983) On an independence result in the theory of lawless sequences. Indagationes Mathematicae A: Mathematical sciences, 86 (2). pp. 185-191. ISSN 0023-3358