Dean Voets

According to our database, Dean Voets authored at least 6 papers between 2009 and 2013.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2013

Termination and Non-Termination in Logic Programming (Terminatie en Non-terminatie van Logische Programmeertalen).

Dean Voets

PhD thesis, 2013

2011

Non-termination analysis of logic programs with integer arithmetics.

Dean Voets, Danny De Schreye

Theory Pract. Log. Program., 2011

2010

Non-termination Analysis of Logic Programs Using Types.

Dean Voets, Danny De Schreye

Proceedings of the Logic-Based Program Synthesis and Transformation, 2010

2009

Termination prediction for general logic programs.

Yi-Dong Shen, Danny De Schreye, Dean Voets

Theory Pract. Log. Program., 2009

A New Approach to Non-termination Analysis of Logic Programs.

Dean Voets, Danny De Schreye

Proceedings of the Logic Programming, 25th International Conference, 2009

Research Summary: Non-termination Analysis of Logic Programs.

Dean Voets

Proceedings of the Logic Programming, 25th International Conference, 2009