Joanna Ochremiak
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
4
Active years
2014–2019
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | LICS | On the Power of Symmetric Linear Programs. | Albert Atserias, Anuj Dawar, Joanna Ochremiak |
| 2018 | LICS | Definable Ellipsoid Method, Sums-of-Squares Proofs, and the Isomorphism Problem. | Albert Atserias, Joanna Ochremiak |
| 2017 | ICALP | Proof Complexity Meets Algebra. | Albert Atserias, Joanna Ochremiak |
| 2015 | ICALP | Algebraic Properties of Valued Constraint Satisfaction Problem. | Marcin Kozik, Joanna Ochremiak |
| 2015 | LICS | Locally Finite Constraint Satisfaction Problems. | Bartek Klin, Eryk Kopczynski, Joanna Ochremiak, Szymon Torunczyk |
| 2015 | MFCS | Eliminating Recursion from Monadic Datalog Programs on Trees. | Filip Mazowiecki, Joanna Ochremiak, Adam Witkowski |
| 2014 | CSL | Turing machines with atoms, constraint satisfaction problems, and descriptive complexity. | Bartek Klin, Slawomir Lasota, Joanna Ochremiak, Szymon Torunczyk |