Simon Robillard
Orcid: 0000-0003-4751-380X
According to our database1,
Simon Robillard
authored at least 16 papers
between 2013 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
ACM Comput. Surv., January, 2024
2022
Proceedings of the Fundamental Approaches to Software Engineering, 2022
Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022
2021
2020
2018
Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018
Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018
2017
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017
2016
Proceedings of the Vampire@IJCAR 2016. Proceedings of the 3rd Vampire Workshop, 2016
2015
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015
Proceedings of the 1st and 2nd Vampire Workshops, Vampire@VSL 2014, 2015
2014
Proceedings of the 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2014
Formal derivation and extraction of a parallel program for the all nearest smaller values problem.
Proceedings of the Symposium on Applied Computing, 2014
2013
Proceedings of the First International Symposium on Computing and Networking, 2013