| Publication | Date of Publication | Type |
|---|
Groups of permutations preserving orientation (parity) of subsets of a fixed size
(available as arXiv preprint) | N/A | Paper |
Probabilistic automaton classifier applied to examples related to the Andrews-Curtis conjecture
Journal of Automated Reasoning | 2026-08-24 | Paper |
Encoding paths with binary arrays in a king's graph for error-free data transmission
Annals of Mathematics and Artificial Intelligence | 2026-02-06 | Paper |
Groups of permutations that are even on subsets of a fixed size and related monoids
International Journal of Algebra and Computation | 2026-01-12 | Paper |
Counting graphs induced by Gauss diagrams and families of mutant alternating knots
Examples and Counterexamples | 2025-09-05 | Paper |
Automated reasoning for proving non-orderability of groups
Journal of Automated Reasoning | 2025-07-16 | Paper |
Correction to: ``Orientation preserving and orientation reversing mappings: a new description''
Semigroup Forum | 2024-12-11 | Paper |
Machine learning discovers invariants of braids and flat braids
Advances in Applied Clifford Algebras | 2024-10-18 | Paper |
Semigroups, keis and groups induced by knot diagrams: an experimental investigation with automated reasoning
Semigroup Forum | 2024-08-22 | Paper |
Describing realizable Gauss diagrams using the concepts of parity or bipartite graphs
Journal of Knot Theory and Its Ramifications | 2023-12-11 | Paper |
| Automated reasoning for proving non-orderability of groups | 2023-10-09 | Paper |
| Machine learning discovers invariants of braids and flat braids | 2023-07-22 | Paper |
Visual Algebraic Proofs for Unknot Detection
Diagrammatic Representation and Inference | 2023-02-23 | Paper |
| An application of neural networks to a problem in knot theory and group theory (untangling braids) | 2022-06-10 | Paper |
Orientation-preserving and orientation-reversing mappings: a new description
Semigroup Forum | 2022-05-31 | Paper |
| \texttt{Gauss-lintel}, an algorithm suite for exploring chord diagrams | 2022-04-22 | Paper |
Orientation-preserving and orientation-reversing mappings: a new description
(available as arXiv preprint) | 2022-01-15 | Paper |
| Untangling Braids with Multi-agent Q-Learning | 2021-09-29 | Paper |
| Circle graphs (chord interlacement graphs) of Gauss diagrams: Descriptions of realizable Gauss diagrams, algorithms, enumeration | 2021-08-05 | Paper |
| Experimental Mathematics Approach to Gauss Diagrams Realizability | 2021-03-02 | Paper |
| A new formulation of the semigroup of orientation-preserving and orientation-reversing mappings | 2020-11-23 | Paper |
Automated reasoning for knot semigroups and -orbifold groups of knots
Mathematical Aspects of Computer and Information Sciences | 2019-03-14 | Paper |
Dihedral semigroups, their defining relations and an application to describing knot semigroups of rational links
Semigroup Forum | 2018-09-14 | Paper |
| Encoding shortest paths in graphs assuming the code is queried using bit-wise comparison | 2018-06-25 | Paper |
Ranks of ideals in inverse semigroups of difunctional binary relations
Semigroup Forum | 2018-06-13 | Paper |
Ranks of ideals in inverse semigroups of difunctional binary relations
Semigroup Forum | 2018-06-13 | Paper |
Describing semigroups with defining relations of the form \(xy=yz\) and \(yx=zy\) and connections with knot theory
Semigroup Forum | 2017-11-10 | Paper |
Semigroups with operation-compatible Green's quasiorders
Semigroup Forum | 2016-11-28 | Paper |
An approximate dynamic programming approach for improving accuracy of lossy data compression by Bloom filters
European Journal of Operational Research | 2016-10-07 | Paper |
Conjugacy and other properties of one-relator groups
Communications in Algebra | 2016-06-03 | Paper |
Filters in (quasiordered) semigroups and lattices of filters.
Communications in Algebra | 2012-08-17 | Paper |
Astral graphs (threshold graphs), scale-free graphs and related algorithmic questions
Journal of Discrete Algorithms | 2012-05-11 | Paper |
Using filters to describe congruences and band congruences of semigroups.
Semigroup Forum | 2012-03-23 | Paper |
One-side Nielsen transformations in free groups.
International Journal of Algebra and Computation | 2010-01-15 | Paper |
Inverse subsemigroups and classes of finite aperiodic semigroups.
Semigroup Forum | 2009-07-24 | Paper |
ORDERED AND $\mathcal{J}$-TRIVIAL SEMIGROUPS AS DIVISORS OF SEMIGROUPS OF LANGUAGES
International Journal of Algebra and Computation | 2009-02-26 | Paper |
On Using the Join Operation to Define Classes of Algebras
Communications in Algebra | 2008-06-26 | Paper |
A generalization of symmetric inverse semigroups.
Semigroup Forum | 2007-11-28 | Paper |
Finite quasivarieties and self-referential conditions
Studia Logica | 2005-04-07 | Paper |
Studying semigroups of mappings using quasi-identities
Semigroup Forum | 2003-07-10 | Paper |
EMBEDDING ℐ<sub><i>n</i></sub> IN A 2-GENERATOR INVERSE SUBSEMIGROUP OF ℐ<sub><i>n</i>+2</sub>
Proceedings of the Edinburgh Mathematical Society | 2002-12-11 | Paper |
