| 2026 | LICS | Complexity Classes Arising from Circuits over Finite Algebraic Structures. | Piotr Kawalek, Jacek Krzaczkowski |
| 2026 | MFCS | Satisfiability of Multivalued Circuits with Lists. | Pawel M. Idziak, Piotr Kawalek, Jacek Krzaczkowski, Armin Wei |
| 2025 | ICALP | Nonuniform Deterministic Finite Automata over Finite Algebraic Structures. | Pawel M. Idziak, Piotr Kawalek, Jacek Krzaczkowski |
| 2024 | STACS | Circuit Equivalence in 2-Nilpotent Algebras. | Piotr Kawalek, Michael Kompatscher, Jacek Krzaczkowski |
| 2022 | ICALP | Satisfiability Problems for Finite Groups. | Pawel M. Idziak, Piotr Kawalek, Jacek Krzaczkowski, Armin Wei |
| 2022 | LICS | Complexity of Modular Circuits. | Pawel M. Idziak, Piotr Kawalek, Jacek Krzaczkowski |
| 2022 | STACS | Satisfiability of Circuits and Equations over Finite Malcev Algebras. | Pawel M. Idziak, Piotr Kawalek, Jacek Krzaczkowski |
| 2020 | LICS | Intermediate problems in modular circuits satisfiability. | Pawel M. Idziak, Piotr Kawalek, Jacek Krzaczkowski |
| 2020 | MFCS | Even Faster Algorithms for CSAT Over supernilpotent Algebras. | Piotr Kawalek, Jacek Krzaczkowski |
| 2018 | LICS | Satisfiability in multi-valued circuits. | Pawel M. Idziak, Jacek Krzaczkowski |
| 2018 | MFCS | Expressive Power, Satisfiability and Equivalence of Circuits over Nilpotent Algebras. | Pawel M. Idziak, Piotr Kawalek, Jacek Krzaczkowski |