Paul B. Jackson

Available identifiers

zbMath Open jackson.paul-bMaRDI QIDQ2331076

List of research outcomes

Publication	Date of Publication	Type
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Paul B. Jackson