18 citations · 60 across the 35 of their papers we have counts for
37 papers
Automated reasoning for proving non-orderability of groups
Alexei Lisitsa, Zipei Nie, Alexei Vernitski
We demonstrate how a generic automated theorem prover can be applied to establish the non-orderability of groups. Our approach incorporates various tools such as positive cones, to…
Handling of Past and Future with Phenesthe+
Manolis Pitsikalis, Alexei Lisitsa, Patrick Totzke
Writing temporal logic formulae for properties that combine instantaneous events with overlapping temporal phenomena of some duration is difficult in classical temporal logics. To…
Online Transition-Based Feature Generation for Anomaly Detection in Concurrent Data Streams
Yinzheng Zhong, Alexei Lisitsa
In this paper, we introduce the transition-based feature generator (TFGen) technique, which reads general activity data with attributes and generates step-by-step generated data. T…
Machine learning discovers invariants of braids and flat braids
Alexei Lisitsa, Mateo Salles, Alexei Vernitski
We use machine learning to classify examples of braids (or flat braids) as trivial or non-trivial. Our ML takes form of supervised learning using neural networks (multilayer percep…
Describing realizable Gauss diagrams using the concepts of parity or bipartate graphs
Alexei Lisitsa, Viktor Lopatkin, Alexei Vernitski
Two recent publications describe realizable Gauss diagrams using conditions stating that the number of chords in certain sets of chords is even or odd. We demonstrate that these de…
Data Querying with Ciphertext Policy Attribute Based Encryption
Maryam Almarwani, Boris Konev, Alexei Lisitsa
Data encryption limits the power and efficiency of queries. Direct processing of encrypted data should ideally be possible to avoid the need for data decryption, processing, and re…