Paul B. Jackson

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Transforming optimization problems into disciplined convex programming form	2024-12-04	Paper
Direct formal verification of liveness properties in continuous and hybrid dynamical systems FM 2015: Formal Methods	2019-12-19	Paper
Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants Journal of Automated Reasoning	2019-10-25	Paper
A method for invariant generation for polynomial continuous systems Lecture Notes in Computer Science	2016-03-23	Paper
A compact linear translation for bounded model checking Electronic Notes in Theoretical Computer Science	2013-12-06	Paper
Abstract partial cylindrical algebraic decomposition. I: The lifting phase Lecture Notes in Computer Science	2012-08-14	Paper
Combined Decision Techniques for the Existential Theory of the Reals Lecture Notes in Computer Science	2009-07-09	Paper
Theory and Applications of Satisfiability Testing Lecture Notes in Computer Science	2005-12-16	Paper
scientific article; zbMATH DE number 1670751 (Why is no real title available?)	2001-12-19	Paper
scientific article; zbMATH DE number 139821 (Why is no real title available?)	1993-03-28	Paper

Research outcomes over time

This page was built for person: Paul B. Jackson