Koen Claessen Vis

*	2009
30	EE	Koen Claessen, Ann Lillieström: Automated Inference of Finite Unsatisfiability. CADE 2009: 388-403
29	EE	Koen Claessen, Michal Palka, Nicholas Smallbone, John Hughes, Hans Svensson, Thomas Arts, Ulf Wiger: Finding race conditions in Erlang with QuickCheck and PULSE. ICFP 2009: 149-160
28	EE	Dana N. Xu, Simon L. Peyton Jones, Koen Claessen: Static contract checking for Haskell. POPL 2009: 41-52
27	EE	Koen Claessen, Jan-Willem Roorda: A Faithful Semantics for Generalised Symbolic Trajectory Evaluation Logical Methods in Computer Science 5(2): (2009)
	2008
26	EE	Koen Claessen, Hans Svensson: Finding Counter Examples in Induction Proofs. TAP 2008: 48-65
	2007
25	EE	Koen Claessen: A Coverage Analysis for Safety Property Lists. FMCAD 2007: 139-145
	2006
24	EE	Jan-Willem Roorda, Koen Claessen: SAT-Based Assistance in Abstraction Refinement for Symbolic Trajectory Evaluation. CAV 2006: 175-189
23	EE	Jan-Willem Roorda, Koen Claessen: Explaining Symbolic Trajectory Evaluation by Giving It a Faithful Semantics. CSR 2006: 555-566
22	EE	Geoff Sutcliffe, Stephan Schulz, Koen Claessen, Allen Van Gelder: Using the TPTP Language for Writing Derivations and Finite Interpretations. IJCAR 2006: 67-81
21	EE	Koen Claessen, Jan-Willem Roorda: An Introduction to Symbolic Trajectory Evaluation. SFM 2006: 56-77
	2005
20	EE	Jan-Willem Roorda, Koen Claessen: A New SAT-Based Algorithm for Symbolic Trajectory Evaluation. CHARME 2005: 238-253
19	EE	Emil Axelsson, Koen Claessen, Mary Sheeran: Wired: Wire-Aware Circuit Design. CHARME 2005: 5-19
18	EE	Koen Claessen, Hans Svensson: A semantics for distributed Erlang. Erlang Workshop 2005: 78-87
	2004
17	EE	Thomas Arts, Koen Claessen, Hans Svensson: Semi-formal Development of a Fault-Tolerant Leader Election Protocol in Erlang. FATES 2004: 140-154
16	EE	Koen Claessen, Johan Mårtensson: An Operational Semantics for Weak PSL. FMCAD 2004: 337-351
15	EE	Koen Claessen: Safety Property Verification of Cyclic Synchronous Circuits. Electr. Notes Theor. Comput. Sci. 88: 55-69 (2004)
14	EE	Koen Claessen: Parallel Parsing Processes. J. Funct. Program. 14(6): 741-757 (2004)
	2003
13	EE	Koen Claessen, Mary Sheeran, Satnam Singh: Using Lava to design and verify recursive and periodic sorters. STTT 4(3): 349-358 (2003)
	2002
12	EE	Koen Claessen, Colin Runciman, Olaf Chitil, John Hughes, Malcolm Wallace: Testing and Tracing Lazy Functional Programs Using QuickCheck and Hat. Advanced Functional Programming 2002: 59-99
11	EE	Koen Claessen, Gordon J. Pace: An embedded language approach to teaching hardware compilation. SIGPLAN Notices 37(12): 35-46 (2002)
10	EE	Koen Claessen, John Hughes: Testing monadic code with QuickCheck. SIGPLAN Notices 37(12): 47-59 (2002)
	2001
9	EE	Koen Claessen, Mary Sheeran, Satnam Singh: The Design and Verification of a Sorter Core. CHARME 2001: 355-369
	2000
8	EE	Per Bjesse, Koen Claessen: SAT-Based Verification without State Space Traversal. FMCAD 2000: 372-389
7	EE	Koen Claessen, John Hughes: QuickCheck: a lightweight tool for random testing of Haskell programs. ICFP 2000: 268-279
6	EE	Koen Claessen, Peter Ljunglöf: Typed Logical Variables in Haskell. Electr. Notes Theor. Comput. Sci. 41(1): (2000)
	1999
5	EE	Koen Claessen, David Sands: Observable Sharing for Functional Circuit Description. ASIAN 1999: 62-73
4		Koen Claessen: A Poor Man's Concurrency Monad. J. Funct. Program. 9(3): 313-323 (1999)
	1998
3	EE	Per Bjesse, Koen Claessen, Mary Sheeran, Satnam Singh: Lava: Hardware Design in Haskell. ICFP 1998: 174-184
	1997
2		Koen Claessen, Ton Vullinghs, Erik Meijer: Structuring Graphical Paradigms in TkGofer. ICFP 1997: 251-262
1		Koen Claessen: Graphs in Compilation. ICFP 1997: 309

Coauthor Index

1	Thomas Arts	[17] [29]
2	Emil Axelsson	[19]
3	Per Bjesse	[3] [8]
4	Olaf Chitil	[12]
5	Allen Van Gelder	[22]
6	John Hughes	[7] [10] [12] [29]
7	Simon L. Peyton Jones	[28]
8	Ann Lillieström	[30]
9	Peter Ljunglöf	[6]
10	Johan Mårtensson	[16]
11	Erik Meijer	[2]
12	Gordon J. Pace	[11]
13	Michal Palka	[29]
14	Jan-Willem Roorda	[20] [21] [23] [24] [27]
15	Colin Runciman	[12]
16	David Sands	[5]
17	Stephan Schulz	[22]
18	Mary Sheeran	[3] [9] [13] [19]
19	Satnam Singh	[3] [9] [13]
20	Nicholas Smallbone	[29]
21	Geoff Sutcliffe	[22]
22	Hans Svensson	[17] [18] [26] [29]
23	Ton Vullinghs	[2]
24	Malcolm Wallace	[12]
25	Ulf Wiger	[29]
26	Dana N. Xu	[28]

Colors in the list of coauthors