| Tractability and learnability arising from algebras with few subpowers P Idziak, P Marković, R McKenzie, M Valeriote, R Willard SIAM Journal on Computing 39 (7), 3023-3037, 2010 | 193 | 2010 |
| Varieties with few subalgebras of powers J Berman, P Idziak, P Marković, R McKenzie, M Valeriote, R Willard Transactions of the American Mathematical Society 362 (3), 1445-1473, 2010 | 148 | 2010 |
| Lattice operations in BCK-algebras PM Idziak Mathematica Japonica 29, 839-846, 1984 | 112 | 1984 |
| Natural dualities for quasivarieties generated by a finite commutative ring DM Clark, PM Idziak, LR Sabourin, C Szabó, R Willard Algebra Universalis 46 (1), 285-320, 2001 | 36 | 2001 |
| Dualizability and graph algebras BA Davey, PM Idziak, WA Lampe, GF McNulty Discrete mathematics 214 (1-3), 145-172, 2000 | 36 | 2000 |
| Polynomially rich algebras PM Idziak, K Słomczyńska Journal of Pure and Applied Algebra 156 (1), 33-68, 2001 | 34 | 2001 |
| Clones containing Mal'tsev operations PM Idziak International Journal of Algebra and Computation 9 (02), 213-226, 1999 | 31 | 1999 |
| Fregean varieties P Idziak, K Słomczyńska, A Wroński International Journal of Algebra and Computation 19 (05), 595-645, 2009 | 27 | 2009 |
| Polynomial interpolation in expanded groups E Aichinger, PM Idziak Journal of Algebra 271 (1), 65-107, 2004 | 26 | 2004 |
| A characterization of finitely decidable congruence modular varieties P Idziak Transactions of the American Mathematical Society 349 (3), 903-934, 1997 | 25 | 1997 |
| Generative complexity in algebra J Berman American Mathematical Soc., 2005 | 24 | 2005 |
| Decidability problem for finite Heyting algebras K Idziak, PM Idziak The Journal of symbolic logic 53 (3), 729-735, 1988 | 24 | 1988 |
| How big is BCI fragment of BCK logic K Grygiel, PM Idziak, M Zaionc Journal of Logic and Computation 23 (3), 673-691, 2013 | 22 | 2013 |
| Varieties with decidable finite algebras II: Permutability PŁM Idziak Algebra Universalis 26, 247-256, 1989 | 20 | 1989 |
| On varieties of BCK-algebras PM Idziak Math. Japonica 28, 157-162, 1983 | 17 | 1983 |
| Equivalential algebras: a study of Fregean varieties PM Idziak, K Słomczyńska, A Wroński, J Font, R Jansana, D Pigozzi preprint, 1996 | 15 | 1996 |
| Varieties with decidable finite algebras I: linearity PŁM Idziak Algebra Universalis 26, 234-246, 1989 | 15 | 1989 |
| Intermediate problems in modular circuits satisfiability PM Idziak, P Kawałek, J Krzaczkowski Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer …, 2020 | 14 | 2020 |
| Satisfiability in multi-valued circuits PM Idziak, J Krzaczkowski Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018 | 13 | 2018 |
| An analysis of decision-making techniques in dynamic, self-adaptive systems P Idziak, S Clarke 2014 IEEE Eighth International Conference on Self-Adaptive and Self …, 2014 | 13 | 2014 |
Ralph McKenzieProfessor of Mathematics, Vanderbilt UniversityVerified email at vanderbilt.edu
