Konstantinidis S, Meijer C, Moreira N, Reis R. Symbolic Manipulation of Code Properties 2015.Edit

Burciu S, Kadison L. Subgroups of depth three. In: Surveys in differential geometry. Volume XV. Perspectives in mathematics and physics. Vol 15. Int. Press, Somerville, MA; 2011. 1. p. 17-36p. Edit

Borlido C, Czarnetzki S, Gehrke M, Krebs A. Stone Duality and the Substitution Principle. In: Computer Science Logic.; 2017. 1. 13:p. 1-13p. :20.Edit

Konstantinidis S, Meijer C, Moreira N, Reis R. Implementation of Code Properties via Transducers. In: Implementation and Application of Automata, 21th International Conference (CIAA 2016).; 2016. Edit

Konstantinidis S, Moreira N, Reis R. Generating Error Control Codes With Automata and Transducers. In: Bordihn H, Freund R, Nagy B, Vaszil G, editors. Eighth Workshop on Non-Classical Models of Automata and Applications (NCMA 2016). Österreichische Computer Gesellschaft; 2016. 2. p. 211-226p. Edit

Almeida J, Bartoňová J., Klíma O, Kunc M.. On Decidability of Intermediate Levels of Concatenation Hierarchies. In: 19th International Conference Developments in Language Theory (DLT 2015). Vol Developments in Language Theory, LNCS 9168. UK, Liverpool: Springer; 2015. 5. p. 58-70p. Edit

Almeida J, Bartoňová J., Klíma O, Kunc M.. On Decidability of Intermediate Levels of Concatenation Hierarchies. In: 19th International Conference Developments in Language Theory (DLT 2015). Vol Developments in Language Theory, LNCS 9168. UK, Liverpool: Springer; 2015. 5. p. 58-70p. Edit

Bell J, Brzozowski J, Moreira N, Reis R. Symmetric Groups and Quotient Complexity of Boolean Operations. Vol 8573. Esparza J, Fraigniaud P, Husfeldt T, Koutsoupias E, editors 2014.Edit

Reis R, Rodaro E. Regular Ideal Languages and Synchronizing Automata. Karhumäki J, Zamboni L, editors 2013.Edit

Maia E, Moreira N, Reis R. Incomplete Transition Complexity of Basic Operations on Finite Languages. Konstantinidis S, editor 2013.Edit

Amorim I, Machiavelo A, Reis R. Counting Equivalent Linear Finite Transducers Using a Canonical Form. Holzer M, Kutrib M, editors Germany, Giessen: Springer 2014.Edit

[2017-9] Almeida J, Klíma O. Towards a pseudoequational proof theory .Edit

[2012-6] Kadison L. SUBRING DEPTH, FROBENIUS EXTENSIONS AND THEIR TOWERS .

[2012-21] Kadison L, Young C. SUBALGEBRA DEPTHS WITHIN THE PATH ALGEBRA OF AN ACYCLIC QUIVER .Edit

[2005-5] Kambites M, Silva PV, Steinberg B. The spectra of lamplighter groups and Cayley machines .Edit

[2011-4] Krausshar R., Rodrigues M., Vieira N. The Schrödinger semigroup on some flat and non flat manifolds .Edit

[2010-12] Kraubhar R., Vieira N. The Schrodinger equation on cylinders and the n-torus .Edit

[2015-34] Almeida J, Klíma O. Representations of relatively free profinite semigroups, irreducibility, and order primitivity .Edit

[2006-10] Kambites M, Silva PV, Steinberg B. On the rational subset problem for groups .Edit

[2016-29] Lopes SA, Kadison L, Hernandez A. A Quantum Subgroup Depth .Edit

[2007-3] Passian A., Simpson H., Kouchekian S., Yakubovich SB. On the orthogonality of the Macdonald's functions .Edit

[2016-2] Almeida J, Klíma O, Kunc M.. The omega-inequality problem for concatenation hierarchies of star-free languages .Edit

[2016-2] Almeida J, Klíma O, Kunc M.. The omega-inequality problem for concatenation hierarchies of star-free languages .Edit

[2017-26] Almeida J, Kufleitner M., Shahzamanian M.. Nilpotency and strong nilpotency for finite semigroups .Edit

[2009-39] Almeida J, Klíma O. New decidable upper bound of the second level in the Straubing-Thérien concatenation hierarchy .Edit