Andy King

Available identifiers

zbMath Open king.andyMaRDI QIDQ294783

List of research outcomes

Publication	Date of Publication	Type
Closing the performance gap between doubles and rationals for octagons	2023-05-26	Paper
Compact Difference Bound Matrices	2022-12-09	Paper
Mind the Gap: Bit-vector Interpolation recast over Linear Integer Arithmetic	2022-10-13	Paper
Reducing bit-vector polynomials to SAT using Gröbner bases	2021-04-07	Paper
Incremental closure for systems of two variables per inequality	2019-03-26	Paper
Inferring non-suspension conditions for logic programs with dynamic scheduling	2017-07-12	Paper
Partial evaluation of string obfuscations for Java malware detection	2017-02-14	Paper
Range and Set Abstraction using SAT	2016-06-17	Paper
Quadtrees as an Abstract Domain	2016-06-17	Paper
Abstracting numeric constraints with Boolean functions	2016-06-16	Paper
Partial Evaluation for Java Malware Detection	2015-10-02	Paper
Semantics for Prolog with Cut – Revisited	2014-07-24	Paper
Abstract interpretation of microcontroller code: intervals meet congruences	2014-04-02	Paper
Transfer Function Synthesis without Quantifier Elimination	2012-09-25	Paper
Mutual Exclusion by Interpolation	2012-07-20	Paper
A pearl on SAT and SMT solving in Prolog	2012-06-25	Paper
The two variable per inequality abstract domain	2012-01-13	Paper
RedAlert: Determinacy inference for Prolog	2011-08-16	Paper
Transfer Function Synthesis without Quantifier Elimination	2011-05-19	Paper
Analyzing String Buffers in C	2011-05-06	Paper
Two Variables per Linear Inequality as an Abstract Domain	2011-03-04	Paper
Automatic Abstraction for Intervals Using Boolean Formulae	2010-10-01	Paper
A Pearl on SAT Solving in Prolog	2010-05-04	Paper
Automatic Abstraction for Congruences	2010-01-14	Paper
Logahedra: A New Weakly Relational Domain	2009-12-01	Paper
Logic Programming	2009-08-06	Paper
Taming the Wrapping of Integer Arithmetic	2009-03-03	Paper
Inferring Congruence Equations Using SAT	2008-07-15	Paper
Widening Polyhedra with Landmarks	2008-05-06	Paper
Detecting Determinacy in Prolog Programs	2008-03-11	Paper
Collapsing Closures	2008-03-11	Paper
Functional and Logic Programming	2007-09-25	Paper
Lazy Set-Sharing Analysis	2007-05-02	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2007-05-02	Paper
Static Analysis	2006-10-31	Paper
https://portal.mardi4nfdi.de/entity/Q5472914	2006-06-19	Paper
Program Development in Computational Logic	2005-12-23	Paper
Program Development in Computational Logic	2005-12-23	Paper
Programming Languages and Systems	2005-09-13	Paper
Computing convex hulls with a linear solver	2005-04-29	Paper
Convex hull of planarh-polyhedra	2004-12-29	Paper
https://portal.mardi4nfdi.de/entity/Q4736508	2004-08-09	Paper
Efficient groundness analysis in Prolog	2004-03-01	Paper
Three optimisations for sharing	2004-03-01	Paper
A backward analysis for constraint logic programs	2004-03-01	Paper
Verifying termination and error-freedom of logic programs with block declarations	2004-03-01	Paper
https://portal.mardi4nfdi.de/entity/Q4417885	2003-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4411952	2003-07-13	Paper
https://portal.mardi4nfdi.de/entity/Q2757844	2001-12-04	Paper
https://portal.mardi4nfdi.de/entity/Q2723918	2001-07-08	Paper
https://portal.mardi4nfdi.de/entity/Q2723920	2001-07-08	Paper
Pair-sharing over rational trees	2000-12-12	Paper
https://portal.mardi4nfdi.de/entity/Q4518879	2000-12-03	Paper
https://portal.mardi4nfdi.de/entity/Q4518882	2000-12-03	Paper
A simple polynomial groundness analysis for logic programs	2000-10-10	Paper
https://portal.mardi4nfdi.de/entity/Q4944867	2000-08-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: Andy King