Concepedia

Danny De Schreye

DD

36

Publications

1.6K

Citations

21

H-Index

1989

Active since

Affiliations

KU Leuven(Current)

Danny De Schreye is an author at KU Leuven specializing in engineering, automated reasoning, and formal methods.

Top concepts

EngineeringFormal MethodsAutomated ReasoningComputer ScienceFormal VerificationLogic ProgrammingProgram AnalysisVerificationSoftware AnalysisSemantics

Publications per year

1989–2019

36

Publications

36

Termination of logic programs: the never-ending story

Danny De Schreye, Stefaan Decorte · The Journal of Logic Programming · 1994 · 205 citations · Full text

Applied Logic, Computational Logic, Engineering +8

Proceedings of the 1999 international conference on Logic programming

Danny De Schreye · 1999 · 150 citations

Applied Logic, Computational Logic, Engineering +6

SLDNFA: An abductive procedure for abductive logic programs

Marc Denecker, Danny De Schreye · The Journal of Logic Programming · 1998 · 102 citations · Full text

Computational Logic, Abductive Procedure, Abduction +7

Conjunctive partial deduction: foundations, control, algorithms, and experiments

Danny De Schreye, Robert Glück, Jesper Jørgensen et al. · The Journal of Logic Programming · 1999 · 100 citations · Full text

Engineering, Automated Reasoning, Propositional Logic +6

Controlling generalization and polyvariance in partial deduction of normal logic programs

Michaël Leuschel, Bern Martens, Danny De Schreye · ACM Transactions on Programming Languages and Systems · 1998 · 92 citations · Full text

Engineering, Well-founded Semantics, Computational Complexity +23

Rows per page

1–5 of 36