| 2017 | SYNASC | Models of Computation for Origami. | Tetsuo Ida |
| 2016 | SYNASC | Revisit of "Geometric Exercise in Paper Folding" from a Viewpoint of Computational Origami. | Tetsuo Ida |
| 2014 | SYNASC | Huzita's Basic Origami Fold in Geometric Algebra. | Tetsuo Ida |
| 2013 | SYNASC | Knot Fold of Regular Polygons: Computer-Assisted Construction and Verification. | Tetsuo Ida, Fadoua Ghourabi, Kazuko Takahashi |
| 2012 | SYNASC | Interactive vs. Automated Proofs in Computational Origami. | Tetsuo Ida |
| 2011 | SAC | Origami axioms and circle extension. | Asem Kasem, Fadoua Ghourabi, Tetsuo Ida |
| 2009 | ISSAC | Symbolic and algebraic methods in computational origami: invited talk. | Tetsuo Ida |
| 2009 | SAC | Origami fold as algebraic graph rewriting. | Tetsuo Ida, Hidekazu Takahashi |
| 2009 | SYNASC | A Compiler for Origami Construction and Verification. | Tetsuo Ida |
| 2008 | SYNASC | Graph Rewriting in Computational Origami. | Tetsuo Ida |
| 2007 | ICCSA | Modeling Origami for Computational Construction and Beyond. | Tetsuo Ida, Hidekazu Takahashi, Mircea Marin, Fadoua Ghourabi |
| 2007 | SAC | Logical and algebraic view of Huzita's origami axioms with applications to computational origami. | Fadoua Ghourabi, Tetsuo Ida, Hidekazu Takahashi, Mircea Marin, Asem Kasem |
| 2007 | SYNASC | Modeling Origami and Beyond. | Tetsuo Ida |
| 2006 | SYNASC | Tiers of webOrigami Programming. | Tetsuo Ida |
| 2005 | SYNASC | Rule-Based Programming with sigma-Log. | Mircea Marin, Tetsuo Ida |
| 2004 | AISC | Proving and Constraint Solving in Computational Origami. | Tetsuo Ida, Dorin Tepeneu, Bruno Buchberger, Judit Robu |
| 2003 | APLAS | Constraint Functional Logic Programming for Origami Construction. | Tetsuo Ida, Mircea Marin, Hidekazu Takahashi |
| 2002 | APLAS | Functional Logic Origami Programming. | Tetsuo Ida |
| 2001 | APLAS | Collaborative Constraint Functional Logic Programming in an Open Environment. | Norio Kobayashi, Mircea Marin, Tetsuo Ida |
| 2000 | APLAS | An Open Environment for Cooperative Equational Solving. | Tetsuo Ida, Mircea Marin |
| 1999 | FLOPS | On Reducing the Search Space of Higher-Order Lazy Narrowing. | Mircea Marin, Tetsuo Ida, Taro Suzuki |
| 1997 | ISSAC | The Minimised Geometric Buchberger Algorithm: An Optimal Algebraic Algorithm for Integer Programming. | Qiang Li, Yike Guo, Tetsuo Ida, John Darlington |
| 1979 | ISCA | FLATS, a Machine for Numerical, Symbolic and Associative Computing. | Eiichi Goto, Tetsuo Ida, Kei Hiraki |