Decidability Problem for Finite Heyting Algebras. - Katarzyna Idziak; Pawel M. Idziak (J. Symb. Log., 1988)

Elementary Theory of Finite Equivalential Algebras. - Pawel M. Idziak (Reports Math. Log., 1991)

Monadic second order probabilities in algebra. Directly representable varieties and groups. - Pawel M. Idziak; Jerzy Tyszkiewicz (Logic and Random Structures, 1995)

A directly Representable Variety has a discrete First-Order Law. - Stanley Burris; Pawel M. Idziak (Int. J. Algebra Comput., 1996)

Clones containing Mal'tsev Operations. - Pawel M. Idziak (Int. J. Algebra Comput., 1999)

Dualizability and graph algebras. - Brian A. Davey; Pawel M. Idziak; William A. Lampe; George F. McNulty (Discret. Math., 2000)

Counting Finite Algebras in the Post Varieties. - Joel Berman; Pawel M. Idziak (Int. J. Algebra Comput., 2000)

Counting Mal'tsev clones on small sets. - Andrei A. Bulatov; Pawel M. Idziak (Discret. Math., 2003)

Definable principal congruences and solvability. - Pawel M. Idziak; Keith A. Kearnes; Emil W. Kiss; Matthew Valeriote (Ann. Pure Appl. Log., 2009)

Fregean Varieties. - Pawel M. Idziak; Katarzyna Slomczynska; Andrzej Wronski (Int. J. Algebra Comput., 2009)

Tractability and Learnability Arising from Algebras with Few Subpowers. - Pawel M. Idziak; Petar Markovic; Ralph McKenzie; Matthew Valeriote; Ross Willard (SIAM J. Comput., 2010)

How big is BCI fragment of BCK logic. - Katarzyna Grygiel; Pawel M. Idziak; Marek Zaionc (J. Log. Comput., 2013)

Dynamic Adaptation of the Traffic Management System CarDemo. - Arnaud Cordier; Remi Domingues; Anthony Labaere; Nicolas Noel; Adrien Thiery; Thomas Cerqueus; Siobhán Clarke; Pawel M. Idziak; Hui Song; Philip Perry; Anthony Ventresque (SASO, 2014)

An Analysis of Decision-Making Techniques in Dynamic, Self-Adaptive Systems. - Pawel M. Idziak; Siobhán Clarke (SASO Workshops, 2014)

Satisfiability in multi-valued circuits. - Pawel M. Idziak; Jacek Krzaczkowski (LICS, 2018)

Expressive Power, Satisfiability and Equivalence of Circuits over Nilpotent Algebras. - Pawel M. Idziak; Piotr Kawalek; Jacek Krzaczkowski (MFCS, 2018)

Intermediate problems in modular circuits satisfiability. - Pawel M. Idziak; Piotr Kawalek; Jacek Krzaczkowski (LICS, 2020)

Satisfiability Problems for Finite Groups. - Pawel M. Idziak; Piotr Kawalek; Jacek Krzaczkowski; Armin Weiß (ICALP, 2022)

Complexity of Modular Circuits. - Pawel M. Idziak; Piotr Kawalek; Jacek Krzaczkowski (LICS, 2022)

Satisfiability of Circuits and Equations over Finite Malcev Algebras. - Pawel M. Idziak; Piotr Kawalek; Jacek Krzaczkowski (STACS, 2022)

Satisfiability in MultiValued Circuits. - Pawel M. Idziak; Jacek Krzaczkowski (SIAM J. Comput., 2022)

Equation Satisfiability in Solvable Groups. - Pawel M. Idziak; Piotr Kawalek; Jacek Krzaczkowski; Armin Weiß (Theory Comput. Syst., 2024)

Nonuniform Deterministic Finite Automata over Finite Algebraic Structures. - Pawel M. Idziak; Piotr Kawalek; Jacek Krzaczkowski (ICALP, 2025)