Yves-Stan Le Cornec

According to our database1, Yves-Stan Le Cornec
  • authored at least 4 papers between 2013 and 2017.
  • has a "Dijkstra number"2 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Bio-Curation for Cellular Signalling: The KAMI Project.
Proceedings of the Computational Methods in Systems Biology, 2017

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

2014
Modular µ-Calculus Model-Checking with Formula-Dependent Hierarchical Abstractions.
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.
Bioinformatics, 2013


  Loading...