Computational Construction of a Maximum Equilateral Triangle Inscribed in an Origami. - Tetsuo Ida; Hidekazu Takahashi; Mircea Marin; Fadoua Ghourabi; Asem Kasem (ICMS, 2006)

Modeling Origami for Computational Construction and Beyond. - Tetsuo Ida; Hidekazu Takahashi; Mircea Marin; Fadoua Ghourabi (ICCSA (2), 2007)

Logical and algebraic view of Huzita's origami axioms with applications to computational origami. - Fadoua Ghourabi; Tetsuo Ida; Hidekazu Takahashi; Mircea Marin; Asem Kasem (SAC, 2007)

Computational Origami Construction as Constraint Solving and Rewriting. - Tetsuo Ida; Mircea Marin; Hidekazu Takahashi; Fadoua Ghourabi (WFLP@RDP, 2007)

Proof Documents for Automated Origami Theorem Proving. - Fadoua Ghourabi; Tetsuo Ida; Asem Kasem (Automated Deduction in Geometry, 2010)

Origami axioms and circle extension. - Asem Kasem; Fadoua Ghourabi; Tetsuo Ida (SAC, 2011)

Morley's theorem revisited: Origami construction and automated proof. - Tetsuo Ida; Asem Kasem; Fadoua Ghourabi; Hidekazu Takahashi (J. Symb. Comput., 2011)

Algebraic Analysis of Huzita's Origami Operations and Their Extensions. - Fadoua Ghourabi; Asem Kasem; Cezary Kaliszyk (Automated Deduction in Geometry, 2012)

Logical and Algebraic Views of a Knot Fold of a Regular Heptagon. - Fadoua Ghourabi; Tetsuo Ida; Kazuko Takahashi 001 (SCSS, 2013)

Knot Fold of Regular Polygons: Computer-Assisted Construction and Verification. - Tetsuo Ida; Fadoua Ghourabi; Kazuko Takahashi 001 (SYNASC, 2013)

Formalizing the Qualitative Superposition of Rectangles in Proof Assistant Isabelle/HOL. - Fadoua Ghourabi; Kazuko Takahashi 001 (ICAART (2), 2015)

Formalizing polygonal knot origami. - Tetsuo Ida; Fadoua Ghourabi; Kazuko Takahashi 001 (J. Symb. Comput., 2015)

Allen's Interval Calculus. - Fadoua Ghourabi (Arch. Formal Proofs, 2016)

Toward Non-flat Geometrical Origami Folds with Eos System. - Fadoua Ghourabi (SYNASC, 2017)

What Does Qualitative Spatial Knowledge Tell About Origami Geometric Folds? - Fadoua Ghourabi; Kazuko Takahashi 001 (AISC, 2018)

A Proof of the Compositions of Time Interval Relations. - Fadoua Ghourabi; Kazuko Takahashi 001 (CoRR, 2018)

Grid-LOGAT: Grid Based Local and Global Area Transcription for Video Question Answering. - Md Intisar Chowdhury; Kittinun Aukkapinyo; Hiroshi Fujimura; Joo Ann Woo; Wasu Wasusatein; Fadoua Ghourabi (CoRR, 2025)