Filip Konecny
Identifiers
- name variant Filip Konecny 0.60 · backfill
Papers (3)
- PTIME Computation of Transitive Closures of Octagonal Relations cs.LO · 2014 · author #1
- The Complexity of Reachability Problems for Flat Counter Machines with Periodic Loops cs.CC · 2013 · author #3
- Underapproximation of Procedure Summaries for Integer Programs cs.PL · 2012 · author #3
Mentions
Frequent Coauthors
- Radu Iosif 2 shared papers
- Marius Bozga 1 shared papers
- Pierre Ganty 1 shared papers