The Non-Definedness Notion in Expert Systems. - Dirk Van Heule; Albert Hoogewijs; Noemie Slaats (Inf. Sci., 1999)

Automated Reasoning with Ordinary Assertions and Default Assumptions. - Dirk Van Heule; Albert Hoogewijs (ISMVL, 2001)

The Quasi-Newton Least Squares Method: A New and Fast Secant Method Analyzed for Linear Systems. - Rob Haelterman; Joris Degroote; Dirk Van Heule; Jan A. Vierendeels (SIAM J. Numer. Anal., 2009)

Optimization of the Runge-Kutta iteration with residual smoothing. - Rob Haelterman; Jan A. Vierendeels; Dirk Van Heule (J. Comput. Appl. Math., 2010)

On the Similarities Between the Quasi-Newton Inverse Least Squares Method and GMRes. - Rob Haelterman; Joris Degroote; Dirk Van Heule; Jan A. Vierendeels (SIAM J. Numer. Anal., 2010)

Multi-stage solvers optimized for damping and propagation. - Rob Haelterman; Jan A. Vierendeels; Dirk Van Heule; Steve De Ridder; Helena Bruyninckx (J. Comput. Appl. Math., 2011)

Cryptographic Boolean Functions with R. - Frédéric Lafitte; Dirk Van Heule; Julien Van hamme (R J., 2011)

Secure and practical threshold RSA. - Jérôme Dossogne; Frédéric Lafitte; Dirk Van Heule (SIN, 2013)

Safe cryptographic random number generation using untrusted generators. - Helena Bruyninckx; Frédéric Lafitte; Dirk Van Heule (ICC, 2014)

Applications of SAT Solvers in Cryptanalysis: Finding Weak Keys and Preimages. - Frédéric Lafitte; Jorge Nakahara Jr.; Dirk Van Heule (J. Satisf. Boolean Model. Comput., 2014)

Arbitrated Secure Authentication realized by using quantum principles. - Helena Bruyninckx; Dirk Van Heule (ICC, 2015)

SAT based analysis of LTE stream cipher ZUC. - Frédéric Lafitte; Olivier Markowitch; Dirk Van Heule (J. Inf. Secur. Appl., 2015)

SAT-based cryptanalysis of ACORN. - Frédéric Lafitte; Liran Lerman; Olivier Markowitch; Dirk Van Heule (IACR Cryptol. ePrint Arch., 2016)