Distributive Full Lambek Calculus Has the Finite Model Property. - Michal Kozak (Stud Logica, 2009)

Cyclic Involutive Distributive Full Lambek Calculus is Decidable. - Michal Kozak (J. Log. Comput., 2011)

Long-Term Preservation Services as a Key Element of the Digital Libraries Infrastructure. - Piotr Jedrzejczak; Michal Kozak; Cezary Mazurek; Tomasz Parkola; Szymon Pietrzak; Maciej Stroinski; Jan Weglarz (Intelligent Tools for Building a Scientific Information Platform, 2013)

Strong negation in intuitionistic style sequent systems for residuated lattices. - Michal Kozak (Math. Log. Q., 2014)

Making the Whole Greater than the Sum of its Parts: Taxonomy Development as a Site of Negotiation and Compromise in an Interdisciplinary Software Development Project. - Jennifer Edmond; Alejandro Benito-Santos; Michelle Doran; Roberto Therón; Michal Kozak; Cezary Mazurek; Eveline Wandl-Vogt; Aleyda Rocha Sepulveda (Digit. Humanit. Q., 2023)