Olivier Roux

Identifiers

• name variant Olivier Roux 0.60 · backfill

Papers (2)

1. A Heuristic for Reachability Problem in Asynchronous Binary Automata Networks cs.FL · 2018 · author #3
2. A Genetically Modified Hoare Logic cs.CE · 2015 · author #5

Mentions

• 1506.05887 #5 · backfill · confidence 0.70 Olivier Roux

Frequent Coauthors

• Adrien Richard 1 shared papers
• Gilles Bernot 1 shared papers
• Jean-Paul Comet 1 shared papers
• Morgan Magnin 1 shared papers
• Xinwei Chai 1 shared papers
• Zohra Khalis 1 shared papers