publications:
- title: "A circuit approach to LTL model checking"
  author:
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  - name: "Niklas Eén"
    link: "https://researchr.org/alias/niklas-e%C3%A9n"
  - name: "Baruch Sterin"
    link: "https://researchr.org/alias/baruch-sterin"
  year: "2013"
  doi: "http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=6679391"
  links:
    doi: "http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=6679391"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/fmcad/ClaessenES13"
  researchr: "https://researchr.org/publication/ClaessenES13"
  cites: 0
  citedby: 0
  pages: "53-60"
  booktitle: "FMCAD"
  kind: "inproceedings"
  key: "ClaessenES13"
- title: "Finger trees explained anew, and slightly simplified (functional pearl)"
  author:
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  year: "2020"
  doi: "https://doi.org/10.1145/3406088.3409026"
  links:
    doi: "https://doi.org/10.1145/3406088.3409026"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/haskell/Claessen20"
  researchr: "https://researchr.org/publication/Claessen20"
  cites: 0
  citedby: 0
  pages: "31-38"
  booktitle: "haskell"
  kind: "inproceedings"
  key: "Claessen20"
- title: "Automated Inference of Finite Unsatisfiability"
  author:
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  - name: "Ann Lillieström"
    link: "https://researchr.org/alias/ann-lilliestr%C3%B6m"
  year: "2011"
  doi: "http://dx.doi.org/10.1007/s10817-010-9216-8"
  links:
    doi: "http://dx.doi.org/10.1007/s10817-010-9216-8"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/jar/ClaessenL11"
  researchr: "https://researchr.org/publication/ClaessenL11"
  cites: 0
  citedby: 0
  journal: "JAR"
  volume: "47"
  number: "2"
  pages: "111-132"
  kind: "article"
  key: "ClaessenL11"
- title: "Generating Constrained Random Data with Uniform Distribution"
  author:
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  - name: "Jonas Duregård"
    link: "https://researchr.org/alias/jonas-dureg%C3%A5rd"
  - name: "Michal H. Palka"
    link: "https://researchr.org/alias/michal-h.-palka"
  year: "2014"
  doi: "http://dx.doi.org/10.1007/978-3-319-07151-0_2"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-319-07151-0_2"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/flops/ClaessenDP14"
  researchr: "https://researchr.org/publication/ClaessenDP14"
  cites: 0
  citedby: 0
  pages: "18-34"
  booktitle: "FLOPS"
  kind: "inproceedings"
  key: "ClaessenDP14"
- title: "Applying Valued Booleans in Testing of Cyber-Physical Systems"
  author:
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  - name: "Nicholas Smallbone"
    link: "https://researchr.org/alias/nicholas-smallbone"
  - name: "Johan Liden Eddeland"
    link: "https://researchr.org/alias/johan-liden-eddeland"
  - name: "Zahra Ramezani"
    link: "https://researchr.org/alias/zahra-ramezani"
  - name: "Knut Åkesson"
    link: "https://researchr.org/alias/knut-%C3%A5kesson"
  - name: "Sajed Miremadi"
    link: "https://researchr.org/alias/sajed-miremadi"
  year: "2018"
  doi: "http://doi.ieeecomputersociety.org/10.1109/MT-CPS.2018.00011"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/MT-CPS.2018.00011"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/cpsweek/ClaessenSERAM18"
  researchr: "https://researchr.org/publication/ClaessenSERAM18"
  cites: 0
  citedby: 0
  pages: "8-9"
  booktitle: "cpsweek"
  kind: "inproceedings"
  key: "ClaessenSERAM18"
- title: "An Operational Semantics for Weak PSL"
  author:
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  - name: "Johan Mårtensson"
    link: "https://researchr.org/alias/johan-m%C3%A5rtensson"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3312&spage=337"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3312&spage=337"
  tags:
  - "semantics"
  - "operational semantics"
  researchr: "https://researchr.org/publication/ClaessenM04"
  cites: 0
  citedby: 0
  pages: "337-351"
  booktitle: "FMCAD"
  kind: "inproceedings"
  key: "ClaessenM04"
- title: "Shrinking and showing functions (functional pearl)"
  author:
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  year: "2012"
  doi: "http://doi.acm.org/10.1145/2364506.2364516"
  links:
    doi: "http://doi.acm.org/10.1145/2364506.2364516"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/haskell/Claessen12"
  researchr: "https://researchr.org/publication/Claessen12"
  cites: 0
  citedby: 0
  pages: "73-80"
  booktitle: "haskell"
  kind: "inproceedings"
  key: "Claessen12"
- title: "Analysing Constraint Grammars with a SAT-solver"
  author:
  - name: "Inari Listenmaa"
    link: "https://researchr.org/alias/inari-listenmaa"
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  year: "2016"
  doi: "http://www.lrec-conf.org/proceedings/lrec2016/summaries/799.html"
  links:
    doi: "http://www.lrec-conf.org/proceedings/lrec2016/summaries/799.html"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/lrec/ListenmaaC16"
  researchr: "https://researchr.org/publication/ListenmaaC16"
  cites: 0
  citedby: 0
  booktitle: "lrec"
  kind: "inproceedings"
  key: "ListenmaaC16"
- title: "QuickSpec: a lightweight theory exploration tool for programmers (system demonstration)"
  author:
  - name: "Maximilian Algehed"
    link: "https://researchr.org/alias/maximilian-algehed"
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  - name: "Moa Johansson"
    link: "https://researchr.org/alias/moa-johansson"
  - name: "Nicholas Smallbone"
    link: "https://researchr.org/alias/nicholas-smallbone"
  year: "2017"
  doi: "http://doi.acm.org/10.1145/3122955.3122960"
  links:
    doi: "http://doi.acm.org/10.1145/3122955.3122960"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/haskell/AlgehedCJS17"
  researchr: "https://researchr.org/publication/AlgehedCJS17"
  cites: 0
  citedby: 0
  pages: "38-39"
  booktitle: "haskell"
  kind: "inproceedings"
  key: "AlgehedCJS17"
- title: "Finding race conditions in Erlang with QuickCheck and PULSE"
  author:
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  - name: "Michal Palka"
    link: "https://researchr.org/alias/michal-palka"
  - name: "Nicholas Smallbone"
    link: "https://researchr.org/alias/nicholas-smallbone"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  - name: "Hans Svensson"
    link: "https://researchr.org/alias/hans-svensson"
  - name: "Thomas Arts"
    link: "https://researchr.org/alias/thomas-arts"
  - name: "Ulf Wiger"
    link: "https://researchr.org/alias/ulf-wiger"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1596550.1596574"
  links:
    doi: "http://doi.acm.org/10.1145/1596550.1596574"
  tags:
  - "QuickCheck"
  researchr: "https://researchr.org/publication/ClaessenPSHSAW09"
  cites: 0
  citedby: 0
  pages: "149-160"
  booktitle: "ICFP"
  kind: "inproceedings"
  key: "ClaessenPSHSAW09"
- title: "Testing monadic code with QuickCheck"
  author:
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  year: "2002"
  doi: "http://doi.acm.org/10.1145/636517.636527"
  links:
    doi: "http://doi.acm.org/10.1145/636517.636527"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/sigplan/ClaessenH02"
  researchr: "https://researchr.org/publication/ClaessenH02-0"
  cites: 0
  citedby: 0
  journal: "SIGPLAN"
  volume: "37"
  number: "12"
  pages: "47-59"
  kind: "article"
  key: "ClaessenH02-0"
- title: "Generating Counterexamples for Structural Inductions by Exploiting Nonstandard Models"
  author:
  - name: "Jasmin Christian Blanchette"
    link: "https://researchr.org/alias/jasmin-christian-blanchette"
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-16242-8_10"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-16242-8_10"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/lpar/BlanchetteC10"
  researchr: "https://researchr.org/publication/BlanchetteC10"
  cites: 0
  citedby: 0
  pages: "127-141"
  booktitle: "lpar"
  kind: "inproceedings"
  key: "BlanchetteC10"
- title: "Generating constrained random data with uniform distribution"
  author:
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  - name: "Jonas Duregård"
    link: "https://researchr.org/alias/jonas-dureg%C3%A5rd"
  - name: "Michal H. Palka"
    link: "https://researchr.org/alias/michal-h.-palka"
  year: "2015"
  doi: "http://dx.doi.org/10.1017/S0956796815000143"
  links:
    doi: "http://dx.doi.org/10.1017/S0956796815000143"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/jfp/ClaessenDP15"
  researchr: "https://researchr.org/publication/ClaessenDP15"
  cites: 0
  citedby: 0
  journal: "JFP"
  volume: "25"
  kind: "article"
  key: "ClaessenDP15"
- title: "Ranking programs using black box testing"
  author:
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  - name: "Michal H. Palka"
    link: "https://researchr.org/alias/michal-h.-palka"
  - name: "Nicholas Smallbone"
    link: "https://researchr.org/alias/nicholas-smallbone"
  - name: "Hans Svensson"
    link: "https://researchr.org/alias/hans-svensson"
  year: "2010"
  doi: "http://doi.acm.org/10.1145/1808266.1808282"
  links:
    doi: "http://doi.acm.org/10.1145/1808266.1808282"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icse/ClaessenHPSS10"
  researchr: "https://researchr.org/publication/ClaessenHPSS10"
  cites: 0
  citedby: 0
  pages: "103-110"
  booktitle: "ICSE"
  kind: "inproceedings"
  key: "ClaessenHPSS10"
- title: "Model-Checking Signal Transduction Networks through Decreasing Reachability Sets"
  author:
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  - name: "Jasmin Fisher"
    link: "https://researchr.org/alias/jasmin-fisher"
  - name: "Samin Ishtiaq"
    link: "https://researchr.org/alias/samin-ishtiaq"
  - name: "Nir Piterman"
    link: "https://researchr.org/alias/nir-piterman"
  - name: "Qinsi Wang"
    link: "https://researchr.org/alias/qinsi-wang"
  year: "2013"
  doi: "http://dx.doi.org/10.1007/978-3-642-39799-8_5"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-39799-8_5"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/cav/ClaessenFIPW13"
  researchr: "https://researchr.org/publication/ClaessenFIPW13"
  cites: 0
  citedby: 0
  pages: "85-100"
  booktitle: "cav"
  kind: "inproceedings"
  key: "ClaessenFIPW13"
- title: "Using Lava to design and verify recursive and periodic sorters"
  author:
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  - name: "Mary Sheeran"
    link: "https://researchr.org/alias/mary-sheeran"
  - name: "Satnam Singh"
    link: "https://researchr.org/alias/satnam-singh"
  year: "2003"
  doi: "http://dx.doi.org/10.1007/s10009-002-0089-y"
  links:
    doi: "http://dx.doi.org/10.1007/s10009-002-0089-y"
  tags:
  - "design"
  researchr: "https://researchr.org/publication/ClaessenSS03"
  cites: 0
  citedby: 0
  journal: "STTT"
  volume: "4"
  number: "3"
  pages: "349-358"
  kind: "article"
  key: "ClaessenSS03"
- title: "SAT-Solving in Practice, with a Tutorial Example from Supervisory Control"
  author:
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  - name: "Niklas Eén"
    link: "https://researchr.org/alias/niklas-e%C3%A3%C2%A9n"
  - name: "Mary Sheeran"
    link: "https://researchr.org/alias/mary-sheeran"
  - name: "Niklas Sörensson"
    link: "https://researchr.org/alias/niklas-s%C3%A3%C2%B6rensson"
  - name: "Alexey Voronov"
    link: "https://researchr.org/alias/alexey-voronov"
  - name: "Knut Ã…kesson"
    link: "https://researchr.org/alias/knut-%C3%A3%E2%80%A6kesson"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/s10626-009-0081-8"
  links:
    doi: "http://dx.doi.org/10.1007/s10626-009-0081-8"
  researchr: "https://researchr.org/publication/ClaessenESSVA09"
  cites: 0
  citedby: 0
  journal: "deds"
  volume: "19"
  number: "4"
  pages: "495-524"
  kind: "article"
  key: "ClaessenESSVA09"
- title: "An embedded language approach to teaching hardware compilation"
  author:
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  - name: "Gordon J. Pace"
    link: "https://researchr.org/alias/gordon-j.-pace"
  year: "2002"
  doi: "http://doi.acm.org/10.1145/636517.636526"
  links:
    doi: "http://doi.acm.org/10.1145/636517.636526"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/sigplan/ClaessenP02"
  researchr: "https://researchr.org/publication/ClaessenP02-0"
  cites: 0
  citedby: 0
  journal: "SIGPLAN"
  volume: "37"
  number: "12"
  pages: "35-46"
  kind: "article"
  key: "ClaessenP02-0"
- title: "Explaining Symbolic Trajectory Evaluation by Giving It a Faithful Semantics"
  author:
  - name: "Jan-Willem Roorda"
    link: "https://researchr.org/alias/jan-willem-roorda"
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11753728_56"
  links:
    doi: "http://dx.doi.org/10.1007/11753728_56"
  tags:
  - "semantics"
  researchr: "https://researchr.org/publication/RoordaC06"
  cites: 0
  citedby: 0
  pages: "555-566"
  booktitle: "csr"
  kind: "inproceedings"
  key: "RoordaC06"
- title: "Semi-formal Development of a Fault-Tolerant Leader Election Protocol in Erlang"
  author:
  - name: "Thomas Arts"
    link: "https://researchr.org/alias/thomas-arts"
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  - name: "Hans Svensson"
    link: "https://researchr.org/alias/hans-svensson"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3395&spage=140"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3395&spage=140"
  tags:
  - "protocol"
  researchr: "https://researchr.org/publication/ArtsCS04"
  cites: 0
  citedby: 0
  pages: "140-154"
  booktitle: "fates"
  kind: "inproceedings"
  key: "ArtsCS04"
- title: "Quick specifications for the busy programmer"
  author:
  - name: "Nicholas Smallbone"
    link: "https://researchr.org/alias/nicholas-smallbone"
  - name: "Moa Johansson"
    link: "https://researchr.org/alias/moa-johansson"
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  - name: "Maximilian Algehed"
    link: "https://researchr.org/alias/maximilian-algehed"
  year: "2017"
  doi: "https://doi.org/10.1017/S0956796817000090"
  links:
    doi: "https://doi.org/10.1017/S0956796817000090"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/jfp/SmallboneJCA17"
  researchr: "https://researchr.org/publication/SmallboneJCA17"
  cites: 0
  citedby: 0
  journal: "JFP"
  volume: "27"
  kind: "article"
  key: "SmallboneJCA17"
- title: "The Design and Implementation of Feldspar - An Embedded Language for Digital Signal Processing"
  author:
  - name: "Emil Axelsson"
    link: "https://researchr.org/alias/emil-axelsson"
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  - name: "Mary Sheeran"
    link: "https://researchr.org/alias/mary-sheeran"
  - name: "Josef Svenningsson"
    link: "https://researchr.org/alias/josef-svenningsson"
  - name: "David Engdal"
    link: "https://researchr.org/alias/david-engdal"
  - name: "Anders Persson"
    link: "https://researchr.org/alias/anders-persson"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-24276-2_8"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-24276-2_8"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ifl/AxelssonCSSEP10"
  researchr: "https://researchr.org/publication/AxelssonCSSEP10"
  cites: 0
  citedby: 0
  pages: "121-136"
  booktitle: "IFL"
  kind: "inproceedings"
  key: "AxelssonCSSEP10"
- title: "A Poor Man s Concurrency Monad"
  author:
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  year: "1999"
  researchr: "https://researchr.org/publication/Claessen99"
  cites: 0
  citedby: 0
  journal: "JFP"
  volume: "9"
  number: "3"
  pages: "313-323"
  kind: "article"
  key: "Claessen99"
- title: "Automated Drawing of Railway Schematics Using Numerical Optimization in SAT"
  author:
  - name: "Bjørnar Luteberget"
    link: "https://researchr.org/alias/bj%C3%B8rnar-luteberget"
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  - name: "Christian Johansen"
    link: "https://researchr.org/alias/christian-johansen"
  year: "2019"
  doi: "https://doi.org/10.1007/978-3-030-34968-4_19"
  links:
    doi: "https://doi.org/10.1007/978-3-030-34968-4_19"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ifm/LutebergetCJ19"
  researchr: "https://researchr.org/publication/LutebergetCJ19"
  cites: 0
  citedby: 0
  pages: "341-359"
  booktitle: "IFM"
  kind: "inproceedings"
  key: "LutebergetCJ19"
- title: "Efficient divide-and-conquer parsing of practical context-free languages"
  author:
  - name: "Jean-Philippe Bernardy"
    link: "https://researchr.org/alias/jean-philippe-bernardy"
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  year: "2013"
  doi: "http://doi.acm.org/10.1145/2500365.2500576"
  links:
    doi: "http://doi.acm.org/10.1145/2500365.2500576"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icfp/BernardyC13"
  researchr: "https://researchr.org/publication/BernardyC13"
  cites: 0
  citedby: 0
  pages: "111-122"
  booktitle: "ICFP"
  kind: "inproceedings"
  key: "BernardyC13"
- title: "Finding Counter Examples in Induction Proofs"
  author:
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  - name: "Hans Svensson"
    link: "https://researchr.org/alias/hans-svensson"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-79124-9_5"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-79124-9_5"
  researchr: "https://researchr.org/publication/ClaessenS08"
  cites: 0
  citedby: 0
  pages: "48-65"
  booktitle: "tapsoft"
  kind: "inproceedings"
  key: "ClaessenS08"
- title: "Automated Inference of Finite Unsatisfiability"
  author:
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  - name: "Ann Lillieström"
    link: "https://researchr.org/alias/ann-lilliestr%C3%A3%C2%B6m"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-02959-2_29"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-02959-2_29"
  researchr: "https://researchr.org/publication/ClaessenL09"
  cites: 0
  citedby: 0
  pages: "388-403"
  booktitle: "cade"
  kind: "inproceedings"
  key: "ClaessenL09"
- title: "SAT Modulo Intuitionistic Implications"
  author:
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  - name: "Dan Rosén"
    link: "https://researchr.org/alias/dan-ros%C3%A9n"
  year: "2015"
  doi: "http://dx.doi.org/10.1007/978-3-662-48899-7_43"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-662-48899-7_43"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/lpar/ClaessenR15"
  researchr: "https://researchr.org/publication/ClaessenR15"
  cites: 0
  citedby: 0
  pages: "622-637"
  booktitle: "lpar"
  kind: "inproceedings"
  key: "ClaessenR15"
- title: "Automating Inductive Proofs Using Theory Exploration"
  author:
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  - name: "Moa Johansson"
    link: "https://researchr.org/alias/moa-johansson"
  - name: "Dan Rosén"
    link: "https://researchr.org/alias/dan-ros%C3%A9n"
  - name: "Nicholas Smallbone"
    link: "https://researchr.org/alias/nicholas-smallbone"
  year: "2013"
  doi: "http://dx.doi.org/10.1007/978-3-642-38574-2_27"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-38574-2_27"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/cade/ClaessenJRS13"
  researchr: "https://researchr.org/publication/ClaessenJRS13"
  cites: 0
  citedby: 0
  pages: "392-406"
  booktitle: "cade"
  kind: "inproceedings"
  key: "ClaessenJRS13"
- title: "An embedded language approach to teaching hardware compilation"
  author:
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  - name: "Gordon J. Pace"
    link: "http://www.cs.um.edu.mt/gordon.pace"
  year: "2002"
  doi: "http://doi.acm.org/10.1145/636517.636526"
  links:
    doi: "http://doi.acm.org/10.1145/636517.636526"
  tags:
  - "teaching"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/ClaessenP02"
  cites: 0
  citedby: 0
  journal: "SIGPLAN"
  volume: "37"
  number: "12"
  pages: "35-46"
  kind: "article"
  key: "ClaessenP02"
- title: "Typed Logical Variables in Haskell"
  author:
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  - name: "Peter Ljunglöf"
    link: "https://researchr.org/alias/peter-ljungl%C3%B6f"
  year: "2000"
  doi: "http://www.elsevier.com/gej-ng/31/29/23/76/33/show/Products/notes/index.htt#007"
  links:
    doi: "http://www.elsevier.com/gej-ng/31/29/23/76/33/show/Products/notes/index.htt#007"
  tags:
  - "Haskell"
  researchr: "https://researchr.org/publication/ClaessenL00"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "41"
  number: "1"
  pages: "37"
  kind: "article"
  key: "ClaessenL00"
- title: "A seamless, client-centric programming model for type safe web applications"
  author:
  - name: "Anton Ekblad"
    link: "https://researchr.org/alias/anton-ekblad"
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  year: "2014"
  doi: "http://doi.acm.org/10.1145/2633357.2633367"
  links:
    doi: "http://doi.acm.org/10.1145/2633357.2633367"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/haskell/EkbladC14"
  researchr: "https://researchr.org/publication/EkbladC14"
  cites: 0
  citedby: 0
  pages: "79-89"
  booktitle: "haskell"
  kind: "inproceedings"
  key: "EkbladC14"
- title: "GPGPU kernel implementation and refinement using Obsidian"
  author:
  - name: "Joel Svensson"
    link: "https://researchr.org/alias/joel-svensson"
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  - name: "Mary Sheeran"
    link: "https://researchr.org/alias/mary-sheeran"
  year: "2010"
  doi: "http://dx.doi.org/10.1016/j.procs.2010.04.231"
  links:
    doi: "http://dx.doi.org/10.1016/j.procs.2010.04.231"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/procedia/SvenssonCS10"
  tags:
  - "refinement"
  researchr: "https://researchr.org/publication/SvenssonCS10"
  cites: 0
  citedby: 0
  journal: "procedia"
  volume: "1"
  number: "1"
  pages: "2065-2074"
  kind: "article"
  key: "SvenssonCS10"
- title: "The TPTP Typed First-Order Form with Arithmetic"
  author:
  - name: "Geoff Sutcliffe"
    link: "https://researchr.org/alias/geoff-sutcliffe"
  - name: "Stephan Schulz"
    link: "https://researchr.org/alias/stephan-schulz"
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  - name: "Peter Baumgartner"
    link: "https://researchr.org/alias/peter-baumgartner"
  year: "2012"
  doi: "http://dx.doi.org/10.1007/978-3-642-28717-6_32"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-28717-6_32"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/lpar/SutcliffeSCB12"
  researchr: "https://researchr.org/publication/SutcliffeSCB12"
  cites: 0
  citedby: 0
  pages: "406-419"
  booktitle: "lpar"
  kind: "inproceedings"
  key: "SutcliffeSCB12"
- title: "A Coverage Analysis for Safety Property Lists"
  author:
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  year: "2007"
  doi: "http://doi.ieeecomputersociety.org/10.1109/FMCAD.2007.1"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/FMCAD.2007.1"
  tags:
  - "analysis"
  - "coverage"
  researchr: "https://researchr.org/publication/Claessen07"
  cites: 0
  citedby: 0
  pages: "139-145"
  booktitle: "FMCAD"
  kind: "inproceedings"
  key: "Claessen07"
- title: "SAT-Based Verification without State Space Traversal"
  author:
  - name: "Per Bjesse"
    link: "https://researchr.org/alias/per-bjesse"
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  year: "2000"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1954/19540372.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1954/19540372.htm"
  tags:
  - "rule-based"
  - "traversal"
  researchr: "https://researchr.org/publication/BjesseC00"
  cites: 0
  citedby: 0
  pages: "372-389"
  booktitle: "FMCAD"
  kind: "inproceedings"
  key: "BjesseC00"
- title: "Expressive array constructs in an embedded GPU kernel programming language"
  author:
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  - name: "Mary Sheeran"
    link: "https://researchr.org/alias/mary-sheeran"
  - name: "Joel Svensson"
    link: "https://researchr.org/alias/joel-svensson"
  year: "2012"
  doi: "http://doi.acm.org/10.1145/2103736.2103740"
  links:
    doi: "http://doi.acm.org/10.1145/2103736.2103740"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/popl/ClaessenSS12"
  researchr: "https://researchr.org/publication/ClaessenSS12"
  cites: 0
  citedby: 0
  pages: "21-30"
  booktitle: "POPL"
  kind: "inproceedings"
  key: "ClaessenSS12"
- title: "The Design and Verification of a Sorter Core"
  author:
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  - name: "Mary Sheeran"
    link: "https://researchr.org/alias/mary-sheeran"
  - name: "Satnam Singh"
    link: "https://researchr.org/alias/satnam-singh"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2144/21440355.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2144/21440355.htm"
  tags:
  - "design"
  researchr: "https://researchr.org/publication/ClaessenSS01"
  cites: 0
  citedby: 0
  pages: "355-369"
  booktitle: "charme"
  kind: "inproceedings"
  key: "ClaessenSS01"
- title: "Hipster: Integrating Theory Exploration in a Proof Assistant"
  author:
  - name: "Moa Johansson"
    link: "https://researchr.org/alias/moa-johansson"
  - name: "Dan Rosén"
    link: "https://researchr.org/alias/dan-ros%C3%A9n"
  - name: "Nicholas Smallbone"
    link: "https://researchr.org/alias/nicholas-smallbone"
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  year: "2014"
  doi: "http://dx.doi.org/10.1007/978-3-319-08434-3_9"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-319-08434-3_9"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/mkm/JohanssonRSC14"
  researchr: "https://researchr.org/publication/JohanssonRSC14"
  cites: 0
  citedby: 0
  pages: "108-122"
  booktitle: "mkm"
  kind: "inproceedings"
  key: "JohanssonRSC14"
- title: "Lava: Hardware Design in Haskell"
  author:
  - name: "Per Bjesse"
    link: "https://researchr.org/alias/per-bjesse"
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  - name: "Mary Sheeran"
    link: "https://researchr.org/alias/mary-sheeran"
  - name: "Satnam Singh"
    link: "https://researchr.org/alias/satnam-singh"
  year: "1998"
  doi: "http://doi.acm.org/10.1145/289423.289440"
  links:
    doi: "http://doi.acm.org/10.1145/289423.289440"
  tags:
  - "Haskell"
  - "design"
  researchr: "https://researchr.org/publication/BjesseCSS98"
  cites: 0
  citedby: 0
  pages: "174-184"
  booktitle: "ICFP"
  kind: "inproceedings"
  key: "BjesseCSS98"
- title: "Using circular programs for higher-order syntax: functional pearl"
  author:
  - name: "Emil Axelsson"
    link: "https://researchr.org/alias/emil-axelsson"
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  year: "2013"
  doi: "http://doi.acm.org/10.1145/2500365.2500614"
  links:
    doi: "http://doi.acm.org/10.1145/2500365.2500614"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icfp/AxelssonC13"
  researchr: "https://researchr.org/publication/AxelssonC13"
  cites: 0
  citedby: 0
  pages: "257-262"
  booktitle: "ICFP"
  kind: "inproceedings"
  key: "AxelssonC13"
- title: "HALO: haskell to logic through denotational semantics"
  author:
  - name: "Dimitrios Vytiniotis"
    link: "https://researchr.org/alias/dimitrios-vytiniotis"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  - name: "Dan Rosén"
    link: "https://researchr.org/alias/dan-ros%C3%A9n"
  year: "2013"
  doi: "http://doi.acm.org/10.1145/2429069.2429121"
  links:
    doi: "http://doi.acm.org/10.1145/2429069.2429121"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/popl/VytiniotisJCR13"
  researchr: "https://researchr.org/publication/VytiniotisJCR13"
  cites: 0
  citedby: 0
  pages: "431-442"
  booktitle: "POPL"
  kind: "inproceedings"
  key: "VytiniotisJCR13"
- title: "Testing an optimising compiler by generating random lambda terms"
  author:
  - name: "Michal H. Palka"
    link: "https://researchr.org/alias/michal-h.-palka"
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  - name: "Alejandro Russo"
    link: "https://researchr.org/alias/alejandro-russo"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  year: "2011"
  doi: "http://doi.acm.org/10.1145/1982595.1982615"
  links:
    doi: "http://doi.acm.org/10.1145/1982595.1982615"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icse/PalkaCRH11"
  researchr: "https://researchr.org/publication/PalkaCRH11"
  cites: 0
  citedby: 0
  pages: "91-97"
  booktitle: "ICSE"
  kind: "inproceedings"
  key: "PalkaCRH11"
- title: "Safety Property Verification of Cyclic Synchronous Circuits"
  author:
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  year: "2004"
  doi: "http://dx.doi.org/10.1016/j.entcs.2003.05.004"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2003.05.004"
  researchr: "https://researchr.org/publication/Claessen04"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "88"
  pages: "55-69"
  kind: "article"
  key: "Claessen04"
- title: "Graphs in Compilation"
  author:
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  year: "1997"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/Claessen97"
  cites: 0
  citedby: 0
  pages: "309"
  booktitle: "ICFP"
  kind: "inproceedings"
  key: "Claessen97"
- title: "Using fusion to enable late design decisions for pipelined computations"
  author:
  - name: "Máté Karácsony"
    link: "https://researchr.org/alias/m%C3%A1t%C3%A9-kar%C3%A1csony"
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  year: "2016"
  doi: "http://doi.acm.org/10.1145/2975991.2975993"
  links:
    doi: "http://doi.acm.org/10.1145/2975991.2975993"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icfp/KaracsonyC16"
  researchr: "https://researchr.org/publication/KaracsonyC16"
  cites: 0
  citedby: 0
  pages: "9-16"
  booktitle: "ICFP"
  kind: "inproceedings"
  key: "KaracsonyC16"
- title: "A liveness checking algorithm that counts"
  author:
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  - name: "Niklas Sörensson"
    link: "https://researchr.org/alias/niklas-s%C3%B6rensson"
  year: "2012"
  doi: "http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6462555"
  links:
    doi: "http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6462555"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/fmcad/ClaessenS12"
  researchr: "https://researchr.org/publication/ClaessenS12"
  cites: 0
  citedby: 0
  pages: "52-59"
  booktitle: "FMCAD"
  kind: "inproceedings"
  key: "ClaessenS12"
- title: "Practical principled FRP: forget the past, change the future, FRPNow!"
  author:
  - name: "Atze van der Ploeg"
    link: "https://researchr.org/alias/atze-van-der-ploeg"
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  year: "2015"
  doi: "http://doi.acm.org/10.1145/2784731.2784752"
  links:
    doi: "http://doi.acm.org/10.1145/2784731.2784752"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icfp/PloegC15"
  researchr: "https://researchr.org/publication/PloegC15"
  cites: 0
  citedby: 0
  pages: "302-314"
  booktitle: "ICFP"
  kind: "inproceedings"
  key: "PloegC15"
- title: "QuickSpec: Guessing Formal Specifications Using Testing"
  author:
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  - name: "Nicholas Smallbone"
    link: "https://researchr.org/alias/nicholas-smallbone"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-13977-2_3"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-13977-2_3"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/tap/ClaessenSH10"
  tags:
  - "testing"
  researchr: "https://researchr.org/publication/ClaessenSH10"
  cites: 0
  citedby: 0
  pages: "6-21"
  booktitle: "tap"
  kind: "inproceedings"
  key: "ClaessenSH10"
- title: "Safety at speed: in-place array algorithms from pure functional programs by safely re-using storage"
  author:
  - name: "Markus Aronsson"
    link: "https://researchr.org/alias/markus-aronsson"
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  - name: "Mary Sheeran"
    link: "https://researchr.org/alias/mary-sheeran"
  - name: "Nicholas Smallbone"
    link: "https://researchr.org/alias/nicholas-smallbone"
  year: "2019"
  doi: "https://doi.org/10.1145/3331553.3342616"
  links:
    doi: "https://doi.org/10.1145/3331553.3342616"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icfp/AronssonCSS19"
  researchr: "https://researchr.org/publication/AronssonCSS19"
  cites: 0
  citedby: 0
  pages: "34-46"
  booktitle: "ICFP"
  kind: "inproceedings"
  key: "AronssonCSS19"
- title: "Testing Polymorphic Properties"
  author:
  - name: "Jean-Philippe Bernardy"
    link: "http://www.chalmers.se/cse/EN/people/bernardy-jean-philippe"
  - name: "Patrik Jansson"
    link: "http://www.chalmers.se/cse/EN/people/jansson-patrik"
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-11957-6_8"
  abstract: "This paper is concerned with testing properties of polymorphic functions. The problem is that testing can only be performed on specific monomorphic instances, whereas parametrically polymorphic functions are expected to work for any type. We present a schema for constructing a monomorphic instance for a polymorphic property, such that correctness of that single instance implies correctness for all other instances. We also give a formal definition of the class of polymorphic properties the schema can be used for. Compared to the standard method of testing such properties, our schema leads to a significant reduction of necessary test cases."
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-11957-6_8"
  tags:
  - "XML"
  - "XML Schema"
  - "testing"
  researchr: "https://researchr.org/publication/BernardyJC10"
  cites: 0
  citedby: 0
  pages: "125-144"
  booktitle: "ESOP"
  kind: "inproceedings"
  key: "BernardyJC10"
- title: "Testing and Tracing Lazy Functional Programs Using QuickCheck and Hat"
  author:
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  - name: "Colin Runciman"
    link: "https://researchr.org/alias/colin-runciman"
  - name: "Olaf Chitil"
    link: "https://researchr.org/alias/olaf-chitil"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  - name: "Malcolm Wallace"
    link: "https://researchr.org/alias/malcolm-wallace"
  year: "2002"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2638&spage=59"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2638&spage=59"
  tags:
  - "laziness"
  - "functional programming"
  - "testing"
  - "QuickCheck"
  researchr: "https://researchr.org/publication/ClaessenRCHW02"
  cites: 0
  citedby: 0
  pages: "59-99"
  booktitle: "afp"
  kind: "inproceedings"
  key: "ClaessenRCHW02"
- title: "A Supervisory Control Algorithm Based on Property-Directed Reachability"
  author:
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  - name: "Jonatan Kilhamn"
    link: "https://researchr.org/alias/jonatan-kilhamn"
  - name: "Laura Kovács"
    link: "https://researchr.org/alias/laura-kov%C3%A1cs"
  - name: "Bengt Lennartson"
    link: "https://researchr.org/alias/bengt-lennartson"
  year: "2017"
  doi: "https://doi.org/10.1007/978-3-319-70389-3_8"
  links:
    doi: "https://doi.org/10.1007/978-3-319-70389-3_8"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/hvc/ClaessenKKL17"
  researchr: "https://researchr.org/publication/ClaessenKKL17"
  cites: 0
  citedby: 0
  pages: "115-130"
  booktitle: "hvc"
  kind: "inproceedings"
  key: "ClaessenKKL17"
- title: "Embedded Languages for Describing and Verifying Hardware"
  author:
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  year: "2001"
  doi: "https://www.base-search.net/Record/2d9322300af18e47297dc8c2ce464eb44a2c12b084c113f4661cf2b93579e817"
  links:
    doi: "https://www.base-search.net/Record/2d9322300af18e47297dc8c2ce464eb44a2c12b084c113f4661cf2b93579e817"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/phd/basesearch/Claessen01"
  researchr: "https://researchr.org/publication/basesearch-223"
  cites: 0
  citedby: 0
  school: "Chalmers University of Technology, Gothenburg, Sweden"
  kind: "phdthesis"
  key: "basesearch-223"
- title: "A semantics for distributed Erlang"
  author:
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  - name: "Hans Svensson"
    link: "https://researchr.org/alias/hans-svensson"
  year: "2005"
  doi: "http://doi.acm.org/10.1145/1088361.1088376"
  links:
    doi: "http://doi.acm.org/10.1145/1088361.1088376"
  tags:
  - "semantics"
  researchr: "https://researchr.org/publication/ClaessenS05"
  cites: 0
  citedby: 0
  pages: "78-87"
  booktitle: "erlang"
  kind: "inproceedings"
  key: "ClaessenS05"
- title: "The Anatomy of Equinox - An Extensible Automated Reasoning Tool for First-Order Logic and Beyond - (Talk Abstract)"
  author:
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  year: "2011"
  doi: "http://dx.doi.org/10.1007/978-3-642-22438-6_1"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-22438-6_1"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/cade/Claessen11"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/Claessen11"
  cites: 0
  citedby: 0
  pages: "1-3"
  booktitle: "cade"
  kind: "inproceedings"
  key: "Claessen11"
- title: "TIP: Tons of Inductive Problems"
  author:
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  - name: "Moa Johansson"
    link: "https://researchr.org/alias/moa-johansson"
  - name: "Dan Rosén"
    link: "https://researchr.org/alias/dan-ros%C3%A9n"
  - name: "Nicholas Smallbone"
    link: "https://researchr.org/alias/nicholas-smallbone"
  year: "2015"
  doi: "http://dx.doi.org/10.1007/978-3-319-20615-8_23"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-319-20615-8_23"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/mkm/ClaessenJRS15"
  researchr: "https://researchr.org/publication/ClaessenJRS15"
  cites: 0
  citedby: 0
  pages: "333-337"
  booktitle: "mkm"
  kind: "inproceedings"
  key: "ClaessenJRS15"
- title: "Alternative Treatments of Common Binary Relations in First-order Automated Reasoning"
  author:
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  - name: "Ann Lillieström"
    link: "https://researchr.org/alias/ann-lilliestr%C3%B6m"
  year: "2016"
  doi: "http://ceur-ws.org/Vol-1635/paper-02.pdf"
  links:
    doi: "http://ceur-ws.org/Vol-1635/paper-02.pdf"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/cade/ClaessenL16"
  researchr: "https://researchr.org/publication/ClaessenL16"
  cites: 0
  citedby: 0
  pages: "11-23"
  booktitle: "cade"
  kind: "inproceedings"
  key: "ClaessenL16"
- title: "Using the TPTP Language for Writing Derivations and Finite Interpretations"
  author:
  - name: "Geoff Sutcliffe"
    link: "https://researchr.org/alias/geoff-sutcliffe"
  - name: "Stephan Schulz"
    link: "https://researchr.org/alias/stephan-schulz"
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  - name: "Allen Van Gelder"
    link: "https://researchr.org/alias/allen-van-gelder"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11814771_7"
  links:
    doi: "http://dx.doi.org/10.1007/11814771_7"
  tags:
  - "writing"
  researchr: "https://researchr.org/publication/SutcliffeSCG06"
  cites: 0
  citedby: 0
  pages: "67-81"
  booktitle: "cade"
  kind: "inproceedings"
  key: "SutcliffeSCG06"
- title: "Design-Time Railway Capacity Verification using SAT modulo Discrete Event Simulation"
  author:
  - name: "Bjørnar Luteberget"
    link: "https://researchr.org/alias/bj%C3%B8rnar-luteberget"
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  - name: "Christian Johansen"
    link: "https://researchr.org/alias/christian-johansen"
  year: "2018"
  doi: "https://doi.org/10.23919/FMCAD.2018.8603003"
  links:
    doi: "https://doi.org/10.23919/FMCAD.2018.8603003"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/fmcad/LutebergetCJ18"
  researchr: "https://researchr.org/publication/LutebergetCJ18"
  cites: 0
  citedby: 0
  pages: "1-9"
  booktitle: "FMCAD"
  kind: "inproceedings"
  key: "LutebergetCJ18"
- title: "Obsidian: A Domain Specific Embedded Language for Parallel Programming of Graphics Processors"
  author:
  - name: "Joel Svensson"
    link: "https://researchr.org/alias/joel-svensson"
  - name: "Mary Sheeran"
    link: "https://researchr.org/alias/mary-sheeran"
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-642-24452-0_9"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-24452-0_9"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ifl/SvenssonSC08"
  researchr: "https://researchr.org/publication/SvenssonSC08"
  cites: 0
  citedby: 0
  pages: "156-173"
  booktitle: "IFL"
  kind: "inproceedings"
  key: "SvenssonSC08"
- title: "An Introduction to Symbolic Trajectory Evaluation"
  author:
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  - name: "Jan-Willem Roorda"
    link: "https://researchr.org/alias/jan-willem-roorda"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11757283_3"
  links:
    doi: "http://dx.doi.org/10.1007/11757283_3"
  researchr: "https://researchr.org/publication/ClaessenR06"
  cites: 0
  citedby: 0
  pages: "56-77"
  booktitle: "sfm"
  kind: "inproceedings"
  key: "ClaessenR06"
- title: "QuickCheck: a lightweight tool for random testing of Haskell programs"
  author:
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  year: "2000"
  doi: "http://doi.acm.org/10.1145/351240.351266"
  abstract: "Quick Check is a tool which aids the Haskell programmer in formulating and testing properties of programs. Properties are described as Haskell functions, and can be automatically tested on random input, but it is also possible to define custom test data generators. We present a number of case studies, in which the tool was successfully used, and also point out some pitfalls to avoid. Random testing is especially suitable for functional programs because properties can be stated at a fine grain. When a function is built from separately tested components, then random testing suffices to obtain good coverage of the definition under test."
  links:
    doi: "http://doi.acm.org/10.1145/351240.351266"
  tags:
  - "test coverage"
  - "case study"
  - "functional programming"
  - "testing"
  - "Haskell"
  - "data-flow programming"
  - "data-flow"
  - "random testing"
  - "programming"
  - "coverage"
  - "QuickCheck"
  researchr: "https://researchr.org/publication/ClaessenH00"
  cites: 19
  citedby: 0
  pages: "268-279"
  booktitle: "ICFP"
  kind: "inproceedings"
  key: "ClaessenH00"
- title: "Splittable pseudorandom number generators using cryptographic hashing"
  author:
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  - name: "Michal Palka"
    link: "https://researchr.org/alias/michal-palka"
  year: "2013"
  doi: "http://doi.acm.org/10.1145/2503778.2503784"
  links:
    doi: "http://doi.acm.org/10.1145/2503778.2503784"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/haskell/ClaessenP13"
  researchr: "https://researchr.org/publication/ClaessenP13"
  cites: 0
  citedby: 0
  pages: "47-58"
  booktitle: "haskell"
  kind: "inproceedings"
  key: "ClaessenP13"
- title: "Testing an optimising compiler by generating random lambda terms"
  author:
  - name: "Michal H. Palka"
    link: "http://www.chalmers.se/cse/EN/people/palka-michal"
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  - name: "Russo, Alejandro"
    link: "https://researchr.org/alias/russo%2C-alejandro"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  year: "2011"
  doi: "http://dl.acm.org/citation.cfm?id=1982615"
  abstract: "This paper considers random testing of a compiler, using randomly generated programs as inputs, and comparing their behaviour with and without optimisation. Since the generated programs must compile, then we need to take into account syntax, scope rules, and type checking during our random generation. Doing so, while attaining a good distribution of test data, proves surprisingly subtle; the main contribution of this paper is a workable solution to this problem. We used it to generate typed functions on lists, which we compiled using the Glasgow Haskell compiler, a mature production quality Haskell compiler. After around 20,000 tests we triggered an optimiser failure, and automatically simplified it to a program with just a few constructs."
  links:
    doi: "http://dl.acm.org/citation.cfm?id=1982615"
  tags:
  - "rule-based"
  - "testing"
  - "Haskell"
  - "data-flow programming"
  - "data-flow"
  - "rules"
  - "type checking"
  - "random testing"
  - "compiler"
  researchr: "https://researchr.org/publication/PalkaAST2011"
  cites: 0
  citedby: 0
  pages: "91-97"
  booktitle: "Proceedings of the 6th International Workshop on Automation of Software Test"
  kind: "inproceedings"
  key: "PalkaAST2011"
- title: "Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System"
  author:
  - name: "Burke Fetscher"
    link: "https://researchr.org/alias/burke-fetscher"
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  - name: "Michal H. Palka"
    link: "https://researchr.org/alias/michal-h.-palka"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  - name: "Robby Findler"
    link: "http://www.eecs.northwestern.edu/~robby/"
  year: "2015"
  doi: "http://dx.doi.org/10.1007/978-3-662-46669-8_16"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-662-46669-8_16"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/esop/FetscherCPHF15"
  researchr: "https://researchr.org/publication/FetscherCPHF15"
  cites: 0
  citedby: 0
  pages: "383-405"
  booktitle: "ESOP"
  kind: "inproceedings"
  key: "FetscherCPHF15"
- title: "The Twilight Zone: From Testing to Formal Specifications and Back Again"
  author:
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-10672-9_1"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-10672-9_1"
  tags:
  - "testing"
  researchr: "https://researchr.org/publication/Claessen09"
  cites: 0
  citedby: 0
  pages: "1"
  booktitle: "aplas"
  kind: "inproceedings"
  key: "Claessen09"
- title: "Static contract checking for Haskell"
  author:
  - name: "Dana N. Xu"
    link: "https://researchr.org/alias/dana-n.-xu"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1480881.1480889"
  links:
    doi: "http://doi.acm.org/10.1145/1480881.1480889"
  tags:
  - "contracts"
  - "Haskell"
  researchr: "https://researchr.org/publication/XuJC09"
  cites: 0
  citedby: 0
  pages: "41-52"
  booktitle: "POPL"
  kind: "inproceedings"
  key: "XuJC09"
- title: "Wired: Wire-Aware Circuit Design"
  author:
  - name: "Emil Axelsson"
    link: "https://researchr.org/alias/emil-axelsson"
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  - name: "Mary Sheeran"
    link: "https://researchr.org/alias/mary-sheeran"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11560548_4"
  links:
    doi: "http://dx.doi.org/10.1007/11560548_4"
  tags:
  - "context-aware"
  - "design"
  researchr: "https://researchr.org/publication/AxelssonCS05"
  cites: 0
  citedby: 0
  pages: "5-19"
  booktitle: "charme"
  kind: "inproceedings"
  key: "AxelssonCS05"
- title: "Observable Sharing for Functional Circuit Description"
  author:
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  - name: "David Sands"
    link: "https://researchr.org/alias/david-sands"
  year: "1999"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1742/17420062.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1742/17420062.htm"
  researchr: "https://researchr.org/publication/ClaessenS99"
  cites: 0
  citedby: 0
  pages: "62-73"
  booktitle: "asian"
  kind: "inproceedings"
  key: "ClaessenS99"
- title: "Enhancing Temporal Logic Falsification With Specification Transformation and Valued Booleans"
  author:
  - name: "Johan Lidén Eddeland"
    link: "https://researchr.org/alias/johan-lid%C3%A9n-eddeland"
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  - name: "Nicholas Smallbone"
    link: "https://researchr.org/alias/nicholas-smallbone"
  - name: "Zahra Ramezani"
    link: "https://researchr.org/alias/zahra-ramezani"
  - name: "Sajed Miremadi"
    link: "https://researchr.org/alias/sajed-miremadi"
  - name: "Knut Åkesson"
    link: "https://researchr.org/alias/knut-%C3%A5kesson"
  year: "2020"
  doi: "https://doi.org/10.1109/TCAD.2020.2966480"
  links:
    doi: "https://doi.org/10.1109/TCAD.2020.2966480"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/tcad/EddelandCSRMA20"
  researchr: "https://researchr.org/publication/EddelandCSRMA20"
  cites: 0
  citedby: 0
  journal: "tcad"
  volume: "39"
  number: "12"
  pages: "5247-5260"
  kind: "article"
  key: "EddelandCSRMA20"
- title: "Linearly Ordered Attribute Grammar Scheduling Using SAT-Solving"
  author:
  - name: "Jeroen Bransen"
    link: "https://researchr.org/alias/jeroen-bransen"
  - name: "L. Thomas van Binsbergen"
    link: "https://researchr.org/alias/l.-thomas-van-binsbergen"
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  - name: "Atze Dijkstra"
    link: "https://researchr.org/alias/atze-dijkstra"
  year: "2015"
  doi: "http://dx.doi.org/10.1007/978-3-662-46681-0_24"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-662-46681-0_24"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/tacas/BransenBCD15"
  researchr: "https://researchr.org/publication/BransenBCD15"
  cites: 0
  citedby: 0
  pages: "289-303"
  booktitle: "TACAS"
  kind: "inproceedings"
  key: "BransenBCD15"
- title: "A library for light-weight information-flow security in haskell"
  author:
  - name: "Alejandro Russo"
    link: "https://researchr.org/alias/alejandro-russo"
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1411286.1411289"
  links:
    doi: "http://doi.acm.org/10.1145/1411286.1411289"
  tags:
  - "Haskell"
  - "data-flow"
  - "security"
  researchr: "https://researchr.org/publication/RussoCH08"
  cites: 0
  citedby: 0
  pages: "13-24"
  booktitle: "haskell"
  kind: "inproceedings"
  key: "RussoCH08"
- title: "Testing Safety PLCs Using QuickCheck"
  author:
  - name: "David Thönnessen"
    link: "https://researchr.org/alias/david-th%C3%B6nnessen"
  - name: "Nick Smallbone"
    link: "https://researchr.org/alias/nick-smallbone"
  - name: "Martin Fabian"
    link: "https://researchr.org/alias/martin-fabian"
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  - name: "Stefan Kowalewski"
    link: "https://researchr.org/alias/stefan-kowalewski"
  year: "2019"
  doi: "https://doi.org/10.1109/COASE.2019.8843227"
  links:
    doi: "https://doi.org/10.1109/COASE.2019.8843227"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/case/ThonnessenSFCK19"
  researchr: "https://researchr.org/publication/ThonnessenSFCK19"
  cites: 0
  citedby: 0
  pages: "1-6"
  booktitle: "case"
  kind: "inproceedings"
  key: "ThonnessenSFCK19"
- title: "Feldspar: A domain specific language for digital signal processing algorithms"
  author:
  - name: "Emil Axelsson"
    link: "https://researchr.org/alias/emil-axelsson"
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  - name: "Gergely Dévai"
    link: "https://researchr.org/alias/gergely-d%C3%A9vai"
  - name: "Z. Horváth"
    link: "https://researchr.org/alias/z.-horv%C3%A1th"
  - name: "Karin Keijzer"
    link: "https://researchr.org/alias/karin-keijzer"
  - name: "Bo Lyckegård"
    link: "https://researchr.org/alias/bo-lyckeg%C3%A5rd"
  - name: "Anders Persson"
    link: "https://researchr.org/alias/anders-persson"
  - name: "Mary Sheeran"
    link: "www.cse.chalmers.se/~ms/"
  - name: "Josef Svenningsson"
    link: "https://researchr.org/alias/josef-svenningsson"
  - name: "A. Vajda"
    link: "https://researchr.org/alias/a.-vajda"
  year: "2010"
  doi: "http://dx.doi.org/10.1109/MEMCOD.2010.5558637"
  links:
    doi: "http://dx.doi.org/10.1109/MEMCOD.2010.5558637"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/memocode/AxelssonCDHKLPSSV10"
  tags:
  - "domain-specific language"
  researchr: "https://researchr.org/publication/AxelssonCDHKLPSSV10"
  cites: 0
  citedby: 0
  pages: "169-178"
  booktitle: "memocode"
  kind: "inproceedings"
  key: "AxelssonCDHKLPSSV10"
- title: "Towards secure IoT programming in Haskell"
  author:
  - name: "Nachiappan Valliappan"
    link: "https://researchr.org/alias/nachiappan-valliappan"
  - name: "Robert Krook"
    link: "https://researchr.org/alias/robert-krook"
  - name: "Alejandro Russo"
    link: "https://researchr.org/alias/alejandro-russo"
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  year: "2020"
  doi: "https://doi.org/10.1145/3406088.3409027"
  links:
    doi: "https://doi.org/10.1145/3406088.3409027"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/haskell/ValliappanKRC20"
  researchr: "https://researchr.org/publication/ValliappanKRC20"
  cites: 0
  citedby: 0
  pages: "136-150"
  booktitle: "haskell"
  kind: "inproceedings"
  key: "ValliappanKRC20"
- title: "Parallel Parsing Processes"
  author:
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  year: "2004"
  doi: "http://dx.doi.org/10.1017/S0956796804005192"
  links:
    doi: "http://dx.doi.org/10.1017/S0956796804005192"
  tags:
  - "parsing"
  researchr: "https://researchr.org/publication/Claessen04%3A0"
  cites: 0
  citedby: 0
  journal: "JFP"
  volume: "14"
  number: "6"
  pages: "741-757"
  kind: "article"
  key: "Claessen04:0"
- title: "Testing monadic code with QuickCheck"
  author:
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  year: "2002"
  doi: "http://doi.acm.org/10.1145/636517.636527"
  links:
    doi: "http://doi.acm.org/10.1145/636517.636527"
  tags:
  - "testing"
  - "QuickCheck"
  researchr: "https://researchr.org/publication/ClaessenH02"
  cites: 0
  citedby: 0
  journal: "SIGPLAN"
  volume: "37"
  number: "12"
  pages: "47-59"
  kind: "article"
  key: "ClaessenH02"
- title: "HipSpec: Automating Inductive Proofs of Program Properties"
  author:
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  - name: "Moa Johansson"
    link: "https://researchr.org/alias/moa-johansson"
  - name: "Dan Rosén"
    link: "https://researchr.org/alias/dan-ros%C3%A9n"
  - name: "Nicholas Smallbone"
    link: "https://researchr.org/alias/nicholas-smallbone"
  year: "2012"
  doi: "http://www.easychair.org/publications/?page=1515293356"
  links:
    doi: "http://www.easychair.org/publications/?page=1515293356"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/cade/ClaessenJRS12"
  researchr: "https://researchr.org/publication/ClaessenJRS12"
  cites: 0
  citedby: 0
  pages: "16-25"
  booktitle: "cade"
  kind: "inproceedings"
  key: "ClaessenJRS12"
- title: "Structuring Graphical Paradigms in TkGofer"
  author:
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  - name: "Ton Vullinghs"
    link: "https://researchr.org/alias/ton-vullinghs"
  - name: "Erik Meijer"
    link: "https://researchr.org/alias/erik-meijer"
  year: "1997"
  researchr: "https://researchr.org/publication/ClaessenVM97"
  cites: 0
  citedby: 0
  pages: "251-262"
  booktitle: "ICFP"
  kind: "inproceedings"
  key: "ClaessenVM97"
- title: "SAT-Based Assistance in Abstraction Refinement for Symbolic Trajectory Evaluation"
  author:
  - name: "Jan-Willem Roorda"
    link: "https://researchr.org/alias/jan-willem-roorda"
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11817963_19"
  links:
    doi: "http://dx.doi.org/10.1007/11817963_19"
  tags:
  - "rule-based"
  - "refinement"
  - "abstraction"
  researchr: "https://researchr.org/publication/RoordaC06%3A0"
  cites: 0
  citedby: 0
  pages: "175-189"
  booktitle: "cav"
  kind: "inproceedings"
  key: "RoordaC06:0"
- title: "Efficient parallel and incremental parsing of practical context-free languages"
  author:
  - name: "Jean-Philippe Bernardy"
    link: "https://researchr.org/alias/jean-philippe-bernardy"
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  year: "2015"
  doi: "http://dx.doi.org/10.1017/S0956796815000131"
  links:
    doi: "http://dx.doi.org/10.1017/S0956796815000131"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/jfp/BernardyC15"
  researchr: "https://researchr.org/publication/BernardyC15"
  cites: 0
  citedby: 0
  journal: "JFP"
  volume: "25"
  kind: "article"
  key: "BernardyC15"
- title: "Sort It Out with Monotonicity - Translating between Many-Sorted and Unsorted First-Order Logic"
  author:
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  - name: "Ann Lillieström"
    link: "https://researchr.org/alias/ann-lilliestr%C3%B6m"
  - name: "Nicholas Smallbone"
    link: "https://researchr.org/alias/nicholas-smallbone"
  year: "2011"
  doi: "http://dx.doi.org/10.1007/978-3-642-22438-6_17"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-22438-6_17"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/cade/ClaessenLS11"
  tags:
  - "translation"
  - "logic"
  researchr: "https://researchr.org/publication/ClaessenLS11"
  cites: 0
  citedby: 0
  pages: "207-221"
  booktitle: "cade"
  kind: "inproceedings"
  key: "ClaessenLS11"
- title: "Inferring morphological rules from small examples using 0/1 linear programming"
  author:
  - name: "Ann Lillieström"
    link: "https://researchr.org/alias/ann-lilliestr%C3%B6m"
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  - name: "Nicholas Smallbone"
    link: "https://researchr.org/alias/nicholas-smallbone"
  year: "2019"
  doi: "https://aclweb.org/anthology/W19-6118/"
  links:
    doi: "https://aclweb.org/anthology/W19-6118/"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/nodalida/LilliestromCS19"
  researchr: "https://researchr.org/publication/LilliestromCS19"
  cites: 0
  citedby: 0
  pages: "164-174"
  booktitle: "nodalida"
  kind: "inproceedings"
  key: "LilliestromCS19"
- title: "The Key monad: type-safe unconstrained dynamic typing"
  author:
  - name: "Atze van der Ploeg"
    link: "https://researchr.org/alias/atze-van-der-ploeg"
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  - name: "Pablo Buiras"
    link: "https://researchr.org/alias/pablo-buiras"
  year: "2016"
  doi: "http://doi.acm.org/10.1145/2976002.2976008"
  links:
    doi: "http://doi.acm.org/10.1145/2976002.2976008"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/haskell/PloegCB16"
  researchr: "https://researchr.org/publication/PloegCB16"
  cites: 0
  citedby: 0
  pages: "146-157"
  booktitle: "haskell"
  kind: "inproceedings"
  key: "PloegCB16"
- title: "Efficient Encodings of First-Order Horn Formulas in Equational Logic"
  author:
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  - name: "Nicholas Smallbone"
    link: "https://researchr.org/alias/nicholas-smallbone"
  year: "2018"
  doi: "https://doi.org/10.1007/978-3-319-94205-6_26"
  links:
    doi: "https://doi.org/10.1007/978-3-319-94205-6_26"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/cade/ClaessenS18"
  researchr: "https://researchr.org/publication/ClaessenS18"
  cites: 0
  citedby: 0
  pages: "388-404"
  booktitle: "cade"
  kind: "inproceedings"
  key: "ClaessenS18"
- title: "A New SAT-Based Algorithm for Symbolic Trajectory Evaluation"
  author:
  - name: "Jan-Willem Roorda"
    link: "https://researchr.org/alias/jan-willem-roorda"
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11560548_19"
  links:
    doi: "http://dx.doi.org/10.1007/11560548_19"
  tags:
  - "rule-based"
  researchr: "https://researchr.org/publication/RoordaC05"
  cites: 0
  citedby: 0
  pages: "238-253"
  booktitle: "charme"
  kind: "inproceedings"
  key: "RoordaC05"
- title: "Proceedings of the 4th ACM SIGPLAN Symposium on Haskell, Haskell 2011, Tokyo, Japan, 22 September 2011"
  year: "2011"
  links:
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/haskell/2011"
  researchr: "https://researchr.org/publication/haskell-2011"
  cites: 0
  citedby: 0
  booktitle: "Proceedings of the 4th ACM SIGPLAN Symposium on Haskell, Haskell 2011, Tokyo, Japan, 22 September 2011"
  conference: "haskell"
  editor:
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  publisher: "ACM"
  isbn: "978-1-4503-0860-1"
  kind: "proceedings"
  key: "haskell-2011"
- title: "Proceedings of the sixth workshop on Programming Languages meets Program Verification, PLPV 2012, Philadelphia, PA, USA, January 24, 2012"
  year: "2012"
  links:
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/plpv/2012"
  researchr: "https://researchr.org/publication/plpv-2012"
  cites: 0
  citedby: 0
  booktitle: "Proceedings of the sixth workshop on Programming Languages meets Program Verification, PLPV 2012, Philadelphia, PA, USA, January 24, 2012"
  conference: "plpv"
  editor:
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  - name: "Nikhil Swamy"
    link: "https://researchr.org/alias/nikhil-swamy"
  publisher: "ACM"
  isbn: "978-1-4503-1125-0"
  kind: "proceedings"
  key: "plpv-2012"