Mirabelle Nebut

According to our database, Mirabelle Nebut authored at least 8 papers between 2002 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

Knockout Prediction for Reaction Networks with Partial Kinetic Information.

Mathias John, Mirabelle Nebut, Joachim Niehren

Proceedings of the Verification, 2013

2012

Models of Tet-On System with Epigenetic Effects.

Russell Harmer, Jean Krivine, Élise Laruelle, Cédric Lhoussaine, Guillaume Madelaine, Mirabelle Nebut

Proceedings of the Computational Methods in Systems Biology, 2012

2010

Rule-Based Modeling of Transcriptional Attenuation at the Tryptophan Operon.

Céline Kuttler, Cédric Lhoussaine, Mirabelle Nebut

Trans. Comp. Sys. Biology, 2010

2006

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

Proceedings of the 6th IEEE International Conference on Advanced Learning Technologies, 2006

2004

Specification and analysis of synchronous reactions.

Mirabelle Nebut

Formal Aspects Comput., 2004

Efficient Algorithms on the Family Associated to an Implicational System.

Karell Bertet, Mirabelle Nebut

Discret. Math. Theor. Comput. Sci., 2004

2003

An Overview of the Signal Clock Calculus.

Mirabelle Nebut

Proceedings of the Synchronous Languages, Applications and Programming, 2003

2002

A Decidable Clock Language for Synchronous Specifications.

Mirabelle Nebut, Sophie Pinchinat

Proceedings of the Synchronous Languages, Applications, and Programming, 2002