- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| j2 |      | 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): 2854-2883 (2011) |
| 2009 | ||
| j1 | | 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 Bioinformatics 10: 450 (2009) |
| 2008 | ||
| c1 | | Radu Mateescu, Pedro T. Monteiro, Estelle Dumas, Hidde de Jong: Computation Tree Regular Logic for Genetic Regulatory Networks. ATVA 2008: 48-63 |
| 1 | Bruno Besson | |
| 2 | Ana T. Freitas | |
| 3 | Hidde de Jong | |
| 4 | Radu Mateescu | |
| 5 | Pedro T. Monteiro | |
| 6 | Michel Page |
Data released under the ODC-BY 1.0 license — See also our legal information page