( en | de | ru )

 

Disambiguation of "Roux, Olivier F."

Author of the publication

copydeleteadd this publication to your clipboard
Abstract Interpretation of Dynamics of Biological Regulatory Networks.

, , and . SASB, volume 272 of Electronic Notes in Theoretical Computer Science, page 43-56. Elsevier, (2010)

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

Analysis of Slope-Parametric Hybrid Automata., , , and . HART, volume 1201 of Lecture Notes in Computer Science, page 75-80. Springer, (1997)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)State space computation and analysis of Time Petri Nets., , and . Theory Pract. Log. Program., 6 (3): 301-320 (2006)Operational Semantics of a Kernel of the Language ELECTRE., , and . Theor. Comput. Sci., 97 (1): 83-103 (1992)Compilation of the ELECTRE Reactive Language into Finite Transition Systems., and . Theor. Comput. Sci., 146 (1&2): 109-143 (1995)Application of Partial-Order Methods to Reactive Programs with Event Memorization., , and . Real Time Syst., 20 (3): 287-316 (2001)Testing Real-Time Parameterized Systems., and . Stud. Inform. Univ., 3 (2): 193-253 (2004)Verification of Embedded Reactive Fiffo Systems., , , , and . LATIN, volume 2286 of Lecture Notes in Computer Science, page 400-414. Springer, (2002)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)