Filip Konecny

Identifiers

• name variant Filip Konecny 0.60 · backfill

Papers (3)

1. PTIME Computation of Transitive Closures of Octagonal Relations cs.LO · 2014 · author #1
2. The Complexity of Reachability Problems for Flat Counter Machines with Periodic Loops cs.CC · 2013 · author #3
3. Underapproximation of Procedure Summaries for Integer Programs cs.PL · 2012 · author #3

Mentions

• 1402.2102 #1 · backfill · confidence 0.70 Filip Konecny
• 1307.5321 #3 · backfill · confidence 0.70 Filip Konecny
• 1210.4289 #3 · backfill · confidence 0.70 Filip Konecny

Frequent Coauthors

• Radu Iosif 2 shared papers
• Marius Bozga 1 shared papers
• Pierre Ganty 1 shared papers