Distributed Graph-Based State Space Generation. - Stefan Blom; Gijs Kant; Arend Rensink (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

Efficient Instantiation of Parameterised Boolean Equation Systems to Parity Games - Gijs Kant; Jaco van de Pol (GRAPHITE, 2012)

Read, Write and Copy Dependencies for Symbolic Model Checking. - Jeroen Meijer; Gijs Kant; Stefan Blom; Jaco van de Pol (Haifa Verification Conference, 2014)

Generating and Solving Symbolic Parity Games. - Gijs Kant; Jaco van de Pol (GRAPHITE, 2014)

LTSmin: High-Performance Language-Independent Model Checking. - Gijs Kant; Alfons Laarman; Jeroen Meijer; Jaco van de Pol; Stefan Blom; Tom van Dijk (TACAS, 2015)