Composition and abstraction of logical regulatory modules: application to multicellular systems. - Nuno D. Mendes; Frédéric Lang; Yves-Stan Le Cornec; Radu Mateescu 001; Grégory Batt; Claudine Chaouiya (Bioinform., 2013)

Modular µ-Calculus Model-Checking with Formula-Dependent Hierarchical Abstractions. - Yves-Stan Le Cornec; Franck Pommereau (ACSD, 2014)

Analyse de systèmes modulaires à l'aide de techniques d'abstractions hiérarchiques. (Analysing modular systems with hierarchical abractions). - Yves-Stan Le Cornec (2016)

Bio-Curation for Cellular Signalling: The KAMI Project. - Russ Harmer; Yves-Stan Le Cornec; Sébastien Légaré; Eugenia Oshurko (IEEE ACM Trans. Comput. Biol. Bioinform., 2019)