Computational origami system Eos T Ida, H Takahashi, M Marin, A Kasem, F Ghourabi LRJ, editor, Origami, 285.294, 2009 | 32 | 2009 |

Computational construction of a maximum equilateral triangle inscribed in an origami T Ida, H Takahashi, M Marin, F Ghourabi, A Kasem International Congress on Mathematical Software, 361-372, 2006 | 30 | 2006 |

Logical and algebraic view of Huzita's origami axioms with applications to computational origami F Ghourabi, T Ida, H Takahashi, M Marin, A Kasem Proceedings of the 2007 ACM symposium on Applied computing, 767-772, 2007 | 27 | 2007 |

Morley’s theorem revisited: Origami construction and automated proof T Ida, A Kasem, F Ghourabi, H Takahashi Journal of symbolic computation 46 (5), 571-583, 2011 | 22 | 2011 |

Origami axioms and circle extension A Kasem, F Ghourabi, T Ida Proceedings of the 2011 ACM Symposium on Applied Computing, 1106-1111, 2011 | 22 | 2011 |

Modeling origami for computational construction and beyond T Ida, H Takahashi, M Marin, F Ghourabi International Conference on Computational Science and Its Applications, 653-665, 2007 | 18 | 2007 |

Algebraic analysis of Huzita’s origami operations and their extensions F Ghourabi, A Kasem, C Kaliszyk International Workshop on Automated Deduction in Geometry, 143-160, 2012 | 16 | 2012 |

E-origami system Eos A Kasem, T Ida, H Takahashi, M Marin, F Ghourabi Proceedings of the Annual Symposium of Japan Society for Software Science …, 2006 | 14 | 2006 |

Formalizing polygonal knot origami T Ida, F Ghourabi, K Takahashi Journal of Symbolic Computation 69, 93-108, 2015 | 11 | 2015 |

Proof documents for automated origami theorem proving F Ghourabi, T Ida, A Kasem International Workshop on Automated Deduction in Geometry, 78-97, 2010 | 8 | 2010 |

A new formalization of origami in geometric algebra T Ida, J Fleuriot, F Ghourabi ADG2016, 117, 2016 | 6 | 2016 |

Formalizing the Qualitative Superposition of Rectangles in Proof Assistant Isabelle/HOL F Ghourabi, K Takahashi Seventh International Conference on Agents and Artificial Intelligence …, 2015 | 4 | 2015 |

Logical and Algebraic Views of a Knot Fold of a Regular Heptagon. F Ghourabi, T Ida, K Takahashi SCSS, 50-63, 2013 | 2 | 2013 |

A Proof of the Compositions of Time Interval Relations F Ghourabi, K Takahashi arXiv preprint arXiv:1804.01637, 2018 | 1 | 2018 |

Toward Non-flat Geometrical Origami Folds with Eos System F Ghourabi 2017 19th International Symposium on Symbolic and Numeric Algorithms for …, 2017 | 1 | 2017 |

Interactive Construction and Automated Proof in Eos System with Application to Knot Fold of Regular Polygons F Ghourabi, T Ida, K Takahashi Origami6: I. Mathematics, 55, 2015 | 1 | 2015 |

Generalization of superposition of rectangles based on direction relations F Ghourabi, K Takahashi The 28th International Workshop on Qualitative Reasoning, 2015 | 1 | 2015 |

Knot fold of regular polygons: computer-assisted construction and verification T Ida, F Ghourabi, K Takahashi Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2013 15th …, 2013 | 1 | 2013 |

Computational Origami of Angle Quintisection F Ghourabi, T Ida, H Takahashi RISC-Linz, 57, 2008 | 1 | 2008 |

What Does Qualitative Spatial Knowledge Tell About Origami Geometric Folds? F Ghourabi, K Takahashi International Conference on Artificial Intelligence and Symbolic Computation …, 2018 | | 2018 |