DNA Sequencing With Positive and Negative Errors. - Jacek Blazewicz; Piotr Formanowicz; Marta Kasprzak; Wojciech T. Markiewicz; Jan Weglarz (J. Comput. Biol., 1999)

Tabu search for DNA sequencing with false negatives and false positives. - Jacek Blazewicz; Piotr Formanowicz; Marta Kasprzak; Wojciech T. Markiewicz; Jan Weglarz (Eur. J. Oper. Res., 2000)

Scheduling preemptable tasks on parallel processors with limited availability. - Jacek Blazewicz; Maciej Drozdowski; Piotr Formanowicz; Wieslaw Kubiak; Günter Schmidt 002 (Parallel Comput., 2000)

Construction of DNA restriction maps based on a simplified experiment. - Jacek Blazewicz; Piotr Formanowicz; Marta Kasprzak; Marcin Jaroszewski; Wojciech T. Markiewicz (Bioinform., 2001)

Complexity results and approximation algorithms for the two machine no-wait flow-shop with limited machine availability. - Marie-Laure Espinouse; Piotr Formanowicz; Bernard Penz (J. Oper. Res. Soc., 2001)

DNA Sequencing, Eulerian Graphs, and the Exact Perfect Matching Problem. - Jacek Blazewicz; Piotr Formanowicz; Marta Kasprzak; Petra Schuurman; Gerhard J. Woeginger (WG, 2002)

A heuristic managing errors for DNA sequencing. - Jacek Blazewicz; Piotr Formanowicz; Frédéric Guinand; Marta Kasprzak (Bioinform., 2002)

On the recognition of de Bruijn graphs and their induced subgraphs. - Jacek Blazewicz; Piotr Formanowicz; Marta Kasprzak; Daniel Kobler (Discret. Math., 2002)

Two-machine flow shops with limited machine availability. - Wieslaw Kubiak; Jacek Blazewicz; Piotr Formanowicz; Joachim Breit; Günter Schmidt 002 (Eur. J. Oper. Res., 2002)

Scheduling jobs in open shops with limited machine availability. - Jacek Blazewicz; Piotr Formanowicz (RAIRO Oper. Res., 2002)

DNA Based Algorithms for Some Scheduling Problems. - Jacek Blazewicz; Piotr Formanowicz; Radoslaw Urbaniak (EvoWorkshops, 2003)

Parallel Algorithms for Evolutionary History Reconstruction. - Jacek Blazewicz; Piotr Formanowicz; Pawel Kedziora; Pawel Wojciechowski (PPAM, 2003)

Tabu search algorithm for DNA sequencing by hybridization with isothermic libraries. - Jacek Blazewicz; Piotr Formanowicz; Marta Kasprzak; Wojciech T. Markiewicz; Aleksandra Swiercz (Comput. Biol. Chem., 2004)

Sequencing by hybridization with isothermic oligonucleotide libraries. - Jacek Blazewicz; Piotr Formanowicz; Marta Kasprzak; Wojciech T. Markiewicz (Discret. Appl. Math., 2004)

An Algorithm for an Automatic NOE Pathways Analysis of 2D NMR Spectra of RNA Duplexes. - Ryszard W. Adamiak; Jacek Blazewicz; Piotr Formanowicz; Zofia Gdaniec; Marta Kasprzak; Mariusz Popenda; Marta Szachniuk (J. Comput. Biol., 2004)

Tabu Search Method for Determining Sequences of Amino Acids in Long Polypeptides. - Jacek Blazewicz; Marcin Borowski; Piotr Formanowicz; Maciej Stobiecki (EvoWorkshops, 2005)

Multistage isothermic sequencing by hybridization. - Jacek Blazewicz; Piotr Formanowicz (Comput. Biol. Chem., 2005)

Selected combinatorial problems of computational biology. - Jacek Blazewicz; Piotr Formanowicz; Marta Kasprzak (Eur. J. Oper. Res., 2005)

An improved approximation algorithm for the single machine total completion time scheduling problem with availability constraints. - Cherif Sadfi; Bernard Penz; Christophe Rapine; Jacek Blazewicz; Piotr Formanowicz (Eur. J. Oper. Res., 2005)

An analysis of the Petri net based model of the human body iron homeostasis process. - Andrea Sackmann; Dorota Formanowicz; Piotr Formanowicz; Ina Koch; Jacek Blazewicz (Comput. Biol. Chem., 2007)

A polynomial time equivalence between DNA sequencing and the exact perfect matching problem. - Jacek Blazewicz; Piotr Formanowicz; Marta Kasprzak; Petra Schuurman; Gerhard J. Woeginger (Discret. Optim., 2007)

Petri net based model of the body iron homeostasis. - Dorota Formanowicz; Andrea Sackmann; Piotr Formanowicz; Jacek Blazewicz (J. Biomed. Informatics, 2007)

Some remarks on evaluating the quality of the multiple sequence alignment based on the BAliBASE benchmark. - Jacek Blazewicz; Piotr Formanowicz; Pawel Wojciechowski (Int. J. Appl. Math. Comput. Sci., 2009)

New insights into the human body iron metabolism analyzed by a Petri net based approach. - Andrea Sackmann; Dorota Formanowicz; Piotr Formanowicz; Jacek Blazewicz (Biosyst., 2009)

Modeling the process of human body iron homeostasis using a variant of timed Petri nets. - Jacek Blazewicz; Dorota Formanowicz; Piotr Formanowicz; Andrea Sackmann; Michal Sajkowski (Discret. Appl. Math., 2009)

Towards Prediction of HCV Therapy Efficiency. - Szymon Wasik; Paulina Jackowiak; Jacek B. Krawczyk; Pawel Kedziora; Piotr Formanowicz; Marek Figlerowicz; Jacek Blazewicz (Comput. Math. Methods Medicine, 2010)

Genetic and Tabu search algorithms for peptide assembly problem. - Jacek Blazewicz; Marcin Borowski; Piotr Formanowicz; Tomasz Glowacki (RAIRO Oper. Res., 2010)

Adaptive memory programming: local search parallel algorithms for phylogenetic tree construction. - Jacek Blazewicz; Piotr Formanowicz; Pawel Kedziora; Pawel Marciniak; Przemyslaw Taront (Ann. Oper. Res., 2011)

The Fan-Raspaud conjecture: A randomized algorithmic approach and application to the pair assignment problem in cubic networks. - Piotr Formanowicz; Krzysztof Tanas (Int. J. Appl. Math. Comput. Sci., 2012)

Poseidon: An information retrieval and extraction system for metagenomic marine science. - Marcin Radom; Agnieszka Rybarczyk; Renzo Kottmann; Piotr Formanowicz; Marta Szachniuk; Frank Oliver Glöckner; Dietrich Rebholz-Schuhmann; Jacek Blazewicz (Ecol. Informatics, 2012)

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)

Tabu search algorithm for DNA sequencing by hybridization with multiplicity information available. - Kamil Kwarciak; Piotr Formanowicz (Comput. Oper. Res., 2014)

A multilevel ant colony optimization algorithm for classical and isothermic DNA sequencing by hybridization with multiplicity information available. - Kamil Kwarciak; Marcin Radom; Piotr Formanowicz (Comput. Biol. Chem., 2016)

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)

The role of Fenton reaction in ROS-induced toxicity underlying atherosclerosis - modeled and analyzed using a Petri net-based approach. - Dorota Formanowicz; Marcin Radom; Agnieszka Rybarczyk; Piotr Formanowicz (Biosyst., 2018)

Factors Influencing Essential Hypertension and Cardiovascular Disease Modeled and Analyzed using Stochastic Petri Nets. - Dorota Formanowicz; Agnieszka Rybarczyk; Piotr Formanowicz (Fundam. Informaticae, 2018)

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

Systems Approach Based on Petri Nets as a Method for Modeling and Analysis of Complex Biological Systems Presented on the Example of Atherosclerosis Development Process. - Kaja Gutowska; Dorota Formanowicz; Piotr Formanowicz (KKA, 2020)

Comparing Petri net-based models of biological systems using Holmes. - Bartlomiej Szawulak; Marcin Radom; Piotr Formanowicz (Bioinform., 2022)

On anti-occurrence of subsets of transitions in Petri net-based models of complex biological systems. - Kaja Gutowska; Piotr Formanowicz (Biosyst., 2022)

Integrating UAV-Enabled Base Stations in 3D Networks: QoS-Aware Joint Fronthaul and Backhaul Design. - Salim Janji; Piotr Wawrzyniak; Piotr Formanowicz; Adrian Kliks (CoRR, 2024)

Extended time Petri nets. - Marcin Radom; Piotr Formanowicz (CoRR, 2024)

Algorithms for evaluation of minimal cut sets. - Marcin Radom; Agnieszka Rybarczyk; Igor Piekarz; Piotr Formanowicz (J. Biomed. Informatics, 2024)

Searching for significant reactions and subprocesses in models of biological systems based on Petri nets. - Kaja Gutowska; Piotr Formanowicz (Comput. Biol. Medicine, 2024)

Exploring relationship between hypercholesterolemia and instability of atherosclerotic plaque - An approach based on a matrix population model. - Mateusz Twardawa; Kaja Gutowska; Piotr Formanowicz (J. Bioinform. Comput. Biol., 2024)

Comparison by partition - Finding Petri nets similarity on the basis of subnets. - Bartlomiej Szawulak; Marcin Radom; Piotr Formanowicz (Comput. Biol. Medicine, 2025)