Jan Kuper

Publications (21) as Author:



Contributions to Proceedings

S. Evers, J. Kuper and P.M. Achten A Functional Programming Technique for Forms in Graphical User Interfaces, in Proceedings of the 16th International Workshop on Implementation and Application of Functional Languages (IFL 2004), G. Grelck, F. Huch, G. Michaelson and Ph.W. Trinder (eds), Lecture Notes in Computer Science, volume 3474, Springer-Verlag, Berlin, ISBN 3-540-26094-3, pp. 35-51, 2005 [ BiBTeX Eprints  DOI>  Download PDF document
N.N. Oosterhof, P.K.F. Hölzenspies and J. Kuper Application Patterns, in Trends in Functional Programming, M. van Eekelen (eds), Tartu University Press, Tallinn, ISBN 9985-894-88-X, pp. 370-382, 2005 [ BiBTeX Eprints  [Official URL]  Download PDF document



J. Kuper Tina as an agent language, talk, Functional Programming Day, Groningen, January 07 2005, 2005 [ BiBTeX ]



Journal Papers

G. Pajarskaite, V. Griciute, G. Raskinis and J. Kuper Designing HMM-based part-of-speech tagger for Lithuanian language, Informatica, 15(2):231-242, ISSN 0868-4952, 2004 *** ISI Impact 1.627 *** [ BiBTeX Eprints  Download HTML document  Download PDF document


Contributions to Proceedings

T. Declerck, H. Saggion, J. Kuper, A. Samiotou, P. Wittenburg and J. Contreras Contribution of NLP to the Content Indexing of Multimedia Documents, in International Conference on Image and Video Retrieval (CIVR'04), P. Enser, Y. Kompatsiaris and N.E. O'Connor (eds), Lecture Notes in Computer Science, volume 3115, Springer-Verlag, Heidelberg, ISBN 978-3-540-22539-3, pp. 610-618, 2004 [ BiBTeX Eprints  [Official URL]  Download PDF document
J. Kuper Grafische Ondersteuning bij Programmeeronderwijs (Dutch), in Proceedings Nationaal Informatica Onderwijs Congres (NIOC'04), R. Smedinga and J. Tolboom (eds), Uitgeverij Passage, Groningen, ISBN 90-5452-124-4, pp. 67-72, 2004 [ BiBTeX Eprints  Download PDF document



J. Kuper, S. Evers and P.M. Achten A functional programming technique for forms, Talk (IFL'04), Lübeck, September 09 2004, 2004 [ BiBTeX ]



Contributions to Proceedings

T. Declerck, H. Cunningham, H. Saggion, J. Kuper, D. Reidsma and P. Wittenburg MUMIS -- Advanced information extraction for multimedia indexing and searching, in Digital Media Processing for Multimedia Interactive Services: Proceedings of the 4th European Workshop on Image Analysis for Multimedia Interactive Services (WIAMIS'03), World Scientific, New Jersey, ISBN 9812383557, pp. 553-556, 2003 [ BiBTeX Eprints  DOI>  Download PDF document
J. Kuper, H. Saggion, H. Cunningham, T. Declerck, E. Hoenkamp, M. Puts, F.M.G. de Jong, Y. Wilks and P. Wittenburg Event-coreference across Multiple Multi-lingual Sources in the MUMIS project (Extended Abstract), in 15th Belgium-Netherlands Conference on Arificial Intelligence (BNAIC'03), T. Heskes, P.J.F. Lucas, L.G. Vuurpijl and W. Wiegerinck (eds), University of Nijmegen, Nijmegen, ISSN 1568-7805, pp. 425-426, 2003 [ BiBTeX Eprints  Download PDF document
J. Kuper, H. Saggion, H. Cunningham, T. Declerck, F.M.G. de Jong, D. Reidsma, Y. Wilks and P. Wittenburg Intelligent multimedia indexing and retrieval through multi-source information extraction and merging, in 18th International Joint Conference of Artificial Intelligence (IJCAI), Morgan Kaufman Publishers, San Francisco, ISBN 0-127-05661-0, pp. 409-414, 2003 [ BiBTeX Eprints  Download PDF document
D. Reidsma, J. Kuper, T. Declerck, H. Saggion and H. Cunningham Cross document annotation for multimedia retrieval, in EACL Workshop Language Technology and the Semantic Web (NLPXML), April 01 2003, Budapest, 2003 [ BiBTeX Download PDF document
D. Reidsma, J. Kuper, T. Declerck, H. Saggion and H. Cunningham Cross document ontology based information extraction for multimedia retrieval, in Supplementary proceedings of the ICCS03, July 01 2003, Dresden, 2003 [ BiBTeX Download PDF document
H. Saggion, J. Kuper, H. Cunningham, T. Declerck, P. Wittenburg, M. Puts, E. Hoenkamp, F.M.G. de Jong and Y. Wilks Event-Coreference across Multiple, Multi-Lingual Sources in the Mumis Project, in 10th Conference of the European Chapter of the Association for Computational Linguistics (EACL'03, Conference Companion), Association for Computational Linguistics, East Stroudsburg, PA, USA, ISBN 1-932432-01-9, pp. 239-242, 2003 [ BiBTeX Eprints  DOI>  Download PDF document



Journal Papers

T.H.S. Eysink, S. Dijkstra and J. Kuper The role of guidance in computer-based problem solving for the development of concepts of logic, Instructional science, 30(4):307-333, ISSN 0020-4277, 2002 *** ISI Impact 1.828 *** [ BiBTeX Eprints  DOI>  Download PDF document



Journal Papers

T.H.S. Eysink, S. Dijkstra and J. Kuper Cognitive processes in solving variants of computer-based problems used in logic teaching, Computers in human behavior, 17(1):1-19, ISSN 0747-5632, 2001 *** ISI Impact 2.293 *** [ BiBTeX Eprints  DOI>  Download PDF document



M.M. Fokkinga and J. Kuper An alternative approach to I/O, Technical Report, TR-CTIT-01-44, Enschede, Centre for Telematics and Information Technology University of Twente, Pages: 12, 2001 [ BiBTeX Eprints  Download PDF document  Download PDF document



Journal Papers

J. Kuper On the Jacopini Technique, Information and Computation, 138(2):101-123, ISSN 0890-5401, 1997 *** ISI Impact 0.560 *** [ BiBTeX Eprints  DOI>  Download PDF document



Contributions to Proceedings

J. Kuper Proving the genericity lemma by leftmost reduction is simple, in Rewriting Techniques and Applications, J. Hsiang (eds), Lecture Notes in Computer Science, volume 914, Springer Verlag, Berlin, ISBN 3-540-59200-8, pp. 271-278, 1995 [ BiBTeX Eprints  DOI>  Download PDF document
J. Kuper Usability: Formalising (un)definedness in typed lambda calculi, in Selected Papers from the 8th International Workshop on Computer Science Logic (CSL'94), L. Pacholski and J. Tiuryn (eds), Lecture Notes in Computer Science, volume 933, Springer Verlag, London, ISBN 3-540-60017-5, pp. 76-90, 1995 [ BiBTeX Eprints  DOI>  Download PDF document




J. Kuper Partiality in Logic and Computation - Aspects of Undefinedness, PhD Thesis, University of Twente, February 04 1994, ISBN 90-9006865-1, Pages: 181, Promotors: H.P. Barendregt and A. Nijholt, 1994 [ BiBTeX Eprints 



Journal Papers

J. Kuper An Axiomatic Theory for Partial Functions, Information and computation, 107(1):104-150, ISSN 0890-5401, 1993 *** ISI Impact 0.560 *** [ BiBTeX Eprints  DOI>  Download PDF document

old Parlevink website   colophon   [Back] .