Mirabelle Nebut

Publication Activity (10 Years)

Years Active: 2002-2013
Publications (10 Years): 0

Top Topics

Classification Models

Information Networks

Top Venues

Publications

Mathias John, Mirabelle Nebut, Joachim Niehren
Knockout Prediction for Reaction Networks with Partial Kinetic Information. VMCAI (2013)
Russell Harmer, Jean Krivine, Élise Laruelle, Cédric Lhoussaine, Guillaume Madelaine, Mirabelle Nebut
Models of Tet-On System with Epigenetic Effects. CMSB (2012)
Céline Kuttler, Cédric Lhoussaine, Mirabelle Nebut
Rule-Based Modeling of Transcriptional Attenuation at the Tryptophan Operon. Trans. Comp. Sys. Biology 12 (2010)
Céline Kuttler, Cédric Lhoussaine, Mirabelle Nebut
Rule-based Modeling of Transcriptional Attenuation at the Tryptophan Operon. Formal Methods in Molecular Biology (2009)
Céline Kuttler, Cédric Lhoussaine, Mirabelle Nebut
Rule-based Modeling of Transcriptional Attenuation at the Tryptophan Operon. WSC (2009)
Xavier Le Pallec, César Olavo de Moura Filho, Raphaël Marvie, Mirabelle Nebut, Jean-Claude Tarby
Supporting Generic Methodologies to Assist IMS-LD Modeling. ICALT (2006)
Karell Bertet, Mirabelle Nebut
Efficient Algorithms on the Family Associated to an Implicational System. Discret. Math. Theor. Comput. Sci. 6 (2) (2004)
Mirabelle Nebut
An Overview of the Signal Clock Calculus. Electron. Notes Theor. Comput. Sci. 88 (2004)
Mirabelle Nebut
Specification and analysis of synchronous reactions. Formal Aspects Comput. 16 (3) (2004)
Mirabelle Nebut, Sophie Pinchinat
A Decidable Clock Language for Synchronous Specifications. Electron. Notes Theor. Comput. Sci. 65 (5) (2002)