Publications 2007

1. Fadoua Ghourabi, Tetsuo Ida, Hidekazu Takahashi, Mircea Marin and Asem Kasem (2007): Logical and Algebraic View of Huzita's Origami Axioms with Applications to Computational Origami. - In: Proceedings of the 22nd ACM Symposium on Applied Computing. ACM Press, pages 767-772.
2. Tetsuo Ida, Hidekazu Takahashi, Mircea Marin and Fadoua Ghourabi (2007): Modelling Origami for Computational Construction and Beyond. - International Conference on Computational Science and Its Applications 2007 (ICCSA 2007) Lecture Notes in Computer Science(4706):653 -- 665.
3. Tetsuo Ida, Mircea Marin, Hidekazu Takahashi and Fadoua Ghourabi (2007): Computational Origami Construction as Constraint Solving and Rewriting. - In: 16th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2007). R. Echahed, pages 139-152.
4. Asem Kasem, Hidekazu Takahashi, Mircea Marin and Tetsuo Ida (2007): webOrigami2 : A System for Origami Construction and Proving Using Web 2.0 Technologies. - In: Proceedings of the Annual Symposium of Japan Society for Software Science and Technology. JSSST, Nara, Japan.
5. Temur Kutsia and Mircea Marin (2007): Austria-Japan Workshop on Symbolic Computation and Software Verification. - Johannes Kepler University of Linz, Austria, RISC Report Series(07-09), Schloss Hagenberg.