Concepedia

Olivier Roux

OR

Statistics

Publications

45

Citations

1.7K

H-Index

24

Active since

1992

Affiliations

Centre National de la Recherche Scientifique(Current)

École Centrale de Nantes

Nantes Université

Laboratoire des Sciences du Numérique de Nantes

University of Mons

Olivier Roux is an author at Centre National de la Recherche Scientifique specializing in computer science, computing, and formal methods.

Publications per year

1992–2021

45

Publications

45

Parallel Ant Colonies for the quadratic assignment problem

El‐Ghazali Talbi, Olivier Roux, Cyril Fonlupt et al. · Future Generation Computer Systems · 2001 · 213 citations

Natural Sciences, Computer Science, Mathematics +9

Structural translation from Time Petri Nets to Timed Automata

Franck Cassez, Olivier Roux · Journal of Systems and Software · 2006 · 108 citations · Full text

Computing, Computer Engineering, Computer Science +16

Exact and heuristic methods for the selective maintenance problem

Thibaut Lust, Olivier Roux, Fouad Riane · European Journal of Operational Research · 2008 · 96 citations

Engineering, Industrial Engineering, Operations Management +9

Integer Parameter Synthesis for Real-Time Systems

Aleksandra Jovanović, Didier Lime, Olivier Roux · IEEE Transactions on Software Engineering · 2014 · 80 citations · Full text

Computing, Computer Engineering, Computer Science +9

TCTL Model Checking of Time Petri Nets

Hanifa Boucheneb, Guillaume Gardey, Olivier Roux · Journal of Logic and Computation · 2009 · 78 citations · Full text

Computing, Computer Science, Computer Systems +11

1–5 of 45