Estelle Dumas

	2011
3		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
2		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
1		Radu Mateescu, Pedro T. Monteiro, Estelle Dumas, Hidde de Jong: Computation Tree Regular Logic for Genetic Regulatory Networks. ATVA 2008: 48-63

Coauthor Index

1	Bruno Besson	[2]
2	Ana T. Freitas	[2]
3	Hidde de Jong	[1] [2] [3]
4	Radu Mateescu	[1] [2] [3]
5	Pedro T. Monteiro	[1] [2] [3]
6	Michel Page	[2]

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page