Grant Olney Passmore

Identifiers

• name variant Grant Olney Passmore 0.60 · backfill

Papers (5)

1. The Imandra Automated Reasoning System (system description) cs.LO · 2020 · author #1
2. Impugning Randomness, Convincingly stat.OT · 2015 · author #2
3. Deciding Univariate Polynomial Problems Using Untrusted Certificates in Isabelle/HOL cs.LO · 2015 · author #2
4. Decidability of Univariate Real Algebra with Predicates for Rational and Integer Powers math.LO · 2015 · author #1
5. Collaborative Verification-Driven Engineering of Hybrid Systems cs.LO · 2014 · author #2

Mentions

• 2004.10263 #1 · arxiv_oai · confidence 0.70 Grant Olney Passmore
• 1506.08238 #2 · arxiv_oai · confidence 0.70 Grant Olney Passmore
• 1601.00665 #2 · arxiv_oai · confidence 0.70 Grant Olney Passmore
• 1506.04863 #1 · arxiv_oai · confidence 0.70 Grant Olney Passmore
• 1403.6085 #2 · arxiv_oai · confidence 0.70 Grant Olney Passmore
• 1506.08238 #2 · backfill · confidence 0.70 Grant Olney Passmore
• 1506.04863 #1 · backfill · confidence 0.70 Grant Olney Passmore
• 1403.6085 #2 · backfill · confidence 0.70 Grant Olney Passmore

Frequent Coauthors

• Andre Platzer 1 shared papers
• Dave Aitken 1 shared papers
• Denis Ignatovich 1 shared papers
• Elijah Kagan 1 shared papers
• Ewen Maclean 1 shared papers
• Kostya Kanishev 1 shared papers
• Lawrence C. Paulson 1 shared papers
• Matt Bray 1 shared papers
• Nicola Mometto 1 shared papers
• Simon Cruanes 1 shared papers
• Stefan Mitsch 1 shared papers
• Wenda Li 1 shared papers
• Yuri Gurevich 1 shared papers