SIN PP | prof. dr hab. inż. Piotr Formanowicz

1.

Algorithms for evaluation of minimal cut sets / Marcin Radom (WIiT), Agnieszka Rybarczyk (WIiT), Igor Piekarz (WIiT), Piotr Formanowicz (WIiT) // Journal of Biomedical Informatics - 2024, vol. 159, s. 104740-1-104740-19

Artykuł naukowy 100 4
2.

Graph realization of sets of integers / Piotr Wawrzyniak (WIiT), Piotr Formanowicz (WIiT) // Journal of Mathematical Chemistry - 2024, vol. 62, iss. 8, s. 1965-1981

Artykuł naukowy 70 1,7
3.

The Role of Macrophage Dynamics in Atherosclerosis Analyzed Using a Petri Net-Based Model / Agnieszka Rybarczyk (WIiT), Dorota Formanowicz, Piotr Formanowicz (WIiT) // Applied Sciences - 2024, vol. 14, iss. 8, s. 3219-1-3219-23

Artykuł naukowy 100 2,5
4.

Searching for significant reactions and subprocesses in models of biological systems based on Petri nets / Kaja Gutowska (WIiT), Piotr Formanowicz (WIiT) // Computers in Biology and Medicine - 2024, vol. 168, s. 107729-1-107729-10

Artykuł naukowy 100 7
5.

Key Therapeutic Targets to Treat Hyperglycemia-Induced Atherosclerosis Analyzed Using a Petri Net-Based Model / Agnieszka Rybarczyk (WIiT), Dorota Formanowicz, Piotr Formanowicz (WIiT) // Metabolites - 2023, vol. 13, iss. 12, s. 1191-1-1191-28

Artykuł naukowy 100 3,4

Wszystkie ARTYKUŁY

1.

Grafy przepływu złożoności - definicja, przykłady i możliwe kierunki zastosowań / Mateusz Twardawa (WIiT), Piotr Formanowicz (WIiT) // W: Automatyzacja procesów dyskretnych : teoria i zastosowania / red. Andrzej Świerniak, Jolanta Krystek - Gliwice, Polska : Wydawnictwo Politechniki Śląskiej, 2024 - s. 261-284

Rozdział w monografii naukowej 20
2.

Ograniczanie przestrzeni stanów w rozszerzonych czasowych sieciach Petriego / Marcin Radom (WIiT), Piotr Formanowicz (WIiT) // W: Automatyzacja procesów dyskretnych : teoria i zastosowania / red. Andrzej Świerniak, Jolanta Krystek - Gliwice, Polska : Wydawnictwo Politechniki Śląskiej, 2024 - s. 207-217

Rozdział w monografii naukowej 20
3.

Znajdowanie ścieżki Hamiltona w grafach geometrycznych z ograniczeniem odległości / Piotr Wawrzyniak (WIiT), Piotr Formanowicz (WIiT) // W: Automatyzacja procesów dyskretnych : teoria i zastosowania / red. Andrzej Świerniak, Jolanta Krystek - Gliwice, Polska : Wydawnictwo Politechniki Śląskiej, 2024 - s. 285-292

Rozdział w monografii naukowej 20
4.

Algorytmiczne aspekty rozszerzonych czasowych sieci Petriego / Marcin Radom (WIiT), Piotr Formanowicz (WIiT) // W: Automatyzacja procesów dyskretnych : teoria i zastosowania. T. 2 / red. Andrzej Świerniak, Jolanta Krystek - Gliwice, Polska : Wydawnictwo Politechniki Śląskiej, 2022 - s. 91-101

Rozdział w monografii naukowej 20
5.

Labeled Graphs in Life Sciences - Two Important Applications / Piotr Formanowicz (WIiT), Marta Kasprzak (WIiT), Piotr Wawrzyniak (WIiT) // W: Graph-Based Modelling in Science, Technology and Art / red. Stanisław Zawiślak, Jacek Rysiński - Cham, Switzerland : Springer International Publishing, 2022 - s. 201-217

Rozdział w monografii naukowej 20

Wszystkie ROZDZIAŁY

1.

Teoria złożoności obliczeniowej. Wybrane zagadnienia. / Piotr Formanowicz (WI) / Poznań, Polska : Wydawnictwo NAKOM, Poznan Monographs in Computing and Its Applications, 2013 - 183 s.

Monografia naukowa
2.

Selected combinatorial aspects of biological sequence analysis / Piotr Formanowicz / Poznań, Polska : Wydawnictwo Politechniki Poznańskiej, Rozprawy / Politechnika Poznańska, 2005 - 135 s.

Monografia naukowa / rozprawa habilitacyjna

Wszystkie KSIĄŻKI

1.

Selected combinatorial aspects of biological sequence analysis / Piotr Formanowicz / Poznań, Polska : Wydawnictwo Politechniki Poznańskiej, Rozprawy / Politechnika Poznańska, 2005 - 135 s.

Monografia naukowa / rozprawa habilitacyjna

1.

Szeregowanie zadań w systemach z ograniczoną dostępnością procesów / Piotr Formanowicz / prom. Jacek Błażewicz, rec. Maciej Drozdowski, Adam Janiak - Poznań, Polska, 2000 - 114 s.

Rozprawa doktorska

1.

Podejścia systemowe do modelowania i analizy wybranych procesów związanych z powstawaniem i rozwojem miażdżycy / Kaja Gutowska (WIiT) / prom. Piotr Formanowicz (WIiT), rec. Andrzej Świerniak, Anna Gambin - Poznań, Polska, 2023 - 249 s.

Rozprawa doktorska
2.

Grafy etykietowalne i sieci Petriego w analizie procesów biochemicznych i biologicznych / Adam Kozak (WI) / prom. Piotr Formanowicz (WI), rec. Anna Gambin, Andrzej Świerniak - Poznań, Polska, 2014 - 198 s.

Rozprawa doktorska
3.

Modele grafowe i algorytmy dla klasycznego problemu sekwencjonowania DNA przez hybrydyzacje oraz dla jego odmiany z informacja o powtórzeniach / Kamil Julian Kwarciak (WI) / prom. Piotr Formanowicz (WI), rec. Sebastian Deorowicz, Marta Kasprzak (WI), Wojciech T. Markiewicz - Poznań, Polska, 2014 - 110 s.

Rozprawa doktorska
4.

Zastosowanie metod opartych na teorii grafów do rozwiązywania wybranych problemów analizy sekwencji nukleotydowych i aminokwasowych / Tomasz Głowacki (WI) / prom. Piotr Formanowicz (WI), rec. Andrzej Świerniak, Maciej Stobiecki, Marta Kasprzak (WI) - Poznań, Polska, 2013 - 110 s.

Rozprawa doktorska
5.

Kombinatoryczne aspekty nieklasycznego sekwencjonowania DNA przez hybrydyzację / Marcin Radom (WI) / prom. Piotr Formanowicz (WI), rec. Małgorzata Sterna (WI), Andrzej Świerniak - Poznań, Polska, 2011 - 160 s.

Rozprawa doktorska

Wszystkie ROZPRAWY DOKTORSKIE

1.

VHDL-AMS Language in Synthesis of Gyrator-Capacitor Filters / Piotr Katarzyński (WI) / prom. Andrzej Handkiewicz (WI), rec. Piotr Formanowicz (WI), Stanisław Szczepański - Poznań, Polska, 2012 - 150 s.

Rozprawa doktorska
2.

Algorytmiczne aspekty procesu degradacji RNA / Agnieszka Rybarczyk / prom. Jacek Błażewicz, Marek Figlerowicz, rec. Piotr Formanowicz, Franciszek Seredyński - Poznań, Polska, 2010 - 110 s.

Rozprawa doktorska
3.

The Simplified Partial Digest Problem: Complexity and Algorithms / Alexandr Kovalev / prom. Jacek Błażewicz, rec. Piotr Formanowicz, Jerzy Tiuryn - Poznań, Polska, 2008 - 101 s.

Rozprawa doktorska