Simon Cruanes
Orcid: 0000-0003-3969-5850Affiliations:
- Imandra, Austin, TX, USA
According to our database1,
Simon Cruanes
authored at least 17 papers
between 2013 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
0
1
2
3
4
5
2
1
1
1
1
4
2
2
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2022
Int. J. Softw. Tools Technol. Transf., 2022
2021
2020
Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020
2019
Proceedings of the Automated Deduction - CADE 27, 2019
2018
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018
2017
Proceedings of the Fifth Workshop on Proof eXchange for Theorem Proving, 2017
Proceedings of the Frontiers of Combining Systems - 11th International Symposium, 2017
Proceedings of the ARCADE 2017, 2017
Proceedings of the Automated Deduction - CADE 26, 2017
2016
Proceedings of the Proceedings First International Workshop on Hammers for Type Theories, 2016
Proceedings of the Automated Reasoning - 8th International Joint Conference, 2016
2015
Extending Superposition with Integer Arithmetic, Structural Induction, and Beyond. (Extensions de la Superposition pour l'Arithmétique Linéaire Entière, l'Induction Structurelle, et bien plus encore).
PhD thesis, 2015
2014
Proceedings of the 4th Workshop on Practical Aspects of Automated Reasoning, 2014
Proceedings of the Specification, Algebra, and Software, 2014
2013
Proceedings of the Frontiers of Combining Systems, 2013