Piotr Formanowicz
Orcid: 0000-0003-2719-3677Affiliations:
- Poznan University of Technology, Poland
According to our database1,
Piotr Formanowicz
authored at least 42 papers
between 1999 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Searching for significant reactions and subprocesses in models of biological systems based on Petri nets.
Comput. Biol. Medicine, January, 2024
2022
On anti-occurrence of subsets of transitions in Petri net-based models of complex biological systems.
Biosyst., 2022
Bioinform., 2022
2020
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.
Proceedings of the Advanced, Contemporary Control - Proceedings of KKA 2020, 2020
2019
A method for constructing artificial DNA libraries based on generalized de Bruijn sequences.
Discret. Appl. Math., 2019
2018
Factors Influencing Essential Hypertension and Cardiovascular Disease Modeled and Analyzed using Stochastic Petri Nets.
Fundam. Informaticae, 2018
The role of Fenton reaction in ROS-induced toxicity underlying atherosclerosis - modeled and analyzed using a Petri net-based approach.
Biosyst., 2018
2017
Holmes: a graphical tool for development, simulation and analysis of Petri net based models of complex biological systems.
Bioinform., 2017
2016
A multilevel ant colony optimization algorithm for classical and isothermic DNA sequencing by hybridization with multiplicity information available.
Comput. Biol. Chem., 2016
2014
Tabu search algorithm for DNA sequencing by hybridization with multiplicity information available.
Comput. Oper. Res., 2014
2013
J. Biomed. Informatics, 2013
2012
Poseidon: An information retrieval and extraction system for metagenomic marine science.
Ecol. Informatics, 2012
The Fan-Raspaud conjecture: A randomized algorithmic approach and application to the pair assignment problem in cubic networks.
Int. J. Appl. Math. Comput. Sci., 2012
2011
Adaptive memory programming: local search parallel algorithms for phylogenetic tree construction.
Ann. Oper. Res., 2011
2010
RAIRO Oper. Res., 2010
2009
Modeling the process of human body iron homeostasis using a variant of timed Petri nets.
Discret. Appl. Math., 2009
New insights into the human body iron metabolism analyzed by a Petri net based approach.
Biosyst., 2009
Some remarks on evaluating the quality of the multiple sequence alignment based on the BAliBASE benchmark.
Int. J. Appl. Math. Comput. Sci., 2009
2007
A polynomial time equivalence between DNA sequencing and the exact perfect matching problem.
Discret. Optim., 2007
Comput. Biol. Chem., 2007
2005
An improved approximation algorithm for the single machine total completion time scheduling problem with availability constraints.
Eur. J. Oper. Res., 2005
Proceedings of the Applications of Evolutionary Computing, 2005
2004
An Algorithm for an Automatic NOE Pathways Analysis of 2D NMR Spectra of RNA Duplexes.
J. Comput. Biol., 2004
Discret. Appl. Math., 2004
Comput. Biol. Chem., 2004
2003
Proceedings of the Parallel Processing and Applied Mathematics, 2003
Proceedings of the Applications of Evolutionary Computing, 2003
2002
RAIRO Oper. Res., 2002
Discret. Math., 2002
Proceedings of the Graph-Theoretic Concepts in Computer Science, 2002
2001
Complexity results and approximation algorithms for the two machine no-wait flow-shop with limited machine availability.
J. Oper. Res. Soc., 2001
Bioinform., 2001
2000
Parallel Comput., 2000
Eur. J. Oper. Res., 2000
1999