| Publication | Date of Publication | Type |
|---|
| A new modeling of classical folds in computational origami | 2024-12-17 | Paper |
| Level-confluence of conditional rewrite systems with extra variables in right-hand sides | 2022-12-09 | Paper |
| Lazy narrowing: Strong completeness and eager variable elimination (extended abstract) | 2022-08-18 | Paper |
| Interactive construction and automated proof in Eos system with application to knot fold of regular polygons | 2022-05-24 | Paper |
| An introduction to computational origami | 2020-10-15 | Paper |
| In memoriam | 2016-07-18 | Paper |
| Formalizing polygonal knot origami | 2015-01-14 | Paper |
| Computational Origami Construction as Constraint Solving and Rewriting | 2014-03-26 | Paper |
| Hot topics in reduction strategies -- a panelist's view | 2013-07-24 | Paper |
| Proof Documents for Automated Origami Theorem Proving | 2011-11-25 | Paper |
| Proof Assistant Decision Procedures for Formalizing Origami | 2011-07-29 | Paper |
| Morley's theorem revisited: origami construction and automated proof | 2011-03-31 | Paper |
| Computational Construction of a Maximum Equilateral Triangle Inscribed in an Origami | 2010-09-14 | Paper |
| Origami fold as algebraic graph rewriting | 2010-03-17 | Paper |
| Programming Languages and Systems | 2010-01-05 | Paper |
| Mathematical Knowledge Management | 2007-02-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3417124 | 2007-01-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3416405 | 2007-01-22 | Paper |
| Automated Deduction in Geometry | 2006-10-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5700800 | 2005-10-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5699483 | 2005-10-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5699557 | 2005-10-26 | Paper |
| Artificial Intelligence and Symbolic Computation | 2005-08-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4815317 | 2004-09-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3044482 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4433980 | 2003-11-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4780213 | 2002-10-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4780182 | 2002-10-31 | Paper |
| Minimised geometric Buchberger algorithm for integer programming | 2002-08-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2766792 | 2002-07-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4503164 | 2001-01-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4364372 | 2000-07-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4705614 | 1999-12-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4226983 | 1999-05-30 | Paper |
| Leftmost outside-in narrowing calculi | 1997-11-12 | Paper |
| Lazy narrowing: strong completeness and eager variable elimination | 1997-02-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3809229 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3721814 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3686037 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3782726 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3782755 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3729993 | 1984-01-01 | Paper |
| Some FP algebra with currying operation | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4155821 | 1978-01-01 | Paper |
| Parallel hashing algorithms | 1977-01-01 | Paper |
