Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Dean Voets" ( http://dblp.L3S.de/Authors/Dean_Voets )

  Author page on DBLP  Author page in RDF  Community of Dean Voets in ASPL-2

Publication years (Num. hits)
2009 (4) 2010 (1) 2011 (2)
Publication types (Num. hits)
article(4) inproceedings(3)
Venues (Conferences, Journals, ...)
CoRR(2) ICLP(2) TPLP(2) LOPSTR(1)
Authors
Dean Voets(7) Danny De Schreye(6) Yi-Dong Shen(2)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1 occurrences of 1 keywords
Results
Found 7 publication records. Showing 7 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Dean Voets, Danny De Schreye Non-termination Analysis of Logic Programs with Integer arithmetics Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Dean Voets, Danny De Schreye Non-termination analysis of logic programs with integer arithmetics. Search on Bibsonomy TPLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Dean Voets, Danny De Schreye Non-termination Analysis of Logic Programs Using Types. Search on Bibsonomy LOPSTR The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Yi-Dong Shen, Danny De Schreye, Dean Voets Termination Prediction for General Logic Programs Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Yi-Dong Shen, Danny De Schreye, Dean Voets Termination prediction for general logic programs. Search on Bibsonomy TPLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Dean Voets, Danny De Schreye A New Approach to Non-termination Analysis of Logic Programs. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF non-termination analysis, program analysis
1Dean Voets Research Summary: Non-termination Analysis of Logic Programs. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #7 of 7 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.