Nominal Sets over Algebraic Atoms. - Joanna Ochremiak (RAMiCS, 2014)

Turing machines with atoms, constraint satisfaction problems, and descriptive complexity. - Bartek Klin; Slawomir Lasota 001; Joanna Ochremiak; Szymon Torunczyk (CSL-LICS, 2014)

Algebraic Properties of Valued Constraint Satisfaction Problem. - Joanna Ochremiak (CoRR, 2014)

Algebraic Properties of Valued Constraint Satisfaction Problem. - Marcin Kozik; Joanna Ochremiak (ICALP (1), 2015)

Locally Finite Constraint Satisfaction Problems. - Bartek Klin; Eryk Kopczynski; Joanna Ochremiak; Szymon Torunczyk (LICS, 2015)

Eliminating Recursion from Monadic Datalog Programs on Trees. - Filip Mazowiecki; Joanna Ochremiak; Adam Witkowski (MFCS (1), 2015)

Homomorphism Problems for First-Order Definable Structures. - Bartek Klin; Slawomir Lasota 001; Joanna Ochremiak; Szymon Torunczyk (FSTTCS, 2016)

Definable Ellipsoid Method, Sums-of-Squares Proofs, and the Isomorphism Problem. - Albert Atserias; Joanna Ochremiak (LICS, 2018)

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

Proof Complexity Meets Algebra. - Albert Atserias; Joanna Ochremiak (ACM Trans. Comput. Log., 2019)

On the Power of Symmetric Linear Programs. - Albert Atserias; Anuj Dawar; Joanna Ochremiak (J. ACM, 2021)

Finite and Algorithmic Model Theory (Dagstuhl Seminar 22051). - Albert Atserias; Christoph Berkholz; Kousha Etessami; Joanna Ochremiak (Dagstuhl Reports, 2022)

Definable Ellipsoid Method, Sums-of-Squares Proofs, and the Graph Isomorphism Problem. - Albert Atserias; Joanna Fijalkow (SIAM J. Comput., 2023)

Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata. - Mikolaj Bojanczyk; Joanna Fijalkow; Bartek Klin; Joshua Moerman (TheoretiCS, 2024)