Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Pierre Roux
Cooperative Anti-Invasive Effect of Cdc42/Rac1 Activation and ROCK Inhibition in SW620 Colorectal Cancer Cells With Elevated Blebbing Activity
PLoS ONE
Multidisciplinary
Validating Numerical Semidefinite Programming Solvers for Polynomial Invariants
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Computing Quadratic Invariants With Min- And Max-Policy Iterations: A Practical Comparison
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Analysis of Robustness at Model and Code Level
A Reflexive Tactic for Polynomial Positivity Using Numerical Solvers and Floating-Point Computations
Lentinellus Herbarum, a Rediscovered Unclamped Species
Mycological Research
