Automated reasoning for proving non-orderability of groups. - Alexei Lisitsa 001; Zipei Nie; Alexei Vernitski (J. Autom. Reason., 1992)

Complexity of Universal Circumscription. - Alexei Lisitsa 001 (Int. J. Found. Comput. Sci., 1993)

Delta-Languages for Sets and sub-PTIME Graphs Transformers. - Vladimir Yu. Sazonov; Alexei Lisitsa 001 (ICDT, 1995)

Bounded Hyperset Theory and Web-like Data Bases. - Alexei Lisitsa 001; Vladimir Yu. Sazonov (Kurt Gödel Colloquium, 1997)

On Linear Ordering of Strongly Extensional Finitely-Branching Graphs and Non-well-founded Sets. - Alexei Lisitsa 001; Vladimir Yu. Sazonov (LFCS, 1997)

Delta-Languages for Sets and LOGSPACE Computable Graph Transformers. - Alexei Lisitsa 001; Vladimir Yu. Sazonov (Theor. Comput. Sci., 1997)

Linear Ordering on Graphs, Anti-Founded Sets and Polynomial Time Computability. - Alexei Lisitsa 001; Vladimir Yu. Sazonov (Theor. Comput. Sci., 1999)

Generalized vs formula circumscription over finite models. - Alexei Lisitsa 001 (AI&M, 2000)

Searching for Invariants Using Temporal Resolution. - James Brotherston; Anatoli Degtyarev; Michael Fisher 001; Alexei Lisitsa 001 (LPAR, 2002)

Equality and Monodic First-Order Temporal Logic. - Anatoli Degtyarev; Michael Fisher 001; Alexei Lisitsa 001 (Stud Logica, 2002)

Monodic ASMs and Temporal Verification. - Michael Fisher 001; Alexei Lisitsa 001 (Abstract State Machines, 2004)

Membership and Reachability Problems for Row-Monomial Transformations. - Alexei Lisitsa 001; Igor Potapov (MFCS, 2004)

Temporal logic with predicate abstraction - Alexei Lisitsa 001; Igor Potapov (CoRR, 2004)

Towards Verification via Supercompilation. - Alexei Lisitsa 001; Andrei P. Nemytykh (COMPSAC (2), 2005)

Temporal Logic with Predicate lambda-Abstraction. - Alexei Lisitsa 001; Igor Potapov (TIME, 2005)

Practical Infinite-State Verification with Temporal Reasoning. - Michael Fisher 001; Boris Konev; Alexei Lisitsa 001 (VISSAS, 2005)

In time alone: on the computational power of querying the history. - Alexei Lisitsa 001; Igor Potapov (TIME, 2006)

A Note on Specialization of Interpreters. - Alexei Lisitsa 001; Andrei P. Nemytykh (CSR, 2007)

Efficient First-Order Temporal Logic for Infinite-State Systems - Clare Dixon; Michael Fisher 001; Boris Konev; Alexei Lisitsa 001 (CoRR, 2007)

Verification as a parameterized testing (experiments with the SCP4 supercompiler). - Alexei Lisitsa 001; Andrei P. Nemytykh (Program. Comput. Softw., 2007)

Practical First-Order Temporal Reasoning. - Clare Dixon; Michael Fisher 001; Boris Konev; Alexei Lisitsa 001 (TIME, 2008)

A logic with temporally accessible iteration - Alexei Lisitsa 001 (CoRR, 2008)

Reachability Analysis in Verification via Supercompilation. - Alexei Lisitsa 001; Andrei P. Nemytykh (Int. J. Found. Comput. Sci., 2008)

Automata on Gauss Words. - Alexei Lisitsa 001; Igor Potapov; Rafiq Saleh (LATA, 2009)

On Descriptional Complexity of the Planarity Problem for Gauss Words - Vitaliy Kurlin; Alexei Lisitsa 001; Igor Potapov; Rafiq Saleh (CoRR, 2009)

Agent Based Approaches to Engineering Autonomous Space Software - Louise A. Dennis; Michael Fisher 001; Nicholas Lincoln; Alexei Lisitsa 001; Sandor M. Veres (FMA, 2009)

On the Computational Power of Querying the History. - Alexei Lisitsa 001; Igor Potapov (Fundam. Informaticae, 2009)

Temporal Verification of Fault-Tolerant Protocols. - Michael Fisher 001; Boris Konev; Alexei Lisitsa 001 (Methods, Models and Tools for Fault Tolerance, 2009)

An agent based framework for adaptive control and decision making of autonomous vehicles. - Nicholas Lincoln; Sandor M. Veres; Louise A. Dennis; Michael Fisher 001; Alexei Lisitsa 001 (ALCOSP, 2010)

Reachability as Derivability, Finite Countermodels and Verification. - Alexei Lisitsa 001 (ATVA, 2010)

Finite countermodels as invariants. A case study in verification of parameterized mutual exclusion protocol. - Alexei Lisitsa 001 (WING@ETAPS/IJCAR, 2010)

Declarative Abstractions for Agent Based Hybrid Control Systems. - Louise A. Dennis; Michael Fisher 001; Nicholas Lincoln; Alexei Lisitsa 001; Sandor M. Veres (DALT, 2010)

Finite Model Finding for Parameterized Verification - Alexei Lisitsa 001 (CoRR, 2010)

Satellite Control Using Rational Agent Programming. - Louise A. Dennis; Michael Fisher 001; Alexei Lisitsa 001; Nicholas Lincoln; Sandor M. Veres (IEEE Intell. Syst., 2010)

On one application of computations with oracle. - Alexei Lisitsa 001; Andrei P. Nemytykh (Program. Comput. Softw., 2010)

Planarity of Knots, Register Automata and LogSpace Computability. - Alexei Lisitsa 001; Igor Potapov; Rafiq Saleh (LATA, 2011)

A misuse-based network Intrusion Detection System using Temporal Logic and stream processing. - Abdulbasit Ahmed; Alexei Lisitsa 001; Clare Dixon (NSS, 2011)

Temporal Access to the Iteration Sequences: A Unifying Approach to Fixed Point Logics. - Alexei Lisitsa 001 (TIME, 2011)

First-order finite satisfiability vs tree automata in safety verification - Alexei Lisitsa 001 (CoRR, 2011)

Finite countermodels for safety verification of parameterized tree systems - Alexei Lisitsa 001 (CoRR, 2011)

Finite Models vs Tree Automata in Safety Verification. - Alexei Lisitsa 001 (RTA, 2012)

A Note on Program Specialization. What Can Syntactical Properties of Residual Programs Reveal? - Alexei Lisitsa 001; Andrei P. Nemytykh (CoRR, 2012)

Cryptographic Protocol Verification via Supercompilation (A Case Study). - Abdulbasit Ahmed; Alexei Lisitsa 001; Andrei P. Nemytykh (VPT@CAV, 2013)

Autonomous Asteroid Exploration by Rational Agents. - Nick K. Lincoln; Sandor M. Veres; Louise A. Dennis; Michael Fisher 001; Alexei Lisitsa 001 (IEEE Comput. Intell. Mag., 2013)

Finite Reasons for Safety - Parameterized Verification by Finite Model Finding. - Alexei Lisitsa 001 (J. Autom. Reason., 2013)

First-order theorem proving in the exploration of Andrews-Curtis conjecture. - Alexei Lisitsa 001 (Adv. Math. Commun., 2013)

A Note on Program Specialization. What Syntactical Properties of Residual Programs Can Reveal? - Alexei Lisitsa 001; Andrei P. Nemytykh (VPT@CAV, 2014)

The 'representative' metaheuristic design pattern. - Jerry Swan; Zoltan A. Kocsis; Alexei Lisitsa 001 (GECCO (Companion), 2014)

Detecting Unknots via Equational Reasoning, I: Exploration. - Andrew Fish; Alexei Lisitsa 001 (CICM, 2014)

A SAT Attack on the Erdős Discrepancy Conjecture. - Boris Konev; Alexei Lisitsa 001 (SAT, 2014)

Optimized Neural Incremental Attribute Learning for Classification Based on Statistical discriminability. - Ting Wang 011; Sheng-Uei Guan; Ka Lok Man; T. O. Ting; Alexei Lisitsa 001 (Int. J. Comput. Intell. Appl., 2014)

A Combinatorial Approach to Knot Recognition. - Andrew Fish; Alexei Lisitsa 001; David Stanovský (EGC, 2015)

Computer-aided proof of Erdős discrepancy properties. - Boris Konev; Alexei Lisitsa 001 (Artif. Intell., 2015)

Finite Countermodel Based Verification for Program Transformation (A Case Study). - Alexei P. Lisitsa; Andrei P. Nemytykh (VPT@ETAPS, 2015)

First-order logic for safety verification of hedge rewriting systems. - Alexei Lisitsa 001 (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2015)

A Statistical Approach to the Detection of HTML Attribute Permutation Steganography. - Iman Sedeeq; Frans Coenen; Alexei Lisitsa 001 (ICISSP, 2016)

Efficient Knot Discrimination via Quandle Coloring with SAT and #-SAT. - Andrew Fish; Alexei Lisitsa 001; David Stanovský; Sarah Swartwood (ICMS, 2016)

Mining Frequent Movement Patterns in Large Networks: A Parallel Approach Using Shapes. - Mohammed Al-Zeyadi; Frans Coenen; Alexei Lisitsa 001 (SGAI Conf., 2016)

Practical verification of decision-making in agent-based autonomous systems. - Louise A. Dennis; Michael Fisher 001; Nicholas Lincoln; Alexei Lisitsa 001; Sandor M. Veres (Autom. Softw. Eng., 2016)

Automated verification of programs and Web systems. - Maurice H. ter Beek; Alexei Lisitsa 001; Andrei P. Nemytykh; António Ravara (J. Log. Algebraic Methods Program., 2016)

On the mining and usage of Movement Patterns in large traffic networks. - Mohammed Al-Zeyadi; Frans Coenen; Alexei Lisitsa 001 (BigComp, 2017)

User-to-User Recommendation using the Concept of Movement Patterns: A Study using a Dating Social Network. - Mohammed Al-Zeyadi; Frans Coenen; Alexei Lisitsa 001 (KDIR, 2017)

Attribute Permutation Steganography Detection using Attribute Position Changes Count. - Iman Sedeeq; Frans Coenen; Alexei Lisitsa 001 (ICISSP, 2017)

A Prediction Model Based Approach to Open Space Steganography Detection in HTML Webpages. - Iman Sedeeq; Frans Coenen; Alexei Lisitsa 001 (IWDW, 2017)

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

Abstract State Machines and System Theoretic Process Analysis for Safety-Critical Systems. - Farah Al-Shareefi; Alexei Lisitsa 001; Clare Dixon (SBMF, 2017)

Verifying Programs via Intermediate Interpretation. - Alexei P. Lisitsa; Andrei P. Nemytykh (CoRR, 2017)

Verification of Programs via Intermediate Interpretation. - Alexei P. Lisitsa; Andrei P. Nemytykh (VPT@ETAPS, 2017)

Clarification of Ambiguity for the Simple Authentication and Security Layer. - Farah Al-Shareefi; Alexei Lisitsa 001; Clare Dixon (ABZ, 2018)

A Re-evaluation of Intrusion Detection Accuracy: Alternative Evaluation Strategy. - Said Al-Riyami; Frans Coenen; Alexei Lisitsa 001 (CCS, 2018)

Traversal-aware Encryption Adjustment for Graph Databases. - Nahla Aburawi; Frans Coenen; Alexei Lisitsa 001 (DATA, 2018)

Visual Algebraic Proofs for Unknot Detection. - Andrew Fish; Alexei Lisitsa 001; Alexei Vernitski (Diagrams, 2018)

Penetration Testing for Internet of Things and Its Automation. - Ge Chu; Alexei Lisitsa 001 (HPCC/SmartCity/DSS, 2018)

Querying Encrypted Graph Databases. - Nahla Aburawi; Alexei Lisitsa 001; Frans Coenen (ICISSP, 2018)

The Andrews-Curtis Conjecture, Term Rewriting and First-Order Proofs. - Alexei Lisitsa 001 (ICMS, 2018)

Towards Human Readability of Automated Unknottedness Proofs. - Andrew Fish; Alexei Lisitsa 001; Alexei Vernitski (Bridging@IJCAI/ECAI, 2018)

Poster: Agent-based (BDI) modeling for automation of penetration testing. - Ge Chu; Alexei Lisitsa 001 (PST, 2018)

Revisiting MU-Puzzle. A Case Study in Finite Countermodels Verification. - Alexei Lisitsa 001 (RP, 2018)

Querying Encrypted Data in Graph Databases. - Nahla Aburawi; Frans Coenen; Alexei Lisitsa 001 (ACRIT, 2019)

Minimizing the ambiguities in medical devices regulations based on software requirement engineering techniques. - Mohmood Alsaadi; Alexei Lisitsa 001; Malik Qasaimeh (DATA, 2019)

Investigating the Capability of Agile Processes to Support Medical Devices Regulations: The Case of XP, Scrum, and FDD with EU MDR Regulations. - Mohmood Alsaadi; Alexei Lisitsa 001; Mohammed Khalaf 001; Malik Qasaimeh (ICIC (3), 2019)

Flexible Access Control and Confidentiality over Encrypted Data for Document-based Database. - Maryam Almarwani; Boris Konev; Alexei Lisitsa 001 (ICISSP, 2019)

Fine-Grained Access Control for Querying Over Encrypted Document-Oriented Database. - Maryam Almarwani; Boris Konev; Alexei Lisitsa 001 (ICISSP (Revised Selected Papers), 2019)

Analysing Security Protocols Using Scenario Based Simulation. - Farah Al-Shareefi; Alexei Lisitsa 001; Clare Dixon (VECoS, 2019)

Agent-based (BDI) modeling for automation of penetration testing. - Ge Chu; Alexei Lisitsa 001 (CoRR, 2019)

Modular Verification of Autonomous Space Robotics. - Marie Farrell; Rafael C. Cardoso 001; Louise A. Dennis; Clare Dixon; Michael Fisher 001; Georgios Kourtis; Alexei Lisitsa 001; Matt Luckcuck; Matt Webster (CoRR, 2019)

Release-Aware Encryption Adjustment Query processing for Document Database. - Maryam Almarwani; Boris Konev; Alexei Lisitsa 001 (ICCBDC, 2020)

Ontology-based Automation of Penetration Testing. - Ge Chu; Alexei Lisitsa 001 (ICISSP, 2020)

Matrix profile for DDoS attacks detection. - Faisal Alotaibi; Alexei Lisitsa 001 (FedCSIS, 2021)

Release-aware In-out Encryption Adjustment in MongoDB Query Processing. - Maryam Almarwani; Boris Konev; Alexei Lisitsa 001 (ICISSP, 2021)

Representation and Processing of Instantaneous and Durative Temporal Phenomena. - Manolis Pitsikalis; Alexei Lisitsa 001; Shan Luo 001 (LOPSTR, 2021)

Gauss-Lintel, an Algorithm Suite for Exploring Chord Diagrams. - Abdullah Khan; Alexei Lisitsa 001; Alexei Vernitski (CICM, 2021)

Logic Rules Meet Deep Learning: A Novel Approach for Ship Type Classification. - Manolis Pitsikalis; Thanh-Toan Do; Alexei Lisitsa 001; Shan Luo 001 (RuleML+RR, 2021)

Untangling Braids with Multi-Agent Q-Learning. - Abdullah Khan; Alexei Vernitski; Alexei Lisitsa 001 (SYNASC, 2021)

Experimental Mathematics Approach to Gauss Diagrams Realizability. - Abdullah Khan; Alexei Lisitsa 001; Alexei Vernitski (CoRR, 2021)

Circle graphs (chord interlacement graphs) of Gauss diagrams: Descriptions of realizable Gauss diagrams, algorithms, enumeration. - Abdullah Khan; Alexei Lisitsa 001; Viktor Lopatkin; Alexei Vernitski (CoRR, 2021)

Parameterized verification of leader/follower systems via first-order temporal logic. - Georgios Kourtis; Clare Dixon; Michael Fisher 001; Alexei P. Lisitsa (Formal Methods Syst. Des., 2021)

An Overview of Verification and Validation Challenges for Inspection Robots. - Michael Fisher 001; Rafael C. Cardoso 001; Emily C. Collins 001; Christopher Dadswell; Louise A. Dennis; Clare Dixon; Marie Farrell; Angelo Ferrando 001; Xiaowei Huang 001; Mike Jump; Georgios Kourtis; Alexei Lisitsa 001; et al. (Robotics, 2021)

Reinforcement learning algorithms for the Untangling of Braids. - Abdullah Khan; Alexei Vernitski; Alexei Lisitsa 001 (FLAIRS, 2022)

Molecular Fragments from Incomplete, Real-life NMR Data: Framework for Spectra Analysis with Constraint Solvers. - Haneen A. Alharbi; Igor Barsukov; Rudi Grosman; Alexei Lisitsa 001 (ICAART (3), 2022)

Training AI to Recognize Realizable Gauss Diagrams: The Same Instances Confound AI and Human Mathematicians. - Abdullah Khan; Alexei Lisitsa 001; Alexei Vernitski (ICAART (3), 2022)

SMPG: Secure Multi Party Computation on Graph Databases. - Nouf Al-Juaid; Alexei Lisitsa 001; Sven Schewe (ICISSP, 2022)

Zero Update Encryption Adjustment on Encrypted Database Queries. - Maryam Almarwani; Boris Konev; Alexei Lisitsa 001 (ICISSP (Revised Selected Papers), 2022)

Efficient and Secure Encryption Adjustment for JSON Data. - Maryam Almarwani; Boris Konev; Alexei Lisitsa 001 (ICISSP, 2022)

Logic Rules Meet Deep Learning: A Novel Approach for Ship Type Classification (Extended Abstract). - Manolis Pitsikalis; Thanh-Toan Do; Alexei Lisitsa 001; Shan Luo 001 (IJCAI, 2022)

Making Sense of Heterogeneous Maritime Data. - Manolis Pitsikalis; Alexei Lisitsa 001; Patrick Totzke; Simon Lee (MDM, 2022)

Process Mining Algorithm for Online Intrusion Detection System. - Yinzheng Zhong; John Yannis Goulermas; Alexei Lisitsa 001 (CoRR, 2022)

An application of neural networks to a problem in knot theory and group theory (untangling braids). - Alexei Lisitsa 001; Mateo Salles; Alexei Vernitski (CoRR, 2022)

Can process mining help in anomaly-based intrusion detection? - Yinzheng Zhong; Alexei Lisitsa 001 (CoRR, 2022)

Data Querying with Ciphertext Policy Attribute Based Encryption. - Maryam Almarwani; Boris Konev; Alexei Lisitsa 001 (CoRR, 2022)

Correction: Parameterized verification of leader/follower systems via first-order temporal logic. - Georgios Kourtis; Clare Dixon; Michael Fisher 001; Alexei Lisitsa 001 (Formal Methods Syst. Des., 2022)

Supervised Learning for Untangling Braids. - Alexei Lisitsa 001; Mateo Salles; Alexei Vernitski (ICAART (3), 2023)

Detecting 2D NMR Signals Using Mask RCNN. - Hadeel Saad Alghamdi; Alexei Lisitsa 001; Igor Barsukov; Rudi Grosman (ICAART (3), 2023)

Secure Joint Querying Over Federated Graph Databases Utilising SMPC Protocols. - Nouf Al-Juaid; Alexei Lisitsa 001; Sven Schewe (ICISSP, 2023)

Online Transition-Based Feature Generation for Anomaly Detection in Concurrent Data Streams. - Yinzheng Zhong; Alexei Lisitsa 001 (ICISSP, 2023)

On Strong Anti-learning of Parity. - Alexei Lisitsa 001; Alexei Vernitski (OL2A (2), 2023)

Interpreting NMR Spectra by Constraint Solving. - Haneen A. Alharbi; Igor Barsukov; Rudi Grosman; Alexei Lisitsa 001 (SGAI Conf., 2023)

Deep Reinforcement Learning for Continuous Control of Material Thickness. - Oliver Dippel; Alexei Lisitsa 001; Bei Peng 001 (SGAI Conf., 2023)

Machine learning discovers invariants of braids and flat braids. - Alexei Lisitsa 001; Mateo Salles; Alexei Vernitski (CoRR, 2023)

Handling of Past and Future with Phenesthe+. - Manolis Pitsikalis; Alexei Lisitsa 001; Patrick Totzke (GandALF, 2023)

Multi-Instance Learning for Parkinson's Tremor Level Detection with Learnable Discriminative Pool. - Haoyu Wu 001; Yifan Guan 001; Alexei Lisitsa 001; Xiaohui Zhu; Po Yang 001; Jun Qi 001 (BIBM, 2024)

Efficient and Secure Multiparty Querying over Federated Graph Databases. - Nouf Al-Juaid; Alexei Lisitsa 001; Sven Schewe (DATA, 2024)

A Multi-Agent Framework for Penetration Testing: Modelling and Analysing Using Abstract State Machines. - Farah Al-Shareefi; Ge Chu; Alexei Lisitsa 001 (ISPA, 2024)

Towards computer-assisted proofs of parametric Andrews-Curtis simplifications, II. - Alexei Lisitsa 001 (LPAR Complementary Volume, 2024)

Automated Reasoning with Tangles: towards Quantum Verification Applications. - Andrew Fish; Alexei Lisitsa 001 (LPAR Complementary Volume, 2024)

A Lightweight and Responsive On-Line IDS Towards Intelligent Connected Vehicles System. - Jia Liu; Wenjun Fan; Yifan Dai; Eng Gee Lim; Alexei Lisitsa 001 (SAFECOMP, 2024)

Secure Multi-Party Traversal Queries over Federated Graph Databases. - Nouf Al-Juaid; Alexei Lisitsa 001; Sven Schewe (SECRYPT, 2024)

Contextual Transformers for Goal-Oriented Reinforcement Learning. - Oliver Dippel; Alexei Lisitsa 001; Bei Peng 001 (SGAI Conf. (1), 2024)

Leveraging Semi-supervised Learning for Enhancing Anomaly-based IDS in Automotive Ethernet. - Jia Liu; Wenjun Fan; Yifan Dai; Enggee Lim; Zhoujin Pan; Alexei Lisitsa 001 (TrustCom, 2024)

Stable Andrews-Curtis trivialization of AK(3) revisited. A case study using automated deduction. - Alexei Lisitsa 001 (CoRR, 2025)