Sylvain Baro
According to our database1,
Sylvain Baro
authored at least 4 papers
between 2003 and 2017.
Collaborative distances:
Collaborative distances:
Timeline
2004
2006
2008
2010
2012
2014
2016
0
1
2
3
4
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2017
Automatic train supervision for a CBTC suburban railway line using multiobjective optimization.
Proceedings of the 20th IEEE International Conference on Intelligent Transportation Systems, 2017
2003
Conception et implémentation d'un système d'aide à la spécification et à la preuve de programmes ML.
PhD thesis, 2003
Proceedings of the Types for Proofs and Programs, International Workshop, 2003
Un système X Raisonner formellement sur les programmes ML.
Proceedings of the Journées francophones des langages applicatifs (JFLA'03), 2003