Publications of Yacine Bouzidi

2017

Reports

titre
Certified Non-conservative Tests for the Structural Stability of Multidimensional Systems
auteur
Yacine Bouzidi, Alban Quadrat, Fabrice Rouillier
article
[Research Report] RR-9085, INRIA Lille - Nord Europe; INRIA Paris. 2017, pp.31
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01571230/file/RR-9085.pdf BibTex
titre
A symbolic computation approach to the asymptotic stability analysis of differential systems with commensurate delays
auteur
Yacine Bouzidi, Adrien Poteaux, Alban Quadrat
article
[Research Report] RR-9044, Inria Lille - Nord Europe; Université de Lille 1, Sciences et Technologies; CRIStAL UMR 9189. 2017, pp.20
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01485536/file/RR-9044.pdf BibTex

2016

Journal articles

titre
Solving bivariate systems using Rational Univariate Representations
auteur
Yacine Bouzidi, Sylvain Lazard, Guillaume Moroz, Marc Pouget, Fabrice Rouillier, Michael Sagraloff
article
Journal of Complexity, Elsevier, 2016, 37, pp.34--75. 〈10.1016/j.jco.2016.07.002〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01342211/file/JoC.pdf BibTex

Conference papers

titre
A symbolic-numeric method for the parametric H$\infty$ loop-shaping design problem
auteur
Guillaume Rance, Yacine Bouzidi, Alban Quadrat, Arnaud Quadrat
article
22nd International Symposium on Mathematical Theory of Networks and Systems (MTNS) , Jul 2016, Minneapolis, United States. 22nd International Symposium on Mathematical Theory of Networks and Systems (MTNS) pp.8, 2016, 〈https://sites.google.com/a/umn.edu/mtns-2016/〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01415294/file/Rance_Bouzidi_Quadrat_Quadrat_Parametric_Hinf_Finaltex.pdf BibTex
titre
Certified Algorithms for proving the structural stability of two dimensional systems possibly with parameters
auteur
Yacine Bouzidi, Fabrice Rouillier
article
MNTS 2016 - 22nd International Symposium on Mathematical Theory of Networks and Systems, Jul 2016, Minneapolis, United States. 2016, Proceedings of the 22nd International Symposium on Mathematical Theory of Networks and Systems
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01366202/file/0148.pdf BibTex
titre
Computer algebra methods for the stability analysis of differential systems with commensurate time-delays
auteur
Yacine Bouzidi, Adrien Poteaux, Alban Quadrat
article
13th IFAC Workshop on Time Delay Systems , Jun 2016, Istanbul, Turkey. 13th IFAC Workshop on Time Delay Systems pp.6, 2016, 〈http://www.tds2016.itu.edu.tr/〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01415282/file/stability_delays2.pdf BibTex

2015

Journal articles

titre
Separating linear forms and Rational Univariate Representations of bivariate systems
auteur
Yacine Bouzidi, Sylvain Lazard, Marc Pouget, Fabrice Rouillier
article
Journal of Symbolic Computation, Elsevier, 2015, 68, pp.84-119. 〈10.1016/j.jsc.2014.08.009〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00977671/file/JSC-final-sepform-rur.pdf BibTex

Reports

titre
Improved algorithms for solving bivariate systems via Rational Univariate Representations
auteur
Yacine Bouzidi, Sylvain Lazard, Guillaume Moroz, Marc Pouget, Fabrice Rouillier, Michael Sagraloff
article
[Research Report] Inria. 2015
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01114767/file/RR_bivariate_solving_v2.pdf BibTex

2014

Conference papers

titre
Improved algorithm for computing separating linear forms for bivariate systems
auteur
Yacine Bouzidi, Sylvain Lazard, Guillaume Moroz, Marc Pouget, Fabrice Rouillier
article
ISSAC - 39th International Symposium on Symbolic and Algebraic Computation, Jul 2014, Kobe, Japan. 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00992634/file/separating_element_curve.pdf BibTex

Theses

titre
Solving bivariate algebraic systems and topology of plane curves
auteur
Yacine Bouzidi
article
Symbolic Computation [cs.SC]. Université de Lorraine, 2014. English. 〈NNT : 2014LORR0016〉
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00979707/file/Thesis.pdf BibTex

2013

Conference papers

titre
Rational Univariate Representations of Bivariate Systems and Applications
auteur
Yacine Bouzidi, Sylvain Lazard, Marc Pouget, Fabrice Rouillier
article
ISSAC - 38th International Symposium on Symbolic and Algebraic Computation, Jun 2013, Boston, United States. pp.109-116, 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00809430/file/Issac13_rur_complexity.pdf BibTex
titre
Separating Linear Forms for Bivariate Systems
auteur
Yacine Bouzidi, Sylvain Lazard, Marc Pouget, Fabrice Rouillier
article
ISSAC - 38th International Symposium on Symbolic and Algebraic Computation, Jun 2013, Boston, United States. pp.117-124, 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00809425/file/Issac13_separating_element.pdf BibTex

Reports

titre
Separating linear forms for bivariate systems
auteur
Yacine Bouzidi, Sylvain Lazard, Marc Pouget, Fabrice Rouillier
article
[Research Report] RR-8261, INRIA. 2013, pp.20
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00802693/file/RR-8261-v2.pdf BibTex
titre
Rational Univariate Representations of Bivariate Systems and Applications
auteur
Yacine Bouzidi, Sylvain Lazard, Marc Pouget, Fabrice Rouillier
article
[Research Report] RR-8262, INRIA. 2013, pp.26
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00802698/file/RR-8262.pdf BibTex

2011

Conference papers

titre
New bivariate system solver and topology of algebraic curves
auteur
Yacine Bouzidi, Sylvain Lazard, Marc Pouget, Fabrice Rouillier
article
27th European Workshop on Computational Geometry - EuroCG 2011, Mar 2011, Morschach, Switzerland. 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00580431/file/EuroCG11_final.pdf BibTex