K. Claessen
发表
K. Claessen,
Koen Claessen,
2007
.
Reiner Hähnle,
K. Claessen,
Johan Maartensson,
2002
.
Koen Claessen,
Peter Ljunglöf,
K. Claessen,
2001,
ACM SIGPLAN Symposium/Workshop on Haskell.
K. Claessen,
John Hughes,
Koen Claessen,
2000,
ICFP '00.
K. Claessen,
Dan Rosén,
2012
.
G. Schneider,
Normunds Gruzitis,
Aarne Ranta,
2014
.
Mary Sheeran,
Satnam Singh,
Koen Claessen,
2003
.
M. Sheeran,
K. Claessen,
John Hughes,
2010
.
K. Claessen,
Inari Listenmaa,
2018,
EasyChair Preprints.
Daniel Kroening,
Alan J. Hu,
Koen Claessen,
2009
.
M. Sheeran,
Satnam Singh,
K. Claessen,
1998,
ICFP '98.
Koen Claessen,
Niklas Srensson,
K. Claessen,
2003
.
Johansen,
M. Steffen,
K. Claessen,
2019
.
Bo Joel Svensson,
S. Edwards,
K. Claessen,
2022,
2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE).
Koen Claessen,
K. Claessen,
John Hughes,
2000,
ACM SIGPLAN International Conference on Functional Programming.
Bo Joel Svensson,
Mary Sheeran,
Koen Claessen,
2008
.
Koen Claessen,
Jean-Philippe Bernardy,
K. Claessen,
2015,
Journal of Functional Programming.
Koen Claessen,
Jean-Philippe Bernardy,
K. Claessen,
2013,
ICFP.
Koen Claessen,
Atze van der Ploeg,
K. Claessen,
2015,
ICFP.
Koen Claessen,
Samin Ishtiaq,
Qinsi Wang,
2013,
CAV.
Mary Sheeran,
Wouter Swierstra,
Koen Claessen,
2009
.
Gordon J. Pace,
Koen Claessen,
K. Claessen,
2007
.
K. Claessen,
John Hughes,
Koen Claessen,
2000,
SIGP.
Koen Claessen,
Bjørnar Luteberget,
Christian Johansen,
2021,
Formal Methods in System Design.
Koen Claessen,
Bjørnar Luteberget,
Christian Johansen,
2018,
2018 Formal Methods in Computer Aided Design (FMCAD).
Koen Claessen,
John Hughes,
Nicholas Smallbone,
2010,
TAP@TOOLS.
Koen Claessen,
K. Claessen,
1999,
Journal of Functional Programming.
Koen Claessen,
Nicholas Smallbone,
Moa Johansson,
2017,
Journal of Functional Programming.
Koen Claessen,
Nicholas Smallbone,
Moa Johansson,
2014,
CICM.
Koen Claessen,
Nicholas Smallbone,
Moa Johansson,
2013,
CADE.
Mary Sheeran,
Koen Claessen,
Satnam Singh,
1998,
ICFP '98.
Mary Sheeran,
Koen Claessen,
Satnam Singh,
2001,
CHARME.
Gordon J. Pace,
Koen Claessen,
K. Claessen,
2002
.
Baruch Sterin,
Koen Claessen,
Niklas Eén,
2013,
2013 Formal Methods in Computer-Aided Design.
Koen Claessen,
K. Claessen,
2004,
SLAP.
Bo Joel Svensson,
Mary Sheeran,
Koen Claessen,
2012,
DAMP '12.
Mary Sheeran,
Koen Claessen,
Emil Axelsson,
2005,
CHARME.
Simon L. Peyton Jones,
Koen Claessen,
Dimitrios Vytiniotis,
2013,
POPL.
Peter Baumgartner,
Koen Claessen,
Geoff Sutcliffe,
2012,
LPAR.
Mary Sheeran,
Koen Claessen,
M. Sheeran,
2000
.
Koen Claessen,
Geoff Sutcliffe,
Stephan Schulz,
2006,
IJCAR.
Koen Claessen,
Nicholas Smallbone,
Moa Johansson,
2012,
ATx/WInG@IJCAR.
Martin Fabian,
Stefan Kowalewski,
Koen Claessen,
2019,
2019 IEEE 15th International Conference on Automation Science and Engineering (CASE).
Koen Claessen,
Per Bjesse,
K. Claessen,
2000,
FMCAD.
Koen Claessen,
Dan Rosén,
K. Claessen,
2015,
LPAR.