Algebraic properties of valued constraint satisfaction problem M Kozik, J Ochremiak International Colloquium on Automata, Languages, and Programming, 846-858, 2015 | 45* | 2015 |

Proof complexity meets algebra A Atserias, J Ochremiak ACM Transactions on Computational Logic (TOCL) 20 (1), 1, 2018 | 27 | 2018 |

Definable ellipsoid method, sums-of-squares proofs, and the isomorphism problem A Atserias, J Ochremiak Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018 | 24 | 2018 |

Locally finite constraint satisfaction problems B Klin, E Kopczynski, J Ochremiak, S Torunczyk 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 475-486, 2015 | 23 | 2015 |

Homomorphism problems for first-order definable structures B Klin, S Lasota, JR Ochremiak, SA Torunczyk 36th IARCS Annual Conference on Foundations of Software Technology and …, 2016 | 19 | 2016 |

Orbit-finite-dimensional vector spaces and weighted register automata M Bojańczyk, J Fijalkow, B Klin, J Moerman TheoretiCS 3, 2024 | 16 | 2024 |

Turing machines with atoms, constraint satisfaction problems, and descriptive complexity B Klin, S Lasota, J Ochremiak, S Toruńczyk Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference …, 2014 | 15 | 2014 |

On the power of symmetric linear programs A Atserias, A Dawar, J Ochremiak 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13, 2019 | 9 | 2019 |

Extended constraint satisfaction problems J Ochremiak Ph. D. thesis, University of Warsaw, 2016 | 7 | 2016 |

Nominal sets over algebraic atoms J Ochremiak International Conference on Relational and Algebraic Methods in Computer …, 2014 | 4 | 2014 |

Definable Ellipsoid Method, Sums-of-Squares Proofs, and the Graph Isomorphism Problem A Atserias, J Fijalkow SIAM Journal on Computing 52 (5), 1193-1229, 2023 | 3 | 2023 |

Agregacja sądów a agregacja preferencji J Ochremiak Decyzje, 43-72, 2011 | 3 | 2011 |

Eliminating recursion from monadic datalog programs on trees F Mazowiecki, J Ochremiak, A Witkowski Mathematical Foundations of Computer Science 2015: 40th International …, 2015 | 2 | 2015 |

Definable isomorphism problem K Keshvardoost, B Klin, S Lasota, J Ochremiak, S Toruńczyk Logical Methods in Computer Science 15, 2019 | 1 | 2019 |

Finite and Algorithmic Model Theory (Dagstuhl Seminar 22051) A Atserias, C Berkholz, K Etessami, J Ochremiak Dagstuhl Reports 12 (1), 2022 | | 2022 |