Paul B. Jackson
Person information
- affiliation: University of Edinburgh, UK
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
showing all ?? records
2010 – today
- 2017
- [c13]Andrew Sogokon, Paul B. Jackson, Taylor T. Johnson:
Verifying Safety and Persistence Properties of Hybrid Systems Using Flowpipes and Continuous Invariants. NFM 2017: 194-211 - 2016
- [c12]Andrew Sogokon, Khalil Ghorbal, Paul B. Jackson, André Platzer:
A Method for Invariant Generation for Polynomial Continuous Systems. VMCAI 2016: 268-288 - 2015
- [c11]Andrew Sogokon, Paul B. Jackson:
Direct Formal Verification of Liveness Properties in Continuous and Hybrid Dynamical Systems. FM 2015: 514-531 - 2014
- [c10]Paul B. Jackson, Andrew Sogokon, James P. Bridge, Lawrence C. Paulson:
Verifying Hybrid Systems Involving Transcendental Functions. NASA Formal Methods 2014: 188-202 - 2013
- [c9]Paul B. Jackson, Florian Schanda, Angela Wallenburg:
Auditing User-Provided Axioms in Software Verification Conditions. FMICS 2013: 154-168 - 2012
- [c8]Grant Olney Passmore, Paul B. Jackson:
Abstract Partial Cylindrical Algebraic Decomposition I: The Lifting Phase. CiE 2012: 560-570 - 2010
- [e2]Tayssir Touili, Byron Cook, Paul B. Jackson:
Computer Aided Verification, 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings. Lecture Notes in Computer Science 6174, Springer 2010, ISBN 978-3-642-14294-9 [contents] - [i1]Grant Olney Passmore, Leonardo Mendonça de Moura, Paul B. Jackson:
Gröbner Basis Construction Algorithms Based on Theorem Proving Saturation Loops. Decision Procedures in Software, Hardware and Bioware 2010
2000 – 2009
- 2009
- [c7]Grant Olney Passmore, Paul B. Jackson:
Combined Decision Techniques for the Existential Theory of the Reals. Calculemus/MKM 2009: 122-137 - 2007
- [j1]Paul B. Jackson, Daniel Sheridan:
A Compact Linear Translation for Bounded Model Checking. Electr. Notes Theor. Comput. Sci. 174(3): 17-30 (2007) - 2006
- [p1]
- 2004
- [c6]Paul B. Jackson, Daniel Sheridan:
Clause Form Conversions for Boolean Circuits. SAT (Selected Papers 2004: 183-198 - 2001
- [e1]Richard J. Boulton, Paul B. Jackson:
Theorem Proving in Higher Order Logics, 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001, Proceedings. Lecture Notes in Computer Science 2152, Springer 2001, ISBN 3-540-42525-X [contents] - 2000
- [c5]Robert L. Constable, Paul B. Jackson, Pavel Naumov, Juan C. Uribe:
Constructively formalizing automata theory. Proof, Language, and Interaction 2000: 213-238 - [c4]
1990 – 1999
- 1998
- [c3]
- 1994
- [c2]
- 1992
- [c1]
Coauthor Index
data released under the ODC-BY 1.0 license; see also our legal information page
last updated on 2017-12-10 23:23 CET by the dblp team