| 2025 | FedCSIS | Leveraging Large Language Models for Automated Export Control Screening: Evaluating LLMs Framework. | Salem Alotaibi, Alexei Lisitsa, Antony McCabe, Joanna MacSween |
| 2024 | DATA | Efficient and Secure Multiparty Querying over Federated Graph Databases. | Nouf Al-Juaid, Alexei Lisitsa, Sven Schewe |
| 2024 | ISPA | A Multi-Agent Framework for Penetration Testing: Modelling and Analysing Using Abstract State Machines. | Farah Al-Shareefi, Ge Chu, Alexei Lisitsa |
| 2024 | LPAR | Towards computer-assisted proofs of parametric Andrews-Curtis simplifications, II. | Alexei Lisitsa |
| 2024 | LPAR | Automated Reasoning with Tangles: towards Quantum Verification Applications. | Andrew Fish, Alexei Lisitsa |
| 2024 | TrustCom | Leveraging Semi-supervised Learning for Enhancing Anomaly-based IDS in Automotive Ethernet. | Jia Liu, Wenjun Fan, Yifan Dai, Enggee Lim, Zhoujin Pan, Alexei Lisitsa |
| 2024 | SAFECOMP | A Lightweight and Responsive On-Line IDS Towards Intelligent Connected Vehicles System. | Jia Liu, Wenjun Fan, Yifan Dai, Eng Gee Lim, Alexei Lisitsa |
| 2024 | SECRYPT | Secure Multi-Party Traversal Queries over Federated Graph Databases. | Nouf Al-Juaid, Alexei Lisitsa, Sven Schewe |
| 2024 | SGAI | Contextual Transformers for Goal-Oriented Reinforcement Learning. | Oliver Dippel, Alexei Lisitsa, Bei Peng |
| 2023 | ICAART | Supervised Learning for Untangling Braids. | Alexei Lisitsa, Mateo Salles, Alexei Vernitski |
| 2023 | ICAART | Detecting 2D NMR Signals Using Mask RCNN. | Hadeel Saad Alghamdi, Alexei Lisitsa, Igor Barsukov, Rudi Grosman |
| 2023 | ICISSP | Secure Joint Querying Over Federated Graph Databases Utilising SMPC Protocols. | Nouf Al-Juaid, Alexei Lisitsa, Sven Schewe |
| 2023 | ICISSP | Online Transition-Based Feature Generation for Anomaly Detection in Concurrent Data Streams. | Yinzheng Zhong, Alexei Lisitsa |
| 2023 | SGAI | Interpreting NMR Spectra by Constraint Solving. | Haneen A. Alharbi, Igor Barsukov, Rudi Grosman, Alexei Lisitsa |
| 2023 | SGAI | Deep Reinforcement Learning for Continuous Control of Material Thickness. | Oliver Dippel, Alexei Lisitsa, Bei Peng |
| 2022 | FlAIRS | Reinforcement learning algorithms for the Untangling of Braids. | Abdullah Khan, Alexei Vernitski, Alexei Lisitsa |
| 2022 | ICAART | Molecular Fragments from Incomplete, Real-life NMR Data: Framework for Spectra Analysis with Constraint Solvers. | Haneen A. Alharbi, Igor Barsukov, Rudi Grosman, Alexei Lisitsa |
| 2022 | ICAART | Training AI to Recognize Realizable Gauss Diagrams: The Same Instances Confound AI and Human Mathematicians. | Abdullah Khan, Alexei Lisitsa, Alexei Vernitski |
| 2022 | ICISSP | SMPG: Secure Multi Party Computation on Graph Databases. | Nouf Al-Juaid, Alexei Lisitsa, Sven Schewe |
| 2022 | ICISSP | Zero Update Encryption Adjustment on Encrypted Database Queries. | Maryam Almarwani, Boris Konev, Alexei Lisitsa |
| 2022 | ICISSP | Efficient and Secure Encryption Adjustment for JSON Data. | Maryam Almarwani, Boris Konev, Alexei Lisitsa |
| 2022 | IJCAI | Logic Rules Meet Deep Learning: A Novel Approach for Ship Type Classification (Extended Abstract). | Manolis Pitsikalis, Thanh-Toan Do, Alexei Lisitsa, Shan Luo |
| 2022 | MDM | Making Sense of Heterogeneous Maritime Data. | Manolis Pitsikalis, Alexei Lisitsa, Patrick Totzke, Simon Lee |
| 2021 | FedCSIS | Matrix profile for DDoS attacks detection. | Faisal Alotaibi, Alexei Lisitsa |
| 2021 | ICISSP | Release-aware In-out Encryption Adjustment in MongoDB Query Processing. | Maryam Almarwani, Boris Konev, Alexei Lisitsa |
| 2021 | LOPSTR | Representation and Processing of Instantaneous and Durative Temporal Phenomena. | Manolis Pitsikalis, Alexei Lisitsa, Shan Luo |
| 2021 | SYNASC | Untangling Braids with Multi-Agent Q-Learning. | Abdullah Khan, Alexei Vernitski, Alexei Lisitsa |
| 2020 | ICISSP | Ontology-based Automation of Penetration Testing. | Ge Chu, Alexei Lisitsa |
| 2019 | ICISSP | Flexible Access Control and Confidentiality over Encrypted Data for Document-based Database. | Maryam Almarwani, Boris Konev, Alexei Lisitsa |
| 2019 | ICISSP | Fine-Grained Access Control for Querying Over Encrypted Document-Oriented Database. | Maryam Almarwani, Boris Konev, Alexei Lisitsa |
| 2019 | VECoS | Analysing Security Protocols Using Scenario Based Simulation. | Farah Al-Shareefi, Alexei Lisitsa, Clare Dixon |
| 2018 | CCS | A Re-evaluation of Intrusion Detection Accuracy: Alternative Evaluation Strategy. | Said Al-Riyami, Frans Coenen, Alexei Lisitsa |
| 2018 | DATA | Traversal-aware Encryption Adjustment for Graph Databases. | Nahla Aburawi, Frans Coenen, Alexei Lisitsa |
| 2018 | DIAGRAMS | Visual Algebraic Proofs for Unknot Detection. | Andrew Fish, Alexei Lisitsa, Alexei Vernitski |
| 2018 | HPCC | Penetration Testing for Internet of Things and Its Automation. | Ge Chu, Alexei Lisitsa |
| 2018 | ICISSP | Querying Encrypted Graph Databases. | Nahla Aburawi, Alexei Lisitsa, Frans Coenen |
| 2018 | IJCAI | Towards Human Readability of Automated Unknottedness Proofs. | Andrew Fish, Alexei Lisitsa, Alexei Vernitski |
| 2018 | PST | Poster: Agent-based (BDI) modeling for automation of penetration testing. | Ge Chu, Alexei Lisitsa |
| 2017 | IC3K | User-to-User Recommendation using the Concept of Movement Patterns: A Study using a Dating Social Network. | Mohammed Al-Zeyadi, Frans Coenen, Alexei Lisitsa |
| 2017 | ICISSP | Attribute Permutation Steganography Detection using Attribute Position Changes Count. | Iman Sedeeq, Frans Coenen, Alexei Lisitsa |
| 2017 | IWDW | A Prediction Model Based Approach to Open Space Steganography Detection in HTML Webpages. | Iman Sedeeq, Frans Coenen, Alexei Lisitsa |
| 2016 | ICISSP | A Statistical Approach to the Detection of HTML Attribute Permutation Steganography. | Iman Sedeeq, Frans Coenen, Alexei Lisitsa |
| 2016 | SGAI | Mining Frequent Movement Patterns in Large Networks: A Parallel Approach Using Shapes. | Mohammed Al-Zeyadi, Frans Coenen, Alexei Lisitsa |
| 2014 | CAV | A Note on Program Specialization. What Syntactical Properties of Residual Programs Can Reveal? | Alexei Lisitsa, Andrei P. Nemytykh |
| 2014 | GECCO | The 'representative' metaheuristic design pattern. | Jerry Swan, Zoltan A. Kocsis, Alexei Lisitsa |
| 2014 | SAT | A SAT Attack on the Erdős Discrepancy Conjecture. | Boris Konev, Alexei Lisitsa |
| 2013 | CAV | Cryptographic Protocol Verification via Supercompilation (A Case Study). | Abdulbasit Ahmed, Alexei Lisitsa, Andrei P. Nemytykh |
| 2011 | LATA | Planarity of Knots, Register Automata and LogSpace Computability. | Alexei Lisitsa, Igor Potapov, Rafiq Saleh |
| 2011 | NSS | A misuse-based network Intrusion Detection System using Temporal Logic and stream processing. | Abdulbasit Ahmed, Alexei Lisitsa, Clare Dixon |
| 2011 | TIME | Temporal Access to the Iteration Sequences: A Unifying Approach to Fixed Point Logics. | Alexei Lisitsa |
| 2010 | ATVA | Reachability as Derivability, Finite Countermodels and Verification. | Alexei Lisitsa |
| 2010 | CADE | Finite countermodels as invariants. A case study in verification of parameterized mutual exclusion protocol. | Alexei Lisitsa |
| 2009 | LATA | Automata on Gauss Words. | Alexei Lisitsa, Igor Potapov, Rafiq Saleh |
| 2008 | TIME | Practical First-Order Temporal Reasoning. | Clare Dixon, Michael Fisher, Boris Konev, Alexei Lisitsa |
| 2007 | CSR | A Note on Specialization of Interpreters. | Alexei Lisitsa, Andrei P. Nemytykh |
| 2006 | TIME | In time alone: on the computational power of querying the history. | Alexei Lisitsa, Igor Potapov |
| 2005 | COMPSAC | Towards Verification via Supercompilation. | Alexei Lisitsa, Andrei P. Nemytykh |
| 2005 | TIME | Temporal Logic with Predicate lambda-Abstraction. | Alexei Lisitsa, Igor Potapov |
| 2004 | MFCS | Membership and Reachability Problems for Row-Monomial Transformations. | Alexei Lisitsa, Igor Potapov |
| 2002 | LPAR | Searching for Invariants Using Temporal Resolution. | James Brotherston, Anatoli Degtyarev, Michael Fisher, Alexei Lisitsa |
| 1997 | LFCS | On Linear Ordering of Strongly Extensional Finitely-Branching Graphs and Non-well-founded Sets. | Alexei Lisitsa, Vladimir Yu. Sazonov |
| 1995 | ICDT | Delta-Languages for Sets and sub-PTIME Graphs Transformers. | Vladimir Yu. Sazonov, Alexei Lisitsa |