Browse by People


Up a level
Export as [feed] RSS [feed] RSS 2.0 Short Author List
Number of items: 9.


Al-Shareefi, F ORCID: 0000-0002-5537-6086, Lisitsa, A and Dixon, C ORCID: 0000-0002-4610-9533
(2017) Abstract State Machines and System Theoretic Process Analysis for Safety-Critical Systems. In: 20th Brazilian Symposium on Formal Methods, Recife, Brazil.


Lisitsa, A
(2018) The Andrews-Curtis Conjecture, Term Rewriting and First-Order Proofs. In: ICMS 2018.


Abdulazeez, MB
(2017) Intrusion Detection and Prevention Systems In the Cloud Environment. Doctor of Philosophy thesis, University of Liverpool.


Kourtis, G, Dixon, C ORCID: 0000-0002-4610-9533, Fisher, M and Lisitsa, A
(2021) Parameterized verification of leader/follower systems via first-order temporal logic. FORMAL METHODS IN SYSTEM DESIGN, 58 (3). pp. 440-468.


Kourtis, G, Dixon, C ORCID: 0000-0002-4610-9533, Fisher, M and Lisitsa, A
(2022) Parameterized verification of leader/follower systems via first-order temporal logic (vol 58, pg 440, 2022). FORMAL METHODS IN SYSTEM DESIGN, 60 (2). pp. 325-326.


Lisitsa, A
(2018) Revisiting mu-puzzle. A case study in finite countermodels verification. .


Fish, A, Lisitsa, A and Vernitski, A
(2018) Towards human readability of automated unknottedness proofs. .


Lisitsa, A, Fish, Andrew and Vernitski, Alexei
(2018) Visual Algebraic proofs for Unknot Detection. In: Diagrams 2018, Edinburgh.


Lisitsa, A, Fish, Andrew and Vernitski, Alexei
(2018) Visual Algebraic proofs for Unknot Detection. In: Diagrams, Edinburgh.

This list was generated on Sun Jun 4 23:04:44 2023 BST.