Bell, PC and Semukhin, P (2021) Decision Questions for Probabilistic Automata on Small Alphabets. In: Leibniz International Proceedings in Informatics, LIPIcs , 202. (46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021), 23-27 August 2021, Tallinn, Estonia).

Bell, PC, Potapov, I and Semukhin, P (2021) On the Mortality Problem: From Multiplicative Matrix Equations to Linear Recurrence Sequences and Beyond. Information and Computation. ISSN 0890-5401

Bell, PC and Semukhin, P (2020) Decidability of cutpoint isolation for letter-monotonic probabilistic finite automata. In: The 31st International Conference on Concurrency Theory (CONCUR 2020), 31 August 2020 - 05 September 2020, Vienna, Austria.