Danny De Schreye

Identifiers

• name variant Danny De Schreye 0.60 · backfill

Papers (12)

1. Compiling Control as Offline Partial Deduction cs.PL · 2018 · author #2
2. Non-termination Analysis of Logic Programs with Integer arithmetics cs.PL · 2011 · author #2
3. Polytool: polynomial interpretations as a basis for termination analysis of Logic programs cs.PL · 2009 · author #2
4. Termination Prediction for General Logic Programs cs.PL · 2009 · author #2
5. Termination Analysis of General Logic Programs for Moded Queries: A Dynamic Approach cs.LO · 2005 · author #2
6. On termination of meta-programs cs.PL · 2001 · author #2
7. Inference of termination conditions for numerical loops in Prolog cs.PL · 2001 · author #2
8. Inference of termination conditions for numerical loops cs.PL · 2001 · author #2
9. Acceptability with general orderings cs.PL · 2001 · author #1
10. Semantic interpretation of temporal information by abductive inference cs.CL · 2000 · author #4
11. Termination analysis of logic programs using acceptability with general term orders cs.PL · 2000 · author #2
12. Termination Proofs for Logic Programs with Tabling cs.LO · 2000 · author #2

Mentions

• 1109.3256 #2 · backfill · confidence 0.70 Danny De Schreye
• 0912.4360 #2 · backfill · confidence 0.70 Danny De Schreye
• 0905.2004 #2 · backfill · confidence 0.70 Danny De Schreye

Frequent Coauthors

• Alexander Serebrenik 5 shared papers
• Dean Voets 2 shared papers
• Yi-Dong Shen 2 shared papers
• Frank Van Eynde 1 shared papers
• J\"urgen Giesl 1 shared papers
• Konstantinos Sagonas 1 shared papers
• Manh Thang Nguyen 1 shared papers
• Marc Denecker 1 shared papers
• Ness Schelkens 1 shared papers
• Peter Schneider-Kamp 1 shared papers
• Sofie Verbaeten 1 shared papers
• Sven Verdoolaege 1 shared papers
• Vincent Nys 1 shared papers