Fadoua Ghourabi

Publication Activity (10 Years)

Years Active: 2006-2018
Publications (10 Years): 6

Top Topics

Qualitative Spatial

Top Venues

Publications

Fadoua Ghourabi, Kazuko Takahashi
What Does Qualitative Spatial Knowledge Tell About Origami Geometric Folds? AISC (2018)
Fadoua Ghourabi, Kazuko Takahashi
A Proof of the Compositions of Time Interval Relations. CoRR (2018)
Fadoua Ghourabi
Toward Non-flat Geometrical Origami Folds with Eos System. SYNASC (2017)
Fadoua Ghourabi
Allen's Interval Calculus. Arch. Formal Proofs 2016 (2016)
Tetsuo Ida, Fadoua Ghourabi, Kazuko Takahashi
Formalizing polygonal knot origami. J. Symb. Comput. 69 (2015)
Fadoua Ghourabi, Kazuko Takahashi
Formalizing the Qualitative Superposition of Rectangles in Proof Assistant Isabelle/HOL. ICAART (2) (2015)
Tetsuo Ida, Fadoua Ghourabi, Kazuko Takahashi
Knot Fold of Regular Polygons: Computer-Assisted Construction and Verification. SYNASC (2013)
Fadoua Ghourabi, Tetsuo Ida, Kazuko Takahashi
Logical and Algebraic Views of a Knot Fold of a Regular Heptagon. SCSS (2013)
Fadoua Ghourabi, Asem Kasem, Cezary Kaliszyk
Algebraic Analysis of Huzita's Origami Operations and Their Extensions. Automated Deduction in Geometry (2012)
Tetsuo Ida, Asem Kasem, Fadoua Ghourabi, Hidekazu Takahashi
Morley's theorem revisited: Origami construction and automated proof. J. Symb. Comput. 46 (5) (2011)
Asem Kasem, Fadoua Ghourabi, Tetsuo Ida
Origami axioms and circle extension. SAC (2011)
Fadoua Ghourabi, Tetsuo Ida, Asem Kasem
Proof Documents for Automated Origami Theorem Proving. Automated Deduction in Geometry (2010)
Tetsuo Ida, Mircea Marin, Hidekazu Takahashi, Fadoua Ghourabi
Computational Origami Construction as Constraint Solving and Rewriting. Electron. Notes Theor. Comput. Sci. 216 (2008)
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)
Tetsuo Ida, Hidekazu Takahashi, Mircea Marin, Fadoua Ghourabi
Modeling Origami for Computational Construction and Beyond. ICCSA (2) (2007)
Tetsuo Ida, Hidekazu Takahashi, Mircea Marin, Fadoua Ghourabi, Asem Kasem
Computational Construction of a Maximum Equilateral Triangle Inscribed in an Origami. ICMS (2006)