default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSimon Cruanes
Person information
- affiliation: Imandra, Austin, TX, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
[j3]Petar Vukmirovic
, Alexander Bentkamp, Jasmin Blanchette, Simon Cruanes, Visa Nummelin, Sophie Tourret:
Making Higher-Order Superposition Work. J. Autom. Reason. 66(4): 541-564 (2022)- [j2]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): 67-87 (2022) - 2021
- [j1]Alexander Bentkamp, Jasmin Blanchette, Simon Cruanes, Uwe Waldmann:
Superposition for Lambda-Free Higher-Order Logic. Log. Methods Comput. Sci. 17(2) (2021) - [c16]Petar Vukmirovic, Alexander Bentkamp, Jasmin Blanchette, Simon Cruanes, Visa Nummelin, Sophie Tourret:
Making Higher-Order Superposition Work. CADE 2021: 415-432 - 2020
- [c15]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: 464-471 - [i2]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 abs/2004.10263 (2020) - [i1]Alexander Bentkamp, Jasmin Blanchette, Simon Cruanes, Uwe Waldmann:
Superposition for Lambda-Free Higher-Order Logic. CoRR abs/2005.02094 (2020)
2010 – 2019
- 2019
- [c14]Stephan Schulz, Simon Cruanes, Petar Vukmirovic:
Faster, Higher, Stronger: E 2.3. CADE 2019: 495-507 - [c13]Petar Vukmirovic, Jasmin Christian Blanchette, Simon Cruanes, Stephan Schulz:
Extending a Brainiac Prover to Lambda-Free Higher-Order Logic. TACAS (1) 2019: 192-210 - 2018
- [c12]Guillaume Bury, Simon Cruanes, David Delahaye, Pierre-Louis Euvrard:
An Automation-Friendly Set Theory for the B Method. ABZ 2018: 409-414 - [c11]Alexander Bentkamp, Jasmin Christian Blanchette, Simon Cruanes, Uwe Waldmann:
Superposition for Lambda-Free Higher-Order Logic. IJCAR 2018: 28-46 - 2017
- [c10]Simon Cruanes:
Making Automatic Theorem Provers more Versatile. ARCADE@CADE 2017: 11-15 - [c9]Simon Cruanes:
Satisfiability Modulo Bounded Checking. CADE 2017: 114-129 - [c8]Simon Cruanes:
Superposition with Structural Induction. FroCoS 2017: 172-188 - [c7]Haniel Barbosa, Jasmin Christian Blanchette, Simon Cruanes, Daniel El Ouraoui, Pascal Fontaine:
Language and Proofs for Higher-Order SMT (Work in Progress). PxTP 2017: 15-22 - 2016
- [c6]Andrew Reynolds, Jasmin Christian Blanchette, Simon Cruanes, Cesare Tinelli:
Model Finding for Recursive Functions in SMT. IJCAR 2016: 133-151 - [c5]Simon Cruanes, Jasmin Christian Blanchette:
Extending Nunchaku to Dependent Type Theory. HaTT@IJCAR 2016: 3-12 - 2015
- [b1]Simon Cruanes:
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). École Polytechnique, Palaiseau, France, 2015 - 2014
- [c4]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: 256-275 - [c3]Simon Cruanes:
Logtk: A Logic ToolKit for Automated Reasoning and its Implementation. PAAR@IJCAR 2014: 39-49 - 2013
- [c2]Guillaume Burel, Simon Cruanes:
Detection of First Order Axiomatic Theories. FroCos 2013: 229-244 - [c1]Simon Cruanes, Grégoire Hamon, Sam Owre, Natarajan Shankar:
Tool Integration with the Evidential Tool Bus. VMCAI 2013: 275-294
Coauthor Index
aka: Jasmin Christian Blanchette
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:13 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
