Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
František Farka
Observed names:
FARKA, František,
FRANTIŠEK FARKA,
Farka, Frantisek,
Farka, František,
Frantisek Farka
Institution:
Barkhausen Institut
Observed institutions:
University of St Andrews,
University of Dundee,
Heriot-Watt University,
Barkhausen Institut,
IMDEA Software Institute
ORCID:
0000-0001-8177-1322
Observed ORCID:
0000-0001-8177-1322
OpenAlex ID:
A5075804455
Developing With Formal Methods at BedRock Systems, Inc.
2022
·
Gregory Malecha
, Gordon Stewart
, et al.
·
IEEE Security & Privacy
·
10
On algebraic abstractions for concurrent separation logics
2021
·
František Farka
, Aleksandar Nanevski
, et al.
·
Proceedings of the ACM on Programming Languages
·
10
PDF
Proof-Carrying Plans
2018
·
Christopher Schwaab
, Ekaterina Komendantskaya
, et al.
·
Lecture notes in computer science
·
5
Coinductive Soundness of Corecursive Type Class Resolution
2017
·
František Farka
, Ekaterina Komendantskaya
, et al.
·
Lecture notes in computer science
·
4
Proof-relevant Horn Clauses for Dependent Type Inference and Term Synthesis
2018
·
FRANTIŠEK FARKA
, EKATERINA KOMENDANTSKYA
, et al.
·
Theory and Practice of Logic Programming
·
3
PDF
CoALP-Ty'16
2016
·
Komendantskaya, Ekaterina
, Farka, František
·
arXiv (Cornell University)
·
2
PDF
On Algebraic Abstractions for Concurrent Separation Logics (artefact)
2020
·
Farka, František
, Nanevski, Aleksandar
, et al.
·
Zenodo (CERN European Organization for Nuclear Research)
·
1
Coinductive Soundness of Corecursive Type Class Resolution
2016
·
Farka, František
, Komendantskaya, Ekaterina
, et al.
·
arXiv (Cornell University)
·
1
PDF
Preserving Separation Logic Specifications through Compilation
2026
·
Abate, Carmine
, Liotati, Kleio
, et al.
·
arXiv (Cornell University)
PDF
Corten - Foundational Verification of Rust Programs
2026
·
Farka, František
, Abate, Carmine
, et al.
·
arXiv (Cornell University)
PDF
NoC-Out: A Formally-verified Network-on-Chip Library for Rule-based Hardware Designs
2026
·
Kurze, Max
, Farka, František
, et al.
·
arXiv (Cornell University)
PDF
Debug, Execute, Verify! Development-Verification Co-Design Made Practical
2025
·
František Farka
, Carmine Abate
, et al.
·
Workshop on Programming Languages and Operating Systems (PLOS)
Proof-relevant resolution - the foundations of constructive proof automation
2021
·
Farka, František
·
St Andrews Research Repository (St Andrews Research Repository)
slepice: Towards a Verified Implementation of Type Theory in Type Theory
2021
·
František Farka
·
Lecture notes in computer science
Proof-Relevant Resolution for Elaboration of Programming Languages
2018
·
Farka, Frantisek
·
DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)
PDF
Maintainable type classes for Haskell
2014
·
František Farka
·
Digital Repository (National Repository of Grey Literature)
Educational materials - gathering and processing data in a spreadsheet
2012
·
FARKA, František
·
Digital Repository (National Repository of Grey Literature)
Implementation of the SF-HRP action selection mechanism
2011
·
František Farka
·
Digital Repository (National Repository of Grey Literature)
The statistics of the provisioning of the telecommunication services
2010
·
FARKA, František
·
Digital Repository (National Repository of Grey Literature)
Show more works
View as search
Works count:
19
Citation count:
36
H-index:
4
I10-index:
2
Year
Topic
Type
