Login / Signup
Pauline Traynard
ORCID
Publication Activity (10 Years)
Years Active: 2014-2019
Publications (10 Years): 3
Top Topics
Budding Yeast
Protein Protein Interactions
Biological Networks
Temporal Logic
Top Venues
CMSB
Bioinform.
Biosyst.
Briefings Bioinform.
</>
Publications
</>
Arnau Montagud
,
Pauline Traynard
,
Loredana Martignetti
,
Eric Bonnet
,
Emmanuel Barillot
,
Andrei Yu. Zinovyev
,
Laurence Calzone
Conceptual and computational framework for logical modelling of biological networks deregulated in diseases.
Briefings Bioinform.
20 (4) (2019)
Pauline Traynard
,
Céline Feillet
,
Sylvain Soliman
,
Franck Delaunay
,
François Fages
Model-based investigation of the circadian clock and cell cycle coupling in mouse embryonic fibroblasts: Prediction of RevErb-α up-regulation during mitosis.
Biosyst.
149 (2016)
Pauline Traynard
,
Adrien Fauré
,
François Fages
,
Denis Thieffry
Logical model specification aided by model-checking techniques: application to the mammalian cell cycle regulation.
Bioinform.
32 (17) (2016)
Pauline Traynard
,
François Fages
,
Sylvain Soliman
Model-Based Investigation of the Effect of the Cell Cycle on the Circadian Clock Through Transcription Inhibition During Mitosis.
CMSB
(2015)
Pauline Traynard
,
François Fages
,
Sylvain Soliman
Trace Simplifications Preserving Temporal Logic Formulae with Case Study in a Coupled Model of the Cell Cycle and the Circadian Clock.
CMSB
(2014)