Joanna Ochremiak

19 papers A* 4C 1Journal 10Unranked 4
YearRankTypeTitle / Venue / Authors
2022 J jnl
Finite and Algorithmic Model Theory (Dagstuhl Seminar 22051).
Dagstuhl Reports
Albert Atserias, Christoph Berkholz, Kousha Etessami, Joanna Ochremiak
2021 J jnl
On the Power of Symmetric Linear Programs.
J. ACM
Albert Atserias, Anuj Dawar, Joanna Ochremiak
2019 J jnl
Definable isomorphism problem.
Log. Methods Comput. Sci.
Khadijeh Keshvardoost, Bartek Klin, Slawomir Lasota, Joanna Ochremiak, Szymon Torunczyk
2019 A* conf
On the Power of Symmetric Linear Programs.
LICS
Albert Atserias, Anuj Dawar, Joanna Ochremiak
2019 J jnl
On the Power of Symmetric Linear Programs.
CoRR
Albert Atserias, Anuj Dawar, Joanna Ochremiak
2019 J jnl
Proof Complexity Meets Algebra.
ACM Trans. Comput. Log.
Albert Atserias, Joanna Ochremiak
2018 A* conf
Definable Ellipsoid Method, Sums-of-Squares Proofs, and the Isomorphism Problem.
LICS
Albert Atserias, Joanna Ochremiak
2018 J jnl
Definable Ellipsoid Method, Sums-of-Squares Proofs, and the Isomorphism Problem.
CoRR
Albert Atserias, Joanna Ochremiak
2018 J jnl
Definable isomorphism problem.
CoRR
Khadijeh Keshvardoost, Bartek Klin, Slawomir Lasota, Joanna Ochremiak, Szymon Torunczyk
2017 A* conf
Proof Complexity Meets Algebra.
ICALP
Albert Atserias, Joanna Ochremiak
2017 J jnl
Proof Complexity Meets Algebra.
CoRR
Albert Atserias, Joanna Ochremiak
2016 — conf
Homomorphism Problems for First-Order Definable Structures.
FSTTCS
Bartek Klin, Slawomir Lasota, Joanna Ochremiak, Szymon Torunczyk
2015 — conf
Algebraic Properties of Valued Constraint Satisfaction Problem.
ICALP (1)
Marcin Kozik, Joanna Ochremiak
2015 — conf
Eliminating Recursion from Monadic Datalog Programs on Trees.
MFCS (1)
Filip Mazowiecki, Joanna Ochremiak, Adam Witkowski
2015 J jnl
Eliminating Recursion from Monadic Datalog Programs on Trees.
CoRR
Filip Mazowiecki, Joanna Ochremiak, Adam Witkowski
2015 A* conf
Locally Finite Constraint Satisfaction Problems.
LICS
Bartek Klin, Eryk Kopczynski, Joanna Ochremiak, Szymon Torunczyk
2014 J jnl
Algebraic Properties of Valued Constraint Satisfaction Problem.
CoRR
Joanna Ochremiak
2014 C conf
Nominal Sets over Algebraic Atoms.
RAMiCS
Joanna Ochremiak
2014 — conf
Turing machines with atoms, constraint satisfaction problems, and descriptive complexity.
CSL-LICS
Bartek Klin, Slawomir Lasota, Joanna Ochremiak, Szymon Torunczyk