Alexei Vernitski

33 papers C 2Misc 2Journal 18Unranked 11

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Encoding paths with binary arrays in a king's graph for error-free data transmission. Ann. Math. Artif. Intell. Gökçe Çaylak Kayaturan, Alexei Vernitski
2026	J	`jnl`	Groups of permutations that are even on subsets of a fixed size, and related monoids. Int. J. Algebra Comput. Vítor H. Fernandes, Alexei Vernitski
2025	J	`jnl`	Are automated proof assistants ready for semigroup research? Orientation-preserving mappings and proof assistant Lean. CoRR Alastair Litterick, Alexei Vernitski, Billy Woods
2025	J	`jnl`	Automated reasoning for proving non-orderability of groups. J. Autom. Reason. Alexei Lisitsa, Zipei Nie, Alexei Vernitski
2023	J	`jnl`	Machine learning discovers invariants of braids and flat braids. CoRR Alexei Lisitsa, Mateo Salles, Alexei Vernitski
2023	—	`conf`	Maths Anxiety and cognitive state monitoring for neuroadaptive learning systems using electroencephalography. MetroXRAINE Federica Armani, Ian Daly, Alexei Vernitski, Helge Gillmeister, Reinhold Scherer
2023	—	`conf`	On Strong Anti-learning of Parity. OL2A (2) Alexei Lisitsa, Alexei Vernitski
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	Misc	`conf`	Reinforcement learning algorithms for the Untangling of Braids. FLAIRS Abdullah Khan, Alexei Vernitski, Alexei Lisitsa
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
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	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
2018	—	`conf`	Towards Human Readability of Automated Unknottedness Proofs. Bridging@IJCAI/ECAI Andrew Fish, Alexei Lisitsa, Alexei Vernitski
2018	C	`conf`	Visual Algebraic Proofs for Unknot Detection. Diagrams Andrew Fish, Alexei Lisitsa, Alexei Vernitski
2017	—	`conf`	Automated Reasoning for Knot Semigroups and \pi π -orbifold Groups of Knots. MACIS Alexei Lisitsa, Alexei Vernitski
2017	—	`conf`	Efficient Adaptive Implementation of the Serial Schedule Generation Scheme Using Preprocessing and Bloom Filters. LION Daniel Karapetyan, Alexei Vernitski
2017	J	`jnl`	Efficient Adaptive Implementation of the Serial Schedule Generation Scheme using Preprocessing and Bloom Filters. CoRR Daniel Karapetyan, Alexei Vernitski
2017	—	`conf`	Encoding Shortest Paths in Triangular Grids for Delivery Without Errors. ICFNDS Gökçe Çaylak Kayaturan, Alexei Vernitski
2016	J	`jnl`	An approximate dynamic programming approach for improving accuracy of lossy data compression by Bloom filters. Eur. J. Oper. Res. Xinan Yang, Alexei Vernitski, Laura Carrea
2016	—	`conf`	Routing in hexagonal computer networks: How to present paths by Bloom filters without false positives. CEEC Gökçe Çaylak Kayaturan, Alexei Vernitski
2016	J	`jnl`	Yes-no Bloom filter: A way of representing sets with fewer false positives. CoRR Laura Carrea, Alexei Vernitski, Martin Reed
2015	—	`conf`	"Too Taxing on the Mind!" Authentication Grids are not for Everyone. HCI (22) Kat Krol, Constantinos Papanicolaou, Alexei Vernitski, Martina Angela Sasse
2014	J	`jnl`	Optimized hash for network path encoding with minimized false positives. Comput. Networks Laura Carrea, Alexei Vernitski, Martin J. Reed
2012	J	`jnl`	Astral graphs (threshold graphs), scale-free graphs and related algorithmic questions. J. Discrete Algorithms Alexei Vernitski, Artem V. Pyatkin
2012	—	`conf`	Performance modelling and analysis of dynamic virtual optical network composition. ONDM Shuping Peng, Reza Nejabati, Eduard Escalona, Dimitra Simeonidou, Markos P. Anastasopoulos, Konstantinos Georgakilas, Anna Tzanakaki, Alexei Vernitski
2009	J	`jnl`	One-Side Nielsen Transformations in Free Groups. Int. J. Algebra Comput. Alexei Vernitski
2008	J	`jnl`	Ordered and J-Trivial Semigroups as Divisors of Semigroups of Languages. Int. J. Algebra Comput. Alexei Vernitski
2006	J	`jnl`	Can Unbreakable Mean Incomputable? Comput. J. Alexei Vernitski
2004	J	`jnl`	Finite quasivarieties and self-referential conditions. Stud Logica Alexei Vernitski