Harald Sondergaard

Identifiers

• name variant Harald Sondergaard 0.60 · backfill

Papers (4)

1. Precondition Inference via Partitioning of Initial States cs.LO · 2018 · author #4
2. An iterative approach to precondition inference using constrained Horn clauses cs.LO · 2018 · author #5
3. A Complete Refinement Procedure for Regular Separability of Context-Free Languages cs.FL · 2014 · author #4
4. A Partial-Order Approach to Array Content Analysis cs.PL · 2014 · author #4

Mentions

• 1411.5131 #4 · backfill · confidence 0.70 Harald Sondergaard
• 1408.1754 #4 · backfill · confidence 0.70 Harald Sondergaard

Frequent Coauthors

• Graeme Gange 4 shared papers
• Peter J. Stuckey 4 shared papers
• Peter Schachte 4 shared papers
• Bishoksan Kafle 2 shared papers
• Jorge A. Navas 2 shared papers
• John P. Gallagher 1 shared papers