Piotr Formanowicz

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 11

Top Topics

Tabu Search Algorithm

Biological Systems

Top Venues

Fundam. Informaticae

Publications

Kaja Gutowska, Piotr Formanowicz
Searching for significant reactions and subprocesses in models of biological systems based on Petri nets. Comput. Biol. Medicine 168 (2024)
Salim Janji, Piotr Wawrzyniak, Piotr Formanowicz, Adrian Kliks
Integrating UAV-Enabled Base Stations in 3D Networks: QoS-Aware Joint Fronthaul and Backhaul Design. CoRR (2024)
Marcin Radom, Piotr Formanowicz
Extended time Petri nets. CoRR (2024)
Kaja Gutowska, Piotr Formanowicz
On anti-occurrence of subsets of transitions in Petri net-based models of complex biological systems. Biosyst. 222 (2022)
Bartlomiej Szawulak, Marcin Radom, Piotr Formanowicz
Comparing Petri net-based models of biological systems using Holmes. Bioinform. 38 (19) (2022)
Kaja Gutowska, Dorota Formanowicz, Piotr Formanowicz
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. KKA (2020)
Adam Kozak, Tomasz Glowacki, Piotr Formanowicz
A method for constructing artificial DNA libraries based on generalized de Bruijn sequences. Discret. Appl. Math. 259 (2019)
Dorota Formanowicz, Marcin Radom, Agnieszka Rybarczyk, Piotr Formanowicz
The role of Fenton reaction in ROS-induced toxicity underlying atherosclerosis - modeled and analyzed using a Petri net-based approach. Biosyst. 165 (2018)
Dorota Formanowicz, Agnieszka Rybarczyk, Piotr Formanowicz
Factors Influencing Essential Hypertension and Cardiovascular Disease Modeled and Analyzed using Stochastic Petri Nets. Fundam. Informaticae 160 (1-2) (2018)
Marcin Radom, Agnieszka Rybarczyk, Bartlomiej Szawulak, Hubert Andrzejewski, Piotr Chabelski, Adam Kozak, Piotr Formanowicz
Holmes: a graphical tool for development, simulation and analysis of Petri net based models of complex biological systems. Bioinform. 33 (23) (2017)
Kamil Kwarciak, Marcin Radom, Piotr Formanowicz
A multilevel ant colony optimization algorithm for classical and isothermic DNA sequencing by hybridization with multiplicity information available. Comput. Biol. Chem. 61 (2016)
Kamil Kwarciak, Piotr Formanowicz
Tabu search algorithm for DNA sequencing by hybridization with multiplicity information available. Comput. Oper. Res. 47 (2014)
Dorota Formanowicz, Adam Kozak, Tomasz Glowacki, Marcin Radom, Piotr Formanowicz
Hemojuvelin-hepcidin axis modeled and analyzed using Petri nets. J. Biomed. Informatics 46 (6) (2013)
Adam Kozak, Tomasz Glowacki, Piotr Formanowicz
On a generalized model of labeled graphs. Discret. Appl. Math. 161 (13-14) (2013)
Marcin Radom, Agnieszka Rybarczyk, Renzo Kottmann, Piotr Formanowicz, Marta Szachniuk, Frank Oliver Glöckner, Dietrich Rebholz-Schuhmann, Jacek Blazewicz
Poseidon: An information retrieval and extraction system for metagenomic marine science. Ecol. Informatics 12 (2012)
Piotr Formanowicz, Krzysztof Tanas
The Fan-Raspaud conjecture: A randomized algorithmic approach and application to the pair assignment problem in cubic networks. Int. J. Appl. Math. Comput. Sci. 22 (3) (2012)
Jacek Blazewicz, Piotr Formanowicz, Pawel Kedziora, Pawel Marciniak, Przemyslaw Taront
Adaptive memory programming: local search parallel algorithms for phylogenetic tree construction. Ann. Oper. Res. 183 (1) (2011)
Jacek Blazewicz, Marcin Borowski, Piotr Formanowicz, Tomasz Glowacki
Genetic and Tabu search algorithms for peptide assembly problem. RAIRO Oper. Res. 44 (2) (2010)
Szymon Wasik, Paulina Jackowiak, Jacek B. Krawczyk, Pawel Kedziora, Piotr Formanowicz, Marek Figlerowicz, Jacek Blazewicz
Towards Prediction of HCV Therapy Efficiency. Comput. Math. Methods Medicine 2010 (2) (2010)
Andrea Sackmann, Dorota Formanowicz, Piotr Formanowicz, Jacek Blazewicz
New insights into the human body iron metabolism analyzed by a Petri net based approach. Biosyst. 96 (1) (2009)
Jacek Blazewicz, Piotr Formanowicz, Pawel Wojciechowski
Some remarks on evaluating the quality of the multiple sequence alignment based on the BAliBASE benchmark. Int. J. Appl. Math. Comput. Sci. 19 (4) (2009)
Jacek Blazewicz, Dorota Formanowicz, Piotr Formanowicz, Andrea Sackmann, Michal Sajkowski
Modeling the process of human body iron homeostasis using a variant of timed Petri nets. Discret. Appl. Math. 157 (10) (2009)
Andrea Sackmann, Dorota Formanowicz, Piotr Formanowicz, Ina Koch, Jacek Blazewicz
An analysis of the Petri net based model of the human body iron homeostasis process. Comput. Biol. Chem. 31 (1) (2007)
Jacek Blazewicz, Piotr Formanowicz, Marta Kasprzak, Petra Schuurman, Gerhard J. Woeginger
A polynomial time equivalence between DNA sequencing and the exact perfect matching problem. Discret. Optim. 4 (2) (2007)
Dorota Formanowicz, Andrea Sackmann, Piotr Formanowicz, Jacek Blazewicz
Petri net based model of the body iron homeostasis. J. Biomed. Informatics 40 (5) (2007)
Jacek Blazewicz, Piotr Formanowicz, Marta Kasprzak
Selected combinatorial problems of computational biology. Eur. J. Oper. Res. 161 (3) (2005)
Jacek Blazewicz, Piotr Formanowicz
Multistage isothermic sequencing by hybridization. Comput. Biol. Chem. 29 (1) (2005)
Jacek Blazewicz, Marcin Borowski, Piotr Formanowicz, Maciej Stobiecki
Tabu Search Method for Determining Sequences of Amino Acids in Long Polypeptides. EvoWorkshops (2005)
Cherif Sadfi, Bernard Penz, Christophe Rapine, Jacek Blazewicz, Piotr Formanowicz
An improved approximation algorithm for the single machine total completion time scheduling problem with availability constraints. Eur. J. Oper. Res. 161 (1) (2005)
Ryszard W. Adamiak, Jacek Blazewicz, Piotr Formanowicz, Zofia Gdaniec, Marta Kasprzak, Mariusz Popenda, Marta Szachniuk
An Algorithm for an Automatic NOE Pathways Analysis of 2D NMR Spectra of RNA Duplexes. J. Comput. Biol. 11 (1) (2004)
Jacek Blazewicz, Piotr Formanowicz, Marta Kasprzak, Wojciech T. Markiewicz, Aleksandra Swiercz
Tabu search algorithm for DNA sequencing by hybridization with isothermic libraries. Comput. Biol. Chem. 28 (1) (2004)
Jacek Blazewicz, Piotr Formanowicz, Marta Kasprzak, Wojciech T. Markiewicz
Sequencing by hybridization with isothermic oligonucleotide libraries. Discret. Appl. Math. 145 (1) (2004)
Jacek Blazewicz, Piotr Formanowicz, Pawel Kedziora, Pawel Wojciechowski
Parallel Algorithms for Evolutionary History Reconstruction. PPAM (2003)
Jacek Blazewicz, Piotr Formanowicz, Radoslaw Urbaniak
DNA Based Algorithms for Some Scheduling Problems. EvoWorkshops (2003)
Jacek Blazewicz, Piotr Formanowicz, Marta Kasprzak, Daniel Kobler
On the recognition of de Bruijn graphs and their induced subgraphs. Discret. Math. 245 (1-3) (2002)
Wieslaw Kubiak, Jacek Blazewicz, Piotr Formanowicz, Joachim Breit, Günter Schmidt
Two-machine flow shops with limited machine availability. Eur. J. Oper. Res. 136 (3) (2002)
Jacek Blazewicz, Piotr Formanowicz, Marta Kasprzak, Petra Schuurman, Gerhard J. Woeginger
DNA Sequencing, Eulerian Graphs, and the Exact Perfect Matching Problem. WG (2002)
Jacek Blazewicz, Piotr Formanowicz, Frédéric Guinand, Marta Kasprzak
A heuristic managing errors for DNA sequencing. Bioinform. 18 (5) (2002)
Jacek Blazewicz, Piotr Formanowicz
Scheduling jobs in open shops with limited machine availability. RAIRO Oper. Res. 36 (2) (2002)
Jacek Blazewicz, Piotr Formanowicz, Marta Kasprzak, Marcin Jaroszewski, Wojciech T. Markiewicz
Construction of DNA restriction maps based on a simplified experiment. Bioinform. 17 (5) (2001)
Marie-Laure Espinouse, Piotr Formanowicz, Bernard Penz
Complexity results and approximation algorithms for the two machine no-wait flow-shop with limited machine availability. J. Oper. Res. Soc. 52 (1) (2001)
Jacek Blazewicz, Piotr Formanowicz, Marta Kasprzak, Wojciech T. Markiewicz, Jan Weglarz
Tabu search for DNA sequencing with false negatives and false positives. Eur. J. Oper. Res. 125 (2) (2000)
Jacek Blazewicz, Maciej Drozdowski, Piotr Formanowicz, Wieslaw Kubiak, Günter Schmidt
Scheduling preemptable tasks on parallel processors with limited availability. Parallel Comput. 26 (9) (2000)
Jacek Blazewicz, Piotr Formanowicz, Marta Kasprzak, Wojciech T. Markiewicz, Jan Weglarz
DNA Sequencing With Positive and Negative Errors. J. Comput. Biol. 6 (1) (1999)