| 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 |
| 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 |
| 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 |
| 2007 | LICS | Tractability and learnability arising from algebras with few subpowers. | Pawel M. Idziak, Petar Markovic, Ralph McKenzie, Matthew Valeriote, Ross Willard |