| Lisa - A Modern Proof System S Guilloud, S Gambhir, V Kuncak 14th Conference on Interactive Theorem Proving, 2023 | 11 | 2023 |
| Formula Normalizations in Verification S Guilloud, M Bucev, D Milovančević, V Kunčak International Conference on Computer Aided Verification, 398-422, 2023 | 10 | 2023 |
| Equivalence Checking for Orthocomplemented Bisemilattices in Log-Linear Time S Guilloud, V Kunčak Tools and Algorithms for the Construction and Analysis of Systems: 28th …, 2022 | 5 | 2022 |
| Orthologic with axioms S Guilloud, V Kunčak Proceedings of the ACM on Programming Languages 8 (POPL), 1150-1178, 2024 | 3 | 2024 |
| Interpolation and Quantifiers in Ortholattices S Guilloud, S Gambhir, V Kunčak International Conference on Verification, Model Checking, and Abstract …, 2024 | 1 | 2024 |
| Mechanized HOL Reasoning in Set Theory S Guilloud, S Gambhir, A Gilot, V Kunčak arXiv preprint arXiv:2403.13403, 2024 | | 2024 |
Viktor KunčakEPFLVerified email at epfl.ch