Peter Schachte

Available identifiers

zbMath Open schachte.peterMaRDI QIDQ264989

List of research outcomes

Publication	Date of Publication	Type
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
https://portal.mardi4nfdi.de/entity/Q2703757	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

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: Peter Schachte