Paul B. Jackson

Available identifiers

zbMath Open jackson.paul-bMaRDI QIDQ2331076

List of research outcomes

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	2019-12-19	Paper
Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants	2019-10-25	Paper
A method for invariant generation for polynomial continuous systems	2016-03-23	Paper
A compact linear translation for bounded model checking	2013-12-06	Paper
Abstract partial cylindrical algebraic decomposition. I: The lifting phase	2012-08-14	Paper
Combined Decision Techniques for the Existential Theory of the Reals	2009-07-09	Paper
Theory and Applications of Satisfiability Testing	2005-12-16	Paper
https://portal.mardi4nfdi.de/entity/Q2754052	2001-12-19	Paper
https://portal.mardi4nfdi.de/entity/Q4028157	1993-03-28	Paper

Research outcomes over time

This page was built for person: Paul B. Jackson