On a generalized model of labeled graphs. - Adam Kozak; Tomasz Glowacki; Piotr Formanowicz (Discret. Appl. Math., 2013)

Hemojuvelin-hepcidin axis modeled and analyzed using Petri nets. - Dorota Formanowicz; Adam Kozak; Tomasz Glowacki; Marcin Radom; Piotr Formanowicz (J. Biomed. Informatics, 2013)

Holmes: a graphical tool for development, simulation and analysis of Petri net based models of complex biological systems. - Marcin Radom; Agnieszka Rybarczyk; Bartlomiej Szawulak; Hubert Andrzejewski; Piotr Chabelski; Adam Kozak; Piotr Formanowicz (Bioinform., 2017)

A method for constructing artificial DNA libraries based on generalized de Bruijn sequences. - Adam Kozak; Tomasz Glowacki; Piotr Formanowicz (Discret. Appl. Math., 2019)