Completed Theses 
• Ph.D. Thesis, University of Nice and INRIA Sophia-Antipolis, France, 2011
Robust algebraic methods for geometric computing 
ISBN: 978-3659110436
Abstract in: ACM Communications in Computer Algebra.
Abstracts of recent Doctoral Dissertations in Computer Algebra
Vol. 45, No. 4, Issue 178, 237, December 2011 
• M.Sc. Thesis, University of Athens, Greece, 2008
Study of multihomogeneous polynomial systems via resultant matrices
In: Selected Master's and Diploma Theses,
Vol. 6, Dept of Informatics & Telecoms, NKUA, Athens, 2009
• B.Sc. Thesis, University of Athens, Greece, 2006
Kummer's case of Fermat's Last Theorem
Unpublished Manuscripts
Minkowski decomposition of convex lattice polygons, with D. Paparas
Parallel Implementation of Conway's Game of Life, with A. Polimeneas
Reconstructing smooth surfaces from contours - Branching problem
Real root isolation using multiplication maps
Numerical Solution of the Convection-Diffusion PDE using the iterative method ESOR
Numerical Solution of the two-dimentional Self-adjoint PDE
Computer Algebra (course notes)
Using Axiom (for Grobner bases computations)
Buchberger's Algorithm for Grobner Bases computation, with K. Roufiktou
An FPTAS for mixed-integer polynomial programming with fixed number of variables
Dynamic Programming Algorithms
Minkowski's Theorem
