Olivier H. Roux

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Morgan Magnin

> Home > Persons > Olivier H. Roux

Publications

2018
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1804-07543
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1804-07543
Xinwei Chai, Morgan Magnin, Olivier H. Roux:
A Heuristic for Reachability Problem in Asynchronous Binary Automata Networks. CoRR abs/1804.07543 (2018)
2017
[j27]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/algorithms/AbdallahRMRI17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/algorithms/AbdallahRMRI17
Emna Ben Abdallah, Tony Ribeiro, Morgan Magnin, Olivier H. Roux, Katsumi Inoue:
Modeling Delayed Dynamics in Biological Regulatory Networks from Time Series Data. Algorithms 10(1): 8 (2017)
2015
[j23]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entropy/ChinestaMRAC15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entropy/ChinestaMRAC15
Francisco Chinesta, Morgan Magnin, Olivier H. Roux, Amine Ammar, Elías Cueto:
Kinetic Theory Modeling and Efficient Numerical Simulation of Gene Regulatory Networks Based on Qualitative Descriptions. Entropy 17(4): 1896-1915 (2015)
2013
[p1]
- view
  authority control:
- export record
  dblp key:
  - books/wi/13/DavidBBBCLPRS0JLMRT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/wi/13/DavidBBBCLPRS0JLMRT13
Alexandre David, Gerd Behrmann, Peter E. Bulychev, Joakim Byg, Thomas Chatain, Kim G. Larsen, Paul Pettersson, Jacob Illum Rasmussen, Jirí Srba, Wang Yi, Kenneth Yrke Jørgensen, Didier Lime, Morgan Magnin, Olivier H. Roux, Louis-Marie Traonouez:
Tools for Model-Checking Timed Systems. Communicating Embedded Systems 2013: 165-225
2009
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/MagninMR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/MagninMR09
Morgan Magnin, Pierre Molinaro, Olivier H. Roux:
Expressiveness of Petri Nets with Stopwatches. Dense-time Part. Fundam. Informaticae 97(1-2): 111-138 (2009)
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/MagninMR09a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/MagninMR09a
Morgan Magnin, Pierre Molinaro, Olivier H. Roux:
Expressiveness of Petri Nets with Stopwatches. Discrete-time Part. Fundam. Informaticae 97(1-2): 139-176 (2009)
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/bicob/MaurinMR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bicob/MaurinMR09
Mylène Maurin, Morgan Magnin, Olivier H. Roux:
Modeling of Genetic Regulatory Network in Stochastic pi-Calculus. BICoB 2009: 282-294
2008
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/MagninLR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/MagninLR08
Morgan Magnin, Didier Lime, Olivier H. Roux:
Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper). Petri Nets 2008: 307-326
2005
[c12]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/GardeyLMR05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/GardeyLMR05
Guillaume Gardey, Didier Lime, Morgan Magnin, Olivier H. Roux:
Romeo: A Tool for Analyzing Time Petri Nets. CAV 2005: 418-423
[c8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/MagninLR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/MagninLR06
Morgan Magnin, Didier Lime, Olivier H. Roux:
An Efficient Method for Computing Exact State Space of Petri Nets With Stopwatches. SoftMC@CAV 2005: 59-77

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.