 | 2011 |
| 6 |  | Asem Kasem,
Fadoua Ghourabi,
Tetsuo Ida:
Origami axioms and circle extension.
SAC 2011: 1106-1111 |
| 5 |  | Tetsuo Ida,
Asem Kasem,
Fadoua Ghourabi,
Hidekazu Takahashi:
Morley's theorem revisited: Origami construction and automated proof.
J. Symb. Comput. 46(5): 571-583 (2011) |
| 2010 |
| 4 |  | Fadoua Ghourabi,
Tetsuo Ida,
Asem Kasem:
Proof Documents for Automated Origami Theorem Proving.
Automated Deduction in Geometry 2010: 78-97 |
| 2008 |
| 3 |  | Asem Kasem,
Tetsuo Ida:
Computational origami environment on the web.
Frontiers of Computer Science in China 2(1): 39-54 (2008) |
| 2007 |
| 2 |  | Fadoua Ghourabi,
Tetsuo Ida,
Hidekazu Takahashi,
Mircea Marin,
Asem Kasem:
Logical and algebraic view of Huzita's origami axioms with applications to computational origami.
SAC 2007: 767-772 |
| 2006 |
| 1 |  | Tetsuo Ida,
Hidekazu Takahashi,
Mircea Marin,
Fadoua Ghourabi,
Asem Kasem:
Computational Construction of a Maximum Equilateral Triangle Inscribed in an Origami.
ICMS 2006: 361-372 |