Joanna Fijalkow

According to our database, Joanna Fijalkow authored at least 14 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata.

Mikolaj Bojanczyk, Joanna Fijalkow, Bartek Klin, Joshua Moerman

TheoretiCS, 2024

2023

Definable Ellipsoid Method, Sums-of-Squares Proofs, and the Graph Isomorphism Problem.

Albert Atserias, Joanna Fijalkow

SIAM J. Comput., October, 2023

2022

Finite and Algorithmic Model Theory (Dagstuhl Seminar 22051).

Albert Atserias, Christoph Berkholz, Kousha Etessami, Joanna Ochremiak

Dagstuhl Reports, 2022

2021

On the Power of Symmetric Linear Programs.

Albert Atserias, Anuj Dawar, Joanna Ochremiak

J. ACM, 2021

2019

Proof Complexity Meets Algebra.

Albert Atserias, Joanna Ochremiak

ACM Trans. Comput. Log., 2019

Definable isomorphism problem.

Khadijeh Keshvardoost, Bartek Klin, Slawomir Lasota, Joanna Ochremiak, Szymon Torunczyk

Log. Methods Comput. Sci., 2019

2018

Definable Ellipsoid Method, Sums-of-Squares Proofs, and the Isomorphism Problem.

Albert Atserias, Joanna Ochremiak

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

2016

Homomorphism Problems for First-Order Definable Structures.

Bartek Klin, Slawomir Lasota, Joanna Ochremiak, Szymon Torunczyk

Proceedings of the 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2016

2015

Eliminating Recursion from Monadic Datalog Programs on Trees.

Filip Mazowiecki, Joanna Ochremiak, Adam Witkowski

Proceedings of the Mathematical Foundations of Computer Science 2015, 2015

Locally Finite Constraint Satisfaction Problems.

Bartek Klin, Eryk Kopczynski, Joanna Ochremiak, Szymon Torunczyk

Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015

Algebraic Properties of Valued Constraint Satisfaction Problem.

Marcin Kozik, Joanna Ochremiak

Proceedings of the Automata, Languages, and Programming - 42nd International Colloquium, 2015

2014

Algebraic Properties of Valued Constraint Satisfaction Problem.

Joanna Ochremiak

CoRR, 2014

Turing machines with atoms, constraint satisfaction problems, and descriptive complexity.

Bartek Klin, Slawomir Lasota, Joanna Ochremiak, Szymon Torunczyk

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014

Nominal Sets over Algebraic Atoms.

Joanna Ochremiak

Proceedings of the Relational and Algebraic Methods in Computer Science, 2014