Alexei Lisitsa
Orcid: 0000-0002-3820-643XAffiliations:
- University of Liverpool, Department of Computer Science, UK
- Russian Academy of Science, Program Systems Institute, Pereslavl-Zalessky, Russia (PhD 1997)
According to our database1,
Alexei Lisitsa
authored at least 124 papers
between 1993 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Proceedings of the 21st International Conference on Security and Cryptography, 2024
A Lightweight and Responsive On-Line IDS Towards Intelligent Connected Vehicles System.
Proceedings of the Computer Safety, Reliability, and Security, 2024
Proceedings of the LPAR 2024 Complementary Volume, Port Louis, Mauritius, May 26-31, 2024, 2024
Proceedings of the LPAR 2024 Complementary Volume, Port Louis, Mauritius, May 26-31, 2024, 2024
Proceedings of the 13th International Conference on Data Science, 2024
2023
Proceedings of the Fourteenth International Symposium on Games, 2023
Proceedings of the Artificial Intelligence XL, 2023
Proceedings of the Artificial Intelligence XL, 2023
Proceedings of the Optimization, Learning Algorithms and Applications, 2023
Online Transition-Based Feature Generation for Anomaly Detection in Concurrent Data Streams.
Proceedings of the 9th International Conference on Information Systems Security and Privacy, 2023
Proceedings of the 9th International Conference on Information Systems Security and Privacy, 2023
Proceedings of the 15th International Conference on Agents and Artificial Intelligence, 2023
Proceedings of the 15th International Conference on Agents and Artificial Intelligence, 2023
2022
Correction: Parameterized verification of leader/follower systems via first-order temporal logic.
Formal Methods Syst. Des., April, 2022
An application of neural networks to a problem in knot theory and group theory (untangling braids).
CoRR, 2022
Proceedings of the 23rd IEEE International Conference on Mobile Data Management, 2022
Logic Rules Meet Deep Learning: A Novel Approach for Ship Type Classification (Extended Abstract).
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022
Proceedings of the 8th International Conference on Information Systems Security and Privacy, 2022
Proceedings of the Information Systems Security and Privacy, 2022
Proceedings of the 8th International Conference on Information Systems Security and Privacy, 2022
Training AI to Recognize Realizable Gauss Diagrams: The Same Instances Confound AI and Human Mathematicians.
Proceedings of the 14th International Conference on Agents and Artificial Intelligence, 2022
Molecular Fragments from Incomplete, Real-life NMR Data: Framework for Spectra Analysis with Constraint Solvers.
Proceedings of the 14th International Conference on Agents and Artificial Intelligence, 2022
Proceedings of the Thirty-Fifth International Florida Artificial Intelligence Research Society Conference, 2022
2021
Robotics, 2021
Parameterized verification of leader/follower systems via first-order temporal logic.
Formal Methods Syst. Des., 2021
Circle graphs (chord interlacement graphs) of Gauss diagrams: Descriptions of realizable Gauss diagrams, algorithms, enumeration.
CoRR, 2021
Proceedings of the 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2021
Proceedings of the Rules and Reasoning - 5th International Joint Conference, 2021
Proceedings of the Intelligent Computer Mathematics - 14th International Conference, 2021
Proceedings of the Logic-Based Program Synthesis and Transformation, 2021
Proceedings of the 7th International Conference on Information Systems Security and Privacy, 2021
Proceedings of the 16th Conference on Computer Science and Intelligence Systems, 2021
2020
Proceedings of the 6th International Conference on Information Systems Security and Privacy, 2020
Proceedings of the ICCBDC '20: 2020 4th International Conference on Cloud and Big Data Computing, 2020
2019
Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2019
Proceedings of the Information Systems Security and Privacy - 5th International Conference, 2019
Flexible Access Control and Confidentiality over Encrypted Data for Document-based Database.
Proceedings of the 5th International Conference on Information Systems Security and Privacy, 2019
Investigating the Capability of Agile Processes to Support Medical Devices Regulations: The Case of XP, Scrum, and FDD with EU MDR Regulations.
Proceedings of the Intelligent Computing Methodologies - 15th International Conference, 2019
Minimizing the ambiguities in medical devices regulations based on software requirement engineering techniques.
Proceedings of the Second International Conference on Data Science, 2019
Proceedings of the Applied Computing to Support Industry: Innovation and Technology, 2019
2018
Proceedings of the Reachability Problems - 12th International Conference, 2018
Proceedings of the 16th Annual Conference on Privacy, Security and Trust, 2018
Proceedings of the fourth Workshop on Bridging the Gap between Human and Automated Reasoningco-located with the 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence (IJCAI-ECAI 2018), 2018
Proceedings of the Mathematical Software - ICMS 2018, 2018
Proceedings of the 4th International Conference on Information Systems Security and Privacy, 2018
Proceedings of the 20th IEEE International Conference on High Performance Computing and Communications; 16th IEEE International Conference on Smart City; 4th IEEE International Conference on Data Science and Systems, 2018
Proceedings of the Diagrammatic Representation and Inference, 2018
Proceedings of the 7th International Conference on Data Science, 2018
Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018
2017
Proceedings of the Proceedings Fifth International Workshop on Verification and Program Transformation, 2017
Abstract State Machines and System Theoretic Process Analysis for Safety-Critical Systems.
Proceedings of the Formal Methods: Foundations and Applications - 20th Brazilian Symposium, 2017
Proceedings of the Mathematical Aspects of Computer and Information Sciences, 2017
A Prediction Model Based Approach to Open Space Steganography Detection in HTML Webpages.
Proceedings of the Digital Forensics and Watermarking - 16th International Workshop, 2017
Attribute Permutation Steganography Detection using Attribute Position Changes Count.
Proceedings of the 3rd International Conference on Information Systems Security and Privacy, 2017
User-to-User Recommendation using the Concept of Movement Patterns: A Study using a Dating Social Network.
Proceedings of the 9th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, 2017
Proceedings of the 2017 IEEE International Conference on Big Data and Smart Computing, 2017
2016
J. Log. Algebraic Methods Program., 2016
Autom. Softw. Eng., 2016
Mining Frequent Movement Patterns in Large Networks: A Parallel Approach Using Shapes.
Proceedings of the Research and Development in Intelligent Systems XXXIII, 2016
Proceedings of the Mathematical Software - ICMS 2016, 2016
Proceedings of the 2nd International Conference on Information Systems Security and Privacy, 2016
2015
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2015
Proceedings of the Third International Workshop on Verification and Program Transformation, 2015
Proceedings of the Embracing Global Computing in Emerging Economies - First Workshop, 2015
2014
Optimized Neural Incremental Attribute Learning for Classification Based on Statistical discriminability.
Int. J. Comput. Intell. Appl., 2014
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2014, 2014
Proceedings of the Intelligent Computer Mathematics - International Conference, 2014
Proceedings of the Genetic and Evolutionary Computation Conference, 2014
A Note on Program Specialization. What Syntactical Properties of Residual Programs Can Reveal?
Proceedings of the VPT 2014. Second International Workshop on Verification and Program Transformation, 2014
2013
Tiny Trans. Comput. Sci., 2013
J. Autom. Reason., 2013
Proceedings of the First International Workshop on Verification and Program Transformation, 2013
2012
A Note on Program Specialization. What Can Syntactical Properties of Residual Programs Reveal?
CoRR, 2012
Proceedings of the 23rd International Conference on Rewriting Techniques and Applications (RTA'12) , 2012
2011
CoRR, 2011
Temporal Access to the Iteration Sequences: A Unifying Approach to Fixed Point Logics.
Proceedings of the Eighteenth International Symposium on Temporal Representation and Reasoning, 2011
A misuse-based network Intrusion Detection System using Temporal Logic and stream processing.
Proceedings of the 5th International Conference on Network and System Security, 2011
Proceedings of the Language and Automata Theory and Applications, 2011
2010
Proceedings of the Declarative Agent Languages and Technologies VIII, 2010
Finite countermodels as invariants. A case study in verification of parameterized mutual exclusion protocol.
Proceedings of the Second International Workshop on Invariant Generation, 2010
Proceedings of the Automated Technology for Verification and Analysis, 2010
An agent based framework for adaptive control and decision making of autonomous vehicles.
Proceedings of the 10th IFAC International Workshop on the Adaptation and Learning in Control and Signal Processing, 2010
2009
Proceedings of the Proceedings FM-09 Workshop on Formal Methods for Aerospace, 2009
Proceedings of the Language and Automata Theory and Applications, 2009
2008
Int. J. Found. Comput. Sci., 2008
Proceedings of the 15th International Symposium on Temporal Representation and Reasoning, 2008
2007
Program. Comput. Softw., 2007
2006
Proceedings of the 13th International Symposium on Temporal Representation and Reasoning (TIME 2006), 2006
2005
Practical Infinite-State Verification with Temporal Reasoning.
Proceedings of the Verification of Infinite-State Systems with Applications to Security, 2005
Proceedings of the 12th International Symposium on Temporal Representation and Reasoning (TIME 2005), 2005
Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005
2004
Proceedings of the Mathematical Foundations of Computer Science 2004, 2004
Proceedings of the Abstract State Machines 2004. Advances in Theory and Practice, 2004
2002
Proceedings of the Logic for Programming, 2002
2000
Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2000
1999
Theor. Comput. Sci., 1999
1997
Theor. Comput. Sci., 1997
On Linear Ordering of Strongly Extensional Finitely-Branching Graphs and Non-well-founded Sets.
Proceedings of the Logical Foundations of Computer Science, 4th International Symposium, 1997
Proceedings of the Computational Logic and Proof Theory, 5th Kurt Gödel Colloquium, 1997
1995
Proceedings of the Database Theory, 1995
1993