Search - Université Paris-Saclay Access content directly

Filter your results

5 Results
authIdHal_s : safey
Image document

Polynomial interrupt timed automata: Verification and expressiveness

Béatrice Bérard , Serge Haddad , Claudine Picaronny , Mohab Safey El Din , Mathieu Sassolas
Information and Computation, 2021, 277, pp.104580. ⟨10.1016/j.ic.2020.104580⟩
Journal articles hal-02862629v1
Image document

Gröbner bases and critical values: The asymptotic combinatorics of determinantal systems

Jérémy Berthomieu , Alin Bostan , Andrew Ferguson , Mohab Safey El Din
Journal of Algebra, 2022, 602, pp.154-180. ⟨10.1016/j.jalgebra.2022.03.002⟩
Journal articles hal-03214157v2
Image document

Computing the volume of compact semi-algebraic sets

Pierre Lairez , Marc Mezzarobba , Mohab Safey El Din
ISSAC 2019 - International Symposium on Symbolic and Algebraic Computation, Jul 2019, Beijing, China
Conference papers hal-02110556v1
Image document

Computing the dimension of real algebraic sets

Pierre Lairez , Mohab Safey El Din
ISSAC 2021 - 46th International Symposium on Symbolic and Algebraic Computation, Jul 2021, Saint-Pétersbourg, Russia. pp.257-264, ⟨10.1145/3452143.3465551⟩
Conference papers hal-03232068v2

Polynomial Interrupt Timed Automata

Béatrice Bérard , Serge Haddad , Claudine Picaronny , Mohab Safey El Din , Mathieu Sassolas
The 9th Workshop on Reachability Problems (RP'15), Sep 2015, Warsaw, Poland. pp.20-32, ⟨10.1007/978-3-319-24537-9_3⟩
Conference papers hal-01222572v1