A framework for testing Web services based on XQPN Petri nets / Piotr SZWED, Dariusz Wadowski, Krzysztof Paździora // W: IFIP 2009 : Software Engineering Techniques in Progress : [the 4th IFIP TC2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009 : Kraków, Poland, October 12–14, 2009] / eds. Zbigniew Huzar, Jerzy Nawrocki, Marcin Szpyrka. — Kraków : AGH University of Science and Technology Press, 2009. — ISBN: 978-83-7464-259-0. — S. 53–66. — Bibliogr. s. 65–66, Abstr.

Analysis, verification and design of tabular systems : logical, algebraic and graphical methods — Analiza, weryfikacja i projektowanie systemów tablicowych : metody logiczne, algenraiczne i graficzne / Antoni LIGĘZA, Grzegorz J. NALEPA, Tomasz SZMUC, Marcin SZPYRKA, Piotr SZWED, Igor WOJNICKI // Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie ; ISSN 1429-3447. — 2001 t. 5 z. 1/2, s. 345–354. — Bibliogr. s. 353–354, Streszcz., Summ.

Application of OBDD diagrams in verification of tabular rule systems / Piotr SZWED, Antoni LIGĘZA // Schedae Informaticae ; ISSN 1732-3916. — Tytuł poprz.: Zeszyty Naukowe Uniwersytetu Jagiellońskiego. Prace Informatyczne ; ISSN: 0860-0295. — 2005 vol. 14 February, s. 75–94. — Bibliogr. s. 93–94, Abstr.. — Spec. iss. contains selected papers: IV National conference Computer methods and systems in scientific research and engineering design : Kraków, November 2003

INSIGMA [Dokument elektroniczny] : Inteligentny System Informacyjny dla Globalnego Monitoringu, Detekcji i Identyfikacji Zagrożeń. Raport techniczny D2.1, Analiza wymagań dla ontologii systemu INSIGMA — [INSIGMA : Intelligent System for Identification and Detection]. D2.1, Analysis of the requirements for INSIGMA system ontology / Joanna Śliwa, Kamil Gleba, Tomasz Podlasek, Przemysław Caban, Wojciech CHMIEL, Piotr SZWED. — Wersja do Windows. — Dane tekstowe. — [Kraków : AGH], [2010]. — 134 s.. — Tryb dostępu: http://insigma.kt.agh.edu.pl/ [2012-02-24]. — Bibliogr. s. 134. — Publikacja dostępna w Internecie po zalogowaniu

INSIGMA [Dokument elektroniczny] : Inteligentny System Informacyjny dla Globalnego Monitoringu, Detekcji i Identyfikacji Zagrożeń. Raport techniczny D3.4, Analiza biznesowa rodzaju informacji, jakimi mogą być zainteresowane firmy — [INSIGMA : Intelligent System for Identification and Detection]. D3.4, Business intelligence type of information, that the company's may be interested / Piotr SZWED, Przemysław Caban, Robert Goniacz. — Wersja do Windows. — Dane tekstowe. — [Kraków : AGH], [2009]. — 16 s.. — Tryb dostępu: http://insigma.kt.agh.edu.pl/ [2012-02-24]. — Dostępny po zalogowaniu w Internecie

INSIGMA [Dokument elektroniczny] : Inteligentny System Informacyjny dla Globalnego Monitoringu, Detekcji i Identyfikacji Zagrożeń. Raport techniczny D3.6, Specyfikacja interfejsu przekazującego informację o natężeniu ruchu z centralnego repozytorium do algorytmów wyznaczania optymalnej trasy i innych modułów systemu — [INSIGMA : Intelligent System for Identification and Detection]. D3.6, Interface specification for supplying traffic data from the central respository to route optimisation algorithms and other system components / Robert Goniacz, Marek Małowidzki, Przemysław Bereziński, Marek Amanowicz, Wojciech CHMIEL, Piotr SZWED, Piotr KADŁUCZKA, Sebastian ERNST, Andrzej GŁOWACZ. — Wersja do Windows. — Dane tekstowe. — [Kraków : AGH], [2011]. — 88 s.. — Tryb dostępu: http://insigma.kt.agh.edu.pl/ [2012-02-24]. — Tekst dostępny po zalogowaniu w Internecie

Integration of classical and agile project management methodologies based on ontological models — Integracja klasycznych i zwinnych metodyk zarządzania projektami informatycznymi w oparciu o modele ontologiczne / Jan WEREWKA, Piotr SZWED, Grzegorz ROGUS // W: Zarządzanie przedsiębiorstwem – teoria i praktyka [Dokument elektroniczny] : XII międzynarodowa konferencja naukowa : 27–28 maja 2010, Kraków : materiały konferencyjne / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydział Zarządzania. — Wersja do Windows. — Dane tekstowe. — Kraków : WZ AGH, 2010. — 1 dysk optyczny. — Opis częśc. wg CD-ROM-u. — S. [1–23]. — Wymagania systemowe: Adobe Acrobat Reader ; napęd CD-ROM. — Bibliogr. s. [22–23], Summ., Streszcz.

IOEM – metodyka inżynierii ontologii w projekcie INSIGMA — [IOEM – ontology engineering methodology in INSIGMA project] / Piotr SZWED, Wojciech CHMIEL, Joanna Śliwa, Kamil Gleba, Andrzej GŁOWACZ // W: Integracja systemów informatycznych – nowe wyzwania / red. Janusz Górski, Cezary Orłowski. — Gdańsk : Pomorskie Wydawnictwo Naukowo-Techniczne PWNT, 2011. — (Automatyka i Informatyka : Technologie Informacyjne, Zarządzanie / ed. serii Zdzisław Kowalczuk ; 10). — ISBN: 978-83-926806-7-3. — S. 119–127. — Bibliogr. s. 127. — Afiliacja P. Szwed, W. Chmiel, A. Głowacz: Akademia Górniczo-Hutnicza w Krakowie

Modeling and recognition of video events with Fuzzy Semantic Petri Nets / Piotr SZWED // W: Looking into the future of creativity and decision support systems : proceedings of the 8th international conference on Knowledge, Information and Creativity Support Systems : Kraków, Poland, November 7–9, 2013 / ed. Andrzej M. J. Skulimowski. — Kraków : Progress & Business Publishers, 2015. — (Advances in Decision Sciences and Future Studies ; Vol. 2). — ISBN: 978-83-939344-1-6. — S. 599-610. — Bibliogr. s. 609–610, Abstr.. — Toż na CD-ROMie. — S. 611–622. — Wymagania systemowe: Adobe Reader ; napęd CD-ROM. — Bibliogr. s. 621–622, Abstr. — ISBN 978-83-912831-8-9

Poprawność względna sieci Petriego dla liniowej funkcji obserwacji — [Specification of relative correctness of Petri nets with linear observation function] / Piotr SZWED // W: Metody i systemy komputerowe w badaniach naukowych i projektowaniu inżynierskim : IV krajowa konferencja : Kraków 26–28 listopada 2003 : materiały konferencyjne / red. Ryszard Tadeusiewicz, Antoni Ligęza, Maciej Szymkat ; Akademia Górniczo-Hutnicza, Politechnika Krakowska, Uniwersytet Jagielloński. — Kraków : Oprogramowanie Naukowo-Techniczne, 2003. — ISBN10: 8391642011. — S. 805–810. — Bibliogr. s. 810, Streszcz.

System i sposób zarządzania regułami sterowania sygnalizacją świetlną na skrzyżowaniu — [System and the method to manage the rules of control of the traffic lights on the crossing] / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie ; wynalazca: DZIECH Andrzej, CHMIEL Wojciech, ERNST Sebastian, KADŁUCZKA Piotr, MIKRUT Zbigniew, SZWED Piotr, WOJNICKI Igor. — Int.Cl.: G08G 1/08\textsuperscript{(2006.01)}. — Polska. — Opis zgłoszeniowy wynalazku ; PL 414870 A1 ; Opubl. 2017-05-22. — Zgłosz. nr P.414870 z dn. 2015-11-20 // Biuletyn Urzędu Patentowego ; ISSN 0137-8015 ; 2017  nr 11, s. 42. — tekst: http://patenty.bg.agh.edu.pl/pelneteksty/PL414870A1.pdf

Verification of relative correctness of Petri nets / Piotr SZWED // W: CMS'05 : Computer Methods and Systems : V konferencja : 14–16 November 2005, Kraków, Poland. Vol. 2, Regular sessions = CMS'05 : metody i systemy komputerowe / eds. Ryszard Tadeusiewicz, Antoni Ligęza, Maciej Szymkat ; AGH University of Science and Technology Cracow, Jagiellonian University, Cracow University of Technology. — Kraków : Oprogramowanie Naukowo-Techniczne, 2005. — S. 295–300. — Bibliogr. s. 300, Abstr.

Verification of the correctness of Real Time systems specified with timed Petri nets / Piotr SZWED // W: CMS'05 : Computer Methods and Systems : V konferencja : 14–16 November 2005, Kraków, Poland. Vol. 2, Regular sessions = CMS'05 : metody i systemy komputerowe / eds. Ryszard Tadeusiewicz, Antoni Ligęza, Maciej Szymkat ; AGH University of Science and Technology Cracow, Jagiellonian University, Cracow University of Technology. — Kraków : Oprogramowanie Naukowo-Techniczne, 2005. — S. 289–294. — Bibliogr. s. 294, Abstr.

Weryfikacja poprawności względnej sieci Petriego — Verification of relative correctness of Petri nets / Piotr SZWED, Grzegorz ROGUS // W: Zastosowania teorii systemów / red. Ewa Kochan. — Kraków : WIMiR AGH, 2005. — (Problemy Inżynierii Mechanicznej i Robotyki = Problems of Mechanical Engineering and Robotics) ; (Monografie / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydział Inżynierii Mechanicznej i Robotyki ; nr 3). — Na s. tytułowej: Zastosowanie teorii systemów. — Tyt. właśc. na okł.: Zastosowania teorii systemów.. — Opis częśc. wg okł.. — S. 305–314. — Bibliogr. s. 314, Streszcz., Summ.

Zastosowanie diagramów OBDD do weryfikacji tablicowych systemów regułowych — [Application of OBDD diagrams in verification of tabular rule systems] / Piotr SZWED, Antoni LIGĘZA // W: Metody i systemy komputerowe w badaniach naukowych i projektowaniu inżynierskim : IV krajowa konferencja : Kraków 26–28 listopada 2003 : materiały konferencyjne / red. Ryszard Tadeusiewicz, Antoni Ligęza, Maciej Szymkat ; Akademia Górniczo-Hutnicza, Politechnika Krakowska, Uniwersytet Jagielloński. — Kraków : Oprogramowanie Naukowo-Techniczne, 2003. — ISBN10: 8391642011. — S. 83–88. — Bibliogr. s. 88, Streszcz.

Zastosowanie języka LOTOS w procesie weryfikacji systemów reaktywnych — Application of LOTOS in verification of reactive systems / Grzegorz ROGUS, Piotr SZWED // W: Zastosowania teorii systemów / red. Ewa Kochan. — Kraków : WIMiR AGH, 2005. — (Problemy Inżynierii Mechanicznej i Robotyki = Problems of Mechanical Engineering and Robotics) ; (Monografie / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydział Inżynierii Mechanicznej i Robotyki ; nr 3). — Na s. tytułowej: Zastosowanie teorii systemów. — Tyt. właśc. na okł.: Zastosowania teorii systemów.. — Opis częśc. wg okł.. — S. 259–268. — Bibliogr. s. 268, Streszcz., Summ.

Zastosowanie liniowej funkcji obserwacji do analizy poprawności oprogramowania współbieżnego — Application of linear observation function to the correctness verification of concurrent software / Piotr SZWED // W: Systemy czasu rzeczywistego : VII konferencja : Kraków, 25–28 września 2000 : materiały konferencyjne / red. Tomasz Szmuc i Radosław Klimek ; Katedra Automatyki Akademii Górniczo-Hutniczej w Krakowie. — Kraków : KA AGH, 2000. — ISBN10: 83-914257-0-3. — S. 99–108. — Bibliogr. s. 108, Summ.

Zastosowanie liniowej funkcji obserwacji do analizy poprawności systemów czasu rzeczywistego — Application of linear observation function to the correctness verification of real-time systems / Piotr SZWED // W: Analiza i projektowanie systemów komputerowych czasu rzeczywistego o różnym stopniu rozproszenia / red. Jan Werewka, Tomasz Szmuc ; Polskie Towarzystwo Informatyczne. Oddział Małopolski ; Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Katedra Automatyki. — Kraków : PTI. Oddz. Małopolska przy współpr. KA AGH, 2001. — ISBN10: 8386856335. — S. 158–198. — Bibliogr. s. 197–198, Streszcz., Abstr.

Zastosowanie liniowej funkcji obserwacji do weryfikacji poprawności systemów czasu rzeczywistego — Application of linear observation function to the correctness verification of real-time systems / Piotr SZWED // W: Systemy czasu rzeczywistego : VIII [ósma] konferencja : Krynica, 24–27 września 2001 : materiały konferencyjne / red. Tomasz Szmuc i Radosław Klimek ; Katedra Automatyki Akademii Górniczo-Hutniczej w Krakowie. — Kraków : KA AGH, 2001. — S. 25–36. — Bibliogr. s. 36

Zastosowanie ontologii do wspomagania decyzji w podsystemie wyznaczania trasy INSIGMA — [Ontology based decision support in the INSIGMA subsystem for route planning] / Wojciech CHMIEL, Piotr SZWED, Piotr KADŁUCZKA, Joanna Śliwa, Andrzej GŁOWACZ // W: Integracja systemów informatycznych – nowe wyzwania / red. Janusz Górski, Cezary Orłowski. — Gdańsk : Pomorskie Wydawnictwo Naukowo-Techniczne PWNT, 2011. — (Automatyka i Informatyka : Technologie Informacyjne, Zarządzanie / ed. serii Zdzisław Kowalczuk ; 10). — ISBN: 978-83-926806-7-3. — S. 257–264. — Bibliogr. s. 264. — Afiliacja P. Szwed, W. Chmiel, P. Kadłuczka, A. Głowacz: Akademia Górniczo-Hutnicza w Krakowie