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
  • [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.
2
  • [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.
3
  • [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.
4
  • [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]
5
  • [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
6
  • [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
7
  • [referat, 2003]
  • TytułPoprawność względna sieci Petriego dla liniowej funkcji obserwacji
    AutorzyPiotr SZWED
    ŹródłoMetody 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. — S. 805–810
8
  • [zgłoszenie patentowe, 2017]
  • TytułSystem i sposób zarządzania regułami sterowania sygnalizacją świetlną na skrzyżowaniu
    InventorAkademia 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
    DetailsInt.Cl.: G08G 1/08textsuperscript{(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 ; 2017  nr 11, s. 42. — tekst: http://patenty.bg.agh.edu.pl/pelneteksty/PL414870A1.pdf
9
  • [referat, 2005]
  • TytułVerification of relative correctness of Petri nets
    AutorzyPiotr SZWED
    ŹródłoCMS'05 : Computer Methods and Systems : V konferencja : 14–16 November 2005, Kraków, Poland. Vol. 2, Regular sessions / 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
10
  • [referat, 2005]
  • TytułVerification of the correctness of Real Time systems specified with timed Petri nets
    AutorzyPiotr SZWED
    ŹródłoCMS'05 : Computer Methods and Systems : V konferencja : 14–16 November 2005, Kraków, Poland. Vol. 2, Regular sessions / 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
11
  • [fragment książki, 2005]
  • TytułWeryfikacja poprawności względnej sieci Petriego
    AutorzyPiotr SZWED, Grzegorz ROGUS
    ŹródłoZastosowania teorii systemów / red. Ewa Kochan. — Kraków : WIMiR AGH, 2005. — S. 305–314
12
  • [referat, 2003]
  • TytułZastosowanie diagramów OBDD do weryfikacji tablicowych systemów regułowych
    AutorzyPiotr SZWED, Antoni LIGĘZA
    ŹródłoMetody 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. — S. 83–88
13
  • [fragment książki, 2005]
  • TytułZastosowanie języka LOTOS w procesie weryfikacji systemów reaktywnych
    AutorzyGrzegorz ROGUS, Piotr SZWED
    ŹródłoZastosowania teorii systemów / red. Ewa Kochan. — Kraków : WIMiR AGH, 2005. — S. 259–268
14
  • [referat, 2000]
  • TytułZastosowanie liniowej funkcji obserwacji do analizy poprawności oprogramowania współbieżnego
    AutorzyPiotr SZWED
    ŹródłoSystemy 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. — S. 99–108
15
  • [fragment książki, 2001]
  • TytułZastosowanie liniowej funkcji obserwacji do analizy poprawności systemów czasu rzeczywistego
    AutorzyPiotr SZWED
    ŹródłoAnaliza 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. — S. 158–198
16
  • [referat, 2001]
  • TytułZastosowanie liniowej funkcji obserwacji do weryfikacji poprawności systemów czasu rzeczywistego
    AutorzyPiotr SZWED
    ŹródłoSystemy 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
17
  • [fragment książki, 2011]
  • TytułZastosowanie ontologii do wspomagania decyzji w podsystemie wyznaczania trasy INSIGMA
    AutorzyWojciech CHMIEL, Piotr SZWED, Piotr KADŁUCZKA, Joanna Śliwa, 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. 257–264