Browse by People

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

Chu, Ge and Lisitsa, Alexei
Agent-based (BDI) modeling for automation of penetration testing.

Al-Shareefi, Farah
(2019) Analysing Safety-Critical Systems and Security Protocols with Abstract State Machines. PhD thesis, University of Liverpool.

Sedeeq, Iman, Coenen, Frans ORCID: 0000-0003-1026-6649 and Lisitsa, Alexei
(2017) Attribute Permutation Steganography Detection using Attribute Position Changes Count. .

Lisitsa, Alexei and Vernitski, Alexei
(2017) Automated Reasoning for Knot Semigroups and  $$\pi $$ π -orbifold Groups of Knots. .

Al-Shareefi, Farah ORCID: 0000-0002-5537-6086, Lisitsa, Alexei and Dixon, Clare ORCID: 0000-0002-4610-9533
(2018) Clarification of Ambiguity for the Simple Authentication and Security Layer. .

Konev, Boris and Lisitsa, Alexei
(2015) Computer-aided proof of Erdős discrepancy properties. Artificial Intelligence, 224. 103 - 118.

Dixon, Clare, Fisher, Michael, Konev, Boris and Lisitsa, Alexei
Efficient First-Order Temporal Logic for Infinite-State Systems.

Al-Zeyadi, Mohammed Ghaiz
(2018) Efficient and Effective Methodologies for Exploring and Prediction Movement Patterns in Large Networks. PhD thesis, University of Liverpool.

Algamdi, AA
(2018) Enhancing Trust Management in Cloud Computing. PhD thesis, University of Liverpool.

Lisitsa, Alexei
Finite Model Finding for Parameterized Verification.

Lisitsa, Alexei
First-order finite satisfiability vs tree automata in safety verification.

Sedeeq, Iman
(2018) HTML Steganography Algorithms and Detection Methods. PhD thesis, University of Liverpool.

Farrell, Marie ORCID: 0000-0001-7708-3877, Cardoso, Rafael C ORCID: 0000-0001-6666-6954, Dennis, Louise A ORCID: 0000-0003-1426-1896, Dixon, Clare ORCID: 0000-0002-4610-9533, Fisher, Michael ORCID: 0000-0002-0875-3862, Kourtis, Georgios, Lisitsa, Alexei, Luckcuck, Matt ORCID: 0000-0002-6444-9312 and Webster, Matt ORCID: 0000-0002-8817-6881
Modular Verification of Autonomous Space Robotics. .

Al-Zeyadi, Mohammed, Coenen, Frans ORCID: 0000-0003-1026-6649, Lisitsa, Alexei and IEEE,
(2017) On The Mining and Usage of Movement Patterns in Large Traffic Networks. .

Ahmed, Abdulbasit
Online network intrusion detection system using temporal logic and stream data processing. [Unspecified]

Dennis, Louise A ORCID: 0000-0003-1426-1896, Fisher, Michael ORCID: 0000-0002-0875-3862, Lincoln, Nicholas K, Lisitsa, Alexei and Veres, Sandor M
(2016) Practical verification of decision-making in agent-based autonomous systems. AUTOMATED SOFTWARE ENGINEERING, 23 (3). 305 - 359.

Coenen, FP ORCID: 0000-0003-1026-6649, Lisitsa, Alexei and Aburawi, NN
(2020) Querrying Encrypted Data in Graph Databases. .

Lisitsa, Alexei
A logic with temporally accessible iteration.

This list was generated on Sat May 23 16:45:25 2020 BST.