( en | de | ru )

 

Disambiguation of "Roux, Olivier F."

Author of the publication

copydeleteadd this publication to your clipboard
Inference of Delayed Biological Regulatory Networks from Time Series Data.

, , , , and . CMSB, volume 9859 of Lecture Notes in Computer Science, page 30-48. Springer, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Olivier Roux

Pascale Roux

Vergleich psychologischer Usability-Evaluationsmethoden am Beispiel einer Bibliothekswebsite. Uni Duisburg-Essen, (2008)

Gundela Roux-Spangenberg

Roland Rouxel

Alfred Roux

 

Other publications of authors with the same name

A Genetically Modified Hoare Logic that Identifies the Parameters of a Gene Network., , and . CMSB, volume 9308 of Lecture Notes in Computer Science, page 8-12. Springer, (2015)Analysis of Slope-Parametric Hybrid Automata., , , and . HART, volume 1201 of Lecture Notes in Computer Science, page 75-80. Springer, (1997)Linking Discrete and Stochastic Models: The Chemical Master Equation as a Bridge between Process Hitting and Proper Generalized Decomposition., , , , and . CMSB, volume 8130 of Lecture Notes in Computer Science, page 50-63. Springer, (2013)Verifying Time-bounded Properties for ELECTRE Reactive Programs with Stopwatch Automata., and . Hybrid Systems, volume 999 of Lecture Notes in Computer Science, page 405-416. Springer, (1994)Verification of Embedded Reactive Fiffo Systems., , , , and . LATIN, volume 2286 of Lecture Notes in Computer Science, page 400-414. Springer, (2002)Tuning Temporal Features within the Stochastic π-Calculus., , and . IEEE Trans. Software Eng., 37 (6): 858-871 (2011)ELECTRE: A language using control structure expressions to specify synchronization., and . ACM Annual Conference, page 240-245. ACM, (1985)A genetically modified Hoare logic., , , , and . Theor. Comput. Sci., (2019)A Genetically Modified Hoare Logic., , , , and . CoRR, (2015)Extending the Translation from SDL to Promela., , , and . SPIN, volume 2318 of Lecture Notes in Computer Science, page 79-94. Springer, (2002)