| 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
Rewriting Techniques and Applications | 2022-12-09 | Paper |
Lazy narrowing: strong completeness and eager variable elimination (extended abstract)
TAPSOFT '95: Theory and Practice of Software Development | 2022-08-18 | Paper |
Interactive construction and automated proof in Eos system with application to knot fold of regular polygons
Origami⁶ | 2022-05-24 | Paper |
An introduction to computational origami
Texts & Monographs in Symbolic Computation | 2020-10-15 | Paper |
In memoriam
ACM SIGSAM Bulletin | 2016-07-18 | Paper |
Formalizing polygonal knot origami
Journal of Symbolic Computation | 2015-01-14 | Paper |
Computational origami construction as constraint solving and rewriting
Electronic Notes in Theoretical Computer Science | 2014-03-26 | Paper |
Hot topics in reduction strategies -- a panelist's view
Electronic Notes in Theoretical Computer Science | 2013-07-24 | Paper |
Proof Documents for Automated Origami Theorem Proving
Automated Deduction in Geometry | 2011-11-25 | Paper |
Proof assistant decision procedures for formalizing origami
Lecture Notes in Computer Science | 2011-07-29 | Paper |
Morley's theorem revisited: origami construction and automated proof
Journal of Symbolic Computation | 2011-03-31 | Paper |
Computational construction of a maximum equilateral triangle inscribed in an origami
Lecture Notes in Computer Science | 2010-09-14 | Paper |
Origami fold as algebraic graph rewriting
Journal of Symbolic Computation | 2010-03-17 | Paper |
Constraint functional logic programming for origami construction.
Lecture Notes in Computer Science | 2010-01-05 | Paper |
Mathematical Knowledge Management
Lecture Notes in Computer Science | 2007-02-12 | Paper |
| scientific article; zbMATH DE number 5119097 (Why is no real title available?) | 2007-01-26 | Paper |
| Integration of Mathematica into a grid computing network using MathGridLink | 2007-01-22 | Paper |
Automated Deduction in Geometry
Lecture Notes in Computer Science | 2006-10-20 | Paper |
| scientific article; zbMATH DE number 2220992 (Why is no real title available?) | 2005-10-31 | Paper |
| scientific article; zbMATH DE number 2217748 (Why is no real title available?) | 2005-10-26 | Paper |
| scientific article; zbMATH DE number 2217819 (Why is no real title available?) | 2005-10-26 | Paper |
Artificial Intelligence and Symbolic Computation
Lecture Notes in Computer Science | 2005-08-19 | Paper |
| scientific article; zbMATH DE number 2098735 (Why is no real title available?) | 2004-09-07 | Paper |
| scientific article; zbMATH DE number 2086320 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2000434 (Why is no real title available?) | 2003-11-03 | Paper |
| scientific article; zbMATH DE number 1822269 (Why is no real title available?) | 2002-10-31 | Paper |
| scientific article; zbMATH DE number 1822237 (Why is no real title available?) | 2002-10-31 | Paper |
Minimised geometric Buchberger algorithm for integer programming
Annals of Operations Research | 2002-08-20 | Paper |
| scientific article; zbMATH DE number 1696603 (Why is no real title available?) | 2002-07-22 | Paper |
| scientific article; zbMATH DE number 1502127 (Why is no real title available?) | 2001-01-04 | Paper |
| scientific article; zbMATH DE number 1088025 (Why is no real title available?) | 2000-07-18 | Paper |
| scientific article; zbMATH DE number 1380895 (Why is no real title available?) | 1999-12-20 | Paper |
| scientific article; zbMATH DE number 1254003 (Why is no real title available?) | 1999-05-30 | Paper |
Leftmost outside-in narrowing calculi
Journal of Functional Programming | 1997-11-12 | Paper |
Lazy narrowing: strong completeness and eager variable elimination
Theoretical Computer Science | 1997-02-27 | Paper |
| scientific article; zbMATH DE number 4078756 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 3952005 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3909737 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 4045090 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 4045120 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3960963 (Why is no real title available?) | 1984-01-01 | Paper |
Some FP algebra with currying operation
Information Processing Letters | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3588037 (Why is no real title available?) | 1978-01-01 | Paper |
Parallel hashing algorithms
Information Processing Letters | 1977-01-01 | Paper |
