Yves-Stan Le Cornec

According to our database, Yves-Stan Le Cornec authored at least 4 papers between 2013 and 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2019

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

2016

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

Yves-Stan Le Cornec

PhD thesis, 2016

2014

Modular µ-Calculus Model-Checking with Formula-Dependent Hierarchical Abstractions.

Yves-Stan Le Cornec, Franck Pommereau

Proceedings of the 14th International Conference on Application of Concurrency to System Design, 2014

2013

Composition and abstraction of logical regulatory modules: application to multicellular systems.

Nuno D. Mendes, Frédéric Lang, Yves-Stan Le Cornec, Radu Mateescu, Grégory Batt, Claudine Chaouiya

Bioinform., 2013