Koen Claessen

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Mary Sheeran

> Home > Persons > Koen Claessen

Publications

2019
[c70]
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/AronssonCSS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/AronssonCSS19
Markus Aronsson, Koen Claessen, Mary Sheeran, Nicholas Smallbone:
Safety at speed: in-place array algorithms from pure functional programs by safely re-using storage. FHPNC@ICFP 2019: 34-46
2012
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/ClaessenSS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/ClaessenSS12
Koen Claessen, Mary Sheeran, Joel Svensson:
Expressive array constructs in an embedded GPU kernel programming language. DAMP 2012: 21-30
2010
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/AxelssonCSSEP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/AxelssonCSSEP10
Emil Axelsson, Koen Claessen, Mary Sheeran, Josef Svenningsson, David Engdal, Anders Persson:
The Design and Implementation of Feldspar - An Embedded Language for Digital Signal Processing. IFL 2010: 121-136
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/AxelssonCDHKLPSSV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/AxelssonCDHKLPSSV10
Emil Axelsson, Koen Claessen, Gergely Dévai, Zoltán Horváth, Karin Keijzer, Bo Lyckegård, Anders Persson, Mary Sheeran, Josef Svenningsson, András Vajda:
Feldspar: A domain specific language for digital signal processing algorithms. MEMOCODE 2010: 169-178
[c29]
- view
  authority control:
- export record
  dblp key:
  - journals/procedia/SvenssonCS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/procedia/SvenssonCS10
Joel Svensson, Koen Claessen, Mary Sheeran:
GPGPU kernel implementation and refinement using Obsidian. ICCS 2010: 2065-2074
2009
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/deds/ClaessenESSVA09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/deds/ClaessenESSVA09
Koen Claessen, Niklas Eén, Mary Sheeran, Niklas Sörensson, Alexey Voronov, Knut Åkesson:
SAT-Solving in Practice, with a Tutorial Example from Supervisory Control. Discret. Event Dyn. Syst. 19(4): 495-524 (2009)
2008
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/SvenssonSC08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/SvenssonSC08
Joel Svensson, Mary Sheeran, Koen Claessen:
Obsidian: A Domain Specific Embedded Language for Parallel Programming of Graphics Processors. IFL 2008: 156-173
2005
[c16]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/charme/AxelssonCS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/charme/AxelssonCS05
Emil Axelsson, Koen Claessen, Mary Sheeran:
Wired: Wire-Aware Circuit Design. CHARME 2005: 5-19
2003
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/ClaessenSS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/ClaessenSS03
Koen Claessen, Mary Sheeran, Satnam Singh:
Using Lava to design and verify recursive and periodic sorters. Int. J. Softw. Tools Technol. Transf. 4(3): 349-358 (2003)
2001
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/charme/ClaessenSS01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/charme/ClaessenSS01
Koen Claessen, Mary Sheeran, Satnam Singh:
The Design and Verification of a Sorter Core. CHARME 2001: 355-369
1998
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/BjesseCSS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/BjesseCSS98
Per Bjesse, Koen Claessen, Mary Sheeran, Satnam Singh:
Lava: Hardware Design in Haskell. ICFP 1998: 174-184

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.