A Decidable Clock Language for Synchronous Specifications. - Mirabelle Nebut; Sophie Pinchinat (SLAP@ETAPS, 2002)

An Overview of the Signal Clock Calculus. - Mirabelle Nebut (SLAP, 2003)

Efficient Algorithms on the Family Associated to an Implicational System. - Karell Bertet; Mirabelle Nebut (Discret. Math. Theor. Comput. Sci., 2004)

Specification and analysis of synchronous reactions. - Mirabelle Nebut (Formal Aspects Comput., 2004)

Supporting Generic Methodologies to Assist IMS-LD Modeling. - Xavier Le Pallec; César Olavo de Moura Filho; Raphaël Marvie; Mirabelle Nebut; Jean-Claude Tarby (ICALT, 2006)

Rule-Based Modeling of Transcriptional Attenuation at the Tryptophan Operon. - Céline Kuttler; Cédric Lhoussaine; Mirabelle Nebut (Trans. Comp. Sys. Biology, 2010)

Models of Tet-On System with Epigenetic Effects. - Russell Harmer; Jean Krivine; Élise Laruelle; Cédric Lhoussaine; Guillaume Madelaine; Mirabelle Nebut (CMSB, 2012)

Knockout Prediction for Reaction Networks with Partial Kinetic Information. - Mathias John; Mirabelle Nebut; Joachim Niehren (VMCAI, 2013)