Alexandre Rocca

Publication Activity (10 Years)

Years Active: 2014-2019
Publications (10 Years): 8

Top Topics

Compressed Sensing

Dictionary Learning

Top Venues

IEEE Trans. Computers

Publications

Victor Magron, Alexandre Rocca, Thao Dang
Certified Roundoff Error Bounds Using Bernstein Expansions and Sparse Krivine-Stengle Representations. IEEE Trans. Computers 68 (7) (2019)
Victor Magron, Alexandre Rocca, Thao Dang
Certified Roundoff Error Bounds using Bernstein Expansions and Sparse Krivine-Stengle Representations. CoRR (2018)
Alexandre Rocca, Marcelo Forets, Victor Magron, Eric Fanchon, Thao Dang
Occupation measure methods for modelling and analysis of biological hybrid systems. ADHS (2018)
Alexandre Rocca, Victor Magron, Thao Dang
Certified Roundoff Error Bounds Using Bernstein Expansions and Sparse Krivine-Stengle Representations. ARITH (2017)
Thao Dang, Eric Fanchon, Marcelo Forets, Victor Magron, Alexandre Rocca
Occupation measure methods for modelling and analysis of biological hybrid automata. CoRR (2017)
Alexandre Rocca, Victor Magron, Thao Dang
Certified Roundoff Error Bounds using Bernstein Expansions and Sparse Krivine-Stengle Representations. CoRR (2016)
Alexandre Rocca, Thao Dang, Eric Fanchon, Jean Marc Moulis
Application of the Reachability Analysis for the Iron Homeostasis Study. HSB (2016)
Nicolas Mobilia, Alexandre Rocca, Samuel Chorlton, Eric Fanchon, Laurent Trilling
Logical Modeling and Analysis of Regulatory Genetic Networks in a Non Monotonic Framework. IWBBIO (1) (2015)
Alexandre Rocca, Thao Dang, Eric Fanchon
Exploiting the Eigenstructure of Linear Systems to Speed up Reachability Computations. HSB (2014)