Koen Claessen
发表
Koen Claessen,
Gordon J. Pace,
2002,
SIGP.
Koen Claessen,
John Hughes,
Michal H. Palka,
2010,
AST '10.
Koen Claessen,
Anton Ekblad,
Koen Claessen,
2014,
Haskell.
Koen Claessen,
Jan-Willem Roorda,
2006,
CAV.
Koen Claessen,
Michal H. Palka,
Jonas Duregård,
2014,
FLOPS.
Koen Claessen,
Michal H. Palka,
Jonas Duregård,
2014,
Journal of Functional Programming.
Koen Claessen,
John Hughes,
Colin Runciman,
2002,
Advanced Functional Programming.
Mary Sheeran,
Koen Claessen,
Satnam Singh,
1998,
ICFP '98.
Mary Sheeran,
Koen Claessen,
Nicholas Smallbone,
2019,
FHPNC@ICFP.
Koen Claessen,
Hans Svensson,
Thomas Arts,
2004,
FATES.
Knut Åkesson,
Koen Claessen,
Nicholas Smallbone,
2018,
2018 IEEE Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS).
Mary Sheeran,
Koen Claessen,
Emil Axelsson,
2005,
CHARME.
Koen Claessen,
Jan-Willem Roorda,
2006,
CSR.
Koen Claessen,
Jan-Willem Roorda,
2005,
CHARME.
Koen Claessen,
Bjørnar Luteberget,
Christian Johansen,
2018,
2018 Formal Methods in Computer Aided Design (FMCAD).
Zoltán Horváth,
Mary Sheeran,
Koen Claessen,
2010,
Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010).
Koen Claessen,
Emil Axelsson,
2013,
ICFP.
Koen Claessen,
2007,
Formal Methods in Computer Aided Design (FMCAD'07).
Koen Claessen,
Nicholas Smallbone,
2018,
IJCAR.
Koen Claessen,
Nicholas Smallbone,
Moa Johansson,
2017,
Haskell.
Koen Claessen,
Robert Bruce Findler,
John Hughes,
2015,
ESOP.
Koen Claessen,
John Hughes,
2011,
SIGP.
Koen Claessen,
Samin Ishtiaq,
Qinsi Wang,
2013,
CAV.
Koen Claessen,
2012,
Haskell.
Koen Claessen,
Hans Svensson,
2005,
ERLANG '05.
Koen Claessen,
Per Bjesse,
K. Claessen,
2000,
FMCAD.
Peter Baumgartner,
Koen Claessen,
Geoff Sutcliffe,
2012,
LPAR.
Koen Claessen,
Atze van der Ploeg,
K. Claessen,
2015,
ICFP.
Mary Sheeran,
Knut Åkesson,
Koen Claessen,
2009,
Discret. Event Dyn. Syst..
Koen Claessen,
Jasmin Christian Blanchette,
2010,
LPAR.
Daniel Kroening,
Alan J. Hu,
Koen Claessen,
2009
.
Koen Claessen,
Michal H. Palka,
2013,
Haskell '13.
Koen Claessen,
2004,
J. Funct. Program..
Koen Claessen,
Geoff Sutcliffe,
Stephan Schulz,
2006,
IJCAR.
Mary Sheeran,
Koen Claessen,
Emil Axelsson,
2010,
IFL.
Koen Claessen,
Ann Lillieström,
2009,
CADE.
Koen Claessen,
Niklas Sörensson,
2012,
2012 Formal Methods in Computer-Aided Design (FMCAD).
Koen Claessen,
Alejandro Russo,
John Hughes,
2008,
Haskell '08.
Koen Claessen,
David Sands,
David Sands,
1999,
ASIAN.
Koen Claessen,
Jean-Philippe Bernardy,
K. Claessen,
2015,
Journal of Functional Programming.
Koen Claessen,
Nicholas Smallbone,
Moa Johansson,
2014,
CICM.
Koen Claessen,
Inari Listenmaa,
2016,
LREC.
Koen Claessen,
Nicholas Smallbone,
Moa Johansson,
2015,
CICM.
Koen Claessen,
Hans Svensson,
2008,
TAP.
Bo Joel Svensson,
Mary Sheeran,
Koen Claessen,
2010,
ICCS.
Mary Sheeran,
Koen Claessen,
Satnam Singh,
2003,
International Journal on Software Tools for Technology Transfer.
Koen Claessen,
Peter Ljunglöf,
K. Claessen,
2001,
ACM SIGPLAN Symposium/Workshop on Haskell.
Mary Sheeran,
Koen Claessen,
Satnam Singh,
2001,
CHARME.
Koen Claessen,
Nicholas Smallbone,
Moa Johansson,
2013,
CADE.
Koen Claessen,
Máté Karácsony,
2016,
FHPC@ICFP.
Koen Claessen,
Nicholas Smallbone,
Moa Johansson,
2012,
ATx/WInG@IJCAR.
Koen Claessen,
2009,
APLAS.
Koen Claessen,
Patrik Jansson,
Jean-Philippe Bernardy,
2010,
ESOP.
Koen Claessen,
Jan-Willem Roorda,
J. Roorda,
2009,
Log. Methods Comput. Sci..
Koen Claessen,
K. Claessen,
1999,
Journal of Functional Programming.
Koen Claessen,
1997,
ICFP '97.
Bengt Lennartson,
Koen Claessen,
Laura Kovács,
2017,
Haifa Verification Conference.
Koen Claessen,
John Hughes,
2002,
ACM SIGPLAN Notices.
Koen Claessen,
2011,
CADE.
Simon L. Peyton Jones,
Koen Claessen,
Dimitrios Vytiniotis,
2013,
POPL.
Koen Claessen,
Dan Rosén,
K. Claessen,
2015,
LPAR.
Koen Claessen,
Alejandro Russo,
John Hughes,
2011,
AST '11.
Koen Claessen,
John Hughes,
Michal H. Palka,
2009,
ICFP.
Koen Claessen,
Jean-Philippe Bernardy,
K. Claessen,
2013,
ICFP.
Koen Claessen,
Ann Lillieström,
A. Lillieström,
2009,
Journal of Automated Reasoning.
Koen Claessen,
Nicholas Smallbone,
Moa Johansson,
2017,
Journal of Functional Programming.
Bo Joel Svensson,
Mary Sheeran,
Koen Claessen,
2008,
IFL.
Bo Joel Svensson,
Mary Sheeran,
Koen Claessen,
2012,
DAMP '12.
Koen Claessen,
Jan-Willem Roorda,
2006,
SFM.
Koen Claessen,
Johan Mårtensson,
2004,
FMCAD.
Koen Claessen,
Ann Lillieström,
2016,
PAAR@IJCAR.
Koen Claessen,
Ton Vullinghs,
Erik Meijer,
1997,
ICFP '97.
Koen Claessen,
Pablo Buiras,
Atze van der Ploeg,
2016,
Haskell.
Koen Claessen,
John Hughes,
John Hughes,
2002,
Haskell '02.
Koen Claessen,
John Hughes,
Nicholas Smallbone,
2010,
TAP@TOOLS.
Koen Claessen,
John Hughes,
2000,
ICFP.
Koen Claessen,
Nicholas Smallbone,
Ann Lillieström,
2011,
CADE.
Koen Claessen,
Atze Dijkstra,
L. Thomas van Binsbergen,
2015,
TACAS.
Koen Claessen,
K. Claessen,
2004,
SLAP.
Baruch Sterin,
Koen Claessen,
Niklas Eén,
2013,
2013 Formal Methods in Computer-Aided Design.
Koen Claessen,
2001
.
Koen Claessen,
Bjørnar Luteberget,
Christian Johansen,
2021,
Formal Methods in System Design.
Koen Claessen,
Ann Lillieström,
2021,
J. Autom. Reason..
Koen Claessen,
Nicholas Smallbone,
Martin Fabian,
2021,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Koen Claessen,
K. Claessen,
John Hughes,
2000,
ACM SIGPLAN International Conference on Functional Programming.
Koen Claessen,
1999
.
Mary Sheeran,
Koen Claessen,
Satnam Singh,
2001
.
Bo Joel Svensson,
Mary Sheeran,
Koen Claessen,
2008
.