Estelle Dumas

According to our database, Estelle Dumas authored at least 3 papers between 2008 and 2011.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2011

CTRL: Extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks.

Radu Mateescu, Pedro T. Monteiro, Estelle Dumas, Hidde de Jong

Theor. Comput. Sci., 2011

2009

A service-oriented architecture for integrating the modeling and formal verification of genetic regulatory networks.

Pedro T. Monteiro, Estelle Dumas, Bruno Besson, Radu Mateescu, Michel Page, Ana T. Freitas, Hidde de Jong

BMC Bioinform., 2009

2008

Computation Tree Regular Logic for Genetic Regulatory Networks.

Radu Mateescu, Pedro T. Monteiro, Estelle Dumas, Hidde de Jong

Proceedings of the Automated Technology for Verification and Analysis, 2008