| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q6197213 | 2024-02-16 | Paper |
| Analysis and Transformation of Constrained Horn Clauses for Program Verification | 2023-12-12 | Paper |
| Removing algebraic data types from constrained Horn clauses using difference predicates | 2022-11-09 | Paper |
| Verifying Catamorphism-Based Contracts using Constrained Horn Clauses | 2022-09-30 | Paper |
| Satisfiability of constrained Horn clauses on algebraic data types: A transformation-based approach | 2022-03-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5020652 | 2022-01-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3384903 | 2021-12-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5016384 | 2021-12-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5015370 | 2021-12-07 | Paper |
| Solving Horn Clauses on Inductive Data Types Without Induction – ERRATUM | 2021-09-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4997232 | 2021-06-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4994693 | 2021-06-21 | Paper |
| Semantics and Controllability of Time-Aware Business Processes* | 2019-05-24 | Paper |
| Solving Horn Clauses on Inductive Data Types Without Induction | 2018-12-04 | Paper |
| Predicate pairing with abstraction for relational verification | 2018-09-06 | Paper |
| Relational verification through Horn clause transformation | 2018-08-27 | Paper |
| Predicate Pairing for program verification | 2018-05-31 | Paper |
| Program Verification using Constraint Handling Rules and Array Constraint Generalizations* | 2017-11-10 | Paper |
| Proving correctness of imperative programs by linearizing constrained Horn clauses | 2017-11-09 | Paper |
| Verification of time-aware business processes using constrained Horn clauses | 2017-10-13 | Paper |
| A Rule-based Verification Strategy for Array Manipulating Programs | 2016-08-15 | Paper |
| Efficient generation of test data structures using constraint logic programming and program transformation | 2015-12-28 | Paper |
| Verifying Array Programs by Transforming Verification Conditions | 2015-01-13 | Paper |
| Proving Theorems by Program Transformation | 2013-11-28 | Paper |
| Specialization with Constrained Generalization for Software Model Checking | 2013-09-13 | Paper |
| Controlling Polyvariance for Specialization-based Verification | 2013-07-30 | Paper |
| Generalization strategies for the verification of infinite state systems | 2013-06-26 | Paper |
| Using Real Relaxations during Program Specialization | 2013-03-13 | Paper |
| Improving Reachability Analysis of Infinite State Systems by Specialization | 2012-10-29 | Paper |
| Improving Reachability Analysis of Infinite State Systems by Specialization | 2011-10-07 | Paper |
| Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation | 2011-05-27 | Paper |
| Combining Logic Programs and Monadic Second Order Logics by Program Transformation | 2011-03-04 | Paper |
| Program Development in Computational Logic | 2005-12-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5701513 | 2005-11-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4808811 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4475692 | 2004-08-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4421875 | 2003-09-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4499254 | 2001-03-05 | Paper |
