Iterated Belief Change in Multi-Agent Systems. - Jan-Willem Roorda; Wiebe van der Hoek; John-Jules Ch. Meyer (Log. J. IGPL, 2003)

A New SAT-Based Algorithm for Symbolic Trajectory Evaluation. - Jan-Willem Roorda; Koen Claessen (CHARME, 2005)

SAT-Based Assistance in Abstraction Refinement for Symbolic Trajectory Evaluation. - Jan-Willem Roorda; Koen Claessen (CAV, 2006)

Explaining Symbolic Trajectory Evaluation by Giving It a Faithful Semantics. - Jan-Willem Roorda; Koen Claessen (CSR, 2006)

An Introduction to Symbolic Trajectory Evaluation. - Koen Claessen; Jan-Willem Roorda (SFM, 2006)

Semantics, Decision Procedures, and Abstraction Refinement for Symbolic Trajectory Evaluation. - Jan-Willem Roorda (2006)

Model Checking Verilog Descriptions of Cell Libraries. - Matthias Raffelsieper; Jan-Willem Roorda; Mohammad Reza Mousavi 001 (ACSD, 2009)

Formal Analysis of Non-determinism in Verilog Cell Library Simulation Models. - Matthias Raffelsieper; Mohammad Reza Mousavi 001; Jan-Willem Roorda; Chris W. H. Strolenberg; Hans Zantema (FMICS, 2009)

A Faithful Semantics for Generalised Symbolic Trajectory Evaluation - Koen Claessen; Jan-Willem Roorda (Log. Methods Comput. Sci., 2009)