| Publication | Date of Publication | Type |
|---|
| Witnesses for Answer Sets of Logic Programs | 2023-04-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5047678 | 2022-11-17 | Paper |
| A geometric process warranty model using a combination policy | 2022-05-23 | Paper |
| Introducing Computer Science to High School Students Through Logic Programming | 2019-09-19 | Paper |
| onlineSPARC: A Programming Environment for Answer Set Programming | 2019-09-19 | Paper |
| Vicious circle principle, aggregates, and formation of sets in ASP based languages | 2019-08-28 | Paper |
| P-log: refinement and a new coherency condition | 2019-08-13 | Paper |
| A geometric process repair model for a cold standby repairable system with imperfect delay repair and priority in use | 2017-10-12 | Paper |
| Vicious circle principle and formation of sets in ASP based languages | 2017-09-05 | Paper |
| An optimal age-replacement policy for a simple repairable system with delayed repair | 2017-05-02 | Paper |
| An extended geometric process repair model with delayed repair and slight failure type | 2017-04-27 | Paper |
| Optimal replacement policy for a two-dissimilar-component cold standby system with different repair actions | 2016-04-12 | Paper |
| P. van Beek and R. Dechter's theorem on constraint looseness and local consistency | 2015-11-12 | Paper |
| Vicious Circle Principle and Logic Programs with Aggregates | 2014-11-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2923597 | 2014-11-03 | Paper |
| A geometric process repair model for a two-component system with shock damage interaction | 2014-07-29 | Paper |
| Optimal repair-replacement policies for a system with two types of failures | 2014-07-27 | Paper |
| An optimal replacement policy for repairable cold standby system with priority in use | 2014-03-17 | Paper |
| Towards Answer Set Programming with Sorts | 2013-10-10 | Paper |
| A REVIEW OF TREE CONVEX SETS TEST | 2012-11-15 | Paper |
| A bivariate optimal replacement policy for a cold standby repairable system with preventive repair | 2012-06-11 | Paper |
| An extended replacement policy for a deteriorating system with multi-failure modes | 2011-12-29 | Paper |
| Solving functional constraints by variable substitution | 2011-06-15 | Paper |
| An optimal repair-replacement policy for a cold standby system with use priority | 2011-05-10 | Paper |
| An optimal replacement policy for a multistate degenerative simple system | 2010-12-14 | Paper |
| A bivariate mixed policy for a simple repairable system based on preventive repair and failure repair | 2010-04-24 | Paper |
| Reliability analysis for a \(k/n(F)\) system with repairable repair-equipment | 2010-04-24 | Paper |
| A bivariate optimal replacement policy for a cold standby repairable system with repair priority | 2010-03-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3404809 | 2010-02-12 | Paper |
| Solving connected row convex constraints by variable elimination | 2009-09-14 | Paper |
| A geometric process repair model for a series repairable system with \(k\)-dissimilar components | 2009-08-21 | Paper |
| Properties of tree convex constraints | 2009-07-17 | Paper |
| Integrating answer set programming and constraint logic programming | 2009-07-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3624039 | 2009-04-28 | Paper |
| Efficient Algorithms for Functional Constraints | 2009-01-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3537233 | 2008-11-24 | Paper |
| Principles and Practice of Constraint Programming – CP 2004 | 2008-09-09 | Paper |
| A geometrical process repair model for a repairable system with delayed repair | 2008-05-05 | Paper |
| An optimal replacement policy for a two-component series system assuming geometric process repair | 2007-11-12 | Paper |
| An optimal coarse-grained arc consistency algorithm | 2007-10-23 | Paper |
| A deteriorating cold standby repairable system with priority in use | 2007-06-25 | Paper |
| A discussion on ``A bivariate optimal replacement policy for a repairable system | 2007-01-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5698367 | 2005-10-27 | Paper |
| A geometric process model for \(M/M/1\) queueing system with a repairable service station | 2005-09-22 | Paper |
| Optimal replacement policy for a multistate repairable system | 2005-03-14 | Paper |
| A shock model for the maintenance problem of a repairable system | 2004-11-12 | Paper |
| Some limit theorems in geometric processes | 2004-06-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4248660 | 2004-02-01 | Paper |
| A geometric process equivalent model for a multistate degenerative system | 2002-11-17 | Paper |
| Analysis for a consecutive-k-out-of-n: F repairable system with priority in repair | 2002-11-06 | Paper |
| Optimal replacement policy for a deteriorating production system with preventive maintenance | 2002-10-23 | Paper |
| Reliability of consecutive-k-out-of-n:Grepairable system | 2002-08-20 | Paper |
| Analysis of repairable consecutive-2-out-of-n : F systems with Markov dependence | 2002-08-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4545562 | 2002-08-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4545572 | 2002-08-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4545632 | 2002-08-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4537473 | 2002-07-01 | Paper |
| Repairable consecutive-k-out-of-n:F system with Markov dependence | 2001-01-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4516761 | 2000-11-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4944838 | 2000-03-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4391573 | 1999-01-19 | Paper |
| Analysis of repairable consecutive-2-out-of-n: F systems with Markov dependence | 1999-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4373995 | 1998-11-17 | Paper |
| Analysis of a parallel system with two different units | 1998-05-04 | Paper |
| Analysis of a two-component series system with a geometric process model | 1996-10-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4848916 | 1995-12-12 | Paper |
| A bivariate optimal replacement policy for a repairable system | 1995-02-09 | Paper |
| Some Problems on a One-Dimensional Correlated Random Walk with Various Types of Barrier | 1992-08-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5203455 | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3488970 | 1989-01-01 | Paper |
