`Travelled to:`

1 × Austria

1 × USA

`Collaborated with:`

D.D.Schreye ∅

`Talks about:`

program (4) analysi (4) termin (4) logic (4) non (4) research (1) arithmet (1) approach (1) summari (1) integ (1)

## Person: Dean Voets

### DBLP: Voets:Dean

### Contributed to:

### Wrote 4 papers:

- ICLP-J-2011-VoetsS #analysis #integer #logic programming #source code
- Non-termination analysis of logic programs with integer arithmetics (DV, DDS), pp. 521–536.
- LOPSTR-2010-VoetsS #analysis #logic programming #source code #using
- Non-termination Analysis of Logic Programs Using Types (DV, DDS), pp. 133–148.
- ICLP-2009-Voets #analysis #logic programming #research #source code #summary
- Research Summary: Non-termination Analysis of Logic Programs (DV), pp. 553–554.
- ICLP-2009-VoetsS #analysis #approach #logic programming #source code
- A New Approach to Non-termination Analysis of Logic Programs (DV, DDS), pp. 220–234.