Contacts

Jan Kuper

Position:Assistant Professor
Email:This email address is being protected from spambots. You need JavaScript enabled to view it.
 
Address:Zilverling 5035
P.O. Box 217
7500 AE Enschede
The Netherlands
Telephone:+31 53 489 3785
Fax:+31 53 489 4590
Secretary:+31 53 489 3770
Contact-image

Publications:

2015

Gerards, M.E.T. and Hurink, J.L. and Kuper, J. (2015) On the interplay between global DVFS and scheduling tasks with precedence constraints. IEEE transactions on computers, 64 (6). pp. 1742-1754. ISSN 0018-9340 *** ISI Impact 1,723 ***
de Groote, E. and Hölzenspies, P.K.F. and Kuper, J. and Smit, G.J.M. (2015) Incremental analysis of cyclo-static synchronous dataflow graphs. ACM transactions on embedded computing systems, 14 (4). 68. ISSN 1539-9087 *** ISI Impact 0,714 ***

2014

Baaij, C.P.R. and Kuper, J. (2014) Using rewriting to synthesize functional languages to digital circuits. In: 14th International Symposium Trends in Functional Programming, TFP 2013, 14-16 May 2013, Provo, UT, USA. pp. 17-33. Lecture notes in computer science 8322. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-45339-7
Gerards, M.E.T. and Hurink, J.L. and Hölzenspies, P.K.F. and Kuper, J. and Smit, G.J.M. (2014) Analytic clock frequency selection for global DVFS. In: 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2014, 12-14 Feb 2014, Turin, Italy. pp. 512-519. IEEE Computer Society. ISSN 1066-6192 ISBN 978-1-4799-2728-9
de Groote, E. and Hölzenspies, P.K.F. and Kuper, J. and Smit, G.J.M. (2014) Single-rate approximations of cyclo-static synchronous dataflow graphs. In: Proceedings of the 17th International Workshop on Software and Compilers for Embedded Systems (SCOPES 2014), 10-11 Jun 2014, St. Goar, Germany. pp. 11-20. ACM. ISBN 978-1-4503-2941-5
de Groote, E. and Hölzenspies, P.K.F. and Kuper, J. and Smit, G.J.M. (2014) Multi-rate equivalents of cyclo-static synchronous dataflow graphs. In: Proceedings of the 14th International Conference on Application of Concurrency to System Design, ACSD 2014, 23-27 Jun 2014, Tunis, Tunisia. pp. 62-71. IEEE Computer Society. ISSN 1550-4808 ISBN 978-1-4799-4281-7
Kuper, J. and Wester, R. (2014) N queens on an fpga: mathematics,programming, or both? In: Communicating Processes Architectures 2014, 24-27 August 2014, Oxford, UK. pp. 181-203. Open Channel Publishing Ltd. ISBN 978-0-9565409-8-0
Niedermeier, A. and Kuper, J. and Smit, G.J.M. (2014) A dataflow inspired programming paradigm for coarse-grained reconfigurable arrays. In: International Conference on Reconfigurable Computing: Architectures, Tools, and Applications, ARC 2014, April 14-16, 2014, Vilamoura, Portugal. pp. 275-282. Springer Verlag. ISSN 0302-9743 ISBN 978-3-319-05960-0
Verstraelen, M.J.W. and Kuper, J. and Smit, G.J.M. (2014) Declaratively programmable ultra-low latency audio effects processing on FPGA. In: Proceedings of the 17th International Conference on Digital Audio Effects (DAFx-14), 1-5 Sept 2014, Erlangen, Germany. pp. 263-270. Fraunhofer Institut. ISBN 978-3-00-046825-4
Wester, R. and Kuper, J. (2014) Design space exploration of a particle filter using higher-0rder functions. In: Reconfigurable Computing: Architectures, Tools, and Applications. Lecture Notes in Computer Science 8405. Springer Verlag, London, pp. 219-226. ISSN 0302-9743 ISBN 978-3-319-05959-4
Wester, R. and Kuper, J. (2014) Deriving stencil hardware accelerators from a single higher-order function. In: Communicating Processes Architectures 2014, 24-27 Aug 2014, UK. pp. 205-218. Open Channel publishing. ISBN 978-0-9565409-8-0

2013

Gerards, M.E.T. and Kuper, J. (2013) Optimal DPM and DVFS for frame-based real-time systems. ACM Transactions on Architecture and Code Optimization, 9 (4). 41:1-41:23. ISSN 1544-3566 *** ISI Impact 0,585 ***
de Groote, E. and Hölzenspies, P.K.F. and Kuper, J. and Broersma, H.J. (2013) Back to basics: homogeneous representations of multi-rate synchronous dataflow graphs. In: Proceedings of the 11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2013, 18-20 Oct 2013, Portland, OR, USA. pp. 35-46. IEEE Computer Society. ISBN 978-1-4799-0903-2
Niedermeier, A. and Kuper, J. and Smit, G.J.M. (2013) A dataflow-inspired CGRA for streaming applications. In: 23rd International Conference on Field Programmable Logic and Applications, FPL 2013, 2-4 Sep 2013, Porto, Portugal. pp. 1-2. IEEE Circuits & Systems Society. ISBN 978-1-4799-0004-6
Rovers, K.C. and Kuper, J. (2013) UniTi: Unified composition and time for multi-domain model-based design. International Journal of Parallel Programming, 41 (2). 261 -304. ISSN 0885-7458 *** ISI Impact 0,680 ***
Uchevler, B.N. and Svarstad, K. and Kuper, J. and Baaij, C.P.R. (2013) System-level modelling of dynamic reconfigurable designs using functional programming abstractions. In: 14th International Symposium on Quality Electronic Design (ISQED), 4-6 Mar 2013, Santa Clara, CA, USA. pp. 379-385. IEEE. ISSN 1948-3287 ISBN 978-1-4673-4951-2
Wester, R. and Kuper, J. (2013) A space/time tradeoff methodology using higher-order functions. In: 22nd International Conference on Field Programmable Logic and Applications, FPL2013, 2-4 Sept 2013, Porto. pp. 1-2. IEEE Computer Society. ISBN 978-1-4799-0004-6

2012

Baaij, C.P.R. and Kuper, J. and Schubert, L. (2012) SoOSiM: Operating System and Programming Language Exploration. In: Proceedings of the 3rd International Workshop on Analysis Tools and Methodologies for Embedded and Real-time System (WATERS 2012), 10 Jul 2012, Pisa, Italy. pp. 63-68. Giuseppe Lipari. ISBN not assigned
de Groote, E. and Kuper, J. and Broersma, H.J. and Smit, G.J.M. (2012) Max-plus algebraic throughput analysis of synchronous dataflow graphs. In: 38th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA) , 5-8 Sept 2012, Cesme, Izmir, Turkey. pp. 29-38. IEEE Computer Society. ISBN 978-1-4673-2451-9
Niedermeier, A. and Kuper, J. and Smit, G.J.M. (2012) A Haskell-Based Programming Paradigm for Coarse-Grained Reconfigurable Arrays. In: Proceedings of the Work in Progress Session of the 38th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA 2012) and the 15th EUROMICRO Conference on Digital System Design (DSD 2012), 5-8 Sep 2012, Çeşme, Izmir, Turkey. pp. 17-18. SEA-Publications. Institute for Systems Engineering and Automation, J. Kepler University Linz. ISBN 978-3-902457-33-2
Niedermeier, A. and Kuper, J. and Smit, G.J.M. (2012) Dataflow-based reconfigurable architecture for streaming applications. In: Proceedings of System on Chip (SoC), 2012 International Symposium on System-on-Chip, 11-12 Oct 2012, Tampere, Finland. pp. 1-4. IEEE Circuits & Systems Society. ISBN 978-1-4673-2896-8
Niedermeier, A. and Kuper, J. and Smit, G.J.M. (2012) High level structural description of streaming applications. In: Field Programmable Logic and Applications (FPL), 2012 22nd International Conference on, 29-31 Oct 2012, Oslo, Norway. pp. 485-486. IEEE Circuits & Systems Society. ISBN 978-1-4673-2256-0
Wester, R. and Baaij, C.P.R. and Kuper, J. (2012) A two step hardware design method using CλaSH. In: 22nd International Conference on Field Programmable Logic and Applications, FPL 2012, 29-31 Aug 2012, Oslo, Norway. pp. 181-188. IEEE Computer Society. ISBN 978-1-4673-2257-7
Wester, R. and Sarakiotis, D. and Kooistra, E. and Kuper, J. (2012) Specification of APERTIF Polyphase Filter Bank in CλaSH. In: Communicating Process Architectures 2012, 26-29 Aug 2012, Scotland. pp. 53-64. Open Channel Publishing. ISBN 978-0-9565409-5-9

2011

Boeijink, W.A. and Hölzenspies, P.K.F. and Kuper, J. (2011) Introducing the PilGRIM: A Processor for Executing Lazy Functional Languages. In: 22nd International Symposium on Implementation and Application of Functional Languages, IFL 2010, 01-03 Sep 2010, Alphen a/d Rijn, The Netherlands. pp. 54-71. Lecture Notes in Computer Science 6647. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-24-275-5
Gerards, M.E.T. and Baaij, C.P.R. and Kuper, J. and Kooijman, M. (2011) Higher-Order Abstraction in Hardware Descriptions with CλaSH. In: Proceedings of the 14th EUROMICRO Conference on Digital System Design, DSD 2011, 31 Aug - 2 Sept 2011, Oulu, Finland. pp. 495-502. IEEE Computer Society. ISBN 978-0-7695-4494-6
Kuper, J. and Baaij, C.P.R. and Kooijman, M. and Gerards, M.E.T. (2011) Architecture Specifications in CλaSH. In: System Specification and Design Languages. Lecture Notes in Electrical Engineering 106. Springer Verlag, New York, pp. 191-206. ISBN 978-1-4614-1426-1
Rovers, K.C. and van de Burgwal, M.D. and Kuper, J. and Kokkeler, A.B.J. and Smit, G.J.M. (2011) Multi-domain transformational design flow for embedded systems. In: International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation, IC-SAMOS 2011, 18-21 Jul 2011, Samos, Greece. pp. 93-101. IEEE Computer Society. ISBN 978-1-4577-0802-2
Rovers, K.C. and Kuper, J. and van de Burgwal, M.D. and Kokkeler, A.B.J. and Smit, G.J.M. (2011) Mixed continuous/discrete time modelling with exact time adjustments. In: First IEEE Workshop on Design, Modeling and Evaluation of Cyber Physical Systems, CyPhy 2011, 6-7 Jul 2011, Istanbul, Turkey. pp. 1111-1116. IEEE Computer Society. ISBN 978-1-4244-9539-9
Rovers, K.C. and Kuper, J. and Smit, G.J.M. (2011) The problem with time in mixed continuous/discrete time modelling. ACM SIGBED Review, 8 (2). pp. 27-30. ISSN 1551-3688

2010

Baaij, C.P.R. and Kooijman, M. and Kuper, J. and Boeijink, W.A. and Gerards, M.E.T. (2010) CλaSH: Structural Descriptions of Synchronous Hardware using Haskell. In: Proceedings of the 13th EUROMICRO Conference on Digital System Design: Architectures, Methods and Tools, 1-3 Sep 2010, Lille, France. pp. 714-721. IEEE Computer Society. ISBN 978-0-7695-4171-6
ter Braak, T.D. and Hölzenspies, P.K.F. and Kuper, J. and Hurink, J.L. and Smit, G.J.M. (2010) Run-time Spatial Resource Management for Real-Time Applications on Heterogeneous MPSoCs. In: Proceedings of the Conference on Design, Automation and Test in Europe (DATE 2010), 8-12 Mar 2010, Dresden. pp. 357-362. European Design and Automation Association. ISBN 978-3-9810801-6-2
Gerards, M.E.T. and Baaij, C.P.R. and Kuper, J. and Kooijman, M. (2010) Hiding State in CλaSH Hardware Descriptions. In: Preproceedings of the 22nd Symposium on Implementation and Application of Functional Languages (IFL 2010), 01-03 Sept 2010, Alphen aan den Rijn, the Netherlands. pp. 107-119. Utrecht University. ISSN 0924-3275
Kuper, J. and Baaij, C.P.R. and Kooijman, M. and Gerards, M.E.T. (2010) Exercises in architecture specification using CλaSH. In: Proceedings of Forum on Specification and Design Languages, FDL 2010, 13-16 September 2010, Southampton, England. pp. 178-183. ECSI Electronic Chips & Systems design Initiative. ISSN 1636-9874
Niedermeier, A. and Wester, R. and Baaij, C.P.R. and Kuper, J. and Smit, G.J.M. (2010) Comparing CλaSH and VHDL by implementing a dataflow processor. In: Proceedings of the Workshop on PROGram for Research on Embedded Systems and Software (PROGRESS 2010), 18-19 Nov 2010, Veldhoven, The Netherlands. pp. 216-221. Technology Foundation STW. ISBN 978-90-73461-67-3
Niedermeier, A. and Wester, R. and Rovers, K.C. and Baaij, C.P.R. and Kuper, J. and Smit, G.J.M. (2010) Designing a dataflow processor using CλaSH. In: 28th Norchip Conference, NORCHIP 2010, 15-16 November 2010, Tampere, Finland. 69. IEEE Circuits and Systems Society. ISBN 978-1-4244-8971-8
Rutgers, J.H. and Wolkotte, P.T. and Hölzenspies, P.K.F. and Kuper, J. and Smit, G.J.M. (2010) An Approximate Maximum Common Subgraph Algorithm for Large Digital Circuits. In: Proceedings of the 13th Euromicro Conference on Digital System Design: Architectures, Methods and Tools, DSD 2010, 01-03 Sep 2010, Lille, France. pp. 699-705. IEEE Computer Society. ISBN 978-0-7695-4171-6
Smit, G.J.M. and Kuper, J. and Baaij, C.P.R. (2010) A mathematical approach towards hardware design. In: Dagstuhl Seminar on Dynamically Reconfigurable Architectures, 11-16 Jul 2010, Dagstuhl, Germany. 11. Dagstuhl Seminar Proceedings 10281. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI). ISSN 1862-4405

2009

Baaij, C.P.R. and Kooijman, M. and Kuper, J. and Gerards, M.E.T. and Molenkamp, E. (2009) Tool Demonstration: CLasH - From Haskell to Hardware. In: Proceedings of the 2nd ACM SIGPLAN symposium on Haskell, Edinburgh, Scotland. pp. 3-3. ACM. ISBN 978-1-60558-508-6
Evers, L. and Kuper, J. (2009) Partially Evaluated Sensor Networks: Automatic Specialization for Heterogeneous Wireless Sensor & Actuator Networks. In: Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation, january 19-20, 2009, Savannah, GA, USA. pp. 73-80. ACM. ISBN 978-1-60558-327-3
Gerards, M.E.T. and Kuper, J. and Kokkeler, A.B.J. and Molenkamp, E. (2009) Streaming Reduction Circuit. In: Proceedings of the 12th EUROMICRO Conference on Digital System Design, Architectures, Methods and Tools, 27-29 Aug 2009, Patras, Greece. pp. 287-292. IEEE Computer Society. ISBN 978-0-7695-3782-5
Hölzenspies, P.K.F. and ter Braak, T.D. and Kuper, J. and Smit, G.J.M. and Hurink, J.L. (2009) Run-time Spatial Mapping of Streaming Applications to Heterogeneous Multi-Processor Systems. International Journal of Parallel Programming, 38 (1). pp. 68-83. ISSN 0885-7458 *** ISI Impact 0,680 ***
Rovers, K.C. and van de Burgwal, M.D. and Kuper, J. and Kokkeler, A.B.J. and Smit, G.J.M. (2009) On reconfigurable tiled multi-core programming: processing cores evaluation. In: Proceedings of the 20th Annual Workshop on Circuits, Systems and Signal Processing (ProRISC), 26-27 Nov 2009, Veldhoven, the Netherlands. pp. 507-514. Technology Foundation STW. ISBN 978-90-73461-62-8
Rovers, K.C. and van de Burgwal, M.D. and Kuper, J. and Smit, G.J.M. (2009) Towards effective modeling and programming multi-core tiled reconfigurable architectures. In: Proceedings of the 2009 International Conference on Engineering of Reconfigurable Systems & Algorithms, 13-16 Jul 2009, Las Vegas, Nevada, USA. pp. 167-174. CSREA Press. ISBN 1-60132-101-5

2008

Evers, L. and Lijding, M.E.M. and Kuper, J. (2008) Generic Multi-Packet Communication through Object Serialization. In: Proceedings of the 3rd international workshop on Middleware for sensor networks, 1-5 december 2008, Leuven, Belgium. pp. 25-30. ACM. ISBN 978-1-60558-366-2
Hölzenspies, P.K.F. and Hurink, J.L. and Kuper, J. and Smit, G.J.M. (2008) Run-time Spatial Mapping of Streaming Applications to a Heterogeneous Multi-Processor System-on-Chip (MPSOC). In: Proceedings of the Eleventh Conference on Design, Automation and Test in Europe, DATE08, 10 Mar - 14 Mar 2008, Munich, Germany. pp. 212-217. European Design and Automation Association. ISBN 978-3-9810801-3-1
Jacobs, J.W.M. and Van Engelen, L. and Kuper, J. and Smit, G.J.M. and Dai, R. (2008) IRIS: a firmware design methodology for SIMD architectures. In: 11th Euromicro Conference on Digital System Design (DSD08), 03-05 September 2008, Parma, Italy. pp. 609-617. IEEE Computer Society. ISBN 978-0-7695-3277-6
Rovers, K.C. and Kuper, J. and Smit, G.J.M. (2008) Semantic programming model-based design. In: Proceedings of the 19th Annual Workshop on Circuits Systems and Signal Processing (ProRISC), 27-28 Nov 2008, Veldhoven, the Netherlands. pp. 83-88. Technology Foundation STW. ISBN 978-90-73461-56-7

2007

Evers, L. and Havinga, P.J.M. and Kuper, J. (2007) Dynamic Sensor Network Reprogramming using SensorScheme. (Invited) In: Proceedings of the 18th Annual IEEE Symposium on Personal, Indoor and Mobile Radio Communications, 3-7 september 2007, Athens, Greece. pp. 1-5. IEEE Computer Society. ISBN 1-4244-1144-0
Evers, L. and Havinga, P.J.M. and Kuper, J. (2007) Flexible Sensor Network Reprogramming for Logistics. Technical Report TR-CTIT-07-51, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Evers, L. and Havinga, P.J.M. and Kuper, J. (2007) Flexible Sensor Network Reprogramming for Logistics. In: Proceedings of the Fourth IEEE International Conference on Mobile Ad-hoc and Sensor Systems, MASS 2007, 8 - 11 October 2007, Pisa, Italy. pp. 1-4. IEEE Computer Society. ISBN 1-4244-1455-5
Evers, L. and Havinga, P.J.M. and Kuper, J. and Lijding, M.E.M. and Meratnia, N. (2007) SensorScheme: Supply Chain Management Automation using Wireless Sensor Networks. In: Proceedings of the 12th IEEE Conference on Emerging Technologies and Factory Automation, ETFA 2007, 25-28 sept 2007, Patras, Greece. pp. 448-455. IEEE Computer Society. ISBN 978-1-4244-0826-9
Hölzenspies, P.K.F. and Kuper, J. and Smit, G.J.M. and Hurink, J.L. (2007) Demonstration of Run-time Spatial Mapping of Streaming Applications to a Heterogeneous Multi-Processor System-on-Chip (MPSoC). (Invited) In: Dagstuhl Seminar Proceedings 07101, 04-09 Mar 2007, Dagstuhl Wadern, Germany. pp. 212-217. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI). ISSN 1862-4405
Hölzenspies, P.K.F. and Smit, G.J.M. and Kuper, J. (2007) Mapping streaming applications on a reconfigurable MPSoC platform at run-time. In: Proceedings of the International Symposium on System-on-Chip (SoC 2007), 19-21 Nov 2007, Tampere, Finland. pp. 74-77. IEEE Circuits and Systems Society. ISBN 1-4244-1367-2
Jacobs, J.W.M. and Engelen, L. and Kuper, J. and Smit, G.J.M. (2007) Image Quantisation on a Massively Parallel Embedded Processor. In: Embedded Computer Systems: Architectures, Modeling, and Simulation, 16-19 July 2007, Samos, Greece. pp. 139-148. Lecture Notes in Computer Science 4599. Springer Verlag. ISBN 978-3-540-73622-6
Kokkeler, A.B.J. and Smit, G.J.M. and Krol, T. and Kuper, J. (2007) Cyclostationary Feature Detection on a tiled-SoC. In: DATE2007 Proceedings, 16-20 April 2007, Nice, France. pp. 171-176. European Design and Automation Association. ISBN 978-3-9810801-2-4
Kuper, J. (2007) Binary Relations as a Foundation of Mathematics. In: Reflections on Type Theory, Lambda Calculus, and the Mind: Essays Dedicated to Henk Barendregt on the Occasion of his 60th Birthday. Radboud University, Nijmegen, pp. 223-232. ISBN 978-90-9022446-6

2005

Evers, S. and Kuper, J. and Achten, P.M. (2005) 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), 8-10 Sep 2004, Lübeck, Germany. pp. 35-51. Lecture Notes in Computer Science 3474. Springer-Verlag. ISBN 3-540-26094-3
Oosterhof, N.N. and Hölzenspies, P.K.F. and Kuper, J. (2005) Application Patterns. In: Trends in Functional Programming, 23-24 Sep 2005, Tallinn, Estonia. pp. 370-382. Tartu University Press. ISBN 9985-894-88-X

2004

Declerck, T. and Saggion, H. and Kuper, J. and Samiotou, A. and Wittenburg, P. and Contreras, J. (2004) Contribution of NLP to the Content Indexing of Multimedia Documents. In: International Conference on Image and Video Retrieval (CIVR'04), 21-23 July 2004, Dublin. pp. 610-618. Lecture Notes in Computer Science 3115. Springer-Verlag. ISBN 978-3-540-22539-3
Kuper, J. (2004) Grafische Ondersteuning bij Programmeeronderwijs (Dutch). In: Proceedings Nationaal Informatica Onderwijs Congres (NIOC'04), 3-4 November 2004, Groningen. pp. 67-72. Uitgeverij Passage. ISBN 90-5452-124-4
Pajarskaite, G. and Griciute, V. and Raskinis, G. and Kuper, J. (2004) Designing HMM-based part-of-speech tagger for Lithuanian language. Informatica, 15 (2). pp. 231-242. ISSN 0868-4952 *** ISI Impact 1,386 ***

2003

Declerck, T. and Cunningham, H. and Saggion, H. and Kuper, J. and Reidsma, D. and Wittenburg, P. (2003) 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), 9-11 April 2003, London. pp. 553-556. World Scientific. ISBN 9812383557
Kuper, J. and Saggion, H. and Cunningham, H. and Declerck, T. and Hoenkamp, E. and Puts, M. and de Jong, F.M.G. and Wilks, Y. and Wittenburg, P. (2003) Event-coreference across Multiple Multi-lingual Sources in the MUMIS project (Extended Abstract). In: 15th Belgium-Netherlands Conference on Arificial Intelligence (BNAIC'03), 23-24 October 2003, Nijmegen. pp. 425-426. University of Nijmegen. ISSN 1568-7805
Kuper, J. and Saggion, H. and Cunningham, H. and Declerck, T. and de Jong, F.M.G. and Reidsma, D. and Wilks, Y. and Wittenburg, P. (2003) Intelligent multimedia indexing and retrieval through multi-source information extraction and merging. In: 18th International Joint Conference of Artificial Intelligence (IJCAI), 9-15 August 2003, Acapulco. pp. 409-414. Morgan Kaufman Publishers. ISBN 0-127-05661-0
Saggion, H. and Kuper, J. and Cunningham, H. and Declerck, T. and Wittenburg, P. and Puts, M. and Hoenkamp, E. and de Jong, F.M.G. and Wilks, Y. (2003) 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), 12-17 April 2003, Budapest, Hungary. pp. 239-242. Association for Computational Linguistics. ISBN 1-932432-01-9

2002

Eysink, T.H.S. and Dijkstra, S. and Kuper, J. (2002) The role of guidance in computer-based problem solving for the development of concepts of logic. Instructional science, 30 (4). pp. 307-333. ISSN 0020-4277 *** ISI Impact 1,462 ***

2001

Eysink, T.H.S. and Dijkstra, S. and Kuper, J. (2001) Cognitive processes in solving variants of computer-based problems used in logic teaching. Computers in human behavior, 17 (1). pp. 1-19. ISSN 0747-5632 *** ISI Impact 2,880 ***
Fokkinga, M.M. and Kuper, J. (2001) An alternative approach to I/O. Technical Report TR-CTIT-01-44, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

1997

Kuper, J. (1997) On the Jacopini Technique. Information and Computation, 138 (2). pp. 101-123. ISSN 0890-5401 *** ISI Impact 0,873 ***

1995

Kuper, J. (1995) Proving the genericity lemma by leftmost reduction is simple. In: Rewriting Techniques and Applications, 5-7 April 1995, Kaiserslautern, Germany. pp. 271-278. Lecture Notes in Computer Science 914. Springer Verlag. ISBN 3-540-59200-8
Kuper, J. (1995) Usability: Formalising (un)definedness in typed lambda calculi. In: Selected Papers from the 8th International Workshop on Computer Science Logic (CSL'94), 25-30 September 1994, Kazimierz, Poland. pp. 76-90. Lecture Notes in Computer Science 933. Springer Verlag. ISBN 3-540-60017-5

1994

Kuper, J. (1994) Partiality in Logic and Computation - Aspects of Undefinedness. PhD thesis, University of Twente. ISBN 90-9006865-1

1993

Kuper, J. (1993) An Axiomatic Theory for Partial Functions. Information and computation, 107 (1). pp. 104-150. ISSN 0890-5401 *** ISI Impact 0,873 ***

1992

van den Broek, P.M. and Kuper, J. (1992) Graph rewriting using a single pushout: a comparison. In: Computing Science in the Netherlands, 4-5 Nov 1992, Utrecht, the Netherlands. pp. 85-95. Stichting Mathematisch Centrum. ISBN 906196413x

Free Joomla Templates designed by Web Hosting Top