Piotr Formanowicz

Orcid: 0000-0003-2719-3677

Affiliations:
  • Poznan University of Technology, Poland


According to our database1, Piotr Formanowicz authored at least 45 papers between 1999 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

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

Algorithms for evaluation of minimal cut sets.
J. Biomed. Informatics, 2024

Extended time Petri nets.
CoRR, 2024

Integrating UAV-Enabled Base Stations in 3D Networks: QoS-Aware Joint Fronthaul and Backhaul Design.
CoRR, 2024

2022
On anti-occurrence of subsets of transitions in Petri net-based models of complex biological systems.
Biosyst., 2022

Comparing Petri net-based models of biological systems using Holmes.
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
Hemojuvelin-hepcidin axis modeled and analyzed using Petri nets.
J. Biomed. Informatics, 2013

On a generalized model of labeled graphs.
Discret. Appl. Math., 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
Genetic and Tabu search algorithms for peptide assembly problem.
RAIRO Oper. Res., 2010

Towards Prediction of HCV Therapy Efficiency.
Comput. Math. Methods Medicine, 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
Petri net based model of the body iron homeostasis.
J. Biomed. Informatics, 2007

A polynomial time equivalence between DNA sequencing and the exact perfect matching problem.
Discret. Optim., 2007

An analysis of the Petri net based model of the human body iron homeostasis process.
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

Selected combinatorial problems of computational biology.
Eur. J. Oper. Res., 2005

Multistage isothermic sequencing by hybridization.
Comput. Biol. Chem., 2005

Tabu Search Method for Determining Sequences of Amino Acids in Long Polypeptides.
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

Sequencing by hybridization with isothermic oligonucleotide libraries.
Discret. Appl. Math., 2004

Tabu search algorithm for DNA sequencing by hybridization with isothermic libraries.
Comput. Biol. Chem., 2004

2003
Parallel Algorithms for Evolutionary History Reconstruction.
Proceedings of the Parallel Processing and Applied Mathematics, 2003

DNA Based Algorithms for Some Scheduling Problems.
Proceedings of the Applications of Evolutionary Computing, 2003

2002
Scheduling jobs in open shops with limited machine availability.
RAIRO Oper. Res., 2002

Two-machine flow shops with limited machine availability.
Eur. J. Oper. Res., 2002

On the recognition of de Bruijn graphs and their induced subgraphs.
Discret. Math., 2002

A heuristic managing errors for DNA sequencing.
Bioinform., 2002

DNA Sequencing, Eulerian Graphs, and the Exact Perfect Matching Problem.
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

Construction of DNA restriction maps based on a simplified experiment.
Bioinform., 2001

2000
Scheduling preemptable tasks on parallel processors with limited availability.
Parallel Comput., 2000

Tabu search for DNA sequencing with false negatives and false positives.
Eur. J. Oper. Res., 2000

1999
DNA Sequencing With Positive and Negative Errors.
J. Comput. Biol., 1999


  Loading...