| Publication | Date of Publication | Type |
|---|
| Lessons for interactive theorem proving researchers from a survey of Coq users | 2024-11-26 | Paper |
Automated termination proofs for logic programs by term rewriting
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
| Analysing the BKE-security protocol with \(\mu\)CRL | 2013-10-02 | Paper |
Code generation with templates
Atlantis Studies in Computing | 2012-06-14 | Paper |
Inference of Termination Conditions for Numerical Loops in Prolog
Logic for Programming, Artificial Intelligence, and Reasoning | 2011-05-06 | Paper |
On termination of meta-programs
Logic for Programming, Artificial Intelligence, and Reasoning | 2011-05-06 | Paper |
Automated termination analysis for logic programs with cut
Theory and Practice of Logic Programming | 2010-08-19 | Paper |
Can I find a partner? Undecidability of partner existence for open nets
Information Processing Letters | 2010-06-09 | Paper |
Process discovery using integer linear programming
Fundamenta Informaticae | 2009-11-30 | Paper |
Nested Nets for Adaptive Systems
Petri Nets and Other Models of Concurrency - ICATPN 2006 | 2009-04-02 | Paper |
History-Dependent Petri Nets
Petri Nets and Other Models of Concurrency – ICATPN 2007 | 2009-03-11 | Paper |
| Working with the past: integrating history in Petri nets | 2009-02-12 | Paper |
| Token history Petri nets | 2009-01-28 | Paper |
Process Discovery Using Integer Linear Programming
Applications and Theory of Petri Nets | 2008-07-03 | Paper |
On Termination of Binary CLP Programs
Logic Based Program Synthesis and Transformation | 2008-04-24 | Paper |
Improving Prolog programs: Refactoring for Prolog
Theory and Practice of Logic Programming | 2008-03-27 | Paper |
Recurrence with affine level mappings is P-time decidable for CLP
Theory and Practice of Logic Programming | 2008-01-21 | Paper |
| Checking properties of adaptive workflow nets | 2007-10-17 | Paper |
Automated Termination Analysis for Logic Programs by Term Rewriting
Logic-Based Program Synthesis and Transformation | 2007-09-10 | Paper |
Termination of floating-point computations
Journal of Automated Reasoning | 2006-11-03 | Paper |
On termination of meta-programs
Theory and Practice of Logic Programming | 2006-02-08 | Paper |
Logic Based Program Synthesis and Transformation
Lecture Notes in Computer Science | 2005-12-27 | Paper |
Program Development in Computational Logic
Lecture Notes in Computer Science | 2005-12-23 | Paper |
Applications and Theory of Petri Nets 2005
Lecture Notes in Computer Science | 2005-12-14 | Paper |
Logic Programming
Lecture Notes in Computer Science | 2005-08-26 | Paper |
Inference of termination conditions for numerical loops in Prolog
Theory and Practice of Logic Programming | 2005-04-15 | Paper |
| scientific article; zbMATH DE number 1973218 (Why is no real title available?) | 2003-09-01 | Paper |
| scientific article; zbMATH DE number 1948394 (Why is no real title available?) | 2003-07-13 | Paper |
| scientific article; zbMATH DE number 1926607 (Why is no real title available?) | 2003-06-11 | Paper |
A general framework for automatic termination analysis od logic programs
Applicable Algebra in Engineering, Communication and Computing | 2001-08-26 | Paper |
| scientific article; zbMATH DE number 1497822 (Why is no real title available?) | 2001-03-05 | Paper |
