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

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

2
3
  • [artykuł w czasopiśmie, 2013]
  • TytułAn approach to guidelines implementation in an e-heath system supporting chronic care
    AutorzyPiotr SZWED, Mariusz Duplaga
    ŹródłoAutomatyka. — 2013 vol. 17 no. 2, s. 241–252. — tekst: http://journals.bg.agh.edu.pl/AUTOMAT/2013.17.2/automat.2013.17.2.241.pdf

  • słowa kluczowe: wytyczne medyczne, reguły rozmyte, systemy telemedyczne

    keywords: medical guidelines, e-health systems, fuzzy rules

    cyfrowy identyfikator dokumentu:

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

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Antoni Ligęza, Tomasz Bartłomiej Szmuc, Grzegorz Jacek Nalepa, Marcin Szpyrka, Igor Wojnicki

    cyfrowy identyfikator dokumentu:

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

  • słowa kluczowe: metoda tablic semantycznych, ArchiMate, wnioskowanie dedukcyjne, weryfikacja oprogramowania, liniowa logika temporalna

    keywords: semantic tableaux method, ArchiMate, deductive temporal reasoning, software verification, Linear Temporal Logic

    Zobacz pełny wykaz publikacji Autora/Autorów: Radosław Klimek, Stanisław Jędrusik

    cyfrowy identyfikator dokumentu:

6
  • [artykuł w czasopiśmie, 2013]
  • TytułApplication of fuzzy cognitive maps to analysis of development scenarios for academic units
    AutorzyPiotr SZWED
    ŹródłoAutomatyka. — 2013 vol. 17 no. 2, s. 229–239. — tekst: http://journals.bg.agh.edu.pl/AUTOMAT/2013.17.2/automat.2013.17.2.229.pdf

  • słowa kluczowe: sztuczna inteligencja, logika rozmyta, rozmyte mapy kognitywne, modele jakościowe

    keywords: fuzzy logic, fuzzy cognitive maps, artificial intelligence, qualitative models

    cyfrowy identyfikator dokumentu:

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

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

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.

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Leszek Kotulski, Dariusz Dymek, Wojciech Komnata

    cyfrowy identyfikator dokumentu:

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

  • keywords: rules, text mining, NLP, concept extraction, unstructured text, inflection

    cyfrowy identyfikator dokumentu: 10.15439/2015F280

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

  • keywords: model checking, ArchiMate, NuSMV, business process verification

    cyfrowy identyfikator dokumentu: 10.15439/2015F44

12
13
  • [artykuł w czasopiśmie, 2010]
  • TytułFormal analysis of use case diagrams
    AutorzyRadosław KLIMEK, Piotr SZWED
    ŹródłoComputer Science. — 2010 vol. 11, s. 115–131. — tekst: http://journals.bg.agh.edu.pl/COMPUTER/2010/cs2010-08.pdf

  • słowa kluczowe: UML, przypadek użycia, model formalny, weryfikacja, weryfikacja modelowa, logika temporalna, metoda tablic semantycznych

    keywords: UML, use case, formal model, model checking, temporal logic, semantic tableau, verification

    Zobacz pełny wykaz publikacji Autora/Autorów: Radosław Klimek

    cyfrowy identyfikator dokumentu:

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

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Grzegorz Rogus, Magdalena Szymczyk, Piotr Szymczyk

    cyfrowy identyfikator dokumentu:

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.

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

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.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

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.

  • 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:

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

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

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]

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

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

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

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

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

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

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Grzegorz Rogus, Jan Werewka, Paweł Skrzyński, Michał Turek

    cyfrowy identyfikator dokumentu:

23
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

  • słowa kluczowe: rozmyte mapy kognitywne, problem decyzyjny, porównywanie parami, wnioskowanie logiczne

    keywords: fuzzy cognitive maps, decision problem, pairwise comparison, logical inference

    Zobacz pełny wykaz publikacji Autora/Autorów: Radosław Klimek, Konrad Kułakowski

    cyfrowy identyfikator dokumentu: 10.7494/978-83-67427-00-5_7

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

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

    cyfrowy identyfikator dokumentu: