Peter Schachte

Available identifiers

zbMath Open schachte.peterMaRDI QIDQ264989

List of research outcomes

Publication	Date of Publication	Type
Dissecting widening: separating termination from information	2024-04-19	Paper
Transformation-Enabled Precondition Inference	2023-12-12	Paper
Algorithm selection for dynamic symbolic execution: a preliminary study	2022-03-23	Paper
Compiling CP subproblems to MDDs and d-DNNFs	2019-10-25	Paper
Constraint programming for dynamic symbolic execution of JavaScript	2019-10-14	Paper
An iterative approach to precondition inference using constrained Horn clauses	2018-12-04	Paper
Exploiting sparsity in difference-bound matrices	2018-08-27	Paper
Reference Abstract Domains and Applications to String Analysis	2018-05-03	Paper
A Benders decomposition approach to deciding modular linear integer arithmetic	2017-11-15	Paper
Horn clauses as an intermediate representation for program analysis and transformation	2017-11-09	Paper
Minimizing landscape resistance for habitat conservation	2017-08-04	Paper
Weighted Spanning Tree Constraint with Explanations	2016-06-27	Paper
A complete refinement procedure for regular separability of context-free languages	2016-04-01	Paper
An Abstract Domain of Uninterpreted Functions	2016-03-23	Paper
Analyzing Array Manipulating Programs by Program Transformation	2015-10-02	Paper
https://portal.mardi4nfdi.de/entity/Q5414587	2014-05-06	Paper
Failure tabled constraint logic programming by interpolation	2014-02-27	Paper
Unbounded Model-Checking with Interpolation for Regular Language Constraints	2013-08-05	Paper
Solving Difference Constraints over Modular Arithmetic	2013-06-14	Paper
Estimating the overlap between dependent computations for automatic parallelization	2011-08-16	Paper
Information loss in knowledge compilation: a comparison of Boolean envelopes	2010-09-02	Paper
Programming Languages and Systems	2007-05-02	Paper
UN-KLEENE BOOLEAN EQUATION SOLVING	2007-04-25	Paper
Verification, Model Checking, and Abstract Interpretation	2007-02-12	Paper
https://portal.mardi4nfdi.de/entity/Q4415101	2003-07-28	Paper
Precise goal-independent abstract interpretation of constraint logic programs.	2003-07-01	Paper
Precise goal-independent abstract interpretation of constraint logic programs	2001-05-08	Paper
https://portal.mardi4nfdi.de/entity/Q4839036	2000-07-04	Paper
Two classes of Boolean functions for dependency analysis	2000-01-04	Paper

Research outcomes over time

This page was built for person: Peter Schachte