Author:Alexei Lisitsa

Publications
Automated Reasoning with Tangles: towards Quantum Verification Applications Andrew Fish and Alexei Lisitsa In:LPAR 2024 Complementary Volume
Towards computer-assisted proofs of parametric Andrews-Curtis simplifications, II Alexei Lisitsa In:LPAR 2024 Complementary Volume
Towards Computer-Assisted Proofs of Parametric Andrews-Curtis Simplifications, II Alexei Lisitsa EasyChair Preprint no. 13320
VPT 2014. Second International Workshop on Verification and Program Transformation Alexei Lisitsa and Andrei Nemytykh (editors) EPiC Series in Computing, volume 28
A Note on Program Specialization. What Syntactical Properties of Residual Programs Can Reveal? Alexei Lisitsa and Andrei Nemytykh In:VPT 2014. Second International Workshop on Verification and Program Transformation
VPT 2013. First International Workshop on Verification and Program Transformation Alexei Lisitsa and Andrei Nemytykh (editors) EPiC Series in Computing, volume 16
Cryptographic Protocol Verification via Supercompilation (A Case Study) Abdulbasit Ahmed, Alexei Lisitsa and Andrei Nemytykh In:VPT 2013. First International Workshop on Verification and Program Transformation
Finite countermodels as invariants. A case study in verification of parameterized mutual exclusion protocol Alexei Lisitsa In:WING 2010. Workshop on Invariant Generation 2010

Keyphrases

Andrews-Curtis conjecture², automated reasoning³, combinatorial group theory², cryptographic protocols, finite model finders, first-order predicate logic, infinite-state systems, involutory quandles, parameterized systems, program analysis², program specialization², program transformation², program verification, quantum verification, supercompilation², tangles, verification.