Fadoua Ghourabi

	2011
7		Asem Kasem, Fadoua Ghourabi, Tetsuo Ida: Origami axioms and circle extension. SAC 2011: 1106-1111
6		Tetsuo Ida, Asem Kasem, Fadoua Ghourabi, Hidekazu Takahashi: Morley's theorem revisited: Origami construction and automated proof. J. Symb. Comput. 46(5): 571-583 (2011)
	2010
5		Fadoua Ghourabi, Tetsuo Ida, Asem Kasem: Proof Documents for Automated Origami Theorem Proving. Automated Deduction in Geometry 2010: 78-97
	2008
4		Tetsuo Ida, Mircea Marin, Hidekazu Takahashi, Fadoua Ghourabi: Computational Origami Construction as Constraint Solving and Rewriting. Electr. Notes Theor. Comput. Sci. 216: 31-44 (2008)
	2007
3		Tetsuo Ida, Hidekazu Takahashi, Mircea Marin, Fadoua Ghourabi: Modeling Origami for Computational Construction and Beyond. ICCSA (2) 2007: 653-665
2		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: 767-772
	2006
1		Tetsuo Ida, Hidekazu Takahashi, Mircea Marin, Fadoua Ghourabi, Asem Kasem: Computational Construction of a Maximum Equilateral Triangle Inscribed in an Origami. ICMS 2006: 361-372

Coauthor Index

1	Tetsuo Ida	[1] [2] [3] [4] [5] [6] [7]
2	Asem Kasem	[1] [2] [5] [6] [7]
3	Mircea Marin	[1] [2] [3] [4]
4	Hidekazu Takahashi	[1] [2] [3] [4] [6]

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page