Exploiting the Eigenstructure of Linear Systems to Speed up Reachability Computations. - Alexandre Rocca; Thao Dang 001; Eric Fanchon (HSB, 2014)

Logical Modeling and Analysis of Regulatory Genetic Networks in a Non Monotonic Framework. - Nicolas Mobilia; Alexandre Rocca; Samuel Chorlton; Eric Fanchon; Laurent Trilling (IWBBIO (1), 2015)

Application of the Reachability Analysis for the Iron Homeostasis Study. - Alexandre Rocca; Thao Dang 001; Eric Fanchon; Jean Marc Moulis (HSB, 2016)

Occupation measure methods for modelling and analysis of biological hybrid automata. - Thao Dang 001; Eric Fanchon; Marcelo Forets; Victor Magron; Alexandre Rocca (CoRR, 2017)

Occupation measure methods for modelling and analysis of biological hybrid systems. - Alexandre Rocca; Marcelo Forets; Victor Magron; Eric Fanchon; Thao Dang 001 (ADHS, 2018)

Certified Roundoff Error Bounds Using Bernstein Expansions and Sparse Krivine-Stengle Representations. - Victor Magron; Alexandre Rocca; Thao Dang 001 (IEEE Trans. Computers, 2019)

Set-Based Analysis for Biological Modeling. - Thao Dang 001; Tommaso Dreossi; Eric Fanchon; Oded Maler; Carla Piazza; Alexandre Rocca (Automated Reasoning for Systems Biology and Medicine, 2019)