Modelling genetic regulatory networks from specified behaviours. - Daniel Mateus; Jean-Paul Comet; Jean-Pierre Gallois; Pascale Le Gall (BMC Syst. Biol., 2007)

Symbolic Modeling of Genetic Regulatory Networks. - Daniel Mateus; Jean-Pierre Gallois; Jean-Paul Comet; Pascale Le Gall (J. Bioinform. Comput. Biol., 2007)

A Systematic Approach to Derive User Stories and Gherkin Scenarios from BPMN Models. - Daniel Mateus; Denis Silva da Silveira; João Araújo 001 (BMSD, 2023)