The following pages link to Olivier Roux (Q209128):
Displaying 25 items.
- Under-approximation of reachability in multivalued asynchronous networks (Q276000) (← links)
- Compilation of the ELECTRE reactive language into finite transition systems (Q673127) (← links)
- Sufficient conditions for reachability in automata networks with priorities (Q896709) (← links)
- Operational semantics of a kernel of the language ELECTRE (Q1193858) (← links)
- Modeling delayed dynamics in biological regulatory networks from time series data (Q1662593) (← links)
- Inference of delayed biological regulatory networks from time series data (Q1706578) (← links)
- Hybrid verifications of reactive programs (Q1974481) (← links)
- Inductive learning from state transitions over continuous domains (Q2226624) (← links)
- Static analysis and stochastic search for reachability problem (Q2229143) (← links)
- A genetically modified Hoare logic (Q2422014) (← links)
- Identification of biological regulatory networks from process hitting models (Q2513608) (← links)
- Static analysis of Biological Regulatory Networks dynamics using abstract interpretation (Q2909733) (← links)
- A Class of Decidable Parametric Hybrid Systems (Q2996138) (← links)
- Refining Dynamics of Gene Regulatory Networks in a Stochastic π-Calculus Framework (Q3003509) (← links)
- (Q3044342) (← links)
- Delays in Biological Regulatory Networks (BRN) (Q3545140) (← links)
- (Q4654267) (← links)
- (Q4738470) (← links)
- Uniformity for the decidability of hybrid automata (Q5030200) (← links)
- Learning Dynamics with Synchronous, Asynchronous and General Semantics (Q5149787) (← links)
- Abstract Interpretation of Dynamics of Biological Regulatory Networks (Q5166632) (← links)
- Integrating Time-Series Data in Large-Scale Discrete Cell-Based Models (Q5376904) (← links)
- State space computation and analysis of Time Petri Nets (Q5476391) (← links)
- Formal Modeling and Analysis of Timed Systems (Q5717497) (← links)
- Application of partial-order methods to reactive programs with event memorization (Q5946210) (← links)
