Browse by People


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


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. .


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


Aburawi, N, Lisitsa, A and Coenen, F ORCID: 0000-0003-1026-6649
(2018) Querying Encrypted Graph Databases. .


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. .


Aburawi, N, Coenen, F ORCID: 0000-0003-1026-6649 and Lisitsa, A
(2018) Traversal-aware Encryption Adjustment for Graph Databases. .


Al-Zeyadi, M, Coenen, F ORCID: 0000-0003-1026-6649 and Lisitsa, A
(2017) User-to-user recommendation using the concept of movement patterns: A study using a dating social network. .


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


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

This list was generated on Fri Nov 15 10:24:43 2019 GMT.