( en | de | ru )

 

Disambiguation of "Jackson, Paul B."

Author of the publication

copydeleteadd this publication to your clipboard
Auditing User-Provided Axioms in Software Verification Conditions.

, , and . FMICS, volume 8187 of Lecture Notes in Computer Science, page 154-168. Springer, (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Paul Jackson

Paul B Kröhl

Paul B Kasper

Paul B Kröhl

Helen Jackson

 

Other publications of authors with the same name

Exploring Abstract Algebra in Constructive Type Theory.. CADE, volume 814 of Lecture Notes in Computer Science, page 590-604. Springer, (1994)Verifying Safety and Persistence in Hybrid Systems Using Flowpipes and Continuous Invariants., , and . J. Autom. Reason., 63 (4): 1005-1029 (2019)Total-Correctness Refinement for Sequential Reactive Systems.. TPHOLs, volume 1869 of Lecture Notes in Computer Science, page 320-337. Springer, (2000)Combined Decision Techniques for the Existential Theory of the Reals., and . Calculemus/MKM, volume 5625 of Lecture Notes in Computer Science, page 122-137. Springer, (2009)Enhancing the NUPRL Proof Development System and Applying it to Computational Abstract Algebra.. Cornell University, USA, (1995)Transforming Optimization Problems into Disciplined Convex Programming Form., , , , and . CICM, volume 14960 of Lecture Notes in Computer Science, page 183-202. Springer, (2024)Auditing User-Provided Axioms in Software Verification Conditions., , and . FMICS, volume 8187 of Lecture Notes in Computer Science, page 154-168. Springer, (2013)Compositional Taylor Model Based Validated Integration., , , and . SYNASC, page 45-52. IEEE, (2018)Gröbner Basis Construction Algorithms Based on Theorem Proving Saturation Loops., , and . Decision Procedures in Software, Hardware and Bioware, volume 10161 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2010)Constructively formalizing automata theory., , , and . Proof, Language, and Interaction, page 213-238. The MIT Press, (2000)