Book Chapter

  • F. Ghourabi, T. Ida and K.Takahashi. Interactive Construction and Automated Proof in Eos System with Application to Knot Fold of Regular Polygons. Origami$^{6}$ PartI:Mathematics, pages 55-66, American Mathematical Society, December, 2015.

Peer-reviewed journal publications

  • F. Ghourabi Allen's Interval Calculus. Archive of Formal Proofs 2016, 2016 (online publication)
  • T. Ida and F. Ghourabi. Polygonal Knot by Computational Origami. Journal of Symmetry: Culture and Science, volume. 26, No. 2, pages 171-187, 2015.
  • T. Ida, F. Ghourabi, and K. Takahashi. Formalizing Polygonal Knot Origami. Journal of Sym- bolic Computation, volume 69, pages 93 - 103, Elsevier, 2015. doi:10.1016/j.jsc.2014.09.031
  • F. Ghourabi, A. Kasem, and C. Kaliszyk. Algebraic Analysis of Huzita's Origami Operations and their Extensions. Automated Deduction in Geometry. Lecture Notes in Arti cial Intelligence, volume 7993, pages 143-160, Springer, 2013. doi:10.1007/978-3-642-40672-0_10
  • F. Ghourabi, T. Ida, and A. Kasem. Proof Documents for Automated Origami Theorem Proving. In Automated Deduction in Geometry. Lecture Notes in Computer Science volume 6877, pages 78-97. Springer, 2011. doi:10.1007/978-3-642-25070-5_5
  • T. Ida, A. Kasem, F. Ghourabi, and H. Takahashi. Morley's Theorem Revisited: Origami Con- struction and Automated Proof. Journal of Symbolic Computation, volume 46, issue 5, pages 571-583. Elsevier, 2011. doi:10.1016/j.jsc.2010.10.007

Peer-reviewed proceedings publications

  • F. Ghourabi and K. Takahashi. Formalizing the Qualitative Superposition of Rectangles in Proof Assistant Isabelle/HOL. In Proceedings of the 7th International Conference on Agents and Artificial Intelligence (ICAART 2015). pages 530- 539, Lisbon, Portugal, January 2015. doi:10.5220/0005280005300539
  • F. Ghourabi, K. Takahashi: Generalization of Superposition of Rectangles Based on Direction Relations. In: Proceedings of the 28th International Workshop on Qualitative Reasoning (QR15), Minneapolis, USA, August 2015. Online publication: http://qr15.sift.net/program.html.
  • F. Ghourabi, and T. Ida. Automated Construction and Proving of Knot Fold by Eos System. In: The 6th International Conference on Origami in Science, Mathematics and Education and Folding Convention (6OSME), pages 50-60, Tokyo, 2014.
  • F. Ghourabi, T. Ida and K. Takahashi. Logical and Algebraic Views of a Knot Fold of a Regular Heptagon. In: Proceedings of the 5th International Symposium in Symbolic Computation in Software Science (SCSS 2013), EPiC Series in Computing. volume 15, pages 50-63, Hagenberg, Austria, July 2013.
  • A. Kasem, F. Ghourabi and T. Ida. Origami Axioms and Circle Extension. In: Proceedings of the 26th Symposium on Applied Computing (SAC'11), pages 1106-1111. ACM press, Taipei, Taiwan, March 2011. doi:10.1145/1982185.1982429
  • F. Ghourabi, T. Ida, H. Takahashi, M. Marin, and A. Kasem. Logical and Algebraic View of Huzita's Origami Axioms with Applications to Computational Origami. In: Proceedings of the 22nd ACM Symposium on Applied Computing (SAC'07), pages 767-772. ACM press, Seoul, Korea, March 2007. doi:10.1145/1244002.1244173
  • T. Ida, H. Takahashi, M. Marin, and F. Ghourabi. Modeling Origami for Computational Construction and Beyond. In: Proceedings of the International Conference on Computational Science and Its Applications (ICCSA 2007), pages 653-665. Springer-verlag, 2007.
  • T. Ida, H. Takahashi, M. Marin, F. Ghourabi, and A. Kasem. Computational Construction of a Maximal Equilateral Triangle Inscribed in an Origami. In: Proceedings of the 2nd International Conference on Mathematical Software (ICMS 2006), pages 361{372. Springer, 2006. doi:10.1007/11832225 36

Others

  • F. Ghourabi and K. Takahashi. A Proof of the Compositions of Time Interval Relations. The Isabelle/HOL workshop. Nancy, France, August, 2016. (paper + presentation)
  • F. Ghourabi, and K. Takahashi. Formalization of Matrix Representation of Direction Relations with Application to the Superposition of Rectangles. In: The 10th Theorem Proving and Provers Meeting, Fukuoka, Japan, 2014. (abstract + presentation)
  • F. Ghourabi, and K. Takahashi. Qualitative Spatial Reasoning about Superposition of Rectangles using Isabelle/HOL. In: The 9th Theorem Proving and Provers Meeting, Nagano, Japan, 2013. (abstract + presentation)
  • F. Ghourabi, and K. Takahashi. Formalization of the Qualitative Spatial Reasoning of Superpo- sition of Rectangles in Proof Assistant. In: The 30th Meeting of Japan Society for Software Science and Technology (JSSST 2013), Tokyo, Japan, 2013. (paper + presentation)
  • F. Ghourabi. Formalization of Computational Origami Construction in Isabelle/HOL Proof Assistant. 21st International Workshop on Functional and (Constraint) Logic Programming (WFLP2012), Nagoya, 2012. (extended abstract + presentation)
  • F. Ghourabi, and T. Ida. A Programming Language for Origami Construction and Theorem Proving. In: The 5th International Conference on Origami in Science, Mathematics and Education and Folding Convention (5OSME), Singapore, 2010. (paper + presentation)
  • T. Ida, and F. Ghourabi. Graphs of Origami. In: The 5th International Conference on Origami in Science, Mathematics and Education and Folding Convention (5OSME), Singapore, 2010. (paper + presentation)
  • F. Ghourabi, T. Ida, H. Takahashi, and A. Kasem. Reasoning Tool for Mathematical Origami Construction. The International Symposium on Symbolic and Algebraic Computation (ISSAC 2009), Seoul, Korea, 2009. (extended abstract + software presentation)
  • F. Ghourabi, T. Ida, and D.Wang. Theorem Proving Based on the Characteristic Set Method for Computational Origami Constructions. The Workshop in Symbolic Computation in Software Science (SCSS2009). Gammarth, Tunisia, 2009. (extended abstract + presentation)
  • F. Ghourabi, T. Ida, and H. Takahashi. Computational Origami of Angle Quintisection. The Workshop in Symbolic Computation in Software Science (SCSS2008). RISC Technical Report Series No. 08-08, pages 57{68. Hagenberg, Austria, 2008. (paper + presentation)
  • F. Ghourabi, H. Takahashi, and T. Ida. Analysis of Layers of Faces in Computational Origami Modeling. In: The 24th Symposium of Japan Society for Software Science and Technology (JSSST2007). Nara, Japan, 2007. (paper + presentation)
  • F. Ghourabi, T. Ida, H. Takahashi, M. Marin and A. Kasem. Logical and Algebraic Formulation of Origami Axioms. In: The 23rd Meeting of Japan Society for Software Science and Technology (JSSST 2006), Tokyo, Japan, 2006. (paper + presentation)