Free functor from the category of G-nominal sets to that of 01-G-nominal sets. - Khadijeh Keshvardoost; Mojgan Mahmoudi (Soft Comput., 2018)

Simple and subdirectly irreducible finitely supported Cb-sets. - M. Mehdi Ebrahimi; Khadijeh Keshvardoost; Mojgan Mahmoudi (Theor. Comput. Sci., 2018)

Definable isomorphism problem. - Khadijeh Keshvardoost; Bartek Klin; Slawomir Lasota 001; Joanna Ochremiak; Szymon Torunczyk (Log. Methods Comput. Sci., 2019)