SIS PUT | prof. dr hab. inż. Piotr Formanowicz

1.

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

Scientific article 70 1,7
2.

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, p. 3219-1-3219-23

Scientific article 100 2,5
3.

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, p. 107729-1-107729-10

Scientific article 100 7
4.

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, p. 1191-1-1191-28

Scientific article 100 3,4
5.

Cholesterol Metabolism Pathways Disturbances in Atherosclerosis - Analyses Using Stochastic Petri Net-Based Model / Agnieszka Rybarczyk (WIiT), Dorota Formanowicz, Marcin Radom (WIiT), Piotr Formanowicz (WIiT) // Applied Sciences - 2023, vol. 13, iss. 10, p. 6149-1-6149-28

Scientific article 100 2,5

All ARTICLES

1.

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 - p. 91-101

Chapter in monograph 20
2.

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 - p. 201-217

Chapter in monograph 20
3.

O złożoności obliczeń kwantowych / 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 - p. 31-39

Chapter in monograph 20
4.

Problemy realizowalności grafów i ich zastosowania w identyfikacji struktury związków chemicznych / Piotr Wawrzyniak (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 - p. 123-130

Chapter in monograph 20
5.

Wieloagentowa symulacja polaryzacji makrofagów towarzyszących nowotworom / Mateusz Twardawa (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 - p. 113-121

Chapter in monograph 20

All CHAPTERS

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.

Scientific monograph
2.

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

Scientific monograph / habilitation

All BOOKS

1.

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

Scientific monograph / habilitation

1.

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

Dissertation

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), rev. Andrzej Świerniak, Anna Gambin - Poznań, Polska, 2023 - 249 s.

Dissertation
2.

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

Dissertation
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), rev. Sebastian Deorowicz, Marta Kasprzak (WI), Wojciech T. Markiewicz - Poznań, Polska, 2014 - 110 s.

Dissertation
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), rev. Andrzej Świerniak, Maciej Stobiecki, Marta Kasprzak (WI) - Poznań, Polska, 2013 - 110 s.

Dissertation
5.

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

Dissertation

All DISSERTATIONS

1.

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

Dissertation
2.

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

Dissertation
3.

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

Dissertation