Simon Cruanes
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
3
Active years
2013–2021
Best venue rank
A
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | CADE | Making Higher-Order Superposition Work. | Petar Vukmirovic, Alexander Bentkamp, Jasmin Blanchette, Simon Cruanes, Visa Nummelin, Sophie Tourret |
| 2020 | CADE | The Imandra Automated Reasoning System (System Description). | Grant O. Passmore, Simon Cruanes, Denis Ignatovich, Dave Aitken, Matt Bray, Elijah Kagan, Kostya Kanishev, Ewen Maclean, Nicola Mometto |
| 2019 | CADE | Faster, Higher, Stronger: E 2.3. | Stephan Schulz, Simon Cruanes, Petar Vukmirovic |
| 2019 | TACAS | Extending a Brainiac Prover to Lambda-Free Higher-Order Logic. | Petar Vukmirovic, Jasmin Christian Blanchette, Simon Cruanes, Stephan Schulz |
| 2018 | CADE | Superposition for Lambda-Free Higher-Order Logic. | Alexander Bentkamp, Jasmin Christian Blanchette, Simon Cruanes, Uwe Waldmann |
| 2017 | CADE | Satisfiability Modulo Bounded Checking. | Simon Cruanes |
| 2017 | CADE | Making Automatic Theorem Provers more Versatile. | Simon Cruanes |
| 2016 | CADE | Model Finding for Recursive Functions in SMT. | Andrew Reynolds, Jasmin Christian Blanchette, Simon Cruanes, Cesare Tinelli |
| 2014 | CADE | Logtk: A Logic ToolKit for Automated Reasoning and its Implementation. | Simon Cruanes |
| 2013 | VMCAI | Tool Integration with the Evidential Tool Bus. | Simon Cruanes, Grgoire Hamon, Sam Owre, Natarajan Shankar |