An Application of Non-Wellfounded Sets to the Foundations of Geometry. - Jan Kuper (Math. Log. Q., 1991)

An Axiomatic Theory for Partial Functions - Jan Kuper (Inf. Comput., 1993)

Usability: Formalising (Un)definedness in Typed Lambda Calculus. - Jan Kuper (CSL, 1994)

Proving the Genericity Lemma by Leftmost Reduction is Simple. - Jan Kuper (RTA, 1995)

On the Jacopini Technique. - Jan Kuper (Inf. Comput., 1997)

Event-Coreference across Multiple, Multi-lingual Sources in the Mumis Project. - Horacio Saggion; Hamish Cunningham; Jan Kuper; Thierry Declerck; Peter Wittenburg (EACL, 2003)

Intelligent Multimedia Indexing and Retrieval through Multi-source Information Extraction and Merging. - Jan Kuper; Horacio Saggion; Hamish Cunningham; Thierry Declerck; Franciska de Jong; Dennis Reidsma; Yorick Wilks; Peter Wittenburg (IJCAI, 2003)

Contribution of NLP to the Content Indexing of Multimedia Documents. - Thierry Declerck; Jan Kuper; Horacio Saggion; Anna Samiotou; Peter Wittenburg; Jesús Contreras (CIVR, 2004)

A Functional Programming Technique for Forms in Graphical User Interfaces. - Sander Evers; Peter Achten; Jan Kuper (IFL, 2004)

The Merging Component of the MUMIS Project. - Jan Kuper; Dennis Reidsma; Thierry Declerck; Franciska de Jong (TDM, 2004)

Designing HMM-Based Part-of-Speech Tagger for Lithuanian Language. - Giedre Pajarskaite; Vilma Griciute; Gailius Raskinis; Jan Kuper (Informatica, 2004)

Demonstration of Run-time Spatial Mapping of Streaming Applications to a Heterogeneous Multi-Processor System-on-Chip (MPSOC). - Philip K. F. Hölzenspies; Jan Kuper; Gerard J. M. Smit; Johann L. Hurink (Quantitative Aspects of Embedded Systems, 2007)

Cyclostationary feature detection on a tiled-SoC. - André B. J. Kokkeler; Gerard J. M. Smit; Thijs Krol; Jan Kuper (DATE, 2007)

SensorScheme: Supply chain management automation using Wireless Sensor Networks. - Leon Evers; Paul J. M. Havinga; Jan Kuper; Maria Eva Lijding; Nirvana Meratnia (ETFA, 2007)

Mapping streaming applications on a reconfigurable MPSoC platform at run-time. - Philip K. F. Hölzenspies; Gerard J. M. Smit; Jan Kuper (SoC, 2007)

Flexible Sensor Network Reprogramming for Logistics. - Leon Evers; Paul J. M. Havinga; Jan Kuper (MASS, 2007)

Dynamic Sensor Network Reprogramming using Sensorscheme. - Leon Evers; Paul J. M. Havinga; Jan Kuper (PIMRC, 2007)

Image Quantisation on a Massively Parallel Embedded Processor. - Jan W. M. Jacobs; Leroy van Engelen; Jan Kuper; Gerard J. M. Smit (SAMOS, 2007)

Run-time Spatial Mapping of Streaming Applications to a Heterogeneous Multi-Processor System-on-Chip (MPSOC). - Philip K. F. Hölzenspies; Johann L. Hurink; Jan Kuper; Gerard J. M. Smit (DATE, 2008)

IRIS: A Firmware Design Methodology for SIMD Architectures. - Jan W. M. Jacobs; Leroy van Engelen; Jan Kuper; Gerard J. M. Smit; Rui Dai (DSD, 2008)

Generic multi–packet communication through object serialization. - Leon Evers; Maria Eva Lijding; Jan Kuper (MidSens, 2008)

Streaming Reduction Circuit. - Marco Gerards; Jan Kuper; André B. J. Kokkeler; Bert Molenkamp (DSD, 2009)

Towards Effective Modeling and Programming Multi-core Tiled Reconfigurable Architectures. - Kenneth C. Rovers; Marcel D. van de Burgwal; Jan Kuper; Gerard J. M. Smit (ERSA, 2009)

Tool DemonstrationCLasHFrom Haskell to Hardware. - Christiaan Baaij; Matthijs Kooijman; Jan Kuper; Marco Gerards; Bert Molenkamp (Haskell, 2009)

Partially evaluated sensor networks: automatic specialization for heterogeneous wireless sensor & actuator networks. - Leon Evers; Jan Kuper (PEPM, 2009)

A mathematical approach towards hardware design. - Gerard J. M. Smit; Jan Kuper; Christiaan P. R. Baaij (Dynamically Reconfigurable Architectures, 2010)

Run-time spatial resource management for real-time applications on heterogeneous MPSoCs. - Timon D. ter Braak; Philip K. F. Hölzenspies; Jan Kuper; Johann L. Hurink; Gerard J. M. Smit (DATE, 2010)

C?aSH: Structural Descriptions of Synchronous Hardware Using Haskell. - Christiaan Baaij; Matthijs Kooijman; Jan Kuper; Arjan Boeijink; Marco Gerards (DSD, 2010)

An Approximate Maximum Common Subgraph Algorithm for Large Digital Circuits. - Jochem H. Rutgers; Pascal T. Wolkotte; Philip K. F. Hölzenspies; Jan Kuper; Gerard J. M. Smit (DSD, 2010)

Exercises in Architecture Specification Using CLaSH. - Jan Kuper; Christiaan Baaij; Matthijs Kooijman (FDL, 2010)

Introducing the PilGRIM: A Processor for Executing Lazy Functional Languages. - Arjan Boeijink; Philip K. F. Hölzenspies; Jan Kuper (IFL, 2010)

Run-time Spatial Mapping of Streaming Applications to Heterogeneous Multi-Processor Systems. - Philip K. F. Hölzenspies; Timon D. ter Braak; Jan Kuper; Gerard J. M. Smit; Johann L. Hurink (Int. J. Parallel Program., 2010)

Higher-Order Abstraction in Hardware Descriptions with C?aSH. - Marco Gerards; Christiaan Baaij; Jan Kuper; Matthijs Kooijman (DSD, 2011)

Mixed continuous/discrete time modelling with exact time adjustments. - Kenneth C. Rovers; Jan Kuper; Marcel D. van de Burgwal; André B. J. Kokkeler; Gerard J. M. Smit (IWCMC, 2011)

Multi-domain transformational design flow for embedded systems. - Kenneth C. Rovers; Marcel D. van de Burgwal; Jan Kuper; André B. J. Kokkeler; Gerard J. M. Smit (ICSAMOS, 2011)

The problem with time in mixed continuous/discrete time modelling. - Kenneth C. Rovers; Jan Kuper; Gerard J. M. Smit (SIGBED Rev., 2011)

Max-Plus Algebraic Throughput Analysis of Synchronous Dataflow Graphs. - Robert de Groote; Jan Kuper; Hajo Broersma; Gerard J. M. Smit (EUROMICRO-SEAA, 2012)

High level structural description of streaming applications. - Anja Niedermeier; Jan Kuper; Gerard J. M. Smit (FPL, 2012)

A two step hardware design method using CλaSH. - Rinse Wester; Christiaan Baaij; Jan Kuper (FPL, 2012)

Dataflow-based reconfigurable architecture for streaming applications. - Anja Niedermeier; Jan Kuper; Gerard J. M. Smit (ISSoC, 2012)

Specification of APERTIF Polyphase Filter Bank in ClaSH. - Rinse Wester; Dimitrios Sarakiotis; Eric Kooistra; Jan Kuper (CPA, 2012)

Hardware Specification with C varvecλ aSH. - Jan Kuper (CEFP, 2013)

A dataflow-inspired CGRA for streaming applications. - Anja Niedermeier; Jan Kuper; Gerard J. M. Smit (FPL, 2013)

A space/time tradeoff methodology using higher-order functions. - Rinse Wester; Jan Kuper (FPL, 2013)

System-level modelling of dynamic reconfigurable designs using functional programming abstractions. - Bahram N. Uchevler; Kjetil Svarstad; Jan Kuper; Christiaan Baaij (ISQED, 2013)

Back to basics: Homogeneous representations of multi-rate synchronous dataflow graphs. - Robert de Groote; Philip K. F. Hölzenspies; Jan Kuper; Hajo Broersma (MEMOCODE, 2013)

POLCA - A Programming Model for Large Scale, Strongly Heterogeneous Infrastructures. - Lutz Schubert; Jan Kuper; José Gracia (PARCO, 2013)

Using Rewriting to Synthesize Functional Languages to Digital Circuits. - Christiaan Baaij; Jan Kuper (Trends in Functional Programming, 2013)

UniTi: Unified Composition and Time for Multi-domain Model-based Design. - Kenneth C. Rovers; Jan Kuper (Int. J. Parallel Program., 2013)

Optimal DPM and DVFS for frame-based real-time systems. - Marco Gerards; Jan Kuper (ACM Trans. Archit. Code Optim., 2013)

Multi-rate Equivalents of Cyclo-Static Synchronous Dataflow Graphs. - Robert de Groote; Philip K. F. Hölzenspies; Jan Kuper; Gerard J. M. Smit (ACSD, 2014)

A Dataflow Inspired Programming Paradigm for Coarse-Grained Reconfigurable Arrays. - Anja Niedermeier; Jan Kuper; Gerard J. M. Smit (ARC, 2014)

Design Space Exploration of a Particle Filter Using Higher-Order Functions. - Rinse Wester; Jan Kuper (ARC, 2014)

Declaratively Programmable Ultra Low-Latency Audio Effects Processing on FPGA. - Math Verstraelen; Jan Kuper; Gerard J. M. Smit (DAFx, 2014)

Analytic Clock Frequency Selection for Global DVFS. - Marco E. T. Gerards; Johann L. Hurink; Philip K. F. Hölzenspies; Jan Kuper; Gerard J. M. Smit (PDP, 2014)

Single-rate approximations of cyclo-static synchronous dataflow graphs. - Robert de Groote; Philip K. F. Hölzenspies; Jan Kuper; Gerard J. M. Smit (SCOPES, 2014)

Introducing and Exploiting Hierarchical Structural Information. - Daniel Rubio Bonilla; Colin W. Glass; Jan Kuper; Robert de Groote (CLUSTER, 2015)

On the Interplay between Global DVFS and Scheduling Tasks with Precedence Constraints. - Marco E. T. Gerards; Johann L. Hurink; Jan Kuper (IEEE Trans. Computers, 2015)

Incremental Analysis of Cyclo-Static Synchronous Dataflow Graphs. - Robert de Groote; Philip K. F. Hölzenspies; Jan Kuper; Gerard J. M. Smit (ACM Trans. Embed. Comput. Syst., 2015)

Program transformations in the POLCA project. - Jan Kuper; Lutz Schubert; Kilian Kempf; Colin W. Glass; Daniel Rubio Bonilla; Manuel Carro (DATE, 2016)

Optimized Polynomial Evaluation with Semantic Annotations. - Daniel Rubio Bonilla; Colin W. Glass; Jan Kuper (CoRR, 2016)

Design-time improvement using a functional approach to specify GraphSLAM with deterministic performance on an FPGA. - Robin Appel; Hendrik Folmer; Jan Kuper; Rinse Wester; Jan F. Broenink (IROS, 2017)