Alexei Lisitsa

148 papers A* 2A 2B 9C 31Misc 4Journal 50Unranked 41

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	ML-BF: Responsive and Dynamic Intrusion Detection towards Intelligent Connected Vehicles. Peer Peer Netw. Appl. Jia Liu, Wenjun Fan, Enggee Lim, Yifan Dai, Alexei Lisitsa
2025	J	`jnl`	Automated reasoning for proving non-orderability of groups. J. Autom. Reason. Alexei Lisitsa, Zipei Nie, Alexei Vernitski
2025	J	`jnl`	Fast and Secure Multiparty Querying over Federated Graph Databases. SN Comput. Sci. Nouf Al-Juaid, Alexei Lisitsa, Sven Schewe
2025	J	`jnl`	Heuristic Transformer: Belief Augmented In-Context Reinforcement Learning. CoRR Oliver Dippel, Alexei Lisitsa, Bei Peng
2025	C	`conf`	Leveraging Large Language Models for Automated Export Control Screening: Evaluating LLMs Framework. FedCSIS Salem Alotaibi, Alexei Lisitsa, Antony McCabe, Joanna MacSween
2025	J	`jnl`	Stable Andrews-Curtis trivialization of AK(3) revisited. A case study using automated deduction. CoRR Alexei Lisitsa
2024	B	`conf`	A Lightweight and Responsive On-Line IDS Towards Intelligent Connected Vehicles System. SAFECOMP Jia Liu, Wenjun Fan, Yifan Dai, Eng Gee Lim, Alexei Lisitsa
2024	C	`conf`	A Multi-Agent Framework for Penetration Testing: Modelling and Analysing Using Abstract State Machines. ISPA Farah Al-Shareefi, Ge Chu, Alexei Lisitsa
2024	—	`conf`	Automated Reasoning with Tangles: towards Quantum Verification Applications. LPAR Complementary Volume Andrew Fish, Alexei Lisitsa
2024	—	`conf`	Contextual Transformers for Goal-Oriented Reinforcement Learning. SGAI Conf. (1) Oliver Dippel, Alexei Lisitsa, Bei Peng
2024	C	`conf`	Efficient and Secure Multiparty Querying over Federated Graph Databases. DATA Nouf Al-Juaid, Alexei Lisitsa, Sven Schewe
2024	B	`conf`	Leveraging Semi-supervised Learning for Enhancing Anomaly-based IDS in Automotive Ethernet. TrustCom Jia Liu, Wenjun Fan, Yifan Dai, Enggee Lim, Zhoujin Pan, Alexei Lisitsa
2024	—	`conf`	Multi-Instance Learning for Parkinson's Tremor Level Detection with Learnable Discriminative Pool. BIBM Haoyu Wu, Yifan Guan, Alexei Lisitsa, Xiaohui Zhu, Po Yang, Jun Qi
2024	C	`conf`	Secure Multi-Party Traversal Queries over Federated Graph Databases. SECRYPT Nouf Al-Juaid, Alexei Lisitsa, Sven Schewe
2024	—	`conf`	Towards computer-assisted proofs of parametric Andrews-Curtis simplifications, II. LPAR Complementary Volume Alexei Lisitsa
2023	—	`conf`	Deep Reinforcement Learning for Continuous Control of Material Thickness. SGAI Conf. Oliver Dippel, Alexei Lisitsa, Bei Peng
2023	—	`conf`	Detecting 2D NMR Signals Using Mask RCNN. ICAART (3) Hadeel Saad Alghamdi, Alexei Lisitsa, Igor Barsukov, Rudi Grosman
2023	—	`conf`	Handling of Past and Future with Phenesthe+. GandALF Manolis Pitsikalis, Alexei Lisitsa, Patrick Totzke
2023	—	`conf`	Interpreting NMR Spectra by Constraint Solving. SGAI Conf. Haneen A. Alharbi, Igor Barsukov, Rudi Grosman, Alexei Lisitsa
2023	J	`jnl`	Machine learning discovers invariants of braids and flat braids. CoRR Alexei Lisitsa, Mateo Salles, Alexei Vernitski
2023	—	`conf`	On Strong Anti-learning of Parity. OL2A (2) Alexei Lisitsa, Alexei Vernitski
2023	C	`conf`	Online Transition-Based Feature Generation for Anomaly Detection in Concurrent Data Streams. ICISSP Yinzheng Zhong, Alexei Lisitsa
2023	J	`jnl`	Online Transition-Based Feature Generation for Anomaly Detection in Concurrent Data Streams. CoRR Yinzheng Zhong, Alexei Lisitsa
2023	C	`conf`	Secure Joint Querying Over Federated Graph Databases Utilising SMPC Protocols. ICISSP Nouf Al-Juaid, Alexei Lisitsa, Sven Schewe
2023	—	`conf`	Supervised Learning for Untangling Braids. ICAART (3) Alexei Lisitsa, Mateo Salles, Alexei Vernitski
2022	J	`jnl`	An application of neural networks to a problem in knot theory and group theory (untangling braids). CoRR Alexei Lisitsa, Mateo Salles, Alexei Vernitski
2022	J	`jnl`	Can process mining help in anomaly-based intrusion detection? CoRR Yinzheng Zhong, Alexei Lisitsa
2022	J	`jnl`	Correction: Parameterized verification of leader/follower systems via first-order temporal logic. Formal Methods Syst. Des. Georgios Kourtis, Clare Dixon, Michael Fisher, Alexei Lisitsa
2022	J	`jnl`	Data Querying with Ciphertext Policy Attribute Based Encryption. CoRR Maryam Almarwani, Boris Konev, Alexei Lisitsa
2022	C	`conf`	Efficient and Secure Encryption Adjustment for JSON Data. ICISSP Maryam Almarwani, Boris Konev, Alexei Lisitsa
2022	A*	`conf`	Logic Rules Meet Deep Learning: A Novel Approach for Ship Type Classification (Extended Abstract). IJCAI Manolis Pitsikalis, Thanh-Toan Do, Alexei Lisitsa, Shan Luo
2022	B	`conf`	Making Sense of Heterogeneous Maritime Data. MDM Manolis Pitsikalis, Alexei Lisitsa, Patrick Totzke, Simon Lee
2022	—	`conf`	Molecular Fragments from Incomplete, Real-life NMR Data: Framework for Spectra Analysis with Constraint Solvers. ICAART (3) Haneen A. Alharbi, Igor Barsukov, Rudi Grosman, Alexei Lisitsa
2022	J	`jnl`	Process Mining Algorithm for Online Intrusion Detection System. CoRR Yinzheng Zhong, John Yannis Goulermas, Alexei Lisitsa
2022	Misc	`conf`	Reinforcement learning algorithms for the Untangling of Braids. FLAIRS Abdullah Khan, Alexei Vernitski, Alexei Lisitsa
2022	C	`conf`	SMPG: Secure Multi Party Computation on Graph Databases. ICISSP Nouf Al-Juaid, Alexei Lisitsa, Sven Schewe
2022	—	`conf`	Training AI to Recognize Realizable Gauss Diagrams: The Same Instances Confound AI and Human Mathematicians. ICAART (3) Abdullah Khan, Alexei Lisitsa, Alexei Vernitski
2022	—	`conf`	Zero Update Encryption Adjustment on Encrypted Database Queries. ICISSP (Revised Selected Papers) Maryam Almarwani, Boris Konev, Alexei Lisitsa
2021	J	`jnl`	An Overview of Verification and Validation Challenges for Inspection Robots. Robotics Michael Fisher, Rafael C. Cardoso, Emily C. Collins, Christopher Dadswell, Louise A. Dennis, Clare Dixon, Marie Farrell, Angelo Ferrando, Xiaowei Huang, Mike Jump, Georgios Kourtis, Alexei Lisitsa, Matt Luckcuck, Shan Luo, Vincent Pagé, Fabio Papacchini, Matt Webster
2021	J	`jnl`	Circle graphs (chord interlacement graphs) of Gauss diagrams: Descriptions of realizable Gauss diagrams, algorithms, enumeration. CoRR Abdullah Khan, Alexei Lisitsa, Viktor Lopatkin, Alexei Vernitski
2021	J	`jnl`	Experimental Mathematics Approach to Gauss Diagrams Realizability. CoRR Abdullah Khan, Alexei Lisitsa, Alexei Vernitski
2021	C	`conf`	Gauss-Lintel, an Algorithm Suite for Exploring Chord Diagrams. CICM Abdullah Khan, Alexei Lisitsa, Alexei Vernitski
2021	B	`conf`	Logic Rules Meet Deep Learning: A Novel Approach for Ship Type Classification. RuleML+RR Manolis Pitsikalis, Thanh-Toan Do, Alexei Lisitsa, Shan Luo
2021	J	`jnl`	Logic Rules Meet Deep Learning: A Novel Approach for Ship Type Classification. CoRR Manolis Pitsikalis, Thanh-Toan Do, Alexei Lisitsa, Shan Luo
2021	C	`conf`	Matrix profile for DDoS attacks detection. FedCSIS Faisal Alotaibi, Alexei Lisitsa
2021	—	`ed.`	Proceedings of the 9th International Workshop on Verification and Program Transformation, VPT@ETAPS 2021, Luxembourg, Luxembourg, 27th and 28th of March 2021. VPT@ETAPS Alexei Lisitsa, Andrei P. Nemytykh
2021	C	`conf`	Release-aware In-out Encryption Adjustment in MongoDB Query Processing. ICISSP Maryam Almarwani, Boris Konev, Alexei Lisitsa
2021	C	`conf`	Representation and Processing of Instantaneous and Durative Temporal Phenomena. LOPSTR Manolis Pitsikalis, Alexei Lisitsa, Shan Luo
2021	J	`jnl`	Representation and Processing of Instantaneous and Durative Temporal Phenomena. CoRR Manolis Pitsikalis, Alexei Lisitsa, Shan Luo
2021	Misc	`conf`	Untangling Braids with Multi-Agent Q-Learning. SYNASC Abdullah Khan, Alexei Vernitski, Alexei Lisitsa
2021	J	`jnl`	Untangling Braids with Multi-agent Q-Learning. CoRR Abdullah Khan, Alexei Vernitski, Alexei Lisitsa
2020	—	`ed.`	Applied Computing to Support Industry: Innovation and Technology - First International Conference, ACRIT 2019, Ramadi, Iraq, September 15-16, 2019, Revised Selected Papers ACRIT Mohammed I. Khalaf, Dhiya Al-Jumeily, Alexei Lisitsa
2020	C	`conf`	Ontology-based Automation of Penetration Testing. ICISSP Ge Chu, Alexei Lisitsa
2020	—	`conf`	Release-Aware Encryption Adjustment Query processing for Document Database. ICCBDC Maryam Almarwani, Boris Konev, Alexei Lisitsa
2019	J	`jnl`	Agent-based (BDI) modeling for automation of penetration testing. CoRR Ge Chu, Alexei Lisitsa
2019	C	`conf`	Analysing Security Protocols Using Scenario Based Simulation. VECoS Farah Al-Shareefi, Alexei Lisitsa, Clare Dixon
2019	—	`conf`	Fine-Grained Access Control for Querying Over Encrypted Document-Oriented Database. ICISSP (Revised Selected Papers) Maryam Almarwani, Boris Konev, Alexei Lisitsa
2019	C	`conf`	Flexible Access Control and Confidentiality over Encrypted Data for Document-based Database. ICISSP Maryam Almarwani, Boris Konev, Alexei Lisitsa
2019	—	`conf`	Investigating the Capability of Agile Processes to Support Medical Devices Regulations: The Case of XP, Scrum, and FDD with EU MDR Regulations. ICIC (3) Mohmood Alsaadi, Alexei Lisitsa, Mohammed Khalaf, Malik Qasaimeh
2019	C	`conf`	Minimizing the ambiguities in medical devices regulations based on software requirement engineering techniques. DATA Mohmood Alsaadi, Alexei Lisitsa, Malik Qasaimeh
2019	J	`jnl`	Modular Verification of Autonomous Space Robotics. CoRR Marie Farrell, Rafael C. Cardoso, Louise A. Dennis, Clare Dixon, Michael Fisher, Georgios Kourtis, Alexei Lisitsa, Matt Luckcuck, Matt Webster
2019	—	`ed.`	Proceedings Seventh International Workshop on Verification and Program Transformation, VPT@Programming 2019, Genova, Italy, 2nd April 2019. VPT@Programming Alexei Lisitsa, Andrei P. Nemytykh
2019	—	`conf`	Querying Encrypted Data in Graph Databases. ACRIT Nahla Aburawi, Frans Coenen, Alexei Lisitsa
2018	A*	`conf`	A Re-evaluation of Intrusion Detection Accuracy: Alternative Evaluation Strategy. CCS Said Al-Riyami, Frans Coenen, Alexei Lisitsa
2018	C	`conf`	Clarification of Ambiguity for the Simple Authentication and Security Layer. ABZ Farah Al-Shareefi, Alexei Lisitsa, Clare Dixon
2018	—	`conf`	Penetration Testing for Internet of Things and Its Automation. HPCC/SmartCity/DSS Ge Chu, Alexei Lisitsa
2018	C	`conf`	Poster: Agent-based (BDI) modeling for automation of penetration testing. PST Ge Chu, Alexei Lisitsa
2018	C	`conf`	Querying Encrypted Graph Databases. ICISSP Nahla Aburawi, Alexei Lisitsa, Frans Coenen
2018	—	`conf`	Revisiting MU-Puzzle. A Case Study in Finite Countermodels Verification. RP Alexei Lisitsa
2018	—	`conf`	The Andrews-Curtis Conjecture, Term Rewriting and First-Order Proofs. ICMS Alexei Lisitsa
2018	—	`conf`	Towards Human Readability of Automated Unknottedness Proofs. Bridging@IJCAI/ECAI Andrew Fish, Alexei Lisitsa, Alexei Vernitski
2018	C	`conf`	Traversal-aware Encryption Adjustment for Graph Databases. DATA Nahla Aburawi, Frans Coenen, Alexei Lisitsa
2018	C	`conf`	Visual Algebraic Proofs for Unknot Detection. Diagrams Andrew Fish, Alexei Lisitsa, Alexei Vernitski
2017	C	`conf`	A Prediction Model Based Approach to Open Space Steganography Detection in HTML Webpages. IWDW Iman Sedeeq, Frans Coenen, Alexei Lisitsa
2017	—	`conf`	Abstract State Machines and System Theoretic Process Analysis for Safety-Critical Systems. SBMF Farah Al-Shareefi, Alexei Lisitsa, Clare Dixon
2017	C	`conf`	Attribute Permutation Steganography Detection using Attribute Position Changes Count. ICISSP Iman Sedeeq, Frans Coenen, Alexei Lisitsa
2017	—	`conf`	Automated Reasoning for Knot Semigroups and \pi π -orbifold Groups of Knots. MACIS Alexei Lisitsa, Alexei Vernitski
2017	—	`conf`	On the mining and usage of Movement Patterns in large traffic networks. BigComp Mohammed Al-Zeyadi, Frans Coenen, Alexei Lisitsa
2017	—	`ed.`	Proceedings Fifth International Workshop on Verification and Program Transformation, VPT@ETAPS 2017, Uppsala, Sweden, 29th April 2017. VPT@ETAPS Alexei Lisitsa, Andrei P. Nemytykh, Maurizio Proietti
2017	—	`conf`	User-to-User Recommendation using the Concept of Movement Patterns: A Study using a Dating Social Network. KDIR Mohammed Al-Zeyadi, Frans Coenen, Alexei Lisitsa
2016	C	`conf`	A Statistical Approach to the Detection of HTML Attribute Permutation Steganography. ICISSP Iman Sedeeq, Frans Coenen, Alexei Lisitsa
2016	J	`jnl`	Automated verification of programs and Web systems. J. Log. Algebraic Methods Program. Maurice H. ter Beek, Alexei Lisitsa, Andrei P. Nemytykh, António Ravara
2016	—	`conf`	Efficient Knot Discrimination via Quandle Coloring with SAT and #-SAT. ICMS Andrew Fish, Alexei Lisitsa, David Stanovský, Sarah Swartwood
2016	—	`conf`	Mining Frequent Movement Patterns in Large Networks: A Parallel Approach Using Shapes. SGAI Conf. Mohammed Al-Zeyadi, Frans Coenen, Alexei Lisitsa
2016	J	`jnl`	Practical verification of decision-making in agent-based autonomous systems. Autom. Softw. Eng. Louise A. Dennis, Michael Fisher, Nicholas Lincoln, Alexei Lisitsa, Sandor M. Veres
2016	—	`ed.`	Proceedings of the Fourth International Workshop on Verification and Program Transformation, VPT@ETAPS 2016, Eindhoven, The Netherlands, 2nd April 2016. VPT@ETAPS Geoff W. Hamilton, Alexei Lisitsa, Andrei P. Nemytykh
2015	—	`conf`	A Combinatorial Approach to Knot Recognition. EGC Andrew Fish, Alexei Lisitsa, David Stanovský
2015	J	`jnl`	A combinatorial approach to knot recognition. CoRR Andrew Fish, Alexei Lisitsa, David Stanovský
2015	J	`jnl`	Computer-aided proof of Erdős discrepancy properties. Artif. Intell. Boris Konev, Alexei Lisitsa
2015	J	`jnl`	First-order logic for safety verification of hedge rewriting systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Alexei Lisitsa
2015	—	`ed.`	Proceedings of the Third International Workshop on Verification and Program Transformation, VPT@ETAPS 2015, London, United Kingdom, 11th April 2015. VPT@ETAPS Alexei Lisitsa, Andrei P. Nemytykh, Alberto Pettorossi
2014	—	`conf`	A Note on Program Specialization. What Syntactical Properties of Residual Programs Can Reveal? VPT@CAV Alexei Lisitsa, Andrei P. Nemytykh
2014	J	`jnl`	A SAT Attack on the Erdos Discrepancy Conjecture. CoRR Boris Konev, Alexei Lisitsa
2014	A	`conf`	A SAT Attack on the Erdős Discrepancy Conjecture. SAT Boris Konev, Alexei Lisitsa
2014	J	`jnl`	Computer-Aided Proof of Erdos Discrepancy Properties. CoRR Boris Konev, Alexei Lisitsa
2014	C	`conf`	Detecting Unknots via Equational Reasoning, I: Exploration. CICM Andrew Fish, Alexei Lisitsa
2014	J	`jnl`	Detecting unknots via equational reasoning, I: Exploration. CoRR Andrew Fish, Alexei Lisitsa
2014	J	`jnl`	Optimized Neural Incremental Attribute Learning for Classification Based on Statistical discriminability. Int. J. Comput. Intell. Appl. Ting Wang, Sheng-Uei Guan, Ka Lok Man, T. O. Ting, Alexei Lisitsa
2014	—	`conf`	The 'representative' metaheuristic design pattern. GECCO (Companion) Jerry Swan, Zoltan A. Kocsis, Alexei Lisitsa
2014	—	`ed.`	VPT 2014. Second International Workshop on Verification and Program Transformation, July 17-18, 2014, Vienna, Austria, The workshop is an event of the Vienna Summer of Logic 2014 and it is co-located with the 26th International Conference on Computer Aided Verification CAV 2014 VPT@CAV Alexei Lisitsa, Andrei P. Nemytykh
2013	J	`jnl`	Autonomous Asteroid Exploration by Rational Agents. IEEE Comput. Intell. Mag. Nick K. Lincoln, Sandor M. Veres, Louise A. Dennis, Michael Fisher, Alexei Lisitsa
2013	—	`conf`	Cryptographic Protocol Verification via Supercompilation (A Case Study). VPT@CAV Abdulbasit Ahmed, Alexei Lisitsa, Andrei P. Nemytykh
2013	J	`jnl`	Finite Reasons for Safety - Parameterized Verification by Finite Model Finding. J. Autom. Reason. Alexei Lisitsa
2013	—	`ed.`	First International Workshop on Verification and Program Transformation, VPT 2013, Saint Petersburg, Russia, July 12-13, 2013 VPT@CAV Alexei Lisitsa, Andrei P. Nemytykh
2013	J	`jnl`	First-order theorem proving in the exploration of Andrews-Curtis conjecture. Tiny Trans. Comput. Sci. Alexei Lisitsa
2013	J	`jnl`	Practical Verification of Decision-Making in Agent-Based Autonomous Systems. CoRR Louise A. Dennis, Michael Fisher, Nicholas Lincoln, Alexei Lisitsa, Sandor M. Veres
2012	J	`jnl`	A Note on Program Specialization. What Can Syntactical Properties of Residual Programs Reveal? CoRR Alexei Lisitsa, Andrei P. Nemytykh
2012	—	`conf`	Finite Models vs Tree Automata in Safety Verification. RTA Alexei Lisitsa
2011	B	`conf`	A misuse-based network Intrusion Detection System using Temporal Logic and stream processing. NSS Abdulbasit Ahmed, Alexei Lisitsa, Clare Dixon
2011	J	`jnl`	Finite countermodels for safety verification of parameterized tree systems CoRR Alexei Lisitsa
2011	J	`jnl`	First-order finite satisfiability vs tree automata in safety verification CoRR Alexei Lisitsa
2011	C	`conf`	Planarity of Knots, Register Automata and LogSpace Computability. LATA Alexei Lisitsa, Igor Potapov, Rafiq Saleh
2011	C	`conf`	Temporal Access to the Iteration Sequences: A Unifying Approach to Fixed Point Logics. TIME Alexei Lisitsa
2010	—	`conf`	An agent based framework for adaptive control and decision making of autonomous vehicles. ALCOSP Nicholas Lincoln, Sandor M. Veres, Louise A. Dennis, Michael Fisher, Alexei Lisitsa
2010	—	`conf`	Declarative Abstractions for Agent Based Hybrid Control Systems. DALT Louise A. Dennis, Michael Fisher, Nicholas Lincoln, Alexei Lisitsa, Sandor M. Veres
2010	J	`jnl`	Finite Model Finding for Parameterized Verification CoRR Alexei Lisitsa
2010	—	`conf`	Finite countermodels as invariants. A case study in verification of parameterized mutual exclusion protocol. WING@ETAPS/IJCAR Alexei Lisitsa
2010	J	`jnl`	On one application of computations with oracle. Program. Comput. Softw. Alexei Lisitsa, Andrei P. Nemytykh
2010	B	`conf`	Reachability as Derivability, Finite Countermodels and Verification. ATVA Alexei Lisitsa
2010	J	`jnl`	Satellite Control Using Rational Agent Programming. IEEE Intell. Syst. Louise A. Dennis, Michael Fisher, Alexei Lisitsa, Nicholas Lincoln, Sandor M. Veres
2009	—	`conf`	Agent Based Approaches to Engineering Autonomous Space Software FMA Louise A. Dennis, Michael Fisher, Nicholas Lincoln, Alexei Lisitsa, Sandor M. Veres
2009	C	`conf`	Automata on Gauss Words. LATA Alexei Lisitsa, Igor Potapov, Rafiq Saleh
2009	J	`jnl`	On Descriptional Complexity of the Planarity Problem for Gauss Words CoRR Vitaliy Kurlin, Alexei Lisitsa, Igor Potapov, Rafiq Saleh
2009	J	`jnl`	On the Computational Power of Querying the History. Fundam. Informaticae Alexei Lisitsa, Igor Potapov
2009	—	`ch.`	Temporal Verification of Fault-Tolerant Protocols. Methods, Models and Tools for Fault Tolerance Michael Fisher, Boris Konev, Alexei Lisitsa
2008	J	`jnl`	A logic with temporally accessible iteration CoRR Alexei Lisitsa
2008	C	`conf`	Practical First-Order Temporal Reasoning. TIME Clare Dixon, Michael Fisher, Boris Konev, Alexei Lisitsa
2008	J	`jnl`	Reachability Analysis in Verification via Supercompilation. Int. J. Found. Comput. Sci. Alexei Lisitsa, Andrei P. Nemytykh
2007	Misc	`conf`	A Note on Specialization of Interpreters. CSR Alexei Lisitsa, Andrei P. Nemytykh
2007	J	`jnl`	Efficient First-Order Temporal Logic for Infinite-State Systems CoRR Clare Dixon, Michael Fisher, Boris Konev, Alexei Lisitsa
2007	J	`jnl`	Verification as a parameterized testing (experiments with the SCP4 supercompiler). Program. Comput. Softw. Alexei Lisitsa, Andrei P. Nemytykh
2006	C	`conf`	In time alone: on the computational power of querying the history. TIME Alexei Lisitsa, Igor Potapov
2006	B	`ed.`	Logics in Artificial Intelligence, 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings JELIA Michael Fisher, Wiebe van der Hoek, Boris Konev, Alexei Lisitsa
2005	—	`conf`	Practical Infinite-State Verification with Temporal Reasoning. VISSAS Michael Fisher, Boris Konev, Alexei Lisitsa
2005	C	`conf`	Temporal Logic with Predicate lambda-Abstraction. TIME Alexei Lisitsa, Igor Potapov
2005	—	`conf`	Towards Verification via Supercompilation. COMPSAC (2) Alexei Lisitsa, Andrei P. Nemytykh
2004	B	`conf`	Membership and Reachability Problems for Row-Monomial Transformations. MFCS Alexei Lisitsa, Igor Potapov
2004	—	`conf`	Monodic ASMs and Temporal Verification. Abstract State Machines Michael Fisher, Alexei Lisitsa
2004	J	`jnl`	Temporal logic with predicate abstraction CoRR Alexei Lisitsa, Igor Potapov
2002	J	`jnl`	Equality and Monodic First-Order Temporal Logic. Stud Logica Anatoli Degtyarev, Michael Fisher, Alexei Lisitsa
2002	B	`conf`	Searching for Invariants Using Temporal Resolution. LPAR James Brotherston, Anatoli Degtyarev, Michael Fisher, Alexei Lisitsa
2000	—	`conf`	Generalized vs formula circumscription over finite models. AI&M Alexei Lisitsa
1999	J	`jnl`	Linear Ordering on Graphs, Anti-Founded Sets and Polynomial Time Computability. Theor. Comput. Sci. Alexei Lisitsa, Vladimir Yu. Sazonov
1997	—	`conf`	Bounded Hyperset Theory and Web-like Data Bases. Kurt Gödel Colloquium Alexei Lisitsa, Vladimir Yu. Sazonov
1997	J	`jnl`	Delta-Languages for Sets and LOGSPACE Computable Graph Transformers. Theor. Comput. Sci. Alexei Lisitsa, Vladimir Yu. Sazonov
1997	Misc	`conf`	On Linear Ordering of Strongly Extensional Finitely-Branching Graphs and Non-well-founded Sets. LFCS Alexei Lisitsa, Vladimir Yu. Sazonov
1995	A	`conf`	Delta-Languages for Sets and sub-PTIME Graphs Transformers. ICDT Vladimir Yu. Sazonov, Alexei Lisitsa
1993	J	`jnl`	Complexity of Universal Circumscription. Int. J. Found. Comput. Sci. Alexei Lisitsa