| Publication | Date of Publication | Type |
|---|
| Nominal AC-matching | 2024-02-28 | Paper |
| A Rule-Based System for Computation and Deduction in Mathematica | 2022-12-22 | Paper |
| A framework for approximate generalization in quantitative theories | 2022-12-07 | Paper |
| Solving Proximity Constraints | 2022-08-25 | Paper |
| Unranked Nominal Unification | 2022-08-11 | Paper |
| Matching and Generalization Modulo Proximity and Tolerance Relations | 2022-08-11 | Paper |
| Pattern-based calculi with finitary matching | 2022-08-10 | Paper |
| A Generic Framework for Higher-Order Generalizations. | 2022-07-18 | Paper |
| Nominal Unification and Matching of Higher Order Expressions with Recursive Let | 2022-05-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3384166 | 2021-12-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5015098 | 2021-12-08 | Paper |
| Extending the \(\rho\) log calculus with proximity relations | 2021-08-30 | Paper |
| Specification and analysis of ABAC policies in a rule-based framework | 2021-08-30 | Paper |
| Term-Graph Anti-Unification | 2021-06-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4993338 | 2021-06-15 | Paper |
| Variadic equational matching in associative and commutative theories | 2021-06-03 | Paper |
| Higher-order pattern generalization modulo equational theories | 2020-12-08 | Paper |
| McCarthy-Kleene fuzzy automata and MSO logics | 2020-05-26 | Paper |
| Constructing orthogonal designs in powers of two via symbolic computation and rewriting techniques | 2020-02-11 | Paper |
| Variadic equational matching | 2020-01-22 | Paper |
| Idempotent Anti-unification | 2019-11-22 | Paper |
| Theorema 2.0: Computer-Assisted Natural-Style Mathematics | 2019-09-18 | Paper |
| CLP(H):Constraint logic programming for hedges | 2017-11-09 | Paper |
| Nominal unification of higher order expressions with recursive let | 2017-10-13 | Paper |
| Unranked second-order anti-unification | 2017-09-04 | Paper |
| Constructing Orthogonal Designs in Powers of Two: Gröbner Bases Meet Equational Unification | 2017-07-12 | Paper |
| Nominal Anti-Unification | 2017-07-12 | Paper |
| Higher-order pattern anti-unification in linear time | 2017-07-06 | Paper |
| A Variant of Higher-Order Anti-Unification | 2017-02-01 | Paper |
| Anti-unification for unranked terms and hedges | 2015-07-02 | Paper |
| A Library of Anti-unification Algorithms | 2015-01-14 | Paper |
| Unranked Second-Order Anti-Unification | 2015-01-13 | Paper |
| Regular expression order-sorted unification and matching | 2014-09-11 | Paper |
| Constraint Logic Programming for Hedges: A Semantic Reconstruction | 2014-07-24 | Paper |
| Pattern unification with sequence variables and flexible arity symbols | 2013-08-15 | Paper |
| On the computation of quotients and factors of regular languages | 2013-07-04 | Paper |
| Order-Sorted Unification with Regular Expression Sorts. | 2012-04-25 | Paper |
| Anti-Unification for Unranked Terms and Hedges | 2012-04-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3108257 | 2012-01-01 | Paper |
| Regular Hedge Language Factorization Revisited | 2010-08-31 | Paper |
| Foundations of the rule-based system ρLog | 2009-11-30 | Paper |
| On the relation between context and sequence unification | 2009-11-06 | Paper |
| Flat matching | 2009-01-30 | Paper |
| Matching with Regular Constraints | 2008-05-27 | Paper |
| The Theorema Environment for Interactive Proof Development | 2008-05-27 | Paper |
| Sequence Unification Through Currying | 2008-01-02 | Paper |
| Solving equations with sequence variables and sequence functions | 2007-10-23 | Paper |
| \textit{Theorema}: Towards computer-aided mathematical theory exploration | 2007-02-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3416418 | 2007-01-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5699476 | 2005-10-26 | Paper |
| Mathematical Knowledge Management | 2005-08-26 | Paper |
| Artificial Intelligence and Symbolic Computation | 2005-08-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4808726 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4447245 | 2004-02-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4428306 | 2003-09-15 | Paper |
| On semantics and proof theory of disjunctive logic programs with classical negation | 2002-02-19 | Paper |
