Wykaz publikacji wybranego autora

Piotr Szwed, dr inż.

adiunkt

Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej
WEAIiIB-kis, Katedra Informatyki Stosowanej

  • 2018

    [dyscyplina 1] dziedzina nauk inżynieryjno-technicznych / informatyka techniczna i telekomunikacja

[poprzednia klasyfikacja] obszar nauk technicznych / dziedzina nauk technicznych / informatyka

Identyfikatory Autora Informacje o Autorze w systemach zewnętrznych

ORCID: 0000-0003-1231-3867 połącz konto z ORCID

ResearcherID: C-8474-2013

Scopus: 55188460100

PBN: 5e70922c878c28a047391206

OPI Nauka Polska

System Informacyjny AGH (SkOs)

1
  • [referat, 2009]
  • TytułA framework for testing Web services based on XQPN Petri nets
    AutorzyPiotr SZWED, Dariusz Wadowski, Krzysztof Paździora
    ŹródłoIFIP 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. — S. 53–66
2
  • [artykuł w czasopiśmie, 2014]
  • TytułA new lightweight method for security risk assessment based on fuzzy cognitive maps
    AutorzyPiotr SZWED, Paweł SKRZYŃSKI
    ŹródłoInternational Journal of Applied Mathematics and Computer Science. — 2014 vol. 24 no. 1, s. 213–225. — tekst: https://www.amcs.uz.zgora.pl/?action=download&pdf=AMCS_2014_24_1_16.pdf
3
4
  • [artykuł w czasopiśmie, 2001]
  • TytułAnalysis, verification and design of tabular systems : logical, algebraic and graphical methods
    AutorzyAntoni LIGĘZA, Grzegorz J. NALEPA, Tomasz SZMUC, Marcin SZPYRKA, Piotr SZWED, Igor WOJNICKI
    ŹródłoAutomatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie. — 2001 t. 5 z. 1/2, s. 345–354
5
  • [referat w czasopiśmie, 2013]
  • TytułApplication of deductive reasoning to the verification of ArchiMate behavioral elements
    AutorzyRadosław KLIMEK, Piotr SZWED, Stanisław JĘDRUSIK
    ŹródłoPrace Naukowe Uniwersytetu Ekonomicznego we Wrocławiu ; 29. Informatyka Ekonomiczna = Business Informatics. — 2013 nr 3, s. 76–97
6
7
  • [artykuł w czasopiśmie, 2005]
  • TytułApplication of OBDD diagrams in verification of tabular rule systems
    AutorzyPiotr SZWED, Antoni LIGĘZA
    ŹródłoSchedae Informaticae. — 2005 vol. 14 February, s. 75–94
8
  • [monografia, 2015]
  • TytułArchitektury hurtowni danych : model referencyjny i formalny opis architektury
    AutorzyDariusz DYMEK, Wojciech KOMNATA, Leszek KOTULSKI, Piotr SZWED
    DetailsKraków : Wydawnictwa AGH, 2015. — 186, [1] s.
9
10
  • [referat, 2015]
  • TytułConcepts extraction from unstructured Polish Texts: a rule based approach
    AutorzyPiotr SZWED
    ŹródłoFedCSIS : abstracts of the Federated Conference on Computer Science and Information Systems : September 13-16, 2015, Łódź, Poland. — [Piscataway : IEEE], [2015]. — S. 46
11
  • [referat, 2015]
  • TytułEfficiency of formal verification of ArchiMate business processes with NuSMV model checker
    AutorzyPiotr SZWED
    ŹródłoFedCSIS : abstracts of the Federated Conference on Computer Science and Information Systems : September 13-16, 2015, Łódź, Poland. — [Piscataway : IEEE], [2015]. — S. 101
12
13
14
  • [fragment książki, 2010]
  • TytułImplementacja semaforów i kolejek komunikatów w systemie CrOS
    AutorzyPiotr SZWED, Grzegorz ROGUS, Piotr SZYMCZYK, Magdalena SZYMCZYK
    ŹródłoMetody wytwarzania i zastosowania systemów czasu rzeczywistego : praca zbiorowa / pod red. Leszka Trybusa i Sławomira Samoleja. — Warszawa : Wydawnictwa Komunikacji i Łączności, 2010. — S. 277–288
15
  • [inne, 2010]
  • TytułINSIGMA [Dokument elektroniczny] : Inteligentny System Informacyjny dla Globalnego Monitoringu, Detekcji i Identyfikacji Zagrożeń. Raport techniczny D2.1, Analiza wymagań dla ontologii systemu INSIGMA
    AutorzyJoanna Śliwa, Kamil Gleba, Tomasz Podlasek, Przemysław Caban, Wojciech CHMIEL, Piotr SZWED
    Details[Kraków : AGH], [2010]. — 134 s.
16
  • [inne, 2009]
  • Tytuł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
    AutorzyPiotr SZWED, Przemysław Caban, Robert Goniacz
    Details[Kraków : AGH], [2009]. — 16 s.
17
  • [inne, 2011]
  • Tytuł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
    AutorzyRobert Goniacz, Marek Małowidzki, Przemysław Bereziński, Marek Amanowicz, Wojciech CHMIEL, Piotr SZWED, Piotr KADŁUCZKA, Sebastian ERNST, Andrzej GŁOWACZ
    Details[Kraków : AGH], [2011]. — 88 s.
18
  • [fragment książki, 2010]
  • TytułIntegracja modeli ontologicznych metodyk zarządzania projektami IT na przykładzie zarządzania zmianą
    AutorzyPiotr SZWED, Grzegorz ROGUS, Jan WEREWKA
    ŹródłoInżynieria oprogramowania w procesach integracji systemów informatycznych / red. Janusz Górski, Cezary Orłowski. — Gdańsk : Pomorskie Wydawnictwo Naukowo-Techniczne PWNT, 2010. — S. 337–344
19
  • [referat, 2010]
  • TytułIntegration of classical and agile project management methodologies based on ontological models
    AutorzyJan WEREWKA, Piotr SZWED, Grzegorz ROGUS
    ŹródłoZarzą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. — Kraków : WZ AGH, 2010. — S. [1–23]
20
  • [fragment książki, 2010]
  • TytułIntegration of classical and agile project management methodologies based on ontological models
    AutorzyJan WEREWKA, Piotr SZWED, Grzegorz ROGUS
    ŹródłoProduction engineering in making / ed. Piotr Łebkowski. — Kraków : AGH University of Science and Technology Press, 2010. — S. 7–28
21
  • [fragment książki, 2011]
  • TytułIOEM – metodyka inżynierii ontologii w projekcie INSIGMA
    AutorzyPiotr SZWED, Wojciech CHMIEL, Joanna Śliwa, Kamil Gleba, Andrzej GŁOWACZ
    ŹródłoIntegracja systemów informatycznych – nowe wyzwania / red. Janusz Górski, Cezary Orłowski. — Gdańsk : Pomorskie Wydawnictwo Naukowo-Techniczne PWNT, 2011. — S. 119–127
22
  • [fragment książki, 2011]
  • TytułISMESDaD – a Synergetic Methodology for Enterprise Software Development and Deployment
    AutorzyGrzegorz ROGUS, Paweł SKRZYŃSKI, Piotr SZWED, Michał TUREK, Jan WEREWKA
    ŹródłoAspects of production engineering and management / ed. Piotr Łebkowski. — Kraków : AGH University of Science and Technology Press, 2011. — S. 41–61
23
  • [książka, 2010]
  • TytułMetody formalne w inżynierii oprogramowania systemów czasu rzeczywistego
    AutorzyTomasz SZMUC, Marcin SZPYRKA ; współautorzy: Radosław KLIMEK, Konrad KUŁAKOWSKI, Antoni LIGĘZA, Piotr MATYASIK, Grzegorz J. NALEPA, Jacek PIWOWARCZYK, Agata Półrola, Grzegorz ROGUS, Sławomir Samolej, Wojciech SZMUC, Piotr SZWED, Bartosz Trybus, Bożena Woźna-Szcześniak
    DetailsWarszawa : Wydawnictwa Naukowo-Techniczne, 2010. — VI, 464 s.
24
  • [fragment monografii pokonferencyjnej, 2022]
  • TytułMetody i problemy systemów decyzyjnych
    AutorzyRadosław KLIMEK, Konrad KUŁAKOWSKI, Piotr SZWED
    ŹródłoNauka – technika – technologia : seria wydawnicza AGH, T. 5. — Kraków : Wydawnictwa AGH, 2022. — S. 99–114
25
  • [referat, 2015]
  • TytułModeling and recognition of video events with Fuzzy Semantic Petri Nets
    AutorzyPiotr SZWED
    ŹródłoLooking 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. — S. 599-610