Paul B. Jackson

From MaRDI portal
Revision as of 08:32, 25 September 2023 by Import230924090903 (talk | contribs) (Created automatically from import230924090903)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Person:2331076

Available identifiers

zbMath Open jackson.paul-bMaRDI QIDQ2331076

List of research outcomes





PublicationDate of PublicationType
Transforming optimization problems into disciplined convex programming form2024-12-04Paper
Direct Formal Verification of Liveness Properties in Continuous and Hybrid Dynamical Systems2019-12-19Paper
Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants2019-10-25Paper
A Method for Invariant Generation for Polynomial Continuous Systems2016-03-23Paper
A Compact Linear Translation for Bounded Model Checking2013-12-06Paper
Abstract Partial Cylindrical Algebraic Decomposition I: The Lifting Phase2012-08-14Paper
Combined Decision Techniques for the Existential Theory of the Reals2009-07-09Paper
Theory and Applications of Satisfiability Testing2005-12-16Paper
https://portal.mardi4nfdi.de/entity/Q27540522001-12-19Paper
https://portal.mardi4nfdi.de/entity/Q40281571993-03-28Paper

Research outcomes over time

This page was built for person: Paul B. Jackson

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2331076&oldid=6854383"
Powered by MediaWiki