Alexandre Rocca - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 7 from 7

2019

Set-Based Analysis for Biological ModelingThao Dang, Tommaso Dreossi, Eric Fanchon, Oded Maler, Carla Piazza, Alexandre Rocca. In Pietro Liò, Paolo Zuliani, editors, Automated Reasoning for Systems Biology and Medicine. Volume 30 of Computational Biology, pages 157-189, Springer, 2019. [doi]

Certified Roundoff Error Bounds Using Bernstein Expansions and Sparse Krivine-Stengle RepresentationsVictor Magron, Alexandre Rocca, Thao Dang. TC, 68(7):953-966, 2019. [doi]

2018

Occupation measure methods for modelling and analysis of biological hybrid systemsAlexandre Rocca, Marcelo Forets, Victor Magron, Eric Fanchon, Thao Dang. adhs 2018: 181-186 [doi]

2017

Certified Roundoff Error Bounds Using Bernstein Expansions and Sparse Krivine-Stengle RepresentationsAlexandre Rocca, Victor Magron, Thao Dang. arith 2017: 74-81 [doi]

2016

Application of the Reachability Analysis for the Iron Homeostasis StudyAlexandre Rocca, Thao Dang, Eric Fanchon, Jean Marc Moulis. hsb 2016: 67-84 [doi]

2015

Logical Modeling and Analysis of Regulatory Genetic Networks in a Non Monotonic FrameworkNicolas Mobilia, Alexandre Rocca, Samuel Chorlton, Eric Fanchon, Laurent Trilling. iwbbio 2015: 599-612 [doi]

2014

Exploiting the Eigenstructure of Linear Systems to Speed up Reachability ComputationsAlexandre Rocca, Thao Dang, Eric Fanchon. hsb 2015: 111-127 [doi]

Sign in or sign up to see more results.

runs on WebDSL