Estelle Dumas

Publication Activity (10 Years)

Years Active: 2008-2011
Publications (10 Years): 0

Publications

Radu Mateescu, Pedro T. Monteiro, Estelle Dumas, Hidde de Jong
CTRL: Extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks. Theor. Comput. Sci. 412 (26) (2011)
Pedro T. Monteiro, Estelle Dumas, Bruno Besson, Radu Mateescu, Michel Page, Ana T. Freitas, Hidde de Jong
A service-oriented architecture for integrating the modeling and formal verification of genetic regulatory networks. BMC Bioinform. 10 (2009)
Radu Mateescu, Pedro T. Monteiro, Estelle Dumas, Hidde de Jong
Computation Tree Regular Logic for Genetic Regulatory Networks. ATVA (2008)