Koen Claessen

Cited by

	All	Since 2018
Citations	6333	1937
h-index	38	22
i10-index	73	41

440

220

110

330

199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202317 38 42 68 101 118 148 190 221 255 232 322 294 362 355 380 403 347 426 371 418 351 342 328 127

Public access

View all

17 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énUppsala University, dept. of Pharmaceutical BiosciencesVerified email at farmbio.uu.se
Emil AxelssonChalmers University of TechnologyVerified email at chalmers.se
Moa JohanssonAssociate Professor (Docent), Chalmers UniversityVerified email at chalmers.se
Bo Joel SvenssonLindboard ABVerified email at chalmers.se
Hans SvenssonQuviq ABVerified email at quviq.com
Alejandro RussoProfessor, Computer Science and Engineering Department, Chalmers / Göteborg UniversityVerified email at chalmers.se
Knut ÅkessonChalmers University of TechnologyVerified email at chalmers.se
Thomas ArtsProfessor of Software Engineering, ChalmersVerified email at quviq.com
Niklas EenResearcher at GoogleVerified email at een.se
Simon Peyton JonesEpic GamesVerified email at epicgames.com
Anders PerssonPhD candidate, Chalmers University of TechnologyVerified email at chalmers.se
Zahra RamezaniPhD Student, 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
Johan Lidén EddelandCombitechVerified email at combitech.com

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	1828*	2000
Lava: hardware design in Haskell P Bjesse, K Claessen, M Sheeran, S Singh ACM SIGPLAN Notices 34 (1), 174-184, 1998	563	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	331*	2003
SAT-based verification without state space traversal P Bjesse, K Claessen Formal Methods in Computer-Aided Design: Third International Conference …, 2000	236	2000
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	122	2010
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	122	2009
Automating inductive proofs using theory exploration K Claessen, M Johansson, D Rosén, N Smallbone Automated Deduction–CADE-24: 24th International Conference on Automated …, 2013	121	2013
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	118	2011
A library for light-weight information-flow security in Haskell A Russo, K Claessen, J Hughes ACM Sigplan Notices 44 (2), 13-24, 2008	118	2008
Observable sharing for functional circuit description K Claessen, D Sands Advances in Computing Science—ASIAN’99: 5th Asian Computing Science …, 1999	112	1999
A poor man's concurrency monad K Claessen Journal of Functional Programming 9 (3), 313-323, 1999	111	1999
QuickSpec: Guessing Formal Specifications Using Testing K Claessen, N Smallbone, J Hughes Tests and Proofs: 4th International Conference, TAP 2010, Málaga, Spain …, 2010	97	2010
Testing monadic code with QuickCheck K Claessen, J Hughes Proceedings of the 2002 ACM SIGPLAN workshop on Haskell, 65-77, 2002	97	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	88	2009
A coverage analysis for safety property lists K Claessen Formal Methods in Computer Aided Design (FMCAD'07), 139-145, 2007	86	2007
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	85	2012
The TPTP typed first-order form with arithmetic G Sutcliffe, S Schulz, K Claessen, P Baumgartner Logic for Programming, Artificial Intelligence, and Reasoning: 18th …, 2012	83	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	78	2013
A liveness checking algorithm that counts K Claessen, N Sörensson 2012 Formal Methods in Computer-Aided Design (FMCAD), 52-59, 2012	76	2012
Generating constrained random data with uniform distribution K Claessen, J Duregård, MH Pałka Journal of functional programming 25, e8, 2015	74	2015

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

Follow

Cited by

Co-authors