D. Andre de Waal

11 papers A 1B 1C 4Journal 2Unranked 3
YearRankTypeTitle / Venue / Authors
2000 J jnl
Detecting Unsolvable Queries for Definite Logic Programs
CoRR
Maurice Bruynooghe, Henk Vandecasteele, D. Andre de Waal, Marc Denecker
1999 J jnl
Detecting Unsolvable Queries for Definite Logic Programs
J. Funct. Log. Program.
Maurice Bruynooghe, Henk Vandecasteele, D. Andre de Waal, Marc Denecker
1998 — conf
Detecting Unsolvable Queries for Definite Logic Programs.
PLILP/ALP
Maurice Bruynooghe, Henk Vandecasteele, D. Andre de Waal, Marc Denecker
1996 — conf
A Conceptual Embedding of Folding into Partial Deduction: Towards a Maximal Integration.
JICSLP
Michael Leuschel, Danny De Schreye, D. Andre de Waal
1995 C conf
Solving Deductive Planning Problems Using Program Analysis and Transformation.
LOPSTR
D. Andre de Waal, Michael Thielscher
1994 B conf
Fast and Precise Regular Approximations of Logic Programs.
ICLP
John P. Gallagher, D. Andre de Waal
1994 A conf
The Applicability of Logic Program Analysis and Transformation to Theorem Proving.
CADE
D. Andre de Waal, John P. Gallagher
1993 — conf
Logic Program Specialisation With Deletion of Useless Clauses.
ILPS
D. Andre de Waal, John P. Gallagher
1993 C conf
The Power of Partial Evaluation.
LOPSTR
D. Andre de Waal
1992 C conf
Deletion of Redundant Unary Type Predicates from Logic Programs.
LOPSTR
John P. Gallagher, D. Andre de Waal
1991 C conf
Specialisation of a Unification Algorithm.
LOPSTR
D. Andre de Waal, John P. Gallagher
2023 — conf
Not What You've Signed Up For: Compromising Real-World LLM-Integrated Applications with Indirect Prompt Injection.
AISec
Kai Greshake, Sahar Abdelnabi, Shailesh Mishra, Christoph Endres, Thorsten Holz, Mario Fritz
2026 — preprint
CCX: Enabling Unmodified Intel SGX Applications on Arm CCA.
arXiv
Matti Schulze, Thorsten Holz, Felix C. Freiling