Vector and scalar reachability problems in SL(2, Z) by Potapov, I, Semukhin, P

Decidability of the membership problem for 2 x 2 integer matrices by Potapov, I, Semukhin, P

Preface to the Special Issue on Developments in Language Theory (DLT 2015) by Potapov, I, Semukhin, P

Decidability of cutpoint isolation for probabilistic finite automata on letter-bounded inputs by Bell, PC, Semukhin, P

Membership problem in GL(2, Z) extended by singular matrices by Potapov, I, Semukhin, P

Vector reachability problem in SL (2, ℤ) by Potapov, I, Semukhin, P

On the mortality problem: From multiplicative matrix equations to linear recurrence sequences and beyond by Bell, PC, Potapov, I, Semukhin, P

Linear-time model checking branching processes by Kiefer, SM, Semukhin, P, Widdershoven, C

Degree spectra of structures relative to equivalences by Semukhin, P, Turetsky, D, Fokina, E

Decidability of membership problems for flat rational subsets of GL (2, Q) and singular matrices by Diekert, V, Potapov, I, Semukhin, P

On the mortality problem: from multiplicative matrix equations to linear recurrence sequences and beyond by Bell, P, Potapov, I, Semukhin, P

On reachability problems for low-dimensional matrix semigroups by Colcombet, T, Ouaknine, J, Semukhin, P, Worrell, J