Viktor Kunčak
École Polytechnique Fédérale de Lausanne
H-index: 43
Europe-Switzerland
Top articles of Viktor Kunčak
Title | Journal | Author(s) | Publication Date |
|---|---|---|---|
Orthologic with axioms | EPiC Series in Computing | Rodrigo Raya Jad Hamza V Kunčak | 2023/6/3 |
Formal Autograding in a Classroom (Experience Report) | Dragana Milovancevic Mario Bucev Marcin Wojnarowski Samuel Chassot Viktor Kuncak | 2024 | |
On algebraic array theories | Journal of Logical and Algebraic Methods in Programming | Rodrigo Raya Viktor Kunčak | 2024/1/1 |
Lisa–a modern proof system | 14th Conference on Interactive Theorem Proving | Simon Guilloud Sankalp Gambhir Viktor Kuncak | 2023/6/30 |
Proving and disproving equivalence of functional programming assignments | Proceedings of the ACM on Programming Languages | Dragana Milovančević Viktor Kunčak | 2023/6/6 |
On the complexity of convex and reverse convex prequadratic constraints | EPiC Series in Computing | Rodrigo Raya Jad Hamza V Kunčak | 2023/6/3 |
Interpolation and Quantifiers in Ortholattices | Simon Guilloud Sankalp Gambhir Viktor Kunčak | 2023/12/30 | |
Formula normalizations in verification | Simon Guilloud Mario Bucev Dragana Milovančević Viktor Kunčak | 2023/7/17 | |
LISA: Towards a foundational theorem prover | 7th Conference on Artificial Intelligence and Theorem Proving, AITP | Simon Guilloud Florian Cassayre Viktor Kunčak | 2022 |
From verified Scala to STIX file system embedded code using Stainless | Jad Hamza Simon Felix Viktor Kunčak Ivo Nussbaumer Filip Schramka | 2022/5/20 | |
Equivalence checking for orthocomplemented bisemilattices in log-linear time | Simon Guilloud Viktor Kunčak | 2022/3/30 | |
Generalized Arrays for Stainless Frames | Georg Stefan Schmid Viktor Kunčak | 2022/1/14 | |
NP Decision Procedure for Monomial and Linear Integer Constraints | arXiv preprint arXiv:2208.02713 | Rodrigo Raya Jad Hamza Viktor Kunčak | 2022/8/4 |
NP satisfiability for arrays as powers | Rodrigo Raya Viktor Kunčak | 2022/1/14 | |
Formally verified quite OK image format | Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design–FMCAD 2022 | Mario Bucev Viktor Kunčak | 2022 |
Correction to: From Verified Scala to STIX File System Embedded Code Using Stainless | Jad Hamza Simon Felix Viktor Kunčak Ivo Nussbaumer Filip Schramka | 2022/5/24 | |
Stainless verification system tutorial | Viktor Kuncak Jad Hamza | 2021/10/19 | |
Verified Mutable Data Structures | arXiv preprint arXiv:2107.08824 | Samuel Chassot Viktor Kunčak | 2021/7/16 |
Proving and disproving programs with shared mutable data | arXiv preprint arXiv:2103.07699 | Georg Schmid Viktor Kunčak | 2021/3/13 |
Zippy ll (1) parsing with derivatives | Romain Edelmann Jad Hamza Viktor Kunčak | 2020/6/11 |
Co-Authors
