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

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

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

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

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

7
8
9
10
  • [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:

11
12
  • [artykuł w czasopiśmie, 2010]
  • TytułOntology based alignment of classic and agile project managment for an it enterpris
    AutorzyPiotr SZWED, Jan WEREWKA, Grzegorz ROGUS
    ŹródłoZeszyty Naukowe Wydziału ETI Politechniki Gdańskiej ; t. 19. Seria: Technologie Informacyjne. — 2010 nr 8, s. 345–350

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

13
  • [artykuł w czasopiśmie, 2010]
  • TytułReprezentacja ontologiczna klasycznej metodyki zarządzania projektami PMBOK
    AutorzyGrzegorz ROGUS, Piotr SZWED, Jan WEREWKA
    ŹródłoZeszyty Naukowe Wydziału ETI Politechniki Gdańskiej ; t. 19. Seria: Technologie Informacyjne. — 2010 nr 8, s. 333–338

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

14
15
16
  • [artykuł w czasopiśmie, 2011]
  • TytułSMESDaD – synergetyczna metodyka rozwijania i wdrażania oprogramowania korporacyjnego
    AutorzyGrzegorz ROGUS, Paweł SKRZYŃSKI, Piotr SZWED, Michał TUREK, Jan WEREWKA
    ŹródłoPAR Pomiary Automatyka Robotyka. — 2011 R. 15 nr 12, s. 196–209

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

17
  • [artykuł w czasopiśmie, 2014]
  • TytułSOAROAD : an ontology of architectural decisions supporting assessment of service oriented architectures
    AutorzyPiotr SZWED, Paweł SKRZYŃSKI, Grzegorz ROGUS, Jan WEREWKA
    ŹródłoInformatica : an International Journal of Computing and Informatics. — 2014 vol. 38 no. 1 special issue: Advances in semantic information retrieval, s. 31–42

  • keywords: SOA, ontology, ATAM, software architecture, architecture assessment, architecture evaluation, enterprise architecture

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

    cyfrowy identyfikator dokumentu:

18
19
  • [artykuł w czasopiśmie, 2010]
  • TytułWykorzystanie ontologii do modelowania zwinnej metodyki zarządzania projektami Scrum
    AutorzyPiotr SZWED, Grzegorz ROGUS, Jan WEREWKA
    ŹródłoZeszyty Naukowe Wydziału ETI Politechniki Gdańskiej ; t. 19. Seria: Technologie Informacyjne. — 2010 nr 8, s. 339–344

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

20
  • [artykuł w czasopiśmie, 2010]
  • TytułXQPN – colored Petri nets for processing XML data with XQuery language
    AutorzyPiotr SZWED
    ŹródłoPrzegląd Elektrotechniczny / Stowarzyszenie Elektryków Polskich. — 2010 R. 86 nr 9, s. 221–225

  • słowa kluczowe: XML, XQuery, kolorowane sieci Petriego

    keywords: XML, Colored Petri Nets, XQuery

    cyfrowy identyfikator dokumentu: