Alexandre Rocca

According to our database, Alexandre Rocca authored at least 7 papers between 2014 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Set-Based Analysis for Biological Modeling.

Thao Dang, Tommaso Dreossi, Eric Fanchon, Oded Maler, Carla Piazza, Alexandre Rocca

Proceedings of the Automated Reasoning for Systems Biology and Medicine, 2019

Certified Roundoff Error Bounds Using Bernstein Expansions and Sparse Krivine-Stengle Representations.

Victor Magron, Alexandre Rocca, Thao Dang

IEEE Trans. Computers, 2019

2018

Occupation measure methods for modelling and analysis of biological hybrid systems.

Alexandre Rocca, Marcelo Forets, Victor Magron, Eric Fanchon, Thao Dang

Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

2017

Occupation measure methods for modelling and analysis of biological hybrid automata.

Thao Dang, Eric Fanchon, Marcelo Forets, Victor Magron, Alexandre Rocca

CoRR, 2017

2016

Application of the Reachability Analysis for the Iron Homeostasis Study.

Alexandre Rocca, Thao Dang, Eric Fanchon, Jean Marc Moulis

Proceedings of the Hybrid Systems Biology - 5th International Workshop, 2016

2015

Logical Modeling and Analysis of Regulatory Genetic Networks in a Non Monotonic Framework.

Nicolas Mobilia, Alexandre Rocca, Samuel Chorlton, Eric Fanchon, Laurent Trilling

Proceedings of the Bioinformatics and Biomedical Engineering, 2015

2014

Exploiting the Eigenstructure of Linear Systems to Speed up Reachability Computations.

Alexandre Rocca, Thao Dang, Eric Fanchon

Proceedings of the Hybrid Systems Biology, 2014