Koen Claessen

צוטט על ידי

	הכל	מאז 2020
ציטוטים ביבליוגרפיים	7028	1820
H-index	38	20
i10-index	77	46

420

210

105

315

2000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202539 45 67 98 120 151 186 224 274 241 337 298 348 354 375 410 341 409 370 419 349 353 336 375 367 40

גישה ציבורית

הצג הכל

19 מאמרים

מאמר אחד

זמין

לא זמין

על סמך ייפוי כח מהמממנים

מחברים משותפים

Mary SheeranChalmers Univeresity of Technologyכתובת אימייל מאומתת בדומיין chalmers.se
John HughesProfessor of Computer Science and Engineering, Chalmers Universityכתובת אימייל מאומתת בדומיין chalmers.se
Nicholas SmallboneChalmers University of Technologyכתובת אימייל מאומתת בדומיין chalmers.se
Dan RosénUppsala University, dept. of Pharmaceutical Biosciencesכתובת אימייל מאומתת בדומיין farmbio.uu.se
Bo Joel SvenssonLind Art & Technology ABכתובת אימייל מאומתת בדומיין chalmers.se
Emil AxelssonChalmers University of Technologyכתובת אימייל מאומתת בדומיין chalmers.se
Moa JohanssonAssociate Professor (Docent), Chalmers Universityכתובת אימייל מאומתת בדומיין chalmers.se
Hans SvenssonQuviq ABכתובת אימייל מאומתת בדומיין quviq.com
Alejandro RussoProfessor, Computer Science and Engineering Department, Chalmers / Göteborg Universityכתובת אימייל מאומתת בדומיין chalmers.se
Knut ÅkessonChalmers University of Technologyכתובת אימייל מאומתת בדומיין chalmers.se
Simon Peyton JonesEpic Gamesכתובת אימייל מאומתת בדומיין epicgames.com
Thomas ArtsProfessor of Software Engineering, Chalmersכתובת אימייל מאומתת בדומיין quviq.com
Niklas EenResearcher at RenTecכתובת אימייל מאומתת בדומיין een.se
Zahra RamezaniPhD, Chalmers University of Technologyכתובת אימייל מאומתת בדומיין chalmers.se
Anders PerssonPhD candidate, Chalmers University of Technologyכתובת אימייל מאומתת בדומיין chalmers.se
Stephan SchulzProfessor of Computer Science, DHBW Stuttgartכתובת אימייל מאומתת בדומיין eprover.org
Geoff SutcliffeDepartment of Computer Science, University of Miamiכתובת אימייל מאומתת בדומיין cs.miami.edu
Gordon J. PaceDepartment of Computer Science, University of Maltaכתובת אימייל מאומתת בדומיין um.edu.mt
Johan Lidén EddelandCombitechכתובת אימייל מאומתת בדומיין combitech.com
David SandsProfessor of Computer Science, Chalmers University of Technologyכתובת אימייל מאומתת בדומיין chalmers.se

עקוב אחר

Koen Claessen

Chalmers University of Technology

כתובת אימייל מאומתת בדומיין chalmers.se - דף הבית

programming languages functional programming formal methods testing automated reasoning


כותרת מיון לפי ציטוט ביבליוגרפי מיון לפי שנה מיון לפי כותרת	צוטט על ידי צוטט על ידי	שנה
QuickCheck: a lightweight tool for random testing of Haskell programs‏ K Claessen, J Hughes‏ International Conference on Functional Programming, 2000‏	2104*	2000
Lava: hardware design in Haskell‏ P Bjesse, K Claessen, M Sheeran, S Singh‏ Acm SIGPLAN Notices 34 (1), 174-184, 1998‏	598	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‏	359*	2003
SAT-based verification without state space traversal‏ P Bjesse, K Claessen‏ International Conference on Formal Methods in Computer-Aided Design, 409-426, 2000‏	243	2000
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‏	141	2011
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‏	137	2013
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‏	136	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‏	128	2010
A library for light-weight information-flow security in Haskell‏ A Russo, K Claessen, J Hughes‏ ACM Sigplan Notices 44 (2), 13-24, 2008‏	126	2008
Observable sharing for functional circuit description‏ K Claessen, D Sands‏ Annual Asian Computing Science Conference, 62-73, 1999‏	119	1999
A poor man's concurrency monad‏ K Claessen‏ Journal of Functional Programming 9 (3), 313-323, 1999‏	115	1999
QuickSpec: Guessing Formal Specifications Using Testing‏ K Claessen, N Smallbone, J Hughes‏ International Conference on Tests and Proofs, 6-21, 2010‏	110	2010
Testing monadic code with QuickCheck‏ K Claessen, J Hughes‏ ACM SIGPLAN Notices 37 (12), 47-59, 2002‏	100	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‏	98	2009
A liveness checking algorithm that counts‏ K Claessen, N Sörensson‏ 2012 Formal Methods in Computer-Aided Design (FMCAD), 52-59, 2012‏	95	2012
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‏	93	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‏	92	2012
Generating constrained random data with uniform distribution‏ K Claessen, J Duregård, MH Pałka‏ Journal of functional programming 25, e8, 2015‏	82	2015
A coverage analysis for safety property lists‏ K Claessen‏ Formal Methods in Computer Aided Design (FMCAD'07), 139-145, 2007‏	82	2007
Using the TPTP language for writing derivations and finite interpretations‏ G Sutcliffe, S Schulz, K Claessen, A Van Gelder‏ Automated Reasoning: Third International Joint Conference, IJCAR 2006 …, 2006‏	82	2006

המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.

מאמרים 1–20

ציטוטים ביבליוגרפיים בשנה

ציטוטים ביביליוגרפיים כפולים

ציטוטים ביביליוגרפיים שמוזגו

הוסף מחברים שותפיםמחברים משותפים

עקוב אחר

צוטט על ידי

מחברים משותפים