Koen Claessen

Cited by

	All	Since 2016
Citations	5501	1898
h-index	36	21
i10-index	70	41

420

210

105

315

19981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202115 15 41 40 66 91 120 142 190 225 261 242 327 306 335 359 368 393 342 408 360 383 323 81

Public access

View all

15 articles

1 article

available

not available

Based on funding mandates

Co-authors

Mary SheeranChalmers Univeresity of TechnologyVerified email at chalmers.se
John HughesProfessor of Computer Science and Engineering, Chalmers UniversityVerified email at chalmers.se
Nicholas SmallboneChalmers University of TechnologyVerified email at chalmers.se
Dan RosénSystems developer, NBIS, Uppsala universityVerified email at nbis.se
Emil AxelssonChalmers University of TechnologyVerified email at chalmers.se
Moa JohanssonAssociate Professor (Docent), Chalmers UniversityVerified email at chalmers.se
Hans SvenssonQuviq ABVerified email at quviq.com
Bo Joel SvenssonChalmers University of TechnologyVerified email at chalmers.se
Alejandro RussoProfessor, Computer Science and Engineering Department, Chalmers / Göteborg UniversityVerified email at chalmers.se
Thomas ArtsProfessor of Software Engineering, ChalmersVerified email at quviq.com
Simon Peyton JonesMicrosoft ResearchVerified email at microsoft.com
Anders PerssonPhD candidate, Chalmers University of TechnologyVerified email at chalmers.se
Gordon J. PaceDepartment of Computer Science, University of MaltaVerified email at um.edu.mt
Stephan SchulzProfessor of Computer Science, DHBW StuttgartVerified email at eprover.org
Geoff SutcliffeDepartment of Computer Science, University of MiamiVerified email at cs.miami.edu
David SandsProfessor of Computer Science, Chalmers University of TechnologyVerified email at chalmers.se
Erik MeijerMicrosoftVerified email at meijcrosoft.com
Patrik JanssonProfessor of Computer Science, Chalmers University of TechnologyVerified email at chalmers.se
Ulf WigerWiger Pilotti Unlimited ABVerified email at wiger.net
Peter BaumgartnerData61|CSIROVerified email at data61.csiro.au

Koen Claessen

Chalmers University of Technology

Verified email at chalmers.se - Homepage

programming languages functional programming formal methods testing automated reasoning


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
QuickCheck: a lightweight tool for random testing of Haskell programs K Claessen, J Hughes International Conference on Functional Programming, 2000	1553*	2000
Lava: hardware design in Haskell P Bjesse, K Claessen, M Sheeran, S Singh ACM SIGPLAN Notices 34 (1), 174-184, 1998	514	1998
New techniques that improve MACE-style finite model finding K Claessen, N Sörensson Proceedings of the CADE-19 Workshop: Model Computation-Principles …, 2003	224	2003
SAT-based verification without state space traversal P Bjesse, K Claessen International Conference on Formal Methods in Computer-Aided Design, 409-426, 2000	219	2000
Static contract checking for Haskell DN Xu, S Peyton Jones, K Claessen Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2009	119	2009
Feldspar: A domain specific language for digital signal processing algorithms E Axelsson, K Claessen, G Dévai, Z Horváth, K Keijzer, B Lyckegård, ... Eighth ACM/IEEE International Conference on Formal Methods and Models for …, 2010	118	2010
Observable sharing for functional circuit description K Claessen, D Sands Annual Asian Computing Science Conference, 62-73, 1999	109	1999
A library for light-weight information-flow security in Haskell A Russo, K Claessen, J Hughes ACM Sigplan Notices 44 (2), 13-24, 2008	105	2008
Testing an optimising compiler by generating random lambda terms MH Pałka, K Claessen, A Russo, J Hughes Proceedings of the 6th International Workshop on Automation of Software Test …, 2011	100	2011
A poor man's concurrency monad K Claessen Journal of Functional Programming 9 (3), 313-323, 1999	95	1999
Automating inductive proofs using theory exploration K Claessen, M Johansson, D Rosén, N Smallbone International Conference on Automated Deduction, 392-406, 2013	89	2013
Testing monadic code with QuickCheck K Claessen, J Hughes ACM SIGPLAN Notices 37 (12), 47-59, 2002	89	2002
Finding race conditions in Erlang with QuickCheck and PULSE K Claessen, M Palka, N Smallbone, J Hughes, H Svensson, T Arts, ... ACM Sigplan Notices 44 (9), 149-160, 2009	85	2009
New techniques that improve MACE-style model finding K Claessen, N Sörensson Model Computation, 2003	84	2003
Expressive array constructs in an embedded GPU kernel programming language K Claessen, M Sheeran, BJ Svensson Proceedings of the 7th workshop on Declarative aspects and applications of …, 2012	80	2012
QuickSpec: Guessing Formal Specifications Using Testing K Claessen, N Smallbone, J Hughes International Conference on Tests and Proofs, 6-21, 2010	78	2010
Using the TPTP language for writing derivations and finite interpretations G Sutcliffe, S Schulz, K Claessen, A Van Gelder International Joint Conference on Automated Reasoning, 67-81, 2006	77	2006
A coverage analysis for safety property lists K Claessen Formal Methods in Computer Aided Design (FMCAD'07), 139-145, 2007	74	2007
The TPTP typed first-order form with arithmetic G Sutcliffe, S Schulz, K Claessen, P Baumgartner International Conference on Logic for Programming Artificial Intelligence …, 2012	72	2012
HALO: Haskell to logic through denotational semantics D Vytiniotis, S Peyton Jones, K Claessen, D Rosén Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2013	67	2013

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors