Fadoua Ghourabi
According to our database1,
Fadoua Ghourabi
authored at least 16 papers
between 2006 and 2018.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2018
Proceedings of the Artificial Intelligence and Symbolic Computation, 2018
2017
Proceedings of the 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2017
2016
2015
Formalizing the Qualitative Superposition of Rectangles in Proof Assistant Isabelle/HOL.
Proceedings of the ICAART 2015, 2015
2013
Proceedings of the 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2013
Proceedings of the 5th International Symposium on Symbolic Computation in Software Science, 2013
2012
Proceedings of the Automated Deduction in Geometry - 9th International Workshop, 2012
2011
J. Symb. Comput., 2011
Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011
2010
Proceedings of the Automated Deduction in Geometry - 8th International Workshop, 2010
2007
Proceedings of the 16th International Workshop on Functional and (Constraint) Logic Programming, 2007
Logical and algebraic view of Huzita's origami axioms with applications to computational origami.
Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007
Proceedings of the Computational Science and Its Applications, 2007
2006
Computational Construction of a Maximum Equilateral Triangle Inscribed in an Origami.
Proceedings of the Mathematical Software, 2006