Frantisek Farka
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2016–2025
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | PLOS | Debug, Execute, Verify! Development-Verification Co-Design Made Practical. | Frantisek Farka, Carmine Abate, Shuanglong Kan, Sebastian Ertel |
| 2020 | LOPSTR | slepice: Towards a Verified Implementation of Type Theory in Type Theory. | Frantisek Farka |
| 2019 | PADL | Proof-Carrying Plans. | Christopher Schwaab, Ekaterina Komendantskaya, Alasdair Hill, Frantisek Farka, Ronald P. A. Petrick, Joe B. Wells, Kevin Hammond |
| 2018 | ICLP | Proof-Relevant Resolution for Elaboration of Programming Languages. | Frantisek Farka |
| 2016 | LOPSTR | Coinductive Soundness of Corecursive Type Class Resolution. | Frantisek Farka, Ekaterina Komendantskaya, Kevin Hammond |