EEMCS

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

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

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

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,554 ***

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

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

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

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

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,786 ***

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

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,473 ***

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 1,865 ***

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

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

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

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

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

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