ask others

Paul B. Jackson

> Home > Persons

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

see FAQ

What is the meaning of the colors in the publication lists?

2017
[c14]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/nfm/SogokonJJ17
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/nfm/SogokonJJ17
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
[c13]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/vmcai/SogokonGJP16
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/vmcai/SogokonGJP16
Andrew Sogokon, Khalil Ghorbal, Paul B. Jackson, André Platzer:
A Method for Invariant Generation for Polynomial Continuous Systems. VMCAI 2016: 268-288
2015
[c12]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fm/SogokonJ15
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/fm/SogokonJ15
Andrew Sogokon, Paul B. Jackson:
Direct Formal Verification of Liveness Properties in Continuous and Hybrid Dynamical Systems. FM 2015: 514-531
2014
[c11]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/nfm/JacksonSBP14
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/nfm/JacksonSBP14
Paul B. Jackson, Andrew Sogokon, James P. Bridge, Lawrence C. Paulson:
Verifying Hybrid Systems Involving Transcendental Functions. NASA Formal Methods 2014: 188-202
2013
[c10]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fmics/JacksonSW13
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/fmics/JacksonSW13
Paul B. Jackson, Florian Schanda, Angela Wallenburg:
Auditing User-Provided Axioms in Software Verification Conditions. FMICS 2013: 154-168
2012
[c9]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cie/PassmoreJ12
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/cie/PassmoreJ12
Grant Olney Passmore, Paul B. Jackson:
Abstract Partial Cylindrical Algebraic Decomposition I: The Lifting Phase. CiE 2012: 560-570
2010
[e2]
- view
  - table of contents in dblp
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cav/2010
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/cav/2010
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]
- view
  - electronic edition @ dagstuhl.de
- export record
  dblp key:
  - conf/dagstuhl/PassmoreMJ10
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/dagstuhl/PassmoreMJ10
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

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c8]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mkm/PassmoreJ09
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/mkm/PassmoreJ09
Grant Olney Passmore, Paul B. Jackson:
Combined Decision Techniques for the Existential Theory of the Reals. Calculemus/MKM 2009: 122-137
2007
[j1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/JacksonS07
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/entcs/JacksonS07
Paul B. Jackson, Daniel Sheridan:
A Compact Linear Translation for Bounded Model Checking. Electr. Notes Theor. Comput. Sci. 174(3): 17-30 (2007)
2006
[c7]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tphol/Jackson06
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/tphol/Jackson06
Paul B. Jackson:
Nuprl. The Seventeen Provers of the World 2006: 116-126
2004
[c6]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sat/JacksonS04
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/sat/JacksonS04
Paul B. Jackson, Daniel Sheridan:
Clause Form Conversions for Boolean Circuits. SAT (Selected Papers 2004: 183-198
2001
[e1]
- view
  - table of contents in dblp
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tphol/2001
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/tphol/2001
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]
- no documents available
- export record
  dblp key:
  - conf/birthday/ConstableJNU00
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/birthday/ConstableJNU00
Robert L. Constable, Paul B. Jackson, Pavel Naumov, Juan C. Uribe:
Constructively formalizing automata theory. Proof, Language, and Interaction 2000: 213-238
[c4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tphol/Jackson00
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/tphol/Jackson00
Paul B. Jackson:
Total-Correctness Refinement for Sequential Reactive Systems. TPHOLs 2000: 320-337

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1998
[c3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tphol/Jackson98
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/tphol/Jackson98
Paul B. Jackson:
Verifying a Garbage Collection Algorithm. TPHOLs 1998: 225-244
1994
[c2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cade/Jackson94
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/cade/Jackson94
Paul B. Jackson:
Exploring Abstract Algebra in Constructive Type Theory. CADE 1994: 590-604
1992
[c1]
- no documents available
- export record
  dblp key:
  - conf/tpcd/Jackson92
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/tpcd/Jackson92
Paul B. Jackson:
Nuprl and Its Use in Circuit Design. TPCD 1992: 311-336

maintained by

at