Pauline Traynard - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 5 from 5

2019

Conceptual and computational framework for logical modelling of biological networks deregulated in diseasesArnau Montagud, Pauline Traynard, Loredana Martignetti, Eric Bonnet, Emmanuel Barillot, Andrei Zinovyev, Laurence Calzone. bib, 20(4):1238-1249, 2019. [doi]

2016

Model-based investigation of the circadian clock and cell cycle coupling in mouse embryonic fibroblasts: Prediction of RevErb-α up-regulation during mitosisPauline Traynard, Céline Feillet, Sylvain Soliman, Franck Delaunay, François Fages. biosystems, 149:59-69, 2016. [doi]

Logical model specification aided by model-checking techniques: application to the mammalian cell cycle regulationPauline Traynard, Adrien Fauré, François Fages, Denis Thieffry. bioinformatics, 32(17):772-780, 2016. [doi]

2015

Model-Based Investigation of the Effect of the Cell Cycle on the Circadian Clock Through Transcription Inhibition During MitosisPauline Traynard, François Fages, Sylvain Soliman. cmsb 2015: 208-221 [doi]

2014

Trace Simplifications Preserving Temporal Logic Formulae with Case Study in a Coupled Model of the Cell Cycle and the Circadian ClockPauline Traynard, François Fages, Sylvain Soliman. cmsb 2014: 114-128 [doi]

Sign in or sign up to see more results.

runs on WebDSL