default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJan Kuper
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2017
[c49]Robin Appel, Hendrik Folmer
, Jan Kuper, Rinse Wester, Jan F. Broenink:
Design-time improvement using a functional approach to specify GraphSLAM with deterministic performance on an FPGA. IROS 2017: 797-803- 2016
- [c48]Jan Kuper, Lutz Schubert, Kilian Kempf, Colin W. Glass, Daniel Rubio Bonilla, Manuel Carro:
Program transformations in the POLCA project. DATE 2016: 882-887 - [i3]Daniel Rubio Bonilla, Colin W. Glass, Jan Kuper:
Optimized Polynomial Evaluation with Semantic Annotations. CoRR abs/1603.01520 (2016) - 2015
- [j10]Marco E. T. Gerards, Johann L. Hurink, Jan Kuper:
On the Interplay between Global DVFS and Scheduling Tasks with Precedence Constraints. IEEE Trans. Computers 64(6): 1742-1754 (2015) - [j9]Robert de Groote, Philip K. F. Hölzenspies, Jan Kuper, Gerard J. M. Smit:
Incremental Analysis of Cyclo-Static Synchronous Dataflow Graphs. ACM Trans. Embed. Comput. Syst. 14(4): 68:1-68:26 (2015) - [c47]Daniel Rubio Bonilla, Colin W. Glass, Jan Kuper, Robert de Groote:
Introducing and Exploiting Hierarchical Structural Information. CLUSTER 2015: 777-784 - 2014
- [c46]Robert de Groote, Philip K. F. Hölzenspies, Jan Kuper, Gerard J. M. Smit:
Multi-rate Equivalents of Cyclo-Static Synchronous Dataflow Graphs. ACSD 2014: 62-71 - [c45]Rinse Wester, Jan Kuper:
Design Space Exploration of a Particle Filter Using Higher-Order Functions. ARC 2014: 219-226 - [c44]Anja Niedermeier, Jan Kuper, Gerard J. M. Smit:
A Dataflow Inspired Programming Paradigm for Coarse-Grained Reconfigurable Arrays. ARC 2014: 275-282 - [c43]Math Verstraelen, Jan Kuper, Gerard J. M. Smit:
Declaratively Programmable Ultra Low-Latency Audio Effects Processing on FPGA. DAFx 2014: 263-270 - [c42]Marco E. T. Gerards, Johann L. Hurink, Philip K. F. Hölzenspies, Jan Kuper, Gerard J. M. Smit:
Analytic Clock Frequency Selection for Global DVFS. PDP 2014: 512-519 - [c41]Robert de Groote, Philip K. F. Hölzenspies, Jan Kuper, Gerard J. M. Smit:
Single-rate approximations of cyclo-static synchronous dataflow graphs. SCOPES 2014: 11-20 - 2013
- [j8]Kenneth C. Rovers, Jan Kuper:
UniTi: Unified Composition and Time for Multi-domain Model-based Design. Int. J. Parallel Program. 41(2): 261-304 (2013) - [j7]Marco Gerards, Jan Kuper:
Optimal DPM and DVFS for frame-based real-time systems. ACM Trans. Archit. Code Optim. 9(4): 41:1-41:23 (2013) - [c40]Jan Kuper:
Hardware Specification with C \varvecλ aSH. CEFP 2013: 336-380 - [c39]Anja Niedermeier, Jan Kuper, Gerard J. M. Smit:
A dataflow-inspired CGRA for streaming applications. FPL 2013: 1-2 - [c38]Rinse Wester, Jan Kuper:
A space/time tradeoff methodology using higher-order functions. FPL 2013: 1-2 - [c37]Bahram N. Uchevler, Kjetil Svarstad, Jan Kuper, Christiaan Baaij:
System-level modelling of dynamic reconfigurable designs using functional programming abstractions. ISQED 2013: 379-385 - [c36]Robert de Groote, Philip K. F. Hölzenspies, Jan Kuper, Hajo Broersma:
Back to basics: Homogeneous representations of multi-rate synchronous dataflow graphs. MEMOCODE 2013: 35-46 - [c35]Lutz Schubert, Jan Kuper, José Gracia:
POLCA - A Programming Model for Large Scale, Strongly Heterogeneous Infrastructures. PARCO 2013: 43-52 - [c34]Christiaan Baaij, Jan Kuper:
Using Rewriting to Synthesize Functional Languages to Digital Circuits. Trends in Functional Programming 2013: 17-33 - 2012
- [c33]Robert de Groote, Jan Kuper, Hajo Broersma, Gerard J. M. Smit:
Max-Plus Algebraic Throughput Analysis of Synchronous Dataflow Graphs. EUROMICRO-SEAA 2012: 29-38 - [c32]Rinse Wester, Christiaan Baaij, Jan Kuper:
A two step hardware design method using CλaSH. FPL 2012: 181-188 - [c31]Anja Niedermeier, Jan Kuper, Gerard J. M. Smit:
High level structural description of streaming applications. FPL 2012: 485-486 - [c30]Anja Niedermeier, Jan Kuper, Gerard J. M. Smit:
Dataflow-based reconfigurable architecture for streaming applications. ISSoC 2012: 1-4 - [c29]Rinse Wester, Dimitrios Sarakiotis, Eric Kooistra, Jan Kuper:
Specification of APERTIF Polyphase Filter Bank in ClaSH. CPA 2012: 53-64 - 2011
- [j6]Kenneth C. Rovers, Jan Kuper, Gerard J. M. Smit:
The problem with time in mixed continuous/discrete time modelling. SIGBED Rev. 8(2): 27-30 (2011) - [c28]Marco Gerards, Christiaan Baaij, Jan Kuper, Matthijs Kooijman:
Higher-Order Abstraction in Hardware Descriptions with C?aSH. DSD 2011: 495-502 - [c27]Kenneth C. Rovers, Jan Kuper, Marcel D. van de Burgwal, André B. J. Kokkeler, Gerard J. M. Smit:
Mixed continuous/discrete time modelling with exact time adjustments. IWCMC 2011: 1111-1116 - [c26]Kenneth C. Rovers, Marcel D. van de Burgwal, Jan Kuper, André B. J. Kokkeler, Gerard J. M. Smit:
Multi-domain transformational design flow for embedded systems. ICSAMOS 2011: 93-101 - 2010
- [j5]Philip K. F. Hölzenspies, Timon D. ter Braak, Jan Kuper, Gerard J. M. Smit, Johann L. Hurink:
Run-time Spatial Mapping of Streaming Applications to Heterogeneous Multi-Processor Systems. Int. J. Parallel Program. 38(1): 68-83 (2010) - [c25]Timon D. ter Braak, Philip K. F. Hölzenspies, Jan Kuper, Johann L. Hurink, Gerard J. M. Smit:
Run-time spatial resource management for real-time applications on heterogeneous MPSoCs. DATE 2010: 357-362 - [c24]Jochem H. Rutgers, Pascal T. Wolkotte, Philip K. F. Hölzenspies, Jan Kuper, Gerard J. M. Smit:
An Approximate Maximum Common Subgraph Algorithm for Large Digital Circuits. DSD 2010: 699-705 - [c23]Christiaan Baaij, Matthijs Kooijman, Jan Kuper, Arjan Boeijink, Marco Gerards:
C?aSH: Structural Descriptions of Synchronous Hardware Using Haskell. DSD 2010: 714-721 - [c22]Jan Kuper, Christiaan Baaij, Matthijs Kooijman:
Exercises in Architecture Specification Using CLaSH. FDL 2010: 178-183 - [c21]Arjan Boeijink, Philip K. F. Hölzenspies, Jan Kuper:
Introducing the PilGRIM: A Processor for Executing Lazy Functional Languages. IFL 2010: 54-71 - [i2]Gerard J. M. Smit, Jan Kuper, Christiaan P. R. Baaij:
A mathematical approach towards hardware design. Dynamically Reconfigurable Architectures 2010
2000 – 2009
- 2009
- [c20]Marco Gerards, Jan Kuper, André B. J. Kokkeler, Bert Molenkamp:
Streaming Reduction Circuit. DSD 2009: 287-292 - [c19]Kenneth C. Rovers, Marcel D. van de Burgwal, Jan Kuper, Gerard J. M. Smit:
Towards Effective Modeling and Programming Multi-core Tiled Reconfigurable Architectures. ERSA 2009: 167-173 - [c18]Christiaan Baaij, Matthijs Kooijman, Jan Kuper, Marco Gerards, Bert Molenkamp:
Tool DemonstrationCLasHFrom Haskell to Hardware. Haskell 2009 - [c17]Leon Evers, Jan Kuper:
Partially evaluated sensor networks: automatic specialization for heterogeneous wireless sensor & actuator networks. PEPM 2009: 73-80 - 2008
- [c16]Philip K. F. Hölzenspies, Johann L. Hurink, Jan Kuper, Gerard J. M. Smit:
Run-time Spatial Mapping of Streaming Applications to a Heterogeneous Multi-Processor System-on-Chip (MPSOC). DATE 2008: 212-217 - [c15]Jan W. M. Jacobs, Leroy van Engelen, Jan Kuper, Gerard J. M. Smit, Rui Dai:
IRIS: A Firmware Design Methodology for SIMD Architectures. DSD 2008: 609-617 - [c14]Leon Evers, Maria Eva Lijding, Jan Kuper:
Generic multi--packet communication through object serialization. MidSens 2008: 25-30 - 2007
- [c13]André B. J. Kokkeler, Gerard J. M. Smit, Thijs Krol, Jan Kuper:
Cyclostationary feature detection on a tiled-SoC. DATE 2007: 171-176 - [c12]Leon Evers, Paul J. M. Havinga, Jan Kuper, Maria Eva Lijding, Nirvana Meratnia:
SensorScheme: Supply chain management automation using Wireless Sensor Networks. ETFA 2007: 448-455 - [c11]Philip K. F. Hölzenspies, Gerard J. M. Smit, Jan Kuper:
Mapping streaming applications on a reconfigurable MPSoC platform at run-time. SoC 2007: 1-4 - [c10]Leon Evers, Paul J. M. Havinga, Jan Kuper:
Flexible Sensor Network Reprogramming for Logistics. MASS 2007: 1-4 - [c9]Leon Evers, Paul J. M. Havinga, Jan Kuper:
Dynamic Sensor Network Reprogramming using Sensorscheme. PIMRC 2007: 1-5 - [c8]Jan W. M. Jacobs, Leroy van Engelen, Jan Kuper, Gerard J. M. Smit:
Image Quantisation on a Massively Parallel Embedded Processor. SAMOS 2007: 139-148 - [i1]Philip K. F. Hölzenspies, Jan Kuper, Gerard J. M. Smit, Johann L. Hurink:
Demonstration of Run-time Spatial Mapping of Streaming Applications to a Heterogeneous Multi-Processor System-on-Chip (MPSOC). Quantitative Aspects of Embedded Systems 2007 - 2004
- [j4]Giedre Pajarskaite, Vilma Griciute, Gailius Raskinis, Jan Kuper:
Designing HMM-Based Part-of-Speech Tagger for Lithuanian Language. Informatica 15(2): 231-242 (2004) - [c7]Thierry Declerck, Jan Kuper, Horacio Saggion, Anna Samiotou, Peter Wittenburg, Jesús Contreras:
Contribution of NLP to the Content Indexing of Multimedia Documents. CIVR 2004: 610-618 - [c6]Sander Evers, Peter Achten, Jan Kuper:
A Functional Programming Technique for Forms in Graphical User Interfaces. IFL 2004: 35-51 - [c5]Jan Kuper, Dennis Reidsma, Thierry Declerck, Franciska de Jong:
The Merging Component of the MUMIS Project. TDM 2004: 3-7 - 2003
- [c4]Horacio Saggion, Hamish Cunningham, Jan Kuper, Thierry Declerck, Peter Wittenburg:
Event-Coreference across Multiple, Multi-lingual Sources in the Mumis Project. EACL 2003: 239-242 - [c3]Jan Kuper, Horacio Saggion, Hamish Cunningham, Thierry Declerck, Franciska de Jong, Dennis Reidsma, Yorick Wilks, Peter Wittenburg:
Intelligent Multimedia Indexing and Retrieval through Multi-source Information Extraction and Merging. IJCAI 2003: 409-414
1990 – 1999
- 1997
- [j3]Jan Kuper:
On the Jacopini Technique. Inf. Comput. 138(2): 101-123 (1997) - 1995
- [c2]Jan Kuper:
Proving the Genericity Lemma by Leftmost Reduction is Simple. RTA 1995: 271-278 - 1994
- [c1]Jan Kuper:
Usability: Formalising (Un)definedness in Typed Lambda Calculus. CSL 1994: 76-90 - 1993
- [j2]Jan Kuper:
An Axiomatic Theory for Partial Functions. Inf. Comput. 107(1): 104-150 (1993) - 1991
- [j1]Jan Kuper:
An Application of Non-Wellfounded Sets to the Foundations of Geometry. Math. Log. Q. 37(17): 257-264 (1991)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:58 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
