Peter Schachte

Identifiers

• name variant Peter Schachte 0.60 · backfill

Papers (6)

1. Precondition Inference via Partitioning of Initial States cs.LO · 2018 · author #3
2. An iterative approach to precondition inference using constrained Horn clauses cs.LO · 2018 · author #4
3. A Complete Refinement Procedure for Regular Separability of Context-Free Languages cs.FL · 2014 · author #3
4. A Partial-Order Approach to Array Content Analysis cs.PL · 2014 · author #3
5. Estimating the overlap between dependent computations for automatic parallelization cs.PL · 2011 · author #3
6. Binary Decision Diagrams for Affine Approximation cs.LO · 2008 · author #2

Mentions

• 1408.1754 #3 · backfill · confidence 0.70 Peter Schachte
• 1109.1420 #3 · backfill · confidence 0.70 Peter Schachte
• 0804.0066 #2 · backfill · confidence 0.70 Peter Schachte

Frequent Coauthors

• Graeme Gange 4 shared papers
• Harald Sondergaard 4 shared papers
• Peter J. Stuckey 4 shared papers
• Bishoksan Kafle 2 shared papers
• Jorge A. Navas 2 shared papers
• Harald S{\o}ndergaard 1 shared papers
• John P. Gallagher 1 shared papers
• Kevin Henshall 1 shared papers
• Leigh Whiting 1 shared papers
• Paul Bone 1 shared papers
• Zoltan Somogyi 1 shared papers