Olivier Roux

73 papers and 771 indexed citations i.

About

Olivier Roux has authored 73 papers that have received a total of 771 indexed citations. This includes 45 papers in Computational Theory and Mathematics, 19 papers in Molecular Biology and 17 papers in Hardware and Architecture. The topics of these papers are Formal Methods in Verification (43 papers), Petri Nets in System Modeling (29 papers) and Gene Regulatory Network Analysis (18 papers). Olivier Roux is often cited by papers focused on Formal Methods in Verification (43 papers), Petri Nets in System Modeling (29 papers) and Gene Regulatory Network Analysis (18 papers) and collaborates with scholars based in France, Belgium and Canada. Olivier Roux's co-authors include Didier Lime, Franck Cassez, Jamil Ahmad, Morgan Magnin and David Duvivier and has published in prestigious journals such as IEEE Transactions on Automatic Control, Scientific Reports and European Journal of Operational Research

In The Last Decade

Rankless by CCL
2025