Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "Koen Claessen"
download as .bib file
@article{DBLP:journals/csysl/GonzalezCRWO24,
author = {Rodrigo A. Gonz{\'{a}}lez and
Koen Classens and
Cristian R. Rojas and
James S. Welsh and
Tom Oomen},
title = {Statistical Analysis of Block Coordinate Descent Algorithms for Linear
Continuous-Time System Identification},
journal = {{IEEE} Control. Syst. Lett.},
volume = {8},
pages = {388--393},
year = {2024},
url = {https://doi.org/10.1109/LCSYS.2024.3389939},
doi = {10.1109/LCSYS.2024.3389939},
timestamp = {Fri, 17 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csysl/GonzalezCRWO24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2401-01263,
author = {Rodrigo A. Gonz{\'{a}}lez and
Koen Classens and
Cristian R. Rojas and
James S. Welsh and
Tom Oomen},
title = {Identification of Additive Continuous-time Systems in Open and Closed-loop},
journal = {CoRR},
volume = {abs/2401.01263},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.01263},
doi = {10.48550/ARXIV.2401.01263},
eprinttype = {arXiv},
eprint = {2401.01263},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-01263.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2404-09071,
author = {Rodrigo A. Gonz{\'{a}}lez and
Koen Classens and
Cristian R. Rojas and
James S. Welsh and
Tom Oomen},
title = {Statistical Analysis of Block Coordinate Descent Algorithms for Linear
Continuous-time System Identification},
journal = {CoRR},
volume = {abs/2404.09071},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2404.09071},
doi = {10.48550/ARXIV.2404.09071},
eprinttype = {arXiv},
eprint = {2404.09071},
timestamp = {Wed, 15 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2404-09071.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2404-16062,
author = {Robert Krook and
Nicholas Smallbone and
Bo Joel Svensson and
Koen Claessen},
title = {QuickerCheck: Implementing and Evaluating a Parallel Run-Time for
QuickCheck},
journal = {CoRR},
volume = {abs/2404.16062},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2404.16062},
doi = {10.48550/ARXIV.2404.16062},
eprinttype = {arXiv},
eprint = {2404.16062},
timestamp = {Mon, 03 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2404-16062.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/AugustssonBCJJSSS23,
author = {Lennart Augustsson and
Joachim Breitner and
Koen Claessen and
Ranjit Jhala and
Simon Peyton Jones and
Olin Shivers and
Guy L. Steele Jr. and
Tim Sweeney},
title = {The Verse Calculus: {A} Core Calculus for Deterministic Functional
Logic Programming},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{ICFP}},
pages = {417--447},
year = {2023},
url = {https://doi.org/10.1145/3607845},
doi = {10.1145/3607845},
timestamp = {Sun, 31 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/AugustssonBCJJSSS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/SarkarKRC23,
author = {Abhiroop Sarkar and
Robert Krook and
Alejandro Russo and
Koen Claessen},
title = {HasTEE: Programming Trusted Execution Environments with Haskell},
booktitle = {Haskell},
pages = {72--88},
year = {2023},
url = {https://doi.org/10.1145/3609026.3609731},
doi = {10.1145/3609026.3609731},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/haskell/SarkarKRC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/KrookSSC23,
author = {Robert Krook and
Nicholas Smallbone and
Bo Joel Svensson and
Koen Claessen},
title = {QuickerCheck: Implementing and Evaluating a Parallel Run-Time for
QuickCheck},
booktitle = {{IFL}},
pages = {9:1--9:12},
year = {2023},
url = {https://doi.org/10.1145/3652561.3652570},
doi = {10.1145/3652561.3652570},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifl/KrookSSC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-07258,
author = {Koen Classens and
W. P. M. H. Heemels and
Tom Oomen},
title = {Direct Shaping of Minimum and Maximum Singular Values: An {\(\mathscr{H}\)}\({}_{\mbox{}}\)/{\(\mathscr{H}\)}\({}_{\mbox{{\(\infty\)}}}\)
Synthesis Approach for Fault Detection Filters},
journal = {CoRR},
volume = {abs/2305.07258},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.07258},
doi = {10.48550/ARXIV.2305.07258},
eprinttype = {arXiv},
eprint = {2305.07258},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-07258.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-13172,
author = {Abhiroop Sarkar and
Robert Krook and
Alejandro Russo and
Koen Claessen},
title = {HasTEE: Programming Trusted Execution Environments with Haskell},
journal = {CoRR},
volume = {abs/2307.13172},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.13172},
doi = {10.48550/ARXIV.2307.13172},
eprinttype = {arXiv},
eprint = {2307.13172},
timestamp = {Tue, 01 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-13172.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/RamezaniCSFA22,
author = {Zahra Ramezani and
Koen Claessen and
Nicholas Smallbone and
Martin Fabian and
Knut {\AA}kesson},
title = {Testing Cyber-Physical Systems Using a Line-Search Falsification Method},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {41},
number = {8},
pages = {2393--2406},
year = {2022},
url = {https://doi.org/10.1109/TCAD.2021.3110740},
doi = {10.1109/TCAD.2021.3110740},
timestamp = {Mon, 08 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/RamezaniCSFA22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/AarnoudseKCMPTS22,
author = {Leontine Aarnoudse and
Johan Kon and
Koen Classens and
Max van Meer and
Maurice Poot and
Paul Tacx and
Nard Strijbosch and
Tom Oomen},
title = {Cross-Coupled Iterative Learning Control for Complex Systems: {A}
Monotonically Convergent and Computationally Efficient Approach \({}^{\mbox{*}}\)},
booktitle = {{CDC}},
pages = {1485--1490},
year = {2022},
url = {https://doi.org/10.1109/CDC51059.2022.9993408},
doi = {10.1109/CDC51059.2022.9993408},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cdc/AarnoudseKCMPTS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/KrookHSEC22,
author = {Robert Krook and
John Hui and
Bo Joel Svensson and
Stephen A. Edwards and
Koen Claessen},
title = {Creating a Language for Writing Real-Time Applications for the Internet
of Things},
booktitle = {{MEMOCODE}},
pages = {1--20},
year = {2022},
url = {https://doi.org/10.1109/MEMOCODE57689.2022.9954383},
doi = {10.1109/MEMOCODE57689.2022.9954383},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/KrookHSEC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2201-04550,
author = {Merijn Floren and
Koen Classens and
Tom Oomen and
Jean{-}Philippe No{\"{e}}l},
title = {Data-driven feedback linearisation using model predictive control},
journal = {CoRR},
volume = {abs/2201.04550},
year = {2022},
url = {https://arxiv.org/abs/2201.04550},
eprinttype = {arXiv},
eprint = {2201.04550},
timestamp = {Thu, 20 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-04550.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2209-05155,
author = {Leontine Aarnoudse and
Johan Kon and
Koen Classens and
Max van Meer and
Maurice Poot and
Paul Tacx and
Nard Strijbosch and
Tom Oomen},
title = {Cross-Coupled Iterative Learning Control for Complex Systems: {A}
Monotonically Convergent and Computationally Efficient Approach},
journal = {CoRR},
volume = {abs/2209.05155},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2209.05155},
doi = {10.48550/ARXIV.2209.05155},
eprinttype = {arXiv},
eprint = {2209.05155},
timestamp = {Tue, 27 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-05155.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/LutebergetCJS21,
author = {Bj{\o}rnar Luteberget and
Koen Claessen and
Christian Johansen and
Martin Steffen},
title = {{SAT} modulo discrete event simulation applied to railway design capacity
analysis},
journal = {Formal Methods Syst. Des.},
volume = {57},
number = {2},
pages = {211--245},
year = {2021},
url = {https://doi.org/10.1007/s10703-021-00368-2},
doi = {10.1007/S10703-021-00368-2},
timestamp = {Thu, 05 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/LutebergetCJS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/ClaessenL21,
author = {Koen Claessen and
Ann Lilliestr{\"{o}}m},
title = {Handling Transitive Relations in First-Order Automated Reasoning},
journal = {J. Autom. Reason.},
volume = {65},
number = {8},
pages = {1097--1124},
year = {2021},
url = {https://doi.org/10.1007/s10817-021-09605-z},
doi = {10.1007/S10817-021-09605-Z},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/ClaessenL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/ClassensHO21,
author = {Koen Classens and
W. P. M. H. Heemels and
Tom Oomen},
title = {Closed-loop Aspects in {MIMO} Fault Diagnosis with Application to
Precision Mechatronics},
booktitle = {{ACC}},
pages = {1756--1761},
year = {2021},
url = {https://doi.org/10.23919/ACC50511.2021.9482785},
doi = {10.23919/ACC50511.2021.9482785},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/amcc/ClassensHO21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/ClassensHWRW21,
author = {Koen Classens and
Thomas Hafkamp and
Steyn Westbeek and
Joris J. C. Remmers and
Siep Weiland},
title = {Real-Time Nonlinear Tracking Control of Photopolymerization for Additive
Manufacturing},
booktitle = {{ACC}},
pages = {1365--1370},
year = {2021},
url = {https://doi.org/10.23919/ACC50511.2021.9483091},
doi = {10.23919/ACC50511.2021.9483091},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amcc/ClassensHWRW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dtpi/ClassensHO21,
author = {Koen Classens and
W. P. Maurice H. Heemels and
Tom Oomen},
title = {Digital Twins in Mechatronics: From Model-based Control to Predictive
Maintenance},
booktitle = {{DTPI}},
pages = {336--339},
year = {2021},
url = {https://doi.org/10.1109/DTPI52967.2021.9540144},
doi = {10.1109/DTPI52967.2021.9540144},
timestamp = {Thu, 21 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dtpi/ClassensHO21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmech/ClassensHO21,
author = {Koen Classens and
W. P. M. H. Heemels and
Tom Oomen},
title = {A Closed-Loop Perspective on Fault Detection for Precision Motion
Control: With Application to an Overactuated System},
booktitle = {{ICM}},
pages = {1--6},
year = {2021},
url = {https://doi.org/10.1109/ICM46511.2021.9385700},
doi = {10.1109/ICM46511.2021.9385700},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icmech/ClassensHO21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/EddelandCSRMA20,
author = {Johan Lid{\'{e}}n Eddeland and
Koen Claessen and
Nicholas Smallbone and
Zahra Ramezani and
Sajed Miremadi and
Knut {\AA}kesson},
title = {Enhancing Temporal Logic Falsification With Specification Transformation
and Valued Booleans},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {39},
number = {12},
pages = {5247--5260},
year = {2020},
url = {https://doi.org/10.1109/TCAD.2020.2966480},
doi = {10.1109/TCAD.2020.2966480},
timestamp = {Tue, 02 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcad/EddelandCSRMA20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/Claessen20,
author = {Koen Claessen},
title = {Finger trees explained anew, and slightly simplified (functional pearl)},
booktitle = {Haskell@ICFP},
pages = {31--38},
year = {2020},
url = {https://doi.org/10.1145/3406088.3409026},
doi = {10.1145/3406088.3409026},
timestamp = {Mon, 03 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/haskell/Claessen20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/ValliappanKRC20,
author = {Nachiappan Valliappan and
Robert Krook and
Alejandro Russo and
Koen Claessen},
title = {Towards secure IoT programming in Haskell},
booktitle = {Haskell@ICFP},
pages = {136--150},
year = {2020},
url = {https://doi.org/10.1145/3406088.3409027},
doi = {10.1145/3406088.3409027},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/haskell/ValliappanKRC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/ThonnessenSFCK19,
author = {David Th{\"{o}}nnessen and
Nick Smallbone and
Martin Fabian and
Koen Claessen and
Stefan Kowalewski},
title = {Testing Safety PLCs Using QuickCheck},
booktitle = {{CASE}},
pages = {1--6},
year = {2019},
url = {https://doi.org/10.1109/COASE.2019.8843227},
doi = {10.1109/COASE.2019.8843227},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/case/ThonnessenSFCK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/AronssonCSS19,
author = {Markus Aronsson and
Koen Claessen and
Mary Sheeran and
Nicholas Smallbone},
title = {Safety at speed: in-place array algorithms from pure functional programs
by safely re-using storage},
booktitle = {FHPNC@ICFP},
pages = {34--46},
year = {2019},
url = {https://doi.org/10.1145/3331553.3342616},
doi = {10.1145/3331553.3342616},
timestamp = {Mon, 29 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/AronssonCSS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/LutebergetCJ19,
author = {Bj{\o}rnar Luteberget and
Koen Claessen and
Christian Johansen},
title = {Automated Drawing of Railway Schematics Using Numerical Optimization
in {SAT}},
booktitle = {{IFM}},
pages = {341--359},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-34968-4\_19},
doi = {10.1007/978-3-030-34968-4\_19},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/LutebergetCJ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nodalida/LilliestromCS19,
author = {Ann Lilliestr{\"{o}}m and
Koen Claessen and
Nicholas Smallbone},
title = {Inferring morphological rules from small examples using 0/1 linear
programming},
booktitle = {{NODALIDA}},
pages = {164--174},
year = {2019},
url = {https://aclanthology.org/W19-6118/},
timestamp = {Thu, 05 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nodalida/LilliestromCS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-08306,
author = {Johan Lid{\'{e}}n Eddeland and
Koen Claessen and
Nicholas Smallbone and
Zahra Ramezani and
Sajed Miremadi and
Knut {\AA}kesson},
title = {Enhancing Temporal Logic Falsification with Specification Transformation
and Valued Booleans},
journal = {CoRR},
volume = {abs/1910.08306},
year = {2019},
url = {http://arxiv.org/abs/1910.08306},
eprinttype = {arXiv},
eprint = {1910.08306},
timestamp = {Wed, 25 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-08306.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/ClaessenS18,
author = {Koen Claessen and
Nicholas Smallbone},
title = {Efficient Encodings of First-Order Horn Formulas in Equational Logic},
booktitle = {{IJCAR}},
pages = {388--404},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-94205-6\_26},
doi = {10.1007/978-3-319-94205-6\_26},
timestamp = {Mon, 09 Jul 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/ClaessenS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/ClaessenSERAM18,
author = {Koen Claessen and
Nicholas Smallbone and
Johan Lid{\'{e}}n Eddeland and
Zahra Ramezani and
Knut {\AA}kesson and
Sajed Miremadi},
title = {Applying Valued Booleans in Testing of Cyber-Physical Systems},
booktitle = {MT@CPSWeek},
pages = {8--9},
year = {2018},
url = {https://doi.org/10.1109/MT-CPS.2018.00011},
doi = {10.1109/MT-CPS.2018.00011},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cpsweek/ClaessenSERAM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/LutebergetCJ18,
author = {Bj{\o}rnar Luteberget and
Koen Claessen and
Christian Johansen},
title = {Design-Time Railway Capacity Verification using {SAT} modulo Discrete
Event Simulation},
booktitle = {{FMCAD}},
pages = {1--9},
year = {2018},
url = {https://doi.org/10.23919/FMCAD.2018.8603003},
doi = {10.23919/FMCAD.2018.8603003},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/LutebergetCJ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1812-07927,
author = {Alex Catarineu and
Philipp Cla{\ss}en and
Konark Modi and
Josep M. Pujol},
title = {Preventing Attacks on Anonymous Data Collection},
journal = {CoRR},
volume = {abs/1812.07927},
year = {2018},
url = {http://arxiv.org/abs/1812.07927},
eprinttype = {arXiv},
eprint = {1812.07927},
timestamp = {Wed, 02 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1812-07927.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/SmallboneJCA17,
author = {Nicholas Smallbone and
Moa Johansson and
Koen Claessen and
Maximilian Algehed},
title = {Quick specifications for the busy programmer},
journal = {J. Funct. Program.},
volume = {27},
pages = {e18},
year = {2017},
url = {https://doi.org/10.1017/S0956796817000090},
doi = {10.1017/S0956796817000090},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/SmallboneJCA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/AlgehedCJS17,
author = {Maximilian Algehed and
Koen Claessen and
Moa Johansson and
Nicholas Smallbone},
title = {QuickSpec: a lightweight theory exploration tool for programmers (system
demonstration)},
booktitle = {Haskell},
pages = {38--39},
year = {2017},
url = {https://doi.org/10.1145/3122955.3122960},
doi = {10.1145/3122955.3122960},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/haskell/AlgehedCJS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/ClaessenKKL17,
author = {Koen Claessen and
Jonatan Kilhamn and
Laura Kov{\'{a}}cs and
Bengt Lennartson},
title = {A Supervisory Control Algorithm Based on Property-Directed Reachability},
booktitle = {Haifa Verification Conference},
pages = {115--130},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-70389-3\_8},
doi = {10.1007/978-3-319-70389-3\_8},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/ClaessenKKL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-06501,
author = {Koen Claessen and
Jonatan Kilhamn and
Laura Kov{\'{a}}cs and
Bengt Lennartson},
title = {A Supervisory Control Algorithm Based on Property-Directed Reachability},
journal = {CoRR},
volume = {abs/1711.06501},
year = {2017},
url = {http://arxiv.org/abs/1711.06501},
eprinttype = {arXiv},
eprint = {1711.06501},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-06501.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/ClaessenL16,
author = {Koen Claessen and
Ann Lilliestr{\"{o}}m},
title = {Alternative Treatments of Common Binary Relations in First-order Automated
Reasoning},
booktitle = {PAAR@IJCAR},
pages = {11--23},
year = {2016},
url = {https://ceur-ws.org/Vol-1635/paper-02.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/ClaessenL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/PloegCB16,
author = {Atze van der Ploeg and
Koen Claessen and
Pablo Buiras},
title = {The Key monad: type-safe unconstrained dynamic typing},
booktitle = {Haskell},
pages = {146--157},
year = {2016},
url = {https://doi.org/10.1145/2976002.2976008},
doi = {10.1145/2976002.2976008},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/haskell/PloegCB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/KaracsonyC16,
author = {M{\'{a}}t{\'{e}} Kar{\'{a}}csony and
Koen Claessen},
title = {Using fusion to enable late design decisions for pipelined computations},
booktitle = {FHPC@ICFP},
pages = {9--16},
year = {2016},
url = {https://doi.org/10.1145/2975991.2975993},
doi = {10.1145/2975991.2975993},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/KaracsonyC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lrec/ListenmaaC16,
author = {Inari Listenmaa and
Koen Claessen},
title = {Analysing Constraint Grammars with a SAT-solver},
booktitle = {{LREC}},
year = {2016},
url = {http://www.lrec-conf.org/proceedings/lrec2016/summaries/799.html},
timestamp = {Mon, 19 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lrec/ListenmaaC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/BernardyC15,
author = {Jean{-}Philippe Bernardy and
Koen Claessen},
title = {Efficient parallel and incremental parsing of practical context-free
languages},
journal = {J. Funct. Program.},
volume = {25},
year = {2015},
url = {https://doi.org/10.1017/S0956796815000131},
doi = {10.1017/S0956796815000131},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/BernardyC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/ClaessenDP15,
author = {Koen Claessen and
Jonas Dureg{\aa}rd and
Michal H. Palka},
title = {Generating constrained random data with uniform distribution},
journal = {J. Funct. Program.},
volume = {25},
year = {2015},
url = {https://doi.org/10.1017/S0956796815000143},
doi = {10.1017/S0956796815000143},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/ClaessenDP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/FetscherCPHF15,
author = {Burke Fetscher and
Koen Claessen and
Michal H. Palka and
John Hughes and
Robert Bruce Findler},
title = {Making Random Judgments: Automatically Generating Well-Typed Terms
from the Definition of a Type-System},
booktitle = {{ESOP}},
pages = {383--405},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46669-8\_16},
doi = {10.1007/978-3-662-46669-8\_16},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esop/FetscherCPHF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/PloegC15,
author = {Atze van der Ploeg and
Koen Claessen},
title = {Practical principled {FRP:} forget the past, change the future, FRPNow!},
booktitle = {{ICFP}},
pages = {302--314},
year = {2015},
url = {https://doi.org/10.1145/2784731.2784752},
doi = {10.1145/2784731.2784752},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/PloegC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/ClaessenR15,
author = {Koen Claessen and
Dan Ros{\'{e}}n},
title = {{SAT} Modulo Intuitionistic Implications},
booktitle = {{LPAR}},
pages = {622--637},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48899-7\_43},
doi = {10.1007/978-3-662-48899-7\_43},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/ClaessenR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/ClaessenJRS15,
author = {Koen Claessen and
Moa Johansson and
Dan Ros{\'{e}}n and
Nicholas Smallbone},
title = {{TIP:} Tons of Inductive Problems},
booktitle = {{CICM}},
pages = {333--337},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-20615-8\_23},
doi = {10.1007/978-3-319-20615-8\_23},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/ClaessenJRS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BransenBCD15,
author = {Jeroen Bransen and
L. Thomas van Binsbergen and
Koen Claessen and
Atze Dijkstra},
title = {Linearly Ordered Attribute Grammar Scheduling Using SAT-Solving},
booktitle = {{TACAS}},
pages = {289--303},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46681-0\_24},
doi = {10.1007/978-3-662-46681-0\_24},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BransenBCD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/ClaessenDP14,
author = {Koen Claessen and
Jonas Dureg{\aa}rd and
Michal H. Palka},
title = {Generating Constrained Random Data with Uniform Distribution},
booktitle = {{FLOPS}},
pages = {18--34},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07151-0\_2},
doi = {10.1007/978-3-319-07151-0\_2},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/ClaessenDP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/EkbladC14,
author = {Anton Ekblad and
Koen Claessen},
title = {A seamless, client-centric programming model for type safe web applications},
booktitle = {Haskell},
pages = {79--89},
year = {2014},
url = {https://doi.org/10.1145/2633357.2633367},
doi = {10.1145/2633357.2633367},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/haskell/EkbladC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/JohanssonRSC14,
author = {Moa Johansson and
Dan Ros{\'{e}}n and
Nicholas Smallbone and
Koen Claessen},
title = {Hipster: Integrating Theory Exploration in a Proof Assistant},
booktitle = {{CICM}},
pages = {108--122},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08434-3\_9},
doi = {10.1007/978-3-319-08434-3\_9},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/JohanssonRSC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/JohanssonRSC14,
author = {Moa Johansson and
Dan Ros{\'{e}}n and
Nicholas Smallbone and
Koen Claessen},
title = {Hipster: Integrating Theory Exploration in a Proof Assistant},
journal = {CoRR},
volume = {abs/1405.3426},
year = {2014},
url = {http://arxiv.org/abs/1405.3426},
eprinttype = {arXiv},
eprint = {1405.3426},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/JohanssonRSC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/ClaessenJRS13,
author = {Koen Claessen and
Moa Johansson and
Dan Ros{\'{e}}n and
Nicholas Smallbone},
title = {Automating Inductive Proofs Using Theory Exploration},
booktitle = {{CADE}},
pages = {392--406},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38574-2\_27},
doi = {10.1007/978-3-642-38574-2\_27},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/ClaessenJRS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ClaessenFIPW13,
author = {Koen Claessen and
Jasmin Fisher and
Samin Ishtiaq and
Nir Piterman and
Qinsi Wang},
title = {Model-Checking Signal Transduction Networks through Decreasing Reachability
Sets},
booktitle = {{CAV}},
pages = {85--100},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39799-8\_5},
doi = {10.1007/978-3-642-39799-8\_5},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/ClaessenFIPW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/ClaessenES13,
author = {Koen Claessen and
Niklas E{\'{e}}n and
Baruch Sterin},
title = {A circuit approach to {LTL} model checking},
booktitle = {{FMCAD}},
pages = {53--60},
year = {2013},
url = {https://ieeexplore.ieee.org/document/6679391/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/ClaessenES13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/ClaessenP13,
author = {Koen Claessen and
Michal H. Palka},
title = {Splittable pseudorandom number generators using cryptographic hashing},
booktitle = {Haskell},
pages = {47--58},
year = {2013},
url = {https://doi.org/10.1145/2503778.2503784},
doi = {10.1145/2503778.2503784},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/haskell/ClaessenP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/AxelssonC13,
author = {Emil Axelsson and
Koen Claessen},
title = {Using circular programs for higher-order syntax: functional pearl},
booktitle = {{ICFP}},
pages = {257--262},
year = {2013},
url = {https://doi.org/10.1145/2500365.2500614},
doi = {10.1145/2500365.2500614},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/AxelssonC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/BernardyC13,
author = {Jean{-}Philippe Bernardy and
Koen Claessen},
title = {Efficient divide-and-conquer parsing of practical context-free languages},
booktitle = {{ICFP}},
pages = {111--122},
year = {2013},
url = {https://doi.org/10.1145/2500365.2500576},
doi = {10.1145/2500365.2500576},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/BernardyC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/VytiniotisJCR13,
author = {Dimitrios Vytiniotis and
Simon L. Peyton Jones and
Koen Claessen and
Dan Ros{\'{e}}n},
title = {{HALO:} haskell to logic through denotational semantics},
booktitle = {{POPL}},
pages = {431--442},
year = {2013},
url = {https://doi.org/10.1145/2429069.2429121},
doi = {10.1145/2429069.2429121},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/VytiniotisJCR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/ClaessenJRS12,
author = {Koen Claessen and
Moa Johansson and
Dan Ros{\'{e}}n and
Nicholas Smallbone},
title = {HipSpec: Automating Inductive Proofs of Program Properties},
booktitle = {ATx/WInG@IJCAR},
pages = {16--25},
year = {2012},
url = {https://doi.org/10.29007/3qwr},
doi = {10.29007/3QWR},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/ClaessenJRS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/ClaessenS12,
author = {Koen Claessen and
Niklas S{\"{o}}rensson},
title = {A liveness checking algorithm that counts},
booktitle = {{FMCAD}},
pages = {52--59},
year = {2012},
url = {https://ieeexplore.ieee.org/document/6462555/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/ClaessenS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/Claessen12,
author = {Koen Claessen},
title = {Shrinking and showing functions: \emph{(functional pearl)}},
booktitle = {Haskell},
pages = {73--80},
year = {2012},
url = {https://doi.org/10.1145/2364506.2364516},
doi = {10.1145/2364506.2364516},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/haskell/Claessen12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/SutcliffeSCB12,
author = {Geoff Sutcliffe and
Stephan Schulz and
Koen Claessen and
Peter Baumgartner},
title = {The {TPTP} Typed First-Order Form with Arithmetic},
booktitle = {{LPAR}},
pages = {406--419},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28717-6\_32},
doi = {10.1007/978-3-642-28717-6\_32},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/SutcliffeSCB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/ClaessenSS12,
author = {Koen Claessen and
Mary Sheeran and
Joel Svensson},
title = {Expressive array constructs in an embedded {GPU} kernel programming
language},
booktitle = {{DAMP}},
pages = {21--30},
year = {2012},
url = {https://doi.org/10.1145/2103736.2103740},
doi = {10.1145/2103736.2103740},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/ClaessenSS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/plpv/2012,
editor = {Koen Claessen and
Nikhil Swamy},
title = {Proceedings of the sixth workshop on Programming Languages meets Program
Verification, {PLPV} 2012, Philadelphia, PA, USA, January 24, 2012},
publisher = {{ACM}},
year = {2012},
isbn = {978-1-4503-1125-0},
timestamp = {Fri, 27 Jan 2012 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/plpv/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/ClaessenL11,
author = {Koen Claessen and
Ann Lilliestr{\"{o}}m},
title = {Automated Inference of Finite Unsatisfiability},
journal = {J. Autom. Reason.},
volume = {47},
number = {2},
pages = {111--132},
year = {2011},
url = {https://doi.org/10.1007/s10817-010-9216-8},
doi = {10.1007/S10817-010-9216-8},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jar/ClaessenL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Claessen11,
author = {Koen Claessen},
title = {The Anatomy of Equinox - An Extensible Automated Reasoning Tool for
First-Order Logic and Beyond - (Talk Abstract)},
booktitle = {{CADE}},
pages = {1--3},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22438-6\_1},
doi = {10.1007/978-3-642-22438-6\_1},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Claessen11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/ClaessenLS11,
author = {Koen Claessen and
Ann Lilliestr{\"{o}}m and
Nicholas Smallbone},
title = {Sort It Out with Monotonicity - Translating between Many-Sorted and
Unsorted First-Order Logic},
booktitle = {{CADE}},
pages = {207--221},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22438-6\_17},
doi = {10.1007/978-3-642-22438-6\_17},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/ClaessenLS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/PalkaCRH11,
author = {Michal H. Palka and
Koen Claessen and
Alejandro Russo and
John Hughes},
title = {Testing an optimising compiler by generating random lambda terms},
booktitle = {{AST}},
pages = {91--97},
year = {2011},
url = {https://doi.org/10.1145/1982595.1982615},
doi = {10.1145/1982595.1982615},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/PalkaCRH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/haskell/2011,
editor = {Koen Claessen},
title = {Proceedings of the 4th {ACM} {SIGPLAN} Symposium on Haskell, Haskell
2011, Tokyo, Japan, 22 September 2011},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2034675},
doi = {10.1145/2034675},
isbn = {978-1-4503-0860-1},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/haskell/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/BernardyJC10,
author = {Jean{-}Philippe Bernardy and
Patrik Jansson and
Koen Claessen},
title = {Testing Polymorphic Properties},
booktitle = {{ESOP}},
pages = {125--144},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11957-6\_8},
doi = {10.1007/978-3-642-11957-6\_8},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/BernardyJC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ClaessenHPSS10,
author = {Koen Claessen and
John Hughes and
Michal H. Palka and
Nicholas Smallbone and
Hans Svensson},
title = {Ranking programs using black box testing},
booktitle = {{AST}},
pages = {103--110},
year = {2010},
url = {https://doi.org/10.1145/1808266.1808282},
doi = {10.1145/1808266.1808282},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/ClaessenHPSS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/AxelssonCSSEP10,
author = {Emil Axelsson and
Koen Claessen and
Mary Sheeran and
Josef Svenningsson and
David Engdal and
Anders Persson},
title = {The Design and Implementation of Feldspar - An Embedded Language for
Digital Signal Processing},
booktitle = {{IFL}},
pages = {121--136},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-24276-2\_8},
doi = {10.1007/978-3-642-24276-2\_8},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifl/AxelssonCSSEP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BlanchetteC10,
author = {Jasmin Christian Blanchette and
Koen Claessen},
title = {Generating Counterexamples for Structural Inductions by Exploiting
Nonstandard Models},
booktitle = {{LPAR} (Yogyakarta)},
pages = {127--141},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16242-8\_10},
doi = {10.1007/978-3-642-16242-8\_10},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/BlanchetteC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/AxelssonCDHKLPSSV10,
author = {Emil Axelsson and
Koen Claessen and
Gergely D{\'{e}}vai and
Zolt{\'{a}}n Horv{\'{a}}th and
Karin Keijzer and
Bo Lyckeg{\aa}rd and
Anders Persson and
Mary Sheeran and
Josef Svenningsson and
Andr{\'{a}}s Vajda},
title = {Feldspar: {A} domain specific language for digital signal processing
algorithms},
booktitle = {{MEMOCODE}},
pages = {169--178},
year = {2010},
url = {https://doi.org/10.1109/MEMCOD.2010.5558637},
doi = {10.1109/MEMCOD.2010.5558637},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/AxelssonCDHKLPSSV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/ClaessenSH10,
author = {Koen Claessen and
Nicholas Smallbone and
John Hughes},
title = {QuickSpec: Guessing Formal Specifications Using Testing},
booktitle = {TAP@TOOLS},
pages = {6--21},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13977-2\_3},
doi = {10.1007/978-3-642-13977-2\_3},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tap/ClaessenSH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/procedia/SvenssonCS10,
author = {Joel Svensson and
Koen Claessen and
Mary Sheeran},
title = {{GPGPU} kernel implementation and refinement using Obsidian},
booktitle = {{ICCS}},
number = {1},
pages = {2065--2074},
year = {2010},
url = {https://doi.org/10.1016/j.procs.2010.04.231},
doi = {10.1016/J.PROCS.2010.04.231},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/procedia/SvenssonCS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0901-2518,
author = {Koen Claessen and
Jan{-}Willem Roorda},
title = {A Faithful Semantics for Generalised Symbolic Trajectory Evaluation},
journal = {Log. Methods Comput. Sci.},
volume = {5},
number = {2},
year = {2009},
url = {http://arxiv.org/abs/0901.2518},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0901-2518.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/deds/ClaessenESSVA09,
author = {Koen Claessen and
Niklas E{\'{e}}n and
Mary Sheeran and
Niklas S{\"{o}}rensson and
Alexey Voronov and
Knut {\AA}kesson},
title = {SAT-Solving in Practice, with a Tutorial Example from Supervisory
Control},
journal = {Discret. Event Dyn. Syst.},
volume = {19},
number = {4},
pages = {495--524},
year = {2009},
url = {https://doi.org/10.1007/s10626-009-0081-8},
doi = {10.1007/S10626-009-0081-8},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/deds/ClaessenESSVA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/Claessen09,
author = {Koen Claessen},
title = {The Twilight Zone: From Testing to Formal Specifications and Back
Again},
booktitle = {{APLAS}},
pages = {1},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10672-9\_1},
doi = {10.1007/978-3-642-10672-9\_1},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/Claessen09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/ClaessenL09,
author = {Koen Claessen and
Ann Lilliestr{\"{o}}m},
title = {Automated Inference of Finite Unsatisfiability},
booktitle = {{CADE}},
pages = {388--403},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02959-2\_29},
doi = {10.1007/978-3-642-02959-2\_29},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/ClaessenL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/ClaessenPSHSAW09,
author = {Koen Claessen and
Michal H. Palka and
Nicholas Smallbone and
John Hughes and
Hans Svensson and
Thomas Arts and
Ulf T. Wiger},
title = {Finding race conditions in Erlang with QuickCheck and {PULSE}},
booktitle = {{ICFP}},
pages = {149--160},
year = {2009},
url = {https://doi.org/10.1145/1596550.1596574},
doi = {10.1145/1596550.1596574},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/ClaessenPSHSAW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/XuJC09,
author = {Dana N. Xu and
Simon L. Peyton Jones and
Koen Claessen},
title = {Static contract checking for Haskell},
booktitle = {{POPL}},
pages = {41--52},
year = {2009},
url = {https://doi.org/10.1145/1480881.1480889},
doi = {10.1145/1480881.1480889},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/XuJC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/RussoCH08,
author = {Alejandro Russo and
Koen Claessen and
John Hughes},
title = {A library for light-weight information-flow security in haskell},
booktitle = {Haskell},
pages = {13--24},
year = {2008},
url = {https://doi.org/10.1145/1411286.1411289},
doi = {10.1145/1411286.1411289},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/haskell/RussoCH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/SvenssonSC08,
author = {Joel Svensson and
Mary Sheeran and
Koen Claessen},
title = {Obsidian: {A} Domain Specific Embedded Language for Parallel Programming
of Graphics Processors},
booktitle = {{IFL}},
pages = {156--173},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-24452-0\_9},
doi = {10.1007/978-3-642-24452-0\_9},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifl/SvenssonSC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/ClaessenS08,
author = {Koen Claessen and
Hans Svensson},
title = {Finding Counter Examples in Induction Proofs},
booktitle = {{TAP}},
pages = {48--65},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-79124-9\_5},
doi = {10.1007/978-3-540-79124-9\_5},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tap/ClaessenS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/Claessen07,
author = {Koen Claessen},
title = {A Coverage Analysis for Safety Property Lists},
booktitle = {{FMCAD}},
pages = {139--145},
year = {2007},
url = {https://doi.org/10.1109/FAMCAD.2007.32},
doi = {10.1109/FAMCAD.2007.32},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/Claessen07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/SutcliffeSCG06,
author = {Geoff Sutcliffe and
Stephan Schulz and
Koen Claessen and
Allen Van Gelder},
title = {Using the {TPTP} Language for Writing Derivations and Finite Interpretations},
booktitle = {{IJCAR}},
pages = {67--81},
year = {2006},
url = {https://doi.org/10.1007/11814771\_7},
doi = {10.1007/11814771\_7},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/SutcliffeSCG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/RoordaC06,
author = {Jan{-}Willem Roorda and
Koen Claessen},
title = {SAT-Based Assistance in Abstraction Refinement for Symbolic Trajectory
Evaluation},
booktitle = {{CAV}},
pages = {175--189},
year = {2006},
url = {https://doi.org/10.1007/11817963\_19},
doi = {10.1007/11817963\_19},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/RoordaC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csr/RoordaC06,
author = {Jan{-}Willem Roorda and
Koen Claessen},
title = {Explaining Symbolic Trajectory Evaluation by Giving It a Faithful
Semantics},
booktitle = {{CSR}},
pages = {555--566},
year = {2006},
url = {https://doi.org/10.1007/11753728\_56},
doi = {10.1007/11753728\_56},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csr/RoordaC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/ClaessenR06,
author = {Koen Claessen and
Jan{-}Willem Roorda},
title = {An Introduction to Symbolic Trajectory Evaluation},
booktitle = {{SFM}},
pages = {56--77},
year = {2006},
url = {https://doi.org/10.1007/11757283\_3},
doi = {10.1007/11757283\_3},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/ClaessenR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/AxelssonCS05,
author = {Emil Axelsson and
Koen Claessen and
Mary Sheeran},
title = {Wired: Wire-Aware Circuit Design},
booktitle = {{CHARME}},
pages = {5--19},
year = {2005},
url = {https://doi.org/10.1007/11560548\_4},
doi = {10.1007/11560548\_4},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/AxelssonCS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/RoordaC05,
author = {Jan{-}Willem Roorda and
Koen Claessen},
title = {A New SAT-Based Algorithm for Symbolic Trajectory Evaluation},
booktitle = {{CHARME}},
pages = {238--253},
year = {2005},
url = {https://doi.org/10.1007/11560548\_19},
doi = {10.1007/11560548\_19},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/RoordaC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/erlang/ClaessenS05,
author = {Koen Claessen and
Hans Svensson},
title = {A semantics for distributed Erlang},
booktitle = {Erlang Workshop},
pages = {78--87},
year = {2005},
url = {https://doi.org/10.1145/1088361.1088376},
doi = {10.1145/1088361.1088376},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/erlang/ClaessenS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Claessen04,
author = {Koen Claessen},
title = {Parallel Parsing Processes},
journal = {J. Funct. Program.},
volume = {14},
number = {6},
pages = {741--757},
year = {2004},
url = {https://doi.org/10.1017/S0956796804005192},
doi = {10.1017/S0956796804005192},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Claessen04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fates/ArtsCS04,
author = {Thomas Arts and
Koen Claessen and
Hans Svensson},
title = {Semi-formal Development of a Fault-Tolerant Leader Election Protocol
in Erlang},
booktitle = {{FATES}},
pages = {140--154},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-31848-4\_10},
doi = {10.1007/978-3-540-31848-4\_10},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fates/ArtsCS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/ClaessenM04,
author = {Koen Claessen and
Johan M{\aa}rtensson},
title = {An Operational Semantics for Weak {PSL}},
booktitle = {{FMCAD}},
pages = {337--351},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30494-4\_24},
doi = {10.1007/978-3-540-30494-4\_24},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/ClaessenM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/ClaessenSS03,
author = {Koen Claessen and
Mary Sheeran and
Satnam Singh},
title = {Using Lava to design and verify recursive and periodic sorters},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {4},
number = {3},
pages = {349--358},
year = {2003},
url = {https://doi.org/10.1007/s10009-002-0089-y},
doi = {10.1007/S10009-002-0089-Y},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/ClaessenSS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Claessen04,
author = {Koen Claessen},
title = {Safety Property Verification of Cyclic Synchronous Circuits},
booktitle = {{SLAP}},
pages = {55--69},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2003.05.004},
doi = {10.1016/J.ENTCS.2003.05.004},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Claessen04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/ClaessenH02,
author = {Koen Claessen and
John Hughes},
title = {Testing monadic code with QuickCheck},
journal = {{ACM} {SIGPLAN} Notices},
volume = {37},
number = {12},
pages = {47--59},
year = {2002},
url = {https://doi.org/10.1145/636517.636527},
doi = {10.1145/636517.636527},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigplan/ClaessenH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/ClaessenP02,
author = {Koen Claessen and
Gordon J. Pace},
title = {An embedded language approach to teaching hardware compilation},
journal = {{ACM} {SIGPLAN} Notices},
volume = {37},
number = {12},
pages = {35--46},
year = {2002},
url = {https://doi.org/10.1145/636517.636526},
doi = {10.1145/636517.636526},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigplan/ClaessenP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/afp/ClaessenRCHW02,
author = {Koen Claessen and
Colin Runciman and
Olaf Chitil and
John Hughes and
Malcolm Wallace},
title = {Testing and Tracing Lazy Functional Programs Using QuickCheck and
Hat},
booktitle = {Advanced Functional Programming},
pages = {59--99},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-44833-4\_3},
doi = {10.1007/978-3-540-44833-4\_3},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/afp/ClaessenRCHW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/Claessen002,
author = {Koen Claessen and
John Hughes},
title = {Testing monadic code with QuickCheck},
booktitle = {Haskell},
pages = {65--77},
year = {2002},
url = {https://doi.org/10.1145/581690.581696},
doi = {10.1145/581690.581696},
timestamp = {Fri, 03 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/haskell/Claessen002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/basesearch/Claessen01,
author = {Koen Claessen},
title = {Embedded Languages for Describing and Verifying Hardware},
school = {Chalmers University of Technology, Gothenburg, Sweden},
year = {2001},
url = {http://publications.lib.chalmers.se/publication/636-embedded-languages-for-describing-and-verifying-hardware},
timestamp = {Tue, 14 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/phd/basesearch/Claessen01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/ClaessenSS01,
author = {Koen Claessen and
Mary Sheeran and
Satnam Singh},
title = {The Design and Verification of a Sorter Core},
booktitle = {{CHARME}},
pages = {355--369},
year = {2001},
url = {https://doi.org/10.1007/3-540-44798-9\_28},
doi = {10.1007/3-540-44798-9\_28},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/ClaessenSS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/BjesseC00,
author = {Per Bjesse and
Koen Claessen},
title = {SAT-Based Verification without State Space Traversal},
booktitle = {{FMCAD}},
pages = {372--389},
year = {2000},
url = {https://doi.org/10.1007/3-540-40922-X\_23},
doi = {10.1007/3-540-40922-X\_23},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/BjesseC00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/ClaessenH00,
author = {Koen Claessen and
John Hughes},
title = {QuickCheck: a lightweight tool for random testing of Haskell programs},
booktitle = {{ICFP}},
pages = {268--279},
year = {2000},
url = {https://doi.org/10.1145/351240.351266},
doi = {10.1145/351240.351266},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/ClaessenH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ClaessenL00,
author = {Koen Claessen and
Peter Ljungl{\"{o}}f},
title = {Typed Logical Variables in Haskell},
booktitle = {Haskell},
pages = {37},
year = {2000},
url = {https://doi.org/10.1016/S1571-0661(05)80544-4},
doi = {10.1016/S1571-0661(05)80544-4},
timestamp = {Thu, 01 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ClaessenL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Claessen99,
author = {Koen Claessen},
title = {A Poor Man's Concurrency Monad},
journal = {J. Funct. Program.},
volume = {9},
number = {3},
pages = {313--323},
year = {1999},
url = {https://doi.org/10.1017/s0956796899003342},
doi = {10.1017/S0956796899003342},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Claessen99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/ClaessenS99,
author = {Koen Claessen and
David Sands},
title = {Observable Sharing for Functional Circuit Description},
booktitle = {{ASIAN}},
pages = {62--73},
year = {1999},
url = {https://doi.org/10.1007/3-540-46674-6\_7},
doi = {10.1007/3-540-46674-6\_7},
timestamp = {Wed, 10 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/ClaessenS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/BjesseCSS98,
author = {Per Bjesse and
Koen Claessen and
Mary Sheeran and
Satnam Singh},
title = {Lava: Hardware Design in Haskell},
booktitle = {{ICFP}},
pages = {174--184},
year = {1998},
url = {https://doi.org/10.1145/289423.289440},
doi = {10.1145/289423.289440},
timestamp = {Thu, 08 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/BjesseCSS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Claessen97,
author = {Koen Claessen},
title = {Graphs in Compilation},
booktitle = {{ICFP}},
pages = {309},
year = {1997},
url = {https://doi.org/10.1145/258948.258978},
doi = {10.1145/258948.258978},
timestamp = {Thu, 08 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/Claessen97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/ClaessenVM97,
author = {Koen Claessen and
Ton Vullinghs and
Erik Meijer},
title = {Structuring Graphical Paradigms in TkGofer},
booktitle = {{ICFP}},
pages = {251--262},
year = {1997},
url = {https://doi.org/10.1145/258948.258972},
doi = {10.1145/258948.258972},
timestamp = {Thu, 08 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/ClaessenVM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-07-07 15:58 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
