Demo Data from EDBT 2026 / reviewers in the wild / expert
Piotr Formanowicz
dblp:85/6895
· DBLP profile ↗
16ranked-venue papers
0as first author
4since 2021 · last 2025
0000-0003-2719-3677ORCID · verified
Domains — the database's venue-derived domains; a paper can count in several
Applied, interdisciplinary, general and emerging computing · 8 · 3 since 2021Theory of computation · 6Artificial intelligence and machine learning · 1 · 1 since 2021Systems, architecture and hardware · 1
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Interdisciplinary, comprehensive, and emerging computing
4 papers |
Bioinformatics and computational biology · 100% | |
| Theoretical computer science
2 papers |
Algorithms and data structures · 52% Mathematical optimization · 48% |
Topics — the 10 heaviest of 11, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Bioinformatics and computational biology › biological network › network biology
biological network modeling |
0.6 | 1 | 2022 | Comparing Petri net-based models of biological systems using Holmes · Bioinform. 2022 |
Bioinformatics and computational biology
systems biology |
0.5 | 2 | 2022 | Holmes: a graphical tool for development, simulation and analysis of Petri net based models of complex biological systems · Bioinform. 2017 Comparing Petri net-based models of biological systems using Holmes · Bioinform. 2022 |
Bioinformatics and computational biology › systems biology
petri net modeling |
0.3 | 1 | 2017 | Holmes: a graphical tool for development, simulation and analysis of Petri net based models of complex biological systems · Bioinform. 2017 |
Bioinformatics and computational biology › genomics
DNA sequencing |
0.0 | 1 | 2002 | A heuristic managing errors for DNA sequencing · Bioinform. 2002 |
Bioinformatics and computational biology › genomics › DNA sequencing
sequencing by hybridization |
0.0 | 1 | 2002 | A heuristic managing errors for DNA sequencing · Bioinform. 2002 |
Algorithms and data structures
heuristic algorithms |
0.0 | 1 | 2002 | A heuristic managing errors for DNA sequencing · Bioinform. 2002 |
Bioinformatics and computational biology › genomics › genome analysis
genome mapping |
0.0 | 1 | 2001 | Construction of DNA restriction maps based on a simplified experiment · Bioinform. 2001 |
Bioinformatics and computational biology › sequence analysis › DNA sequence analysis
restriction mapping |
0.0 | 1 | 2001 | Construction of DNA restriction maps based on a simplified experiment · Bioinform. 2001 |
Mathematical optimization › integer programming › branch-and-bound
branch-and-cut |
0.0 | 1 | 2001 | Construction of DNA restriction maps based on a simplified experiment · Bioinform. 2001 |
Mathematical optimization › metaheuristic optimization
tabu search |
0.0 | 1 | 2002 | A heuristic managing errors for DNA sequencing · Bioinform. 2002 |
Methods — techniques the papers use, named apart from their topics
t-invariant analysis · 0.6graphlet analysis · 0.6decomposition · 0.6simulation · 0.3knockout analysis · 0.3invariant generator · 0.3tabu search · 0.1heuristic algorithm · 0.1branch-and-cut · 0.1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | Universal entity linkingabstractEntity linking is a process of connecting mentions of entities in a document to corresponding entries in a knowledge base. Traditional models for entity linking often require specific fine-tuning to work with knowledge bases other than those they were originally pretrained on, which limits their flexibility and scalability. Building on the concept of entity profile generation, we propose a novel approach that enables entity linking across various knowledge bases without the need for such fine-tuning. Our pipeline leverages a fine-tuned Large Language Model, a generic embedding model, and a vector store to achieve high precision on the TweekiGold and Reuters-128 datasets. Additionally, it demonstrates strong retrieval rates across the TweekiGold , Reuters-128 , and ISTEX-1000 Wikidata entity linking datasets. We also illustrate the applicability of our method to other knowledge bases, using the Agrovoc knowledge base as an example. This solution offers a more versatile and scalable approach to entity linking. Adam Aron Rynkiewicz, Raúl Palma, Piotr Formanowicz |
Eng. Appl. Artif. Intell. | 3 |
| 2025 | Graphlet Degree Distribution Sensibility in Petri Net-Based Models of Biological SystemsabstractGraphlet Degree Distribution Agreement (GDDA) is a comparison metric created for graphlets. Unfortunately, it has been reported and confirmed that it has an issue with the stability of result values in low-density graphs. Recently, graphlets have been modified for comparison of Petri net-based models of biological systems. It is crucial to find out if those problems reaper in the case of the modified graphlets, establish a scale of the instability impact on the GDDA value, and find out if it is a common problem for models of biological systems represented by Petri nets. Our results confirmed that the GDDA metric when used for the new graphlets is also unstable for part of the searched density spectrum. Because of that, some biological networks represented by Petri nets are vulnerable to this problem. While instability occurs in the Petri net environment, its characteristics have changed. The scale of an instability impact on the GDDA value is around half of its original size. The localization of vulnerable density areas is different from that in the case of undirected Protein-Protein Interaction (PPI) models. In contrast to the latter, the existence of a high stability area for very sparse models has been observed. Bartlomiej Szawulak, Piotr Formanowicz |
IEEE Trans. Comput. Biol. Bioinform. | 2 |
| 2024 | Algorithms for evaluation of minimal cut sets
Marcin Radom, Agnieszka Rybarczyk, Igor Piekarz, Piotr Formanowicz |
J. Biomed. Informatics | 4 |
| 2022 | Comparing Petri net-based models of biological systems using HolmesabstractMOTIVATION: The first and necessary step in systems approach to study biological phenomena is building a formal model. One of the possibilities is to construct a model based on Petri nets. They have an intuitive graphical representation on one hand, and on the other, can be analyzed using formal mathematical methods. Finding homologies or conserved processes playing important roles in various biological systems can be done by comparing models. The ones expressed as Petri nets are especially well-suited for such a comparison, but there is a lack of software tools for this task. RESULTS: To resolve this problem, a new analytical tool has been implemented in Holmes application and described in this article. It offers four different comparison methods, i.e. the ones based on t-invariants, decomposition, graphlets and branching vertices. AVAILABILITY AND IMPLEMENTATION: Available at http://www.cs.put.poznan.pl/mradom/Holmes/holmes.html. SUPPLEMENTARY INFORMATION: Supplementary data are available at Bioinformatics online. Bartlomiej Szawulak, Marcin Radom, Piotr Formanowicz |
Bioinform. | 3 |
| 2019 | A method for constructing artificial DNA libraries based on generalized de Bruijn sequences
Adam Kozak, Tomasz Glowacki, Piotr Formanowicz |
Discret. Appl. Math. | 3 |
| 2018 | Factors Influencing Essential Hypertension and Cardiovascular Disease Modeled and Analyzed using Stochastic Petri NetsabstractEssential hypertension is the world’s most prevalent cardiovascular disorder, however, its etiology remains poorly understood, making it difficult to study. The evidence suggests that inflammation can lead to the development of hypertension and that oxidative stress and endothelial dysfunction are involved in the inflammatory cascade. In this work, to investigate the influence of these factors on the essential hypertension development, a stochastic Petri net model has been built and then analyzed. To obtain appropriate initial marking and kinetic rate constants for the model, a simple heuristic has been developed. The application of this variant of Petri nets allowed for taking into account some important dependencies present in the modeled system what would be impossible in the case of qualitative models. This has enabled for an in-depth analysis of the studied phenomenon and a validation of biological conclusions previously obtained on the basis of a qualitative model. Dorota Formanowicz, Agnieszka Rybarczyk, Piotr Formanowicz |
Fundam. Informaticae | 3 |
| 2017 | Holmes: a graphical tool for development, simulation and analysis of Petri net based models of complex biological systemsabstractSUMMARY: Model development and its analysis is a fundamental step in systems biology. The theory of Petri nets offers a tool for such a task. Since the rapid development of computer science, a variety of tools for Petri nets emerged, offering various analytical algorithms. From this follows a problem of using different programs to analyse a single model. Many file formats and different representations of results make the analysis much harder. Especially for larger nets the ability to visualize the results in a proper form provides a huge help in the understanding of their significance. We present a new tool for Petri nets development and analysis called Holmes. Our program contains algorithms for model analysis based on different types of Petri nets, e.g. invariant generator, Maximum Common Transitions (MCT) sets and cluster modules, simulation algorithms or knockout analysis tools. A very important feature is the ability to visualize the results of almost all analytical modules. The integration of such modules into one graphical environment allows a researcher to fully devote his or her time to the model building and analysis. AVAILABILITY AND IMPLEMENTATION: Available at http://www.cs.put.poznan.pl/mradom/Holmes/holmes.html. CONTACT: [email protected]. Marcin Radom, Agnieszka Rybarczyk, Bartlomiej Szawulak, Hubert Andrzejewski, Piotr Chabelski, Adam Kozak, Piotr Formanowicz |
Bioinform. | 7 |
| 2013 | On a generalized model of labeled graphs
Adam Kozak, Tomasz Glowacki, Piotr Formanowicz |
Discret. Appl. Math. | 3 |
| 2013 | Hemojuvelin-hepcidin axis modeled and analyzed using Petri nets
Dorota Formanowicz, Adam Kozak, Tomasz Glowacki, Marcin Radom, Piotr Formanowicz |
J. Biomed. Informatics | 5 |
| 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. | 3 |
| 2007 | Petri net based model of the body iron homeostasis
Dorota Formanowicz, Andrea Sackmann, Piotr Formanowicz, Jacek Blazewicz |
J. Biomed. Informatics | 3 |
| 2004 | Sequencing by hybridization with isothermic oligonucleotide libraries
Jacek Blazewicz, Piotr Formanowicz, Marta Kasprzak, Wojciech T. Markiewicz |
Discret. Appl. Math. | 2 |
| 2002 | DNA Sequencing, Eulerian Graphs, and the Exact Perfect Matching Problem
Jacek Blazewicz, Piotr Formanowicz, Marta Kasprzak, Petra Schuurman, Gerhard J. Woeginger |
WG | 2 |
| 2002 | A heuristic managing errors for DNA sequencingabstractAbstract Motivation: A new heuristic algorithm for solving DNA sequencing by hybridization problem with positive and negative errors. Results: A heuristic algorithm providing better solutions than algorithms known from the literature based on tabu search method. Contact: [email protected] * To whom correspondence should be addressed. Jacek Blazewicz, Piotr Formanowicz, Frédéric Guinand, Marta Kasprzak |
Bioinform. | 2 |
| 2001 | Construction of DNA restriction maps based on a simplified experimentabstractAbstract Motivation: A formulation of a new problem of the restriction map construction based on a simplified digestion experiment and a development of an algorithm for solving both ideal and noisy data cases of the introduced problem. Results: A simplified partial digest problem and a branch and cut algorithm for finding the solution of the problem. Contact: [email protected] * To whom correspondence should be addressed. † Fellowship holder of the Foundation for Polish Sciences. Jacek Blazewicz, Piotr Formanowicz, Marta Kasprzak, Marcin Jaroszewski, Wojciech T. Markiewicz |
Bioinform. | 2 |
| 2000 | Scheduling preemptable tasks on parallel processors with limited availability
Jacek Blazewicz, Maciej Drozdowski, Piotr Formanowicz, Wieslaw Kubiak, Günter Schmidt 0002 |
Parallel Comput. | 3 |