| Publication | Date of Publication | Type |
|---|
| Subsumption algorithms based on search trees | 2023-02-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5020546 | 2022-01-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5009454 | 2021-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5240217 | 2019-10-24 | Paper |
| Constraint-Based Inference in Probabilistic Logic Programs | 2018-12-04 | Paper |
| Compositional Branching-Time Measurements | 2014-07-24 | Paper |
| Inference in probabilistic logic programs with continuous random variables | 2013-03-13 | Paper |
| Model checking with probabilistic tabled logic programming | 2013-03-13 | Paper |
| Policy analysis for administrative role-based access control | 2012-01-04 | Paper |
| Model Repair for Probabilistic Systems | 2011-05-19 | Paper |
| Vacuity Checking in the Modal Mu-Calculus* | 2011-05-06 | Paper |
| A process calculus for mobile ad hoc networks | 2010-04-29 | Paper |
| Query-Based Model Checking of Ad Hoc Network Protocols | 2009-10-22 | Paper |
| Logic Programming | 2009-08-06 | Paper |
| A Local Algorithm for Incremental Evaluation of Tabled Logic Programs | 2008-03-11 | Paper |
| Deductive Spreadsheets Using Tabled Logic Programming | 2008-03-11 | Paper |
| Functional and Logic Programming | 2007-09-25 | Paper |
| Precise specification matching for adaptive reuse in embedded systems | 2007-07-25 | Paper |
| Tools and Algorithms for the Construction and Analysis of Systems | 2007-05-02 | Paper |
| Logic Programming | 2006-06-27 | Paper |
| Compositional analysis for verification of parameterized systems | 2006-04-28 | Paper |
| Program Development in Computational Logic | 2005-12-23 | Paper |
| BEYOND TAMAKI-SATO STYLE UNFOLD/FOLD TRANSFORMATIONS FOR NORMAL LOGIC PROGRAMS | 2005-06-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4809159 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4736510 | 2004-08-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4736511 | 2004-08-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4736515 | 2004-08-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4472242 | 2004-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4417935 | 2003-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4414384 | 2003-07-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536595 | 2002-11-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4501591 | 2002-09-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2766790 | 2002-07-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2754127 | 2001-12-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2703729 | 2001-05-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4518894 | 2001-02-05 | Paper |
| Evaluating inlining techniques | 2000-11-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4494372 | 2000-08-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4944884 | 2000-03-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4942016 | 2000-03-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4938606 | 2000-02-23 | Paper |
