Vincent Botbol
According to our database1,
Vincent Botbol
authored at least 6 papers
between 2013 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
0
1
2
3
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2022
Automatic Synthesis of Random Generators for Numerically Constrained Algebraic Recursive Types.
CoRR, 2022
Proceedings of the SOAP '22: 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2022
2021
Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming, 2021
2018
Analyse statique de programmes concurrents avec variables numériques. (Static analysis of concurrent programs with numerical variables).
PhD thesis, 2018
2017
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017
2013
Proceedings of the 22nd International World Wide Web Conference, 2013