Alexei Lisitsa

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 26

Top Topics

Intrusion Detection

Constraint Solver

Top Venues

LPAR Complementary Volume

Publications

Andrew Fish, Alexei Lisitsa
Automated Reasoning with Tangles: towards Quantum Verification Applications. LPAR Complementary Volume (2024)
Alexei Lisitsa
Towards computer-assisted proofs of parametric Andrews-Curtis simplifications, II. LPAR Complementary Volume (2024)
Alexei Lisitsa, Mateo Salles, Alexei Vernitski
Supervised Learning for Untangling Braids. ICAART (3) (2023)
Hadeel Saad Alghamdi, Alexei Lisitsa, Igor Barsukov, Rudi Grosman
Detecting 2D NMR Signals Using Mask RCNN. ICAART (3) (2023)
Manolis Pitsikalis, Alexei Lisitsa, Patrick Totzke
Handling of Past and Future with Phenesthe+. GandALF (2023)
Haneen A. Alharbi, Igor Barsukov, Rudi Grosman, Alexei Lisitsa
Interpreting NMR Spectra by Constraint Solving. SGAI Conf. (2023)
Nouf Al-Juaid, Alexei Lisitsa, Sven Schewe
Secure Joint Querying Over Federated Graph Databases Utilising SMPC Protocols. ICISSP (2023)
Alexei Lisitsa, Mateo Salles, Alexei Vernitski
Machine learning discovers invariants of braids and flat braids. CoRR (2023)
Alexei Lisitsa, Alexei Vernitski
On Strong Anti-learning of Parity. OL2A (2) (2023)
Oliver Dippel, Alexei Lisitsa, Bei Peng
Deep Reinforcement Learning for Continuous Control of Material Thickness. SGAI Conf. (2023)
Yinzheng Zhong, Alexei Lisitsa
Online Transition-Based Feature Generation for Anomaly Detection in Concurrent Data Streams. ICISSP (2023)
Yinzheng Zhong, Alexei Lisitsa
Online Transition-Based Feature Generation for Anomaly Detection in Concurrent Data Streams. CoRR (2023)
Maryam Almarwani, Boris Konev, Alexei Lisitsa
Zero Update Encryption Adjustment on Encrypted Database Queries. ICISSP (Revised Selected Papers) (2022)
Manolis Pitsikalis, Alexei Lisitsa, Patrick Totzke, Simon Lee
Making Sense of Heterogeneous Maritime Data. MDM (2022)
Abdullah Khan, Alexei Lisitsa, Alexei Vernitski
Training AI to Recognize Realizable Gauss Diagrams: The Same Instances Confound AI and Human Mathematicians. ICAART (3) (2022)
Abdullah Khan, Alexei Vernitski, Alexei Lisitsa
Reinforcement learning algorithms for the Untangling of Braids. FLAIRS (2022)
Yinzheng Zhong, Alexei Lisitsa
Can process mining help in anomaly-based intrusion detection? CoRR (2022)
Maryam Almarwani, Boris Konev, Alexei Lisitsa
Data Querying with Ciphertext Policy Attribute Based Encryption. CoRR (2022)
Maryam Almarwani, Boris Konev, Alexei Lisitsa
Efficient and Secure Encryption Adjustment for JSON Data. ICISSP (2022)
Alexei Lisitsa, Mateo Salles, Alexei Vernitski
An application of neural networks to a problem in knot theory and group theory (untangling braids). CoRR (2022)
Yinzheng Zhong, John Yannis Goulermas, Alexei Lisitsa
Process Mining Algorithm for Online Intrusion Detection System. CoRR (2022)
Haneen A. Alharbi, Igor Barsukov, Rudi Grosman, Alexei Lisitsa
Molecular Fragments from Incomplete, Real-life NMR Data: Framework for Spectra Analysis with Constraint Solvers. ICAART (3) (2022)
Manolis Pitsikalis, Thanh-Toan Do, Alexei Lisitsa, Shan Luo
Logic Rules Meet Deep Learning: A Novel Approach for Ship Type Classification (Extended Abstract). IJCAI (2022)
Nouf Al-Juaid, Alexei Lisitsa, Sven Schewe
SMPG: Secure Multi Party Computation on Graph Databases. ICISSP (2022)
Georgios Kourtis, Clare Dixon, Michael Fisher, Alexei Lisitsa
Correction: Parameterized verification of leader/follower systems via first-order temporal logic. Formal Methods Syst. Des. 60 (2) (2022)
Manolis Pitsikalis, Alexei Lisitsa, Shan Luo
Representation and Processing of Instantaneous and Durative Temporal Phenomena. LOPSTR (2021)