Simon Cruanes

ORCID

Publication Activity (10 Years)

Years Active: 2013-2022
Publications (10 Years): 17

Top Venues

École Polytechnique, Palaiseau, France (PHD)

Education History

École Polytechnique, Palaiseau, France

PHD

Publications

Petar Vukmirovic, Alexander Bentkamp, Jasmin Blanchette, Simon Cruanes, Visa Nummelin, Sophie Tourret
Making Higher-Order Superposition Work. J. Autom. Reason. 66 (4) (2022)
Petar Vukmirovic, Jasmin Blanchette, Simon Cruanes, Stephan Schulz
Extending a brainiac prover to lambda-free higher-order logic. Int. J. Softw. Tools Technol. Transf. 24 (1) (2022)
Petar Vukmirovic, Alexander Bentkamp, Jasmin Blanchette, Simon Cruanes, Visa Nummelin, Sophie Tourret
Making Higher-Order Superposition Work. CADE (2021)
Alexander Bentkamp, Jasmin Blanchette, Simon Cruanes, Uwe Waldmann
Superposition for Lambda-Free Higher-Order Logic. Log. Methods Comput. Sci. 17 (2) (2021)
Grant O. Passmore, Simon Cruanes, Denis Ignatovich, Dave Aitken, Matt Bray, Elijah Kagan, Kostya Kanishev, Ewen Maclean, Nicola Mometto
The Imandra Automated Reasoning System (System Description). IJCAR (2) (2020)
Alexander Bentkamp, Jasmin Blanchette, Simon Cruanes, Uwe Waldmann
Superposition for Lambda-Free Higher-Order Logic. CoRR (2020)
Grant Olney Passmore, Simon Cruanes, Denis Ignatovich, Dave Aitken, Matt Bray, Elijah Kagan, Kostya Kanishev, Ewen Maclean, Nicola Mometto
The Imandra Automated Reasoning System (system description). CoRR (2020)
Petar Vukmirovic, Jasmin Christian Blanchette, Simon Cruanes, Stephan Schulz
Extending a Brainiac Prover to Lambda-Free Higher-Order Logic. TACAS (1) (2019)
Stephan Schulz, Simon Cruanes, Petar Vukmirovic
Faster, Higher, Stronger: E 2.3. CADE (2019)
Alexander Bentkamp, Jasmin Christian Blanchette, Simon Cruanes, Uwe Waldmann
Superposition for Lambda-Free Higher-Order Logic. IJCAR (2018)
Guillaume Bury, Simon Cruanes, David Delahaye, Pierre-Louis Euvrard
An Automation-Friendly Set Theory for the B Method. ABZ (2018)
Haniel Barbosa, Jasmin Christian Blanchette, Simon Cruanes, Daniel El Ouraoui, Pascal Fontaine
Language and Proofs for Higher-Order SMT (Work in Progress). PxTP (2017)
Simon Cruanes
Superposition with Structural Induction. FroCoS (2017)
Simon Cruanes
Satisfiability Modulo Bounded Checking. CADE (2017)
Simon Cruanes
Making Automatic Theorem Provers more Versatile. ARCADE@CADE (2017)
Andrew Reynolds, Jasmin Christian Blanchette, Simon Cruanes, Cesare Tinelli
Model Finding for Recursive Functions in SMT. IJCAR (2016)
Simon Cruanes, Jasmin Christian Blanchette
Extending Nunchaku to Dependent Type Theory. HaTT@IJCAR (2016)
Simon Cruanes
Logtk: A Logic ToolKit for Automated Reasoning and its Implementation. PAAR@IJCAR (2014)
Simon Cruanes, Stijn Heymans, Ian A. Mason, Sam Owre, Natarajan Shankar
The Semantics of Datalog for the Evidential Tool Bus - (Extended Abstract). Specification, Algebra, and Software (2014)
Guillaume Burel, Simon Cruanes
Detection of First Order Axiomatic Theories. FroCos (2013)
Simon Cruanes, Grégoire Hamon, Sam Owre, Natarajan Shankar
Tool Integration with the Evidential Tool Bus. VMCAI (2013)

Simon Cruanes.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Simon Cruanes