Yves-Stan Le Cornec

Publication Activity (10 Years)

Years Active: 2013-2019
Publications (10 Years): 2

Top Topics

Linear Temporal Logic

Cellular Automata

Project Management

Top Venues

IEEE ACM Trans. Comput. Biol. Bioinform.

University of Évry Val d'Essonne, France (PHD)

Education History

University of Évry Val d'Essonne, France

PHD

Publications

Russ Harmer, Yves-Stan Le Cornec, Sébastien Légaré, Eugenia Oshurko
Bio-Curation for Cellular Signalling: The KAMI Project. IEEE ACM Trans. Comput. Biol. Bioinform. 16 (5) (2019)
Russ Harmer, Yves-Stan Le Cornec, Sébastien Légaré, Ievgeniia Oshurko
Bio-Curation for Cellular Signalling: The KAMI Project. CMSB (2017)
Yves-Stan Le Cornec, Franck Pommereau
Modular µ-Calculus Model-Checking with Formula-Dependent Hierarchical Abstractions. ACSD (2014)
Nuno D. Mendes, Frédéric Lang, Yves-Stan Le Cornec, Radu Mateescu, Grégory Batt, Claudine Chaouiya
Composition and abstraction of logical regulatory modules: application to multicellular systems. Bioinform. 29 (6) (2013)