@inproceedings{ClaessenES13,
  title = {A circuit approach to LTL model checking},
  author = {Koen Claessen and Niklas Eén and Baruch Sterin},
  year = {2013},
  url = {http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=6679391},
  researchr = {https://researchr.org/publication/ClaessenES13},
  cites = {0},
  citedby = {0},
  pages = {53-60},
  booktitle = {Formal Methods in Computer-Aided Design, FMCAD 2013, Portland, OR, USA, October 20-23, 2013},
  publisher = {IEEE},
}

@inproceedings{Claessen20,
  title = {Finger trees explained anew, and slightly simplified (functional pearl)},
  author = {Koen Claessen},
  year = {2020},
  doi = {10.1145/3406088.3409026},
  url = {https://doi.org/10.1145/3406088.3409026},
  researchr = {https://researchr.org/publication/Claessen20},
  cites = {0},
  citedby = {0},
  pages = {31-38},
  booktitle = {Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell, Haskell@ICFP 2020, Virtual Event, USA, August 7, 2020},
  editor = {Tom Schrijvers},
  publisher = {ACM},
  isbn = {978-1-4503-8050-8},
}

@article{ClaessenL11,
  title = {Automated Inference of Finite Unsatisfiability},
  author = {Koen Claessen and Ann Lillieström},
  year = {2011},
  doi = {10.1007/s10817-010-9216-8},
  url = {http://dx.doi.org/10.1007/s10817-010-9216-8},
  researchr = {https://researchr.org/publication/ClaessenL11},
  cites = {0},
  citedby = {0},
  journal = {Journal of Automated Reasoning},
  volume = {47},
  number = {2},
  pages = {111-132},
}

@inproceedings{ClaessenDP14,
  title = {Generating Constrained Random Data with Uniform Distribution},
  author = {Koen Claessen and Jonas Duregård and Michal H. Palka},
  year = {2014},
  doi = {10.1007/978-3-319-07151-0_2},
  url = {http://dx.doi.org/10.1007/978-3-319-07151-0_2},
  researchr = {https://researchr.org/publication/ClaessenDP14},
  cites = {0},
  citedby = {0},
  pages = {18-34},
  booktitle = {Functional and Logic Programming - 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings},
  editor = {Michael Codish and Eijiro Sumii},
  volume = {8475},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-319-07150-3},
}

@inproceedings{ClaessenSERAM18,
  title = {Applying Valued Booleans in Testing of Cyber-Physical Systems},
  author = {Koen Claessen and Nicholas Smallbone and Johan Liden Eddeland and Zahra Ramezani and Knut Åkesson and Sajed Miremadi},
  year = {2018},
  doi = {10.1109/MT-CPS.2018.00011},
  url = {http://doi.ieeecomputersociety.org/10.1109/MT-CPS.2018.00011},
  researchr = {https://researchr.org/publication/ClaessenSERAM18},
  cites = {0},
  citedby = {0},
  pages = {8-9},
  booktitle = {3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, MT@CPSWeek 2018, Porto, Portugal, April 10, 2018},
  publisher = {IEEE},
  isbn = {978-1-5386-6748-4},
}

@inproceedings{ClaessenM04,
  title = {An Operational Semantics for Weak PSL},
  author = {Koen Claessen and Johan Mårtensson},
  year = {2004},
  url = {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 = {Formal Methods in Computer-Aided Design, 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings},
  editor = {Alan J. Hu and Andrew K. Martin},
  volume = {3312},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-23738-0},
}

@inproceedings{Claessen12,
  title = {Shrinking and showing functions (functional pearl)},
  author = {Koen Claessen},
  year = {2012},
  doi = {10.1145/2364506.2364516},
  url = {http://doi.acm.org/10.1145/2364506.2364516},
  researchr = {https://researchr.org/publication/Claessen12},
  cites = {0},
  citedby = {0},
  pages = {73-80},
  booktitle = {Proceedings of the 5th ACM SIGPLAN Symposium on Haskell, Haskell 2012, Copenhagen, Denmark, 13 September 2012},
  editor = {Janis Voigtländer},
  publisher = {ACM},
  isbn = {978-1-4503-1574-6},
}

@inproceedings{ListenmaaC16,
  title = {Analysing Constraint Grammars with a SAT-solver},
  author = {Inari Listenmaa and Koen Claessen},
  year = {2016},
  url = {http://www.lrec-conf.org/proceedings/lrec2016/summaries/799.html},
  researchr = {https://researchr.org/publication/ListenmaaC16},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the Tenth International Conference on Language Resources and Evaluation LREC 2016, Portorož, Slovenia, May 23-28, 2016},
  editor = {Nicoletta Calzolari and Khalid Choukri and Thierry Declerck and Sara Goggi and Marko Grobelnik and Bente Maegaard and Joseph Mariani and Hélène Mazo and Asunción Moreno and Jan Odijk and Stelios Piperidis},
  publisher = {European Language Resources Association (ELRA)},
}

@inproceedings{AlgehedCJS17,
  title = {QuickSpec: a lightweight theory exploration tool for programmers (system demonstration)},
  author = {Maximilian Algehed and Koen Claessen and Moa Johansson and Nicholas Smallbone},
  year = {2017},
  doi = {10.1145/3122955.3122960},
  url = {http://doi.acm.org/10.1145/3122955.3122960},
  researchr = {https://researchr.org/publication/AlgehedCJS17},
  cites = {0},
  citedby = {0},
  pages = {38-39},
  booktitle = {Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, Oxford, United Kingdom, September 7-8, 2017},
  editor = {Iavor S. Diatchki},
  publisher = {ACM},
  isbn = {978-1-4503-5182-9},
}

@inproceedings{ClaessenPSHSAW09,
  title = {Finding race conditions in Erlang with QuickCheck and PULSE},
  author = {Koen Claessen and Michal Palka and Nicholas Smallbone and John Hughes and Hans Svensson and Thomas Arts and Ulf Wiger},
  year = {2009},
  doi = {10.1145/1596550.1596574},
  url = {http://doi.acm.org/10.1145/1596550.1596574},
  tags = {QuickCheck},
  researchr = {https://researchr.org/publication/ClaessenPSHSAW09},
  cites = {0},
  citedby = {0},
  pages = {149-160},
  booktitle = {Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, ICFP 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009},
  editor = {Graham Hutton and Andrew P. Tolmach},
  publisher = {ACM},
  isbn = {978-1-60558-332-7},
}

@article{ClaessenH02-0,
  title = {Testing monadic code with QuickCheck},
  author = {Koen Claessen and John Hughes},
  year = {2002},
  doi = {10.1145/636517.636527},
  url = {http://doi.acm.org/10.1145/636517.636527},
  researchr = {https://researchr.org/publication/ClaessenH02-0},
  cites = {0},
  citedby = {0},
  journal = {SIGPLAN Notices},
  volume = {37},
  number = {12},
  pages = {47-59},
}

@inproceedings{BlanchetteC10,
  title = {Generating Counterexamples for Structural Inductions by Exploiting Nonstandard Models},
  author = {Jasmin Christian Blanchette and Koen Claessen},
  year = {2010},
  doi = {10.1007/978-3-642-16242-8_10},
  url = {http://dx.doi.org/10.1007/978-3-642-16242-8_10},
  researchr = {https://researchr.org/publication/BlanchetteC10},
  cites = {0},
  citedby = {0},
  pages = {127-141},
  booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings},
  editor = {Christian G. Fermüller and Andrei Voronkov},
  volume = {6397},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-16241-1},
}

@article{ClaessenDP15,
  title = {Generating constrained random data with uniform distribution},
  author = {Koen Claessen and Jonas Duregård and Michal H. Palka},
  year = {2015},
  doi = {10.1017/S0956796815000143},
  url = {http://dx.doi.org/10.1017/S0956796815000143},
  researchr = {https://researchr.org/publication/ClaessenDP15},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {25},
}

@inproceedings{ClaessenHPSS10,
  title = {Ranking programs using black box testing},
  author = {Koen Claessen and John Hughes and Michal H. Palka and Nicholas Smallbone and Hans Svensson},
  year = {2010},
  doi = {10.1145/1808266.1808282},
  url = {http://doi.acm.org/10.1145/1808266.1808282},
  researchr = {https://researchr.org/publication/ClaessenHPSS10},
  cites = {0},
  citedby = {0},
  pages = {103-110},
  booktitle = {The 5th Workshop on Automation of Software Test, AST 2010, May 3-4, 2010, Cape Town, South Africa},
  editor = {Hong Zhu and W. K. Chan and Christof J. Budnik and Gregory M. Kapfhammer},
  publisher = {ACM},
  isbn = {978-1-60558-970-1},
}

@inproceedings{ClaessenFIPW13,
  title = {Model-Checking Signal Transduction Networks through Decreasing Reachability Sets},
  author = {Koen Claessen and Jasmin Fisher and Samin Ishtiaq and Nir Piterman and Qinsi Wang},
  year = {2013},
  doi = {10.1007/978-3-642-39799-8_5},
  url = {http://dx.doi.org/10.1007/978-3-642-39799-8_5},
  researchr = {https://researchr.org/publication/ClaessenFIPW13},
  cites = {0},
  citedby = {0},
  pages = {85-100},
  booktitle = {Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings},
  editor = {Natasha Sharygina and Helmut Veith},
  volume = {8044},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-39798-1},
}

@article{ClaessenSS03,
  title = {Using Lava to design and verify recursive and periodic sorters},
  author = {Koen Claessen and Mary Sheeran and Satnam Singh},
  year = {2003},
  doi = {10.1007/s10009-002-0089-y},
  url = {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},
}

@article{ClaessenESSVA09,
  title = {SAT-Solving in Practice, with a Tutorial Example from Supervisory Control},
  author = {Koen Claessen and Niklas Eén and Mary Sheeran and Niklas Sörensson and Alexey Voronov and Knut Åkesson},
  year = {2009},
  doi = {10.1007/s10626-009-0081-8},
  url = {http://dx.doi.org/10.1007/s10626-009-0081-8},
  researchr = {https://researchr.org/publication/ClaessenESSVA09},
  cites = {0},
  citedby = {0},
  journal = {Discrete Event Dynamic Systems},
  volume = {19},
  number = {4},
  pages = {495-524},
}

@article{ClaessenP02-0,
  title = {An embedded language approach to teaching hardware compilation},
  author = {Koen Claessen and Gordon J. Pace},
  year = {2002},
  doi = {10.1145/636517.636526},
  url = {http://doi.acm.org/10.1145/636517.636526},
  researchr = {https://researchr.org/publication/ClaessenP02-0},
  cites = {0},
  citedby = {0},
  journal = {SIGPLAN Notices},
  volume = {37},
  number = {12},
  pages = {35-46},
}

@inproceedings{RoordaC06,
  title = {Explaining Symbolic Trajectory Evaluation by Giving It a Faithful Semantics},
  author = {Jan-Willem Roorda and Koen Claessen},
  year = {2006},
  doi = {10.1007/11753728_56},
  url = {http://dx.doi.org/10.1007/11753728_56},
  tags = {semantics},
  researchr = {https://researchr.org/publication/RoordaC06},
  cites = {0},
  citedby = {0},
  pages = {555-566},
  booktitle = {Computer Science - Theory and Applications, First International Computer Science Symposium in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006, Proceedings},
  editor = {Dima Grigoriev and John Harrison and Edward A. Hirsch},
  volume = {3967},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-34166-8},
}

@inproceedings{ArtsCS04,
  title = {Semi-formal Development of a Fault-Tolerant Leader Election Protocol in Erlang},
  author = {Thomas Arts and Koen Claessen and Hans Svensson},
  year = {2004},
  url = {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 = {Formal Approaches to Software Testing, 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers},
  editor = {Jens Grabowski and Brian Nielsen},
  volume = {3395},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-25109-X},
}

@article{SmallboneJCA17,
  title = {Quick specifications for the busy programmer},
  author = {Nicholas Smallbone and Moa Johansson and Koen Claessen and Maximilian Algehed},
  year = {2017},
  doi = {10.1017/S0956796817000090},
  url = {https://doi.org/10.1017/S0956796817000090},
  researchr = {https://researchr.org/publication/SmallboneJCA17},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {27},
}

@inproceedings{AxelssonCSSEP10,
  title = {The Design and Implementation of Feldspar - An Embedded Language for Digital Signal Processing},
  author = {Emil Axelsson and Koen Claessen and Mary Sheeran and Josef Svenningsson and David Engdal and Anders Persson},
  year = {2010},
  doi = {10.1007/978-3-642-24276-2_8},
  url = {http://dx.doi.org/10.1007/978-3-642-24276-2_8},
  researchr = {https://researchr.org/publication/AxelssonCSSEP10},
  cites = {0},
  citedby = {0},
  pages = {121-136},
  booktitle = {Implementation and Application of Functional Languages - 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers},
  editor = {Jurriaan Hage and Marco T. Morazán},
  volume = {6647},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-24275-5},
}

@article{Claessen99,
  title = {A Poor Man s Concurrency Monad},
  author = {Koen Claessen},
  year = {1999},
  researchr = {https://researchr.org/publication/Claessen99},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {9},
  number = {3},
  pages = {313-323},
}

@inproceedings{LutebergetCJ19,
  title = {Automated Drawing of Railway Schematics Using Numerical Optimization in SAT},
  author = {Bjørnar Luteberget and Koen Claessen and Christian Johansen},
  year = {2019},
  doi = {10.1007/978-3-030-34968-4_19},
  url = {https://doi.org/10.1007/978-3-030-34968-4_19},
  researchr = {https://researchr.org/publication/LutebergetCJ19},
  cites = {0},
  citedby = {0},
  pages = {341-359},
  booktitle = {Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings},
  editor = {Wolfgang Ahrendt and Silvia Lizeth Tapia Tarifa},
  volume = {11918},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-030-34968-4},
}

@inproceedings{BernardyC13,
  title = {Efficient divide-and-conquer parsing of practical context-free languages},
  author = {Jean-Philippe Bernardy and Koen Claessen},
  year = {2013},
  doi = {10.1145/2500365.2500576},
  url = {http://doi.acm.org/10.1145/2500365.2500576},
  researchr = {https://researchr.org/publication/BernardyC13},
  cites = {0},
  citedby = {0},
  pages = {111-122},
  booktitle = {ACM SIGPLAN International Conference on Functional Programming, ICFP'13, Boston, MA, USA - September 25 - 27, 2013},
  editor = {Greg Morrisett and Tarmo Uustalu},
  publisher = {ACM},
  isbn = {978-1-4503-2326-0},
}

@inproceedings{ClaessenS08,
  title = {Finding Counter Examples in Induction Proofs},
  author = {Koen Claessen and Hans Svensson},
  year = {2008},
  doi = {10.1007/978-3-540-79124-9_5},
  url = {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 = {Tests and Proofs, Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings},
  editor = {Bernhard Beckert and Reiner Hähnle},
  volume = {4966},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-79123-2},
}

@inproceedings{ClaessenL09,
  title = {Automated Inference of Finite Unsatisfiability},
  author = {Koen Claessen and Ann Lillieström},
  year = {2009},
  doi = {10.1007/978-3-642-02959-2_29},
  url = {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 = {Automated Deduction - CADE-22, 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings},
  editor = {Renate A. Schmidt},
  volume = {5663},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-02958-5},
}

@inproceedings{ClaessenR15,
  title = {SAT Modulo Intuitionistic Implications},
  author = {Koen Claessen and Dan Rosén},
  year = {2015},
  doi = {10.1007/978-3-662-48899-7_43},
  url = {http://dx.doi.org/10.1007/978-3-662-48899-7_43},
  researchr = {https://researchr.org/publication/ClaessenR15},
  cites = {0},
  citedby = {0},
  pages = {622-637},
  booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings},
  editor = {Martin Davis and Ansgar Fehnker and Annabelle McIver and Andrei Voronkov},
  volume = {9450},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-662-48898-0},
}

@inproceedings{ClaessenJRS13,
  title = {Automating Inductive Proofs Using Theory Exploration},
  author = {Koen Claessen and Moa Johansson and Dan Rosén and Nicholas Smallbone},
  year = {2013},
  doi = {10.1007/978-3-642-38574-2_27},
  url = {http://dx.doi.org/10.1007/978-3-642-38574-2_27},
  researchr = {https://researchr.org/publication/ClaessenJRS13},
  cites = {0},
  citedby = {0},
  pages = {392-406},
  booktitle = {Automated Deduction - CADE-24 - 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings},
  editor = {Maria Paola Bonacina},
  volume = {7898},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-38573-5},
}

@article{ClaessenP02,
  title = {An embedded language approach to teaching hardware compilation},
  author = {Koen Claessen and Gordon J. Pace},
  year = {2002},
  doi = {10.1145/636517.636526},
  url = {http://doi.acm.org/10.1145/636517.636526},
  tags = {teaching, systematic-approach},
  researchr = {https://researchr.org/publication/ClaessenP02},
  cites = {0},
  citedby = {0},
  journal = {SIGPLAN Notices},
  volume = {37},
  number = {12},
  pages = {35-46},
}

@article{ClaessenL00,
  title = {Typed Logical Variables in Haskell},
  author = {Koen Claessen and Peter Ljunglöf},
  year = {2000},
  url = {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 = {Electronic Notes in Theoretical Computer Science},
  volume = {41},
  number = {1},
  pages = {37},
}

@inproceedings{EkbladC14,
  title = {A seamless, client-centric programming model for type safe web applications},
  author = {Anton Ekblad and Koen Claessen},
  year = {2014},
  doi = {10.1145/2633357.2633367},
  url = {http://doi.acm.org/10.1145/2633357.2633367},
  researchr = {https://researchr.org/publication/EkbladC14},
  cites = {0},
  citedby = {0},
  pages = {79-89},
  booktitle = {Proceedings of the 2014 ACM SIGPLAN symposium on Haskell, Gothenburg, Sweden, September 4-5, 2014},
  editor = {Wouter Swierstra},
  publisher = {ACM},
  isbn = {978-1-4503-3041-1},
}

@article{SvenssonCS10,
  title = {GPGPU kernel implementation and refinement using Obsidian},
  author = {Joel Svensson and Koen Claessen and Mary Sheeran},
  year = {2010},
  doi = {10.1016/j.procs.2010.04.231},
  url = {http://dx.doi.org/10.1016/j.procs.2010.04.231},
  tags = {refinement},
  researchr = {https://researchr.org/publication/SvenssonCS10},
  cites = {0},
  citedby = {0},
  journal = {Procedia CS},
  volume = {1},
  number = {1},
  pages = {2065-2074},
}

@inproceedings{SutcliffeSCB12,
  title = {The TPTP Typed First-Order Form with Arithmetic},
  author = {Geoff Sutcliffe and Stephan Schulz and Koen Claessen and Peter Baumgartner},
  year = {2012},
  doi = {10.1007/978-3-642-28717-6_32},
  url = {http://dx.doi.org/10.1007/978-3-642-28717-6_32},
  researchr = {https://researchr.org/publication/SutcliffeSCB12},
  cites = {0},
  citedby = {0},
  pages = {406-419},
  booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings},
  editor = {Nikolaj Bjørner and Andrei Voronkov},
  volume = {7180},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-28716-9},
}

@inproceedings{Claessen07,
  title = {A Coverage Analysis for Safety Property Lists},
  author = {Koen Claessen},
  year = {2007},
  doi = {10.1109/FMCAD.2007.1},
  url = {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 = {Formal Methods in Computer-Aided Design, 7th International Conference, FMCAD 2007, Austin, Texas, USA, November 11-14, 2007, Proceedings},
  publisher = {IEEE Computer Society},
}

@inproceedings{BjesseC00,
  title = {SAT-Based Verification without State Space Traversal},
  author = {Per Bjesse and Koen Claessen},
  year = {2000},
  url = {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 = {Formal Methods in Computer-Aided Design, Third International Conference, FMCAD 2000, Austin, Texas, USA, November 1-3, 2000, Proceedings},
  editor = {Warren A. Hunt Jr. and Steven D. Johnson},
  volume = {1954},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-41219-0},
}

@inproceedings{ClaessenSS12,
  title = {Expressive array constructs in an embedded GPU kernel programming language},
  author = {Koen Claessen and Mary Sheeran and Joel Svensson},
  year = {2012},
  doi = {10.1145/2103736.2103740},
  url = {http://doi.acm.org/10.1145/2103736.2103740},
  researchr = {https://researchr.org/publication/ClaessenSS12},
  cites = {0},
  citedby = {0},
  pages = {21-30},
  booktitle = {Proceedings of the POPL 2012 Workshop on Declarative Aspects of Multicore Programming, DAMP 2012, Philadelphia, PA, USA, Saturday, January 28, 2012},
  editor = {Umut A. Acar and Vítor Santos Costa},
  publisher = {ACM},
  isbn = {978-1-4503-1117-5},
}

@inproceedings{ClaessenSS01,
  title = {The Design and Verification of a Sorter Core},
  author = {Koen Claessen and Mary Sheeran and Satnam Singh},
  year = {2001},
  url = {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 = {Correct Hardware Design and Verification Methods, 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001, Proceedings},
  editor = {Tiziana Margaria and Thomas F. Melham},
  volume = {2144},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-42541-1},
}

@inproceedings{JohanssonRSC14,
  title = {Hipster: Integrating Theory Exploration in a Proof Assistant},
  author = {Moa Johansson and Dan Rosén and Nicholas Smallbone and Koen Claessen},
  year = {2014},
  doi = {10.1007/978-3-319-08434-3_9},
  url = {http://dx.doi.org/10.1007/978-3-319-08434-3_9},
  researchr = {https://researchr.org/publication/JohanssonRSC14},
  cites = {0},
  citedby = {0},
  pages = {108-122},
  booktitle = {Intelligent Computer Mathematics - International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings},
  editor = {Stephen M. Watt and James H. Davenport and Alan P. Sexton and Petr Sojka and Josef Urban},
  volume = {8543},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-319-08433-6},
}

@inproceedings{BjesseCSS98,
  title = {Lava: Hardware Design in Haskell},
  author = {Per Bjesse and Koen Claessen and Mary Sheeran and Satnam Singh},
  year = {1998},
  doi = {10.1145/289423.289440},
  url = {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 = {Proceedings of the third ACM SIGPLAN international conference on Functional programming},
  editor = {Matthias Felleisen and Paul Hudak and Christian Queinnec},
  address = {Baltimore, Maryland, United States},
  publisher = {ACM},
}

@inproceedings{AxelssonC13,
  title = {Using circular programs for higher-order syntax: functional pearl},
  author = {Emil Axelsson and Koen Claessen},
  year = {2013},
  doi = {10.1145/2500365.2500614},
  url = {http://doi.acm.org/10.1145/2500365.2500614},
  researchr = {https://researchr.org/publication/AxelssonC13},
  cites = {0},
  citedby = {0},
  pages = {257-262},
  booktitle = {ACM SIGPLAN International Conference on Functional Programming, ICFP'13, Boston, MA, USA - September 25 - 27, 2013},
  editor = {Greg Morrisett and Tarmo Uustalu},
  publisher = {ACM},
  isbn = {978-1-4503-2326-0},
}

@inproceedings{VytiniotisJCR13,
  title = {HALO: haskell to logic through denotational semantics},
  author = {Dimitrios Vytiniotis and Simon L. Peyton Jones and Koen Claessen and Dan Rosén},
  year = {2013},
  doi = {10.1145/2429069.2429121},
  url = {http://doi.acm.org/10.1145/2429069.2429121},
  researchr = {https://researchr.org/publication/VytiniotisJCR13},
  cites = {0},
  citedby = {0},
  pages = {431-442},
  booktitle = {The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013},
  editor = {Roberto Giacobazzi and Radhia Cousot},
  publisher = {ACM},
  isbn = {978-1-4503-1832-7},
}

@inproceedings{PalkaCRH11,
  title = {Testing an optimising compiler by generating random lambda terms},
  author = {Michal H. Palka and Koen Claessen and Alejandro Russo and John Hughes},
  year = {2011},
  doi = {10.1145/1982595.1982615},
  url = {http://doi.acm.org/10.1145/1982595.1982615},
  researchr = {https://researchr.org/publication/PalkaCRH11},
  cites = {0},
  citedby = {0},
  pages = {91-97},
  booktitle = {Proceedings of the 6th International Workshop on Automation of Software Test, AST 2011, Waikiki, Honolulu, HI, USA, May 23-24, 2011},
  editor = {Antonia Bertolino and Howard Foster and J. Jenny Li},
  publisher = {ACM},
  isbn = {978-1-4503-0592-1},
}

@article{Claessen04,
  title = {Safety Property Verification of Cyclic Synchronous Circuits},
  author = {Koen Claessen},
  year = {2004},
  doi = {10.1016/j.entcs.2003.05.004},
  url = {http://dx.doi.org/10.1016/j.entcs.2003.05.004},
  researchr = {https://researchr.org/publication/Claessen04},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {88},
  pages = {55-69},
}

@inproceedings{Claessen97,
  title = {Graphs in Compilation},
  author = {Koen Claessen},
  year = {1997},
  tags = {graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/Claessen97},
  cites = {0},
  citedby = {0},
  pages = {309},
  booktitle = {ICFP},
}

@inproceedings{KaracsonyC16,
  title = {Using fusion to enable late design decisions for pipelined computations},
  author = {Máté Karácsony and Koen Claessen},
  year = {2016},
  doi = {10.1145/2975991.2975993},
  url = {http://doi.acm.org/10.1145/2975991.2975993},
  researchr = {https://researchr.org/publication/KaracsonyC16},
  cites = {0},
  citedby = {0},
  pages = {9-16},
  booktitle = {Proceedings of the 5th International Workshop on Functional High-Performance Computing, FHPC@ICFP 2016, Nara, Japan, September 22, 2016},
  editor = {David Duke and Yukiyoshi Kameyama},
  publisher = {ACM},
  isbn = {978-1-4503-4433-3},
}

@inproceedings{ClaessenS12,
  title = {A liveness checking algorithm that counts},
  author = {Koen Claessen and Niklas Sörensson},
  year = {2012},
  url = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6462555},
  researchr = {https://researchr.org/publication/ClaessenS12},
  cites = {0},
  citedby = {0},
  pages = {52-59},
  booktitle = {Formal Methods in Computer-Aided Design, FMCAD 2012, Cambridge, UK, October 22-25, 2012},
  editor = {Gianpiero Cabodi and Satnam Singh},
  publisher = {IEEE},
}

@inproceedings{PloegC15,
  title = {Practical principled FRP: forget the past, change the future, FRPNow!},
  author = {Atze van der Ploeg and Koen Claessen},
  year = {2015},
  doi = {10.1145/2784731.2784752},
  url = {http://doi.acm.org/10.1145/2784731.2784752},
  researchr = {https://researchr.org/publication/PloegC15},
  cites = {0},
  citedby = {0},
  pages = {302-314},
  booktitle = {Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, ICFP 2015, Vancouver, BC, Canada, September 1-3, 2015},
  editor = {Kathleen Fisher and John H. Reppy},
  publisher = {ACM},
  isbn = {978-1-4503-3669-7},
}

@inproceedings{ClaessenSH10,
  title = {QuickSpec: Guessing Formal Specifications Using Testing},
  author = {Koen Claessen and Nicholas Smallbone and John Hughes},
  year = {2010},
  doi = {10.1007/978-3-642-13977-2_3},
  url = {http://dx.doi.org/10.1007/978-3-642-13977-2_3},
  tags = {testing},
  researchr = {https://researchr.org/publication/ClaessenSH10},
  cites = {0},
  citedby = {0},
  pages = {6-21},
  booktitle = {Tests and Proofs, 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010. Proceedings},
  editor = {Gordon Fraser and Angelo Gargantini},
  volume = {6143},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-13976-5},
}

@inproceedings{AronssonCSS19,
  title = {Safety at speed: in-place array algorithms from pure functional programs by safely re-using storage},
  author = {Markus Aronsson and Koen Claessen and Mary Sheeran and Nicholas Smallbone},
  year = {2019},
  doi = {10.1145/3331553.3342616},
  url = {https://doi.org/10.1145/3331553.3342616},
  researchr = {https://researchr.org/publication/AronssonCSS19},
  cites = {0},
  citedby = {0},
  pages = {34-46},
  booktitle = {Proceedings of the 8th ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing, FHPNC@ICFP 2019, Berlin, Germany, August 18, 2019},
  editor = {Marco Zocca},
  publisher = {ACM},
  isbn = {978-1-4503-6814-8},
}

@inproceedings{BernardyJC10,
  title = {Testing Polymorphic Properties},
  author = {Jean-Philippe Bernardy and Patrik Jansson and Koen Claessen},
  year = {2010},
  doi = {10.1007/978-3-642-11957-6_8},
  url = {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 = {Programming Languages and Systems, 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings},
  editor = {Andrew D. Gordon},
  volume = {6012},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-11956-9},
}

@inproceedings{ClaessenRCHW02,
  title = {Testing and Tracing Lazy Functional Programs Using QuickCheck and Hat},
  author = {Koen Claessen and Colin Runciman and Olaf Chitil and John Hughes and Malcolm Wallace},
  year = {2002},
  url = {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 = {Advanced Functional Programming, 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures},
  editor = {Johan  Jeuring and Simon L. Peyton Jones},
  volume = {2638},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-40132-6},
}

@inproceedings{ClaessenKKL17,
  title = {A Supervisory Control Algorithm Based on Property-Directed Reachability},
  author = {Koen Claessen and Jonatan Kilhamn and Laura Kovács and Bengt Lennartson},
  year = {2017},
  doi = {10.1007/978-3-319-70389-3_8},
  url = {https://doi.org/10.1007/978-3-319-70389-3_8},
  researchr = {https://researchr.org/publication/ClaessenKKL17},
  cites = {0},
  citedby = {0},
  pages = {115-130},
  booktitle = {Hardware and Software: Verification and Testing - 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings},
  editor = {Ofer Strichman and Rachel Tzoref-Brill},
  volume = {10629},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-319-70389-3},
}

@phdthesis{basesearch-223,
  title = {Embedded Languages for Describing and Verifying Hardware},
  author = {Koen Claessen},
  year = {2001},
  url = {https://www.base-search.net/Record/2d9322300af18e47297dc8c2ce464eb44a2c12b084c113f4661cf2b93579e817},
  note = {base-search.net (ftchalmersuniv:oai:publications.lib.chalmers.se:636)},
  researchr = {https://researchr.org/publication/basesearch-223},
  cites = {0},
  citedby = {0},
  school = {Chalmers University of Technology, Gothenburg, Sweden},
}

@inproceedings{ClaessenS05,
  title = {A semantics for distributed Erlang},
  author = {Koen Claessen and Hans Svensson},
  year = {2005},
  doi = {10.1145/1088361.1088376},
  url = {http://doi.acm.org/10.1145/1088361.1088376},
  tags = {semantics},
  researchr = {https://researchr.org/publication/ClaessenS05},
  cites = {0},
  citedby = {0},
  pages = {78-87},
  booktitle = {Proceedings of the 2005 ACM SIGPLAN Workshop on Erlang, Tallinn, Estonia, September 26-28, 2005},
  editor = {Konstantinos F. Sagonas and Joe Armstrong},
  publisher = {ACM},
  isbn = {1-59593-066-3},
}

@inproceedings{Claessen11,
  title = {The Anatomy of Equinox - An Extensible Automated Reasoning Tool for First-Order Logic and Beyond - (Talk Abstract)},
  author = {Koen Claessen},
  year = {2011},
  doi = {10.1007/978-3-642-22438-6_1},
  url = {http://dx.doi.org/10.1007/978-3-642-22438-6_1},
  tags = {logic},
  researchr = {https://researchr.org/publication/Claessen11},
  cites = {0},
  citedby = {0},
  pages = {1-3},
  booktitle = {Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 - August 5, 2011. Proceedings},
  editor = {Nikolaj Bjørner and Viorica Sofronie-Stokkermans},
  volume = {6803},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-22437-9},
}

@inproceedings{ClaessenJRS15,
  title = {TIP: Tons of Inductive Problems},
  author = {Koen Claessen and Moa Johansson and Dan Rosén and Nicholas Smallbone},
  year = {2015},
  doi = {10.1007/978-3-319-20615-8_23},
  url = {http://dx.doi.org/10.1007/978-3-319-20615-8_23},
  researchr = {https://researchr.org/publication/ClaessenJRS15},
  cites = {0},
  citedby = {0},
  pages = {333-337},
  booktitle = {Intelligent Computer Mathematics - International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings},
  editor = {Manfred Kerber and Jacques Carette and Cezary Kaliszyk and Florian Rabe and Volker Sorge},
  volume = {9150},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-319-20614-1},
}

@inproceedings{ClaessenL16,
  title = {Alternative Treatments of Common Binary Relations in First-order Automated Reasoning},
  author = {Koen Claessen and Ann Lillieström},
  year = {2016},
  url = {http://ceur-ws.org/Vol-1635/paper-02.pdf},
  researchr = {https://researchr.org/publication/ClaessenL16},
  cites = {0},
  citedby = {0},
  pages = {11-23},
  booktitle = {Proceedings of the 5th Workshop on Practical Aspects of Automated Reasoning co-located with International Joint Conference on Automated Reasoning (IJCAR 2016), Coimbra, Portugal, July 2nd, 2016},
  editor = {Pascal Fontaine and Stephan Schulz 0001 and Josef Urban},
  volume = {1635},
  series = {CEUR Workshop Proceedings},
  publisher = {CEUR-WS.org},
}

@inproceedings{SutcliffeSCG06,
  title = {Using the TPTP Language for Writing Derivations and Finite Interpretations},
  author = {Geoff Sutcliffe and Stephan Schulz and Koen Claessen and Allen Van Gelder},
  year = {2006},
  doi = {10.1007/11814771_7},
  url = {http://dx.doi.org/10.1007/11814771_7},
  tags = {writing},
  researchr = {https://researchr.org/publication/SutcliffeSCG06},
  cites = {0},
  citedby = {0},
  pages = {67-81},
  booktitle = {Automated Reasoning, Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
  editor = {Ulrich Furbach and Natarajan Shankar},
  volume = {4130},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-37187-7},
}

@inproceedings{LutebergetCJ18,
  title = {Design-Time Railway Capacity Verification using SAT modulo Discrete Event Simulation},
  author = {Bjørnar Luteberget and Koen Claessen and Christian Johansen},
  year = {2018},
  doi = {10.23919/FMCAD.2018.8603003},
  url = {https://doi.org/10.23919/FMCAD.2018.8603003},
  researchr = {https://researchr.org/publication/LutebergetCJ18},
  cites = {0},
  citedby = {0},
  pages = {1-9},
  booktitle = {2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30 - November 2, 2018},
  editor = {Nikolaj Bjørner and Arie Gurfinkel},
  publisher = {IEEE},
  isbn = {978-0-9835678-8-2},
}

@inproceedings{SvenssonSC08,
  title = {Obsidian: A Domain Specific Embedded Language for Parallel Programming of Graphics Processors},
  author = {Joel Svensson and Mary Sheeran and Koen Claessen},
  year = {2008},
  doi = {10.1007/978-3-642-24452-0_9},
  url = {http://dx.doi.org/10.1007/978-3-642-24452-0_9},
  researchr = {https://researchr.org/publication/SvenssonSC08},
  cites = {0},
  citedby = {0},
  pages = {156-173},
  booktitle = {Implementation and Application of Functional Languages - 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papers},
  editor = {Sven-Bodo Scholz and Olaf Chitil},
  volume = {5836},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-24451-3},
}

@inproceedings{ClaessenR06,
  title = {An Introduction to Symbolic Trajectory Evaluation},
  author = {Koen Claessen and Jan-Willem Roorda},
  year = {2006},
  doi = {10.1007/11757283_3},
  url = {http://dx.doi.org/10.1007/11757283_3},
  researchr = {https://researchr.org/publication/ClaessenR06},
  cites = {0},
  citedby = {0},
  pages = {56-77},
  booktitle = {Formal Methods for Hardware Verification, 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures},
  editor = {Marco Bernardo and Alessandro Cimatti},
  volume = {3965},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-34304-2},
}

@inproceedings{ClaessenH00,
  title = {{QuickCheck}: a lightweight tool for random testing of {Haskell} programs},
  author = {Koen Claessen and John Hughes},
  year = {2000},
  doi = {10.1145/351240.351266},
  url = {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},
}

@inproceedings{ClaessenP13,
  title = {Splittable pseudorandom number generators using cryptographic hashing},
  author = {Koen Claessen and Michal Palka},
  year = {2013},
  doi = {10.1145/2503778.2503784},
  url = {http://doi.acm.org/10.1145/2503778.2503784},
  researchr = {https://researchr.org/publication/ClaessenP13},
  cites = {0},
  citedby = {0},
  pages = {47-58},
  booktitle = {Proceedings of the 2013 ACM SIGPLAN Symposium on Haskell, Boston, MA, USA, September 23-24, 2013},
  editor = {Chung-chieh Shan},
  publisher = {ACM},
  isbn = {978-1-4503-2383-3},
}

@inproceedings{PalkaAST2011,
  title = {Testing an optimising compiler by generating random lambda terms},
  author = {Michal H. Palka and Koen Claessen and Russo, Alejandro and John Hughes},
  year = {2011},
  url = {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},
  series = {AST '11},
  address = {New York, NY, USA},
  publisher = {ACM},
  isbn = {978-1-4503-0592-1},
}

@inproceedings{FetscherCPHF15,
  title = {Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System},
  author = {Burke Fetscher and Koen Claessen and Michal H. Palka and John Hughes and Robby Findler},
  year = {2015},
  doi = {10.1007/978-3-662-46669-8_16},
  url = {http://dx.doi.org/10.1007/978-3-662-46669-8_16},
  researchr = {https://researchr.org/publication/FetscherCPHF15},
  cites = {0},
  citedby = {0},
  pages = {383-405},
  booktitle = {Programming Languages and Systems - 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings},
  editor = {Jan Vitek},
  volume = {9032},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-662-46668-1},
}

@inproceedings{Claessen09,
  title = {The Twilight Zone: From Testing to Formal Specifications and Back Again},
  author = {Koen Claessen},
  year = {2009},
  doi = {10.1007/978-3-642-10672-9_1},
  url = {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 = {Programming Languages and Systems, 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009. Proceedings},
  editor = {Zhenjiang Hu},
  volume = {5904},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-10671-2},
}

@inproceedings{XuJC09,
  title = {Static contract checking for Haskell},
  author = {Dana N. Xu and Simon L. Peyton Jones and Koen Claessen},
  year = {2009},
  doi = {10.1145/1480881.1480889},
  url = {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 = {Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2009, Savannah, GA, USA, January 21-23, 2009},
  editor = {Zhong Shao and Benjamin C. Pierce},
  publisher = {ACM},
  isbn = {978-1-60558-379-2},
}

@inproceedings{AxelssonCS05,
  title = {Wired: Wire-Aware Circuit Design},
  author = {Emil Axelsson and Koen Claessen and Mary Sheeran},
  year = {2005},
  doi = {10.1007/11560548_4},
  url = {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 = {Correct Hardware Design and Verification Methods, 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings},
  editor = {Dominique Borrione and Wolfgang J. Paul},
  volume = {3725},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-29105-9},
}

@inproceedings{ClaessenS99,
  title = {Observable Sharing for Functional Circuit Description},
  author = {Koen Claessen and David Sands},
  year = {1999},
  url = {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 = {Advances in Computing Science - ASIAN 99, 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999, Proceedings},
  editor = {P. S. Thiagarajan and Roland H. C. Yap},
  volume = {1742},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-66856-X},
}

@article{EddelandCSRMA20,
  title = {Enhancing Temporal Logic Falsification With Specification Transformation and Valued Booleans},
  author = {Johan Lidén Eddeland and Koen Claessen and Nicholas Smallbone and Zahra Ramezani and Sajed Miremadi and Knut Åkesson},
  year = {2020},
  doi = {10.1109/TCAD.2020.2966480},
  url = {https://doi.org/10.1109/TCAD.2020.2966480},
  researchr = {https://researchr.org/publication/EddelandCSRMA20},
  cites = {0},
  citedby = {0},
  journal = {IEEE Trans. on CAD of Integrated Circuits and Systems},
  volume = {39},
  number = {12},
  pages = {5247-5260},
}

@inproceedings{BransenBCD15,
  title = {Linearly Ordered Attribute Grammar Scheduling Using SAT-Solving},
  author = {Jeroen Bransen and L. Thomas van Binsbergen and Koen Claessen and Atze Dijkstra},
  year = {2015},
  doi = {10.1007/978-3-662-46681-0_24},
  url = {http://dx.doi.org/10.1007/978-3-662-46681-0_24},
  researchr = {https://researchr.org/publication/BransenBCD15},
  cites = {0},
  citedby = {0},
  pages = {289-303},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings},
  editor = {Christel Baier and Cesare Tinelli},
  volume = {9035},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-662-46680-3},
}

@inproceedings{RussoCH08,
  title = {A library for light-weight information-flow security in haskell},
  author = {Alejandro Russo and Koen Claessen and John Hughes},
  year = {2008},
  doi = {10.1145/1411286.1411289},
  url = {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 = {Proceedings of the 1st ACM SIGPLAN Symposium on Haskell, Haskell 2008, Victoria, BC, Canada, 25 September 2008},
  editor = {Andy Gill},
  publisher = {ACM},
  isbn = {978-1-60558-064-7},
}

@inproceedings{ThonnessenSFCK19,
  title = {Testing Safety PLCs Using QuickCheck},
  author = {David Thönnessen and Nick Smallbone and Martin Fabian and Koen Claessen and Stefan Kowalewski},
  year = {2019},
  doi = {10.1109/COASE.2019.8843227},
  url = {https://doi.org/10.1109/COASE.2019.8843227},
  researchr = {https://researchr.org/publication/ThonnessenSFCK19},
  cites = {0},
  citedby = {0},
  pages = {1-6},
  booktitle = {15th IEEE International Conference on Automation Science and Engineering, CASE 2019, Vancouver, BC, Canada, August 22-26, 2019},
  publisher = {IEEE},
  isbn = {978-1-7281-0356-3},
}

@inproceedings{AxelssonCDHKLPSSV10,
  title = {Feldspar: A domain specific language for digital signal processing algorithms},
  author = {Emil Axelsson and Koen Claessen and Gergely Dévai and Z. Horváth and Karin Keijzer and Bo Lyckegård and Anders Persson and Mary Sheeran and Josef Svenningsson and A. Vajda},
  year = {2010},
  doi = {10.1109/MEMCOD.2010.5558637},
  url = {http://dx.doi.org/10.1109/MEMCOD.2010.5558637},
  tags = {domain-specific language},
  researchr = {https://researchr.org/publication/AxelssonCDHKLPSSV10},
  cites = {0},
  citedby = {0},
  pages = {169-178},
  booktitle = {8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), Grenoble, France, 26-28 July 2010},
  publisher = {IEEE Computer Society},
}

@inproceedings{ValliappanKRC20,
  title = {Towards secure IoT programming in Haskell},
  author = {Nachiappan Valliappan and Robert Krook and Alejandro Russo and Koen Claessen},
  year = {2020},
  doi = {10.1145/3406088.3409027},
  url = {https://doi.org/10.1145/3406088.3409027},
  researchr = {https://researchr.org/publication/ValliappanKRC20},
  cites = {0},
  citedby = {0},
  pages = {136-150},
  booktitle = {Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell, Haskell@ICFP 2020, Virtual Event, USA, August 7, 2020},
  editor = {Tom Schrijvers},
  publisher = {ACM},
  isbn = {978-1-4503-8050-8},
}

@article{Claessen04:0,
  title = {Parallel Parsing Processes},
  author = {Koen Claessen},
  year = {2004},
  doi = {10.1017/S0956796804005192},
  url = {http://dx.doi.org/10.1017/S0956796804005192},
  tags = {parsing},
  researchr = {https://researchr.org/publication/Claessen04%3A0},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {14},
  number = {6},
  pages = {741-757},
}

@article{ClaessenH02,
  title = {Testing monadic code with QuickCheck},
  author = {Koen Claessen and John Hughes},
  year = {2002},
  doi = {10.1145/636517.636527},
  url = {http://doi.acm.org/10.1145/636517.636527},
  tags = {testing, QuickCheck},
  researchr = {https://researchr.org/publication/ClaessenH02},
  cites = {0},
  citedby = {0},
  journal = {SIGPLAN Notices},
  volume = {37},
  number = {12},
  pages = {47-59},
}

@inproceedings{ClaessenJRS12,
  title = {HipSpec: Automating Inductive Proofs of Program Properties},
  author = {Koen Claessen and Moa Johansson and Dan Rosén and Nicholas Smallbone},
  year = {2012},
  url = {http://www.easychair.org/publications/?page=1515293356},
  researchr = {https://researchr.org/publication/ClaessenJRS12},
  cites = {0},
  citedby = {0},
  pages = {16-25},
  booktitle = {ATx'12/WInG'12: Joint Proceedings of the Workshops on Automated Theory eXploration and on Invariant Generation, Manchester, UK, June 2012},
  editor = {Jacques D. Fleuriot and Peter Höfner and Annabelle McIver and Alan Smaill},
  volume = {17},
  series = {EPiC Series},
  publisher = {EasyChair},
}

@inproceedings{ClaessenVM97,
  title = {Structuring Graphical Paradigms in TkGofer},
  author = {Koen Claessen and Ton Vullinghs and Erik Meijer},
  year = {1997},
  researchr = {https://researchr.org/publication/ClaessenVM97},
  cites = {0},
  citedby = {0},
  pages = {251-262},
  booktitle = {ICFP},
}

@inproceedings{RoordaC06:0,
  title = {SAT-Based Assistance in Abstraction Refinement for Symbolic Trajectory Evaluation},
  author = {Jan-Willem Roorda and Koen Claessen},
  year = {2006},
  doi = {10.1007/11817963_19},
  url = {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 = {Computer Aided Verification, 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
  editor = {Thomas Ball and Robert B. Jones},
  volume = {4144},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-37406-X},
}

@article{BernardyC15,
  title = {Efficient parallel and incremental parsing of practical context-free languages},
  author = {Jean-Philippe Bernardy and Koen Claessen},
  year = {2015},
  doi = {10.1017/S0956796815000131},
  url = {http://dx.doi.org/10.1017/S0956796815000131},
  researchr = {https://researchr.org/publication/BernardyC15},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {25},
}

@inproceedings{ClaessenLS11,
  title = {Sort It Out with Monotonicity - Translating between Many-Sorted and Unsorted First-Order Logic},
  author = {Koen Claessen and Ann Lillieström and Nicholas Smallbone},
  year = {2011},
  doi = {10.1007/978-3-642-22438-6_17},
  url = {http://dx.doi.org/10.1007/978-3-642-22438-6_17},
  tags = {translation, logic},
  researchr = {https://researchr.org/publication/ClaessenLS11},
  cites = {0},
  citedby = {0},
  pages = {207-221},
  booktitle = {Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 - August 5, 2011. Proceedings},
  editor = {Nikolaj Bjørner and Viorica Sofronie-Stokkermans},
  volume = {6803},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-22437-9},
}

@inproceedings{LilliestromCS19,
  title = {Inferring morphological rules from small examples using 0/1 linear programming},
  author = {Ann Lillieström and Koen Claessen and Nicholas Smallbone},
  year = {2019},
  url = {https://aclweb.org/anthology/W19-6118/},
  researchr = {https://researchr.org/publication/LilliestromCS19},
  cites = {0},
  citedby = {0},
  pages = {164-174},
  booktitle = {Proceedings of the 22nd Nordic Conference on Computational Linguistics, NoDaLiDa 2019, Turku, Finland, September 30 - October 2, 2019},
  editor = {Mareike Hartmann and Barbara Plank},
  publisher = {Linköping University Electronic Press},
  isbn = {978-91-7929-995-8},
}

@inproceedings{PloegCB16,
  title = {The Key monad: type-safe unconstrained dynamic typing},
  author = {Atze van der Ploeg and Koen Claessen and Pablo Buiras},
  year = {2016},
  doi = {10.1145/2976002.2976008},
  url = {http://doi.acm.org/10.1145/2976002.2976008},
  researchr = {https://researchr.org/publication/PloegCB16},
  cites = {0},
  citedby = {0},
  pages = {146-157},
  booktitle = {Proceedings of the 9th International Symposium on Haskell, Haskell 2016, Nara, Japan, September 22-23, 2016},
  editor = {Geoffrey Mainland},
  publisher = {ACM},
  isbn = {978-1-4503-4434-0},
}

@inproceedings{ClaessenS18,
  title = {Efficient Encodings of First-Order Horn Formulas in Equational Logic},
  author = {Koen Claessen and Nicholas Smallbone},
  year = {2018},
  doi = {10.1007/978-3-319-94205-6_26},
  url = {https://doi.org/10.1007/978-3-319-94205-6_26},
  researchr = {https://researchr.org/publication/ClaessenS18},
  cites = {0},
  citedby = {0},
  pages = {388-404},
  booktitle = {Automated Reasoning - 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings},
  editor = {Didier Galmiche and Stephan Schulz 0001 and Roberto Sebastiani},
  volume = {10900},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-319-94205-6},
}

@inproceedings{RoordaC05,
  title = {A New SAT-Based Algorithm for Symbolic Trajectory Evaluation},
  author = {Jan-Willem Roorda and Koen Claessen},
  year = {2005},
  doi = {10.1007/11560548_19},
  url = {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 = {Correct Hardware Design and Verification Methods, 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings},
  editor = {Dominique Borrione and Wolfgang J. Paul},
  volume = {3725},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-29105-9},
}
@proceedings{haskell-2011,
  title = {Proceedings of the 4th ACM SIGPLAN Symposium on Haskell, Haskell 2011, Tokyo, Japan, 22 September 2011},
  year = {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 = {Koen Claessen},
  publisher = {ACM},
  isbn = {978-1-4503-0860-1},
}

@proceedings{plpv-2012,
  title = {Proceedings of the sixth workshop on Programming Languages meets Program Verification, PLPV 2012, Philadelphia, PA, USA, January 24, 2012},
  year = {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 = {Koen Claessen and Nikhil Swamy},
  publisher = {ACM},
  isbn = {978-1-4503-1125-0},
}