Computation Tree Regular Logic for Genetic Regulatory Networks. - Radu Mateescu 001; Pedro T. Monteiro 001; Estelle Dumas; Hidde de Jong (ATVA, 2008)

A service-oriented architecture for integrating the modeling and formal verification of genetic regulatory networks. - Pedro T. Monteiro 001; Estelle Dumas; Bruno Besson; Radu Mateescu 001; Michel Page; Ana T. Freitas; Hidde de Jong (BMC Bioinform., 2009)

CTRL: Extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks. - Radu Mateescu 001; Pedro T. Monteiro 001; Estelle Dumas; Hidde de Jong (Theor. Comput. Sci., 2011)