Alexandre Rocca

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2019
Set-Based Analysis for Biological Modeling.
Proceedings of the Automated Reasoning for Systems Biology and Medicine, 2019

Certified Roundoff Error Bounds Using Bernstein Expansions and Sparse Krivine-Stengle Representations.
IEEE Trans. Computers, 2019

2018
Occupation measure methods for modelling and analysis of biological hybrid systems.
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.
CoRR, 2017

2016
Application of the Reachability Analysis for the Iron Homeostasis Study.
Proceedings of the Hybrid Systems Biology - 5th International Workshop, 2016

2015
Logical Modeling and Analysis of Regulatory Genetic Networks in a Non Monotonic Framework.
Proceedings of the Bioinformatics and Biomedical Engineering, 2015

2014
Exploiting the Eigenstructure of Linear Systems to Speed up Reachability Computations.
Proceedings of the Hybrid Systems Biology, 2014


  Loading...