Trace Simplifications Preserving Temporal Logic Formulae with Case Study in a Coupled Model of the Cell Cycle and the Circadian Clock. - Pauline Traynard; François Fages; Sylvain Soliman (CMSB, 2014)

Model-Based Investigation of the Effect of the Cell Cycle on the Circadian Clock Through Transcription Inhibition During Mitosis. - Pauline Traynard; François Fages; Sylvain Soliman (CMSB, 2015)

Logical model specification aided by model-checking techniques: application to the mammalian cell cycle regulation. - Pauline Traynard; Adrien Fauré; François Fages; Denis Thieffry (Bioinform., 2016)

Model-based investigation of the circadian clock and cell cycle coupling in mouse embryonic fibroblasts: Prediction of RevErb-α up-regulation during mitosis. - Pauline Traynard; Céline Feillet; Sylvain Soliman; Franck Delaunay; François Fages (Biosyst., 2016)

Conceptual and computational framework for logical modelling of biological networks deregulated in diseases. - Arnau Montagud; Pauline Traynard; Loredana Martignetti; Eric Bonnet; Emmanuel Barillot; Andrei Yu. Zinovyev; Laurence Calzone (Briefings Bioinform., 2019)