MJH Heule, H van Maaren (2005), Aligning CNF- and equivalence-reasoning, HH Hoos, DG Mitchell (Eds.), In Theory and Applications of Satisfiability Testing: 7th International Conference, SAT 2004 p.145-156, Springer.

H van Maaren, L van Norden (2005), Correlations between Horn fractions, satisfiability and solver performance for fixed density random 3-CNF instances, In Annals of Mathematics and Artificial Intelligence Volume 44 p.157-177.

IP Szanto (2005), Design, optimization, and evaluation of a path query system, PhD Thesis Delft University of Technology.

MJH Heule, M Dufour, JE van Zwieten, H van Maaren (2005), March-eq - Implementing additional reasoning into efficient look-ahead SAT solver, In Lecture Notes in Computer Science Volume 3542 p.345-359.

MJH Heule, H van Maaren (2005), Observed lower bounds for random 3-sat phase transition density using linear programming, F Bacchus, T Walsh (Eds.), In Theory and applications of satisfiability testing p.122-134, Springer.

H van Maaren, L van Norden (2005), Sums of squares, satisfiability and maximum satisfiability, F Bacchus, T Walsh (Eds.), In Theory and applications of satisfiability testing p.294-308, Springer.

Arie van Deursen, Jean-Marie Favre, Rainer Koschke, Juergen Rilling (2003), Experiences in teaching software evolution and program comprehension, In Proceedings - IWPC 2003 p.283-284, IEEE.

Eleni Stroulia, Arie Van Deursen (2003), Message from the Program Chairs, A. van Deursen, E. Stroulia, M.A. Storey (Eds.), In Reverse Engineering - Working Conference Proceedings p.IX- IX, IEEE/CS.