| Publication | Date of Publication | Type |
|---|
Termination of simply moded logic programs with dynamic scheduling
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
Nonmonotonic trust management for P2P applications
Electronic Notes in Theoretical Computer Science | 2016-05-06 | Paper |
| Analysing password protocol security against off-line dictionary attacks | 2013-09-20 | Paper |
| A trace logic for local security properties | 2013-09-20 | Paper |
Policy Administration in Tag-Based Authorization
Foundations and Practice of Security | 2013-08-07 | Paper |
LP with flexible grouping and aggregates using modes
Logic-Based Program Synthesis and Transformation | 2010-05-04 | Paper |
Core TuLiP Logic Programming for Trust Management
Logic Programming | 2009-03-05 | Paper |
Logic Programming
Lecture Notes in Computer Science | 2006-06-27 | Paper |
Program Development in Computational Logic
Lecture Notes in Computer Science | 2005-12-23 | Paper |
| scientific article; zbMATH DE number 2090117 (Why is no real title available?) | 2004-08-12 | Paper |
On modular termination proofs of general logic programs
Theory and Practice of Logic Programming | 2004-03-01 | Paper |
Properties of Input-Consuming Derivations
Theory and Practice of Logic Programming | 2004-03-01 | Paper |
| scientific article; zbMATH DE number 1948405 (Why is no real title available?) | 2003-07-13 | Paper |
| scientific article; zbMATH DE number 1926606 (Why is no real title available?) | 2003-06-11 | Paper |
Semantics of well-moded input consuming logic programs
Computer Languages | 2002-03-19 | Paper |
| scientific article; zbMATH DE number 1696796 (Why is no real title available?) | 2002-01-28 | Paper |
| scientific article; zbMATH DE number 1692954 (Why is no real title available?) | 2002-01-21 | Paper |
| scientific article; zbMATH DE number 1615257 (Why is no real title available?) | 2001-07-08 | Paper |
| scientific article; zbMATH DE number 1615260 (Why is no real title available?) | 2001-07-08 | Paper |
| scientific article; zbMATH DE number 1497819 (Why is no real title available?) | 2001-03-05 | Paper |
| scientific article; zbMATH DE number 1420810 (Why is no real title available?) | 2000-03-22 | Paper |
Layered modes
The Journal of Logic Programming | 1999-12-06 | Paper |
| scientific article; zbMATH DE number 1332631 (Why is no real title available?) | 1999-09-08 | Paper |
Termination of well-moded programs
The Journal of Logic Programming | 1999-07-20 | Paper |
| scientific article; zbMATH DE number 1234567 (Why is no real title available?) | 1999-02-11 | Paper |
A semantics for modular general logic programs
Theoretical Computer Science | 1999-01-12 | Paper |
Transformations of CLP modules
Theoretical Computer Science | 1997-02-27 | Paper |
Simultaneous Replacement in Normal Programs
Journal Of Logic And Computation | 1996-03-17 | Paper |
