Grant Olney Passmore
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
2009–2021
Best venue rank
A
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | FM | Some Lessons Learned in the Industrialization of Formal Methods for Financial Algorithms. | Grant Olney Passmore |
| 2017 | CADE | Formal Verification of Financial Algorithms. | Grant Olney Passmore, Denis Ignatovich |
| 2015 | CADE | Decidability of Univariate Real Algebra with Predicates for Rational and Integer Powers. | Grant Olney Passmore |
| 2013 | CADE | Computation in Real Closed Infinitesimal and Transcendental Extensions of the Rationals. | Leonardo Mendona de Moura, Grant Olney Passmore |
| 2012 | AISC | Real Algebraic Strategies for MetiTarski Proofs. | Grant Olney Passmore, Lawrence C. Paulson, Leonardo Mendona de Moura |
| 2012 | CiE | Abstract Partial Cylindrical Algebraic Decomposition I: The Lifting Phase. | Grant Olney Passmore, Paul B. Jackson |
| 2009 | SYNASC | Superfluous S-polynomials in Strategy-Independent Groebner Bases. | Grant Olney Passmore, Leonardo Mendona de Moura |