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

  • An approach to guidelines implementation in an e-heath system supporting chronic care — Implementacja wytycznych medycznych w telemedycznym systemie opieki przewlekłej / Piotr SZWED, Mariusz Duplaga // Automatyka = Automatics ; ISSN 1429-3447. — Tytuł poprz.: Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie. — 2013 vol. 17 no. 2, s. 241–252. — Bibliogr. s. 252, Streszcz., Summ.. — 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

  • Analysis, verification and design of tabular systems : logical, algebraic and graphical methods — Analiza, weryfikacja i projektowanie systemów tablicowych : metody logiczne, algenraiczne i graficzne / Antoni LIGĘZA, Grzegorz J. NALEPA, Tomasz SZMUC, Marcin SZPYRKA, Piotr SZWED, Igor WOJNICKI // Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie ; ISSN 1429-3447. — 2001 t. 5 z. 1/2, s. 345–354. — Bibliogr. s. 353–354, Streszcz., Summ.

  • 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

  • Application of deductive reasoning to the verification of ArchiMate behavioral elements — Zastosowanie wnioskowania dedukcyjnego do weryfikacji opisów zachowania w języku ArchiMate / Radosław KLIMEK, Piotr SZWED, Stanisław JĘDRUSIK // Prace Naukowe Uniwersytetu Ekonomicznego we Wrocławiu = Research Papers of Wrocław University of Economics ; ISSN 1899-3192 ; 29. Informatyka Ekonomiczna = Business Informatics ; ISSN 1507-3858. — 2013 nr 3, s. 76–97. — Bibliogr. s. 96–97, Abstr., Streszcz.. — AITM'2013 : 11th conference on Advanced Information Technologies for Management : Cracow, September 8–11, 2013

  • 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

  • Application of fuzzy cognitive maps to analysis of development scenarios for academic units — Zastosowanie rozmytych map kognitywnych do badania scenariuszy rozwoju jednostek akademickich / Piotr SZWED // Automatyka = Automatics ; ISSN 1429-3447. — Tytuł poprz.: Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie. — 2013 vol. 17 no. 2, s. 229–239. — Bibliogr. s. 239, Streszcz., Summ.. — 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

  • Application of OBDD diagrams in verification of tabular rule systems / Piotr SZWED, Antoni LIGĘZA // Schedae Informaticae ; ISSN 1732-3916. — Tytuł poprz.: Zeszyty Naukowe Uniwersytetu Jagiellońskiego. Prace Informatyczne ; ISSN: 0860-0295. — 2005 vol. 14 February, s. 75–94. — Bibliogr. s. 93–94, Abstr.. — Spec. iss. contains selected papers: IV National conference Computer methods and systems in scientific research and engineering design : Kraków, November 2003

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

7

  • Business processes in a distributed surveillance system integrated through workflow — Procesy biznesowe w rozproszonym systemie nadzoru integrowanym przez przepływ pracy / Piotr SZWED, Wojciech CHMIEL, Stanisław JĘDRUSIK, Piotr KADŁUCZKA // Automatyka = Automatics ; ISSN 1429-3447. — Tytuł poprz.: Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie. — 2013 vol. 17 no. 1, s. 115–126. — Bibliogr. s. 126, Summ., Streszcz.. — tekst: http://journals.bg.agh.edu.pl/AUTOMAT/2013.17.1/automat.2013.17.1.115.pdf

  • słowa kluczowe: ArchiMate, systemy nadzoru, przepływy pracy, modelowanie biznesowe

    keywords: surveillance systems, workflows, business modeling, ArchiMate

    Zobacz pełny wykaz publikacji Autora/Autorów: Wojciech Chmiel, Piotr Kadłuczka, Stanisław Jędrusik

    cyfrowy identyfikator dokumentu: 10.7494/automat.2013.17.1.115

8
9
10

  • Formal analysis of use case diagrams — Formalna analiza diagramów przypadków użycia / Radosław KLIMEK, Piotr SZWED // Computer Science ; ISSN 1508-2806. — 2010 vol. 11, s. 115–131. — Bibliogr. s. 130–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

  • Ontology based alignment of classic and agile project managment for an it enterpris — Zastosowanie ontologii do integracji klasycznych i zwinnych metodyk zarządzania projektami w przedsiębiorstwie informatycznym / Piotr SZWED, Jan WEREWKA, Grzegorz ROGUS // Zeszyty Naukowe Wydziału ETI Politechniki Gdańskiej = Gdansk University of Technology Faculty of ETI Annals ; t. 19. Seria: Technologie Informacyjne ; ISSN 1732-1166. — 2010 nr 8, s. 345–350. — Bibliogr. s. 350, Abstr., Streszcz.. — ISBN 978-83-60779-02-6

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

13

  • Reprezentacja ontologiczna klasycznej metodyki zarządzania projektami PMBOK — Ontological model of classic project management PMBOK / Grzegorz ROGUS, Piotr SZWED, Jan WEREWKA // Zeszyty Naukowe Wydziału ETI Politechniki Gdańskiej = Gdansk University of Technology Faculty of ETI Annals ; t. 19. Seria: Technologie Informacyjne ; ISSN 1732-1166. — 2010 nr 8, s. 333–338. — Bibliogr. s. 338, Streszcz., Summ.. — ISBN: 978-83-60779-02-6

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

14

  • Risk assessment for a video surveillance system based on fuzzy cognitive maps / Piotr SZWED, Paweł SKRZYŃSKI, Wojciech CHMIEL // Multimedia Tools and Applications ; ISSN 1380-7501. — 2016 vol. 75 iss. 17, s. 10667–10690. — Bibliogr. s. 10686–10688, Abstr.. — Publikacja dostępna online od: 2014-05-25. — tekst: https://goo.gl/V8ue9S

  • keywords: security, video surveillance, risk assessment, fuzzy cognitive maps

    Zobacz pełny wykaz publikacji Autora/Autorów: Wojciech Chmiel, Paweł Skrzyński

    cyfrowy identyfikator dokumentu: 10.1007/s11042-014-2047-6

15
16

  • SMESDaD – synergetyczna metodyka rozwijania i wdrażania oprogramowania korporacyjnego — SMESDaD – synergetic methodology for enterprise software development and deployment / Grzegorz ROGUS, Paweł SKRZYŃSKI, Piotr SZWED, Michał TUREK, Jan WEREWKA // PAR Pomiary Automatyka Robotyka ; ISSN 1427-9126. — 2011 R. 15 nr 12, s. 196–209. — Bibliogr. s. 208, Streszcz., Abstr.

  • 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

  • SOAROAD : an ontology of architectural decisions supporting assessment of service oriented architectures / Piotr SZWED, Paweł SKRZYŃSKI, Grzegorz ROGUS, Jan WEREWKA // Informatica : an International Journal of Computing and Informatics ; ISSN 0350-5596. — 2014 vol. 38 no. 1 special issue: Advances in semantic information retrieval, s. 31–42. — Bibliogr. s. 40–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

  • Towards an ontology approach to ATAM based assessment of service oriented architectures — Ontologia dla oceny za pomocą metody ATAM architektur zorientowanych na usługi / Piotr SZWED, Grzegorz ROGUS, Paweł SKRZYŃSKI, Michał TUREK, Jan WEREWKA // Automatyka = Automatics ; ISSN 1429-3447. — Tytuł poprz.: Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie. — 2012 vol. 16 no. 2, s. 175–187. — Bibliogr. s. 186–187, Streszcz., Summ.. — tekst: http://journals.bg.agh.edu.pl/AUTOMAT/2012.16.2/automat.2012.16.2.175.pdf

  • słowa kluczowe: ocena architektury, ATAM, ontologie

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

    cyfrowy identyfikator dokumentu:

19

  • Wykorzystanie ontologii do modelowania zwinnej metodyki zarządzania projektami Scrum — [Ontology based modeling of agile project management methodology Scrum] / Piotr SZWED, Grzegorz ROGUS, Jan WEREWKA // Zeszyty Naukowe Wydziału ETI Politechniki Gdańskiej = Gdansk University of Technology Faculty of ETI Annals ; t. 19. Seria: Technologie Informacyjne ; ISSN 1732-1166. — 2010 nr 8, s. 339–344. — Bibliogr. s. 344, Streszcz., Summ.. — ISBN: 978-83-60779-02-6

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

20

  • XQPN – colored Petri nets for processing XML data with XQuery language — Nowa klasa kolorowanych sieci Petriego: XQPN / Piotr SZWED // Przegląd Elektrotechniczny = Electrical Review / Stowarzyszenie Elektryków Polskich ; ISSN 0033-2097. — 2010 R. 86 nr 9, s. 221–225. — Bibliogr. s. 225, Abstr., Streszcz.

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

    keywords: XML, Colored Petri Nets, XQuery

    cyfrowy identyfikator dokumentu: