| 2007 |
|---|
| 6 | EE | Paul B. Jackson,
Daniel Sheridan:
A Compact Linear Translation for Bounded Model Checking.
Electr. Notes Theor. Comput. Sci. 174(3): 17-30 (2007) |
| 2001 |
|---|
| 5 | | 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
Springer 2001 |
| 2000 |
|---|
| 4 | | Robert L. Constable,
Paul B. Jackson,
Pavel Naumov,
Juan C. Uribe:
Constructively formalizing automata theory.
Proof, Language, and Interaction 2000: 213-238 |
| 3 | | Paul B. Jackson:
Total-Correctness Refinement for Sequential Reactive Systems.
TPHOLs 2000: 320-337 |
| 1998 |
|---|
| 2 | | Paul B. Jackson:
Verifying a Garbage Collection Algorithm.
TPHOLs 1998: 225-244 |
| 1992 |
|---|
| 1 | | Paul B. Jackson:
Nuprl and Its Use in Circuit Design.
TPCD 1992: 311-336 |
