| 2026 | ISSAC | Computing the Connected Components of Real Algebraic Curves. | Elisabetta Rocchi, Mohab Safey El Din |
| 2025 | ISSAC | Solving generic parametric linear matrix inequalities. | Simone Naldi, Mohab Safey El Din, Adrien Taylor, Weijia Wang |
| 2024 | ISSAC | Solving parameter-dependent semi-algebraic systems. | Louis Gaillard, Mohab Safey El Din |
| 2024 | ISSAC | Optimized Grbner basis algorithms for maximal determinantal ideals and critical point computations. | Sriram Gopalakrishnan, Vincent Neiger, Mohab Safey El Din |
| 2023 | ISSAC | Fast Algorithms for Discrete Differential Equations. | Alin Bostan, Hadrien Notarantonio, Mohab Safey El Din |
| 2023 | ISSAC | A Direttissimo Algorithm for Equidimensional Decomposition. | Christian Eder, Pierre Lairez, Rafael Mohr, Mohab Safey El Din |
| 2023 | ISSAC | Refined F5 Algorithms for Ideals of Minors of Square Matrices. | Sriram Gopalakrishnan, Vincent Neiger, Mohab Safey El Din |
| 2023 | ISSAC | Faster real root decision algorithm for symmetric polynomials. | George Labahn, Cordian Riener, Mohab Safey El Din, ric Schost, Thi Xuan Vu |
| 2022 | ISSAC | Faster Change of Order Algorithm for Grbner Bases under Shape and Stability Assumptions. | Jrmy Berthomieu, Vincent Neiger, Mohab Safey El Din |
| 2022 | ISSAC | Algorithms for Discrete Differential Equations of Order 1. | Alin Bostan, Frdric Chyzak, Hadrien Notarantonio, Mohab Safey El Din |
| 2022 | ISSAC | Deciding Cuspidality of Manipulators through Computer Algebra and Algorithms in Real Algebraic Geometry. | Damien Chablat, Rmi Prbet, Mohab Safey El Din, Durgesh Haribhau Salunkhe, Philippe Wenger |
| 2022 | ISSAC | Exact SOHS Decompositions of Trigonometric Univariate Polynomials with Gaussian Coefficients. | Victor Magron, Mohab Safey El Din, Markus Schweighofer, Trung Hieu Vu |
| 2021 | ISSAC | msolve: A Library for Solving Polynomial Systems. | Jrmy Berthomieu, Christian Eder, Mohab Safey El Din |
| 2021 | ISSAC | Computing the Dimension of Real Algebraic Sets. | Pierre Lairez, Mohab Safey El Din |
| 2021 | ISSAC | Faster One Block Quantifier Elimination for Regular Polynomial Systems of Equations. | Huu Phuoc Le, Mohab Safey El Din |
| 2020 | ISSAC | Robots, computer algebra and eight connected components. | Jose Capco, Mohab Safey El Din, Josef Schicho |
| 2020 | ISSAC | Computing the real isolated points of an algebraic hypersurface. | Huu Phuoc Le, Mohab Safey El Din, Timo de Wolff |
| 2019 | ISSAC | Computing the Volume of Compact Semi-Algebraic Sets. | Pierre Lairez, Marc Mezzarobba, Mohab Safey El Din |
| 2018 | ISSAC | On the Complexity of Computing Real Radicals of Polynomial Systems. | Mohab Safey El Din, Zhi-Hong Yang, Lihong Zhi |
| 2018 | ISSAC | Exact Algorithms for Semidefinite Programs with Degenerate Feasible Set. | Didier Henrion, Simone Naldi, Mohab Safey El Din |
| 2018 | ISSAC | On Exact Polya and Putinar's Representations. | Victor Magron, Mohab Safey El Din |
| 2018 | ISSAC | Real Root Finding for Equivariant Semi-algebraic Systems. | Cordian Riener, Mohab Safey El Din |
| 2016 | ISSAC | Determinantal Sets, Singularities and Application to Optimal Control in Medical Imagery. | Bernard Bonnard, Jean-Charles Faugre, Alain Jacquemard, Mohab Safey El Din, Thibaut Verron |
| 2016 | ISSAC | Critical Point Computations on Smooth Varieties: Degree and Complexity Bounds. | Mohab Safey El Din, Pierre-Jean Spaenlehauer |
| 2015 | ISSAC | Probabilistic Algorithm for Computing the Dimension of Real Algebraic Sets. | Ivan Bannwarth, Mohab Safey El Din |
| 2015 | ISSAC | Optimizing a Parametric Linear Function over a Non-compact Real Algebraic Variety. | Feng Guo, Mohab Safey El Din, Chu Wang, Lihong Zhi |
| 2015 | ISSAC | Real Root Finding for Rank Defects in Linear Hankel Matrices. | Didier Henrion, Simone Naldi, Mohab Safey El Din |
| 2014 | ISSAC | Computing necessary integrability conditions for planar parametrized homogeneous potentials. | Alin Bostan, Thierry Combot, Mohab Safey El Din |
| 2013 | ISSAC | Critical point methods and effective real algebraic geometry: new results and trends. | Mohab Safey El Din |
| 2013 | ISSAC | On the complexity of computing grbner bases for quasi-homogeneous systems. | Jean-Charles Faugre, Mohab Safey El Din, Thibaut Verron |
| 2013 | ISSAC | Computing rational solutions of linear matrix inequalities. | Qingdong Guo, Mohab Safey El Din, Lihong Zhi |
| 2012 | ISSAC | Critical points and Grbner bases: the unmixed case. | Jean-Charles Faugre, Mohab Safey El Din, Pierre-Jean Spaenlehauer |
| 2011 | ISSAC | Deciding reachability of the infimum of a multivariate polynomial. | Aurlien Greuet, Mohab Safey El Din |
| 2010 | ISSAC | Computing loci of rank defects of linear matrices using Grbner bases and applications to cryptology. | Jean-Charles Faugre, Mohab Safey El Din, Pierre-Jean Spaenlehauer |
| 2010 | ISSAC | Global optimization of polynomials using generalized critical values and sums of squares. | Feng Guo, Mohab Safey El Din, Lihong Zhi |
| 2009 | ISSAC | Variant real quantifier elimination: algorithm and application. | Hoon Hong, Mohab Safey El Din |
| 2008 | ISSAC | Computing the global optimum of a multivariate polynomial over the reals. | Mohab Safey El Din |
| 2008 | ISSAC | Classification of the perspective-three-point problem, discriminant variety and real solving polynomial systems of inequalities. | Jean-Charles Faugre, Guillaume Moroz, Fabrice Rouillier, Mohab Safey El Din |
| 2007 | ISSAC | POSIX threads polynomials(PTPol): a scalable implementation of univariate arithmetic operations. | Mohab Safey El Din, Philippe Trebuchet |
| 2003 | ISSAC | Polar varieties and computation of one point in each connected component of a smooth real algebraic set. | Mohab Safey El Din, ric Schost |