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.

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Wojciech Chmiel

    cyfrowy identyfikator dokumentu:

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.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

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.

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Wojciech Chmiel, Piotr Kadłuczka, Andrzej Głowacz, Sebastian Ernst

    cyfrowy identyfikator dokumentu:

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]

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Grzegorz Rogus, Jan Werewka

    cyfrowy identyfikator dokumentu:

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

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Wojciech Chmiel, Andrzej Głowacz

    cyfrowy identyfikator dokumentu:

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

  • keywords: temporal logic, Petri nets, fuzzy ontology, event recognition

    cyfrowy identyfikator dokumentu:

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

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

8
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

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

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

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

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

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Grzegorz Rogus

    cyfrowy identyfikator dokumentu:

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

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Antoni Ligęza

    cyfrowy identyfikator dokumentu:

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

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Grzegorz Rogus

    cyfrowy identyfikator dokumentu:

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

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

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

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

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

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

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

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Wojciech Chmiel, Piotr Kadłuczka, Andrzej Głowacz

    cyfrowy identyfikator dokumentu: