Wykaz publikacji wybranego autora

Piotr Szwed, dr inż.

adiunkt

Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej
WEAIiIB-kis, Katedra Informatyki Stosowanej

[dyscyplina wiodąca] 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

ResearcherID: C-8474-2013

Scopus: 55188460100

PBN: 909867

OPI Nauka Polska

System Informacyjny AGH (SkOs)



Statystyka obejmuje publikacje afiliowane AGH od 2008 roku włącznie

typ publikacji
rocznikl. publ.książkifragm.referatyartykułypatentymapyred. czas.inne
ogółem77214381913
201911
201811
2017321
2016752
2015817
2014752
20131275
2012321
201174111
20101416151
20093111
20055221
200322
20013111
200011
język publikacji
rocznikrazempolskojęzyczneanglojęzycznepozostałe języki
ogółem772453
201911
201811
2017312
201677
2015817
201477
20131212
201233
2011743
20101495
2009321
2005523
200322
2001321
200011
kraj wydania
rocznikrazempubl. krajowepubl. zagraniczne
ogółem775126
201911
201811
2017312
201677
2015844
2014716
20131293
2012321
2011761
20101414
200933
200555
200322
200133
200011
Lista Filadelfijska
rocznikrazempubl. z LFpubl. pozostałe
ogółem77473
201911
201811
201733
2016725
201588
2014716
20131212
201233
201177
201014113
200933
200555
200322
200133
200011
punktacja MNiSW
rocznikrazempubl. z pkt. MNiSWpubl. pozostałe
ogółem775720
201911
201811
2017321
201677
201588
201477
201312111
201233
2011743
201014122
2009312
200555
200322
200133
200011
publikacje recenzowane
rocznikrazempubl. recenzowanepubl. nierecenzowane
ogółem776017
201911
201811
2017321
201677
201588
201477
201312111
201233
2011743
201014122
2009321
2005514
200322
2001312
200011



1
  • Analysis, verification and design of tabular systems : logical, algebraic and graphical methodsAnaliza, 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 = Automatics ; ISSN 1429-3447. — Tytuł poprz.: Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie. — 2001 t. 5 z. 1/2, s. 345–354. — Bibliogr. s. 353–354, Streszcz., Summ.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

2
  • An approach to guidelines implementation in an e-heath system supporting chronic careImplementacja 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
  • An incremental map-matching algorithm based on Hidden Markov Model / Piotr SZWED, Kamil Pekala // W: Artificial Intelligence and Soft Computing : 13th International Conference, ICAISC 2014 : Zakopane, Poland, June 1–5, 2014 : proceedings, Pt. 2 / eds. Leszek Rutkowski, [et al.]. — Cham, [etc.] : Springer, cop. 2014. — (Lecture Notes in Computer Science ; ISSN 0302-9743. Lecture Notes in Artificial Intelligence ; 8468). — ISBN: 978-3-319-07175-6 ; e-ISBN: 978-3-319-07176-3. — S. 579–590. — Bibliogr. s. 589–590, Abstr.

  • keywords: GPS, map-matching, Hidden Markov Model, Viterbi

    cyfrowy identyfikator dokumentu: 10.1007/978-3-319-07176-3_51

4
  • Application of deductive reasoning to the verification of ArchiMate behavioral elementsZastosowanie 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

    cyfrowy identyfikator dokumentu:

5
  • Application of fuzzy cognitive maps to analysis of development scenarios for academic unitsZastosowanie 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 fuzzy ontological reasoning in an implementation of medical guidelines / Piotr SZWED // W: HSI 2013 [Dokument elektroniczny] : 6\textsuperscript{th} international conference on Human System Interaction : June 06–08, 2013, Sopot, Poland : conference proceedings. — Wersja do Windows. — Dane tekstowe. — [Piscataway] : IEEE, cop. 2013. — 1 dysk optyczny. — e-ISBN: 978-1-4673-5636-7. — S. [1–8]. — Wymagania systemowe: Adobe Reader ; napęd CD-ROM. — Bibliogr. s. [8], Abstr.. — Toż w wersji drukowanej. — S. 342–349. — ISBN 978-1-4673-5637-4 ; ISBN 978-1-4673-5635-0

  • keywords: ontology, fuzzy reasoning, medical guidelines, e-health systems

    cyfrowy identyfikator dokumentu: 10.1109/HSI.2013.6577845

7
  • Application of new ATAM tools to evaluation of the dynamic map architecture / Piotr SZWED, Igor WOJNICKI, Sebastian ERNST, Andrzej GŁOWACZ // W: Multimedia communications, services and security : 6th International conference, MCSS 2013 : Krakow, Poland, June 6–7, 2013 : proceedings / eds. Andrzej Dziech, Andrzej Czyżewski. — Berlin ; Heidelberg : Springer-Verlag, cop. 2013. — (Communications in Computer and Information Science ; ISSN 1865-0929 ; 368). — ISBN: 978-3-642-38558-2 ; e-ISBN: 978-3-642-38559-9. — S. 248–261. — Bibliogr. s. 260–261, Abstr.

  • keywords: architecture, dynamic map, ATAM, evaluation

    cyfrowy identyfikator dokumentu: 10.1007/978-3-642-38559-9_22

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

    cyfrowy identyfikator dokumentu:

9
  • Architektury hurtowni danych : model referencyjny i formalny opis architektury[Data warehouse architectures : reference model and architecture formed description] / Dariusz DYMEK, Wojciech KOMNATA, Leszek KOTULSKI, Piotr SZWED. — Kraków : Wydawnictwa AGH, 2015. — 186, [1] s.. — (Wydawnictwa Naukowe / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie ; KU 0595). — Bibliogr. s. 182–[187]. — ISBN: 978-83-7464-749-6

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

10
  • Authorship attribution for Polish texts based on part of speech tagging / Piotr SZWED // W: Beyond Databases, Architectures and Structures : towards efficient solutions for data analysis and knowledge representation : 13th international conference, BDAS 2017 : Ustroń, Poland, May 30–June 2, 2017 : proceedings / eds. Stanisław Kozielski, [et al.]. — Switzerland : Springer International Publishing, cop. 2017. — (Communications in Computer and Information Science ; ISSN 1865-0929 ; 716). — ISBN: 978-3-319-58273-3 ; e-ISBN: 978-3-319-58274-0. — S. 316–328. — Publikacja dostępna online od: 2017-04-27. — tekst: https://goo.gl/erCizr

  • keywords: authorship attribution, Polish texts, part of speech tagging

    cyfrowy identyfikator dokumentu: 10.1007/978-3-319-58274-0_26

11
  • A framework for testing Web services based on XQPN Petri nets / Piotr SZWED, Dariusz Wadowski, Krzysztof Paździora // W: IFIP 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. — ISBN: 978-83-7464-259-0. — S. 53–66. — Bibliogr. s. 65–66, Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

12
13
  • Bees algorithm for the quadratic assignment problem on CUDA platform / Wojciech CHMIEL, Piotr SZWED // W: Man-Machine interactions 4 : 4th International Conference on Man-Machine Interactions, ICMMI 2015 : Kocierz Pass, Poland, October 6–9, 2015 / eds. Aleksandra Gruca, [et al.]. — Switzerland : Springer, cop. 2016. — (Advances in Intelligent Systems and Computing ; ISSN 2194-5357 ; vol. 391). — ISBN: 978-3-319-23436-6 ; e-ISBN: 978-3-319-23437-3. — S. 615–625. — Bibliogr. s. 624–625, Abstr.

  • keywords: GPGPU, bees algorithm, CUDA, QAP, GPU calculation, discrete optimization

    cyfrowy identyfikator dokumentu: 10.1007/978-3-319-23437-3_53

14
  • Belief propagation during data integration in a P2P network / Piotr SZWED // W: Artificial Intelligence and Soft Computing : 13th International Conference, ICAISC 2014 : Zakopane, Poland, June 1–5, 2014 : proceedings, Pt. 1 / eds. Leszek Rutkowski [et al.]. — Berlin ; Heidelberg : Springer-Verlag, cop. 2014. — (Lecture Notes in Computer Science ; ISSN 0302-9743. Lecture Notes in Artificial Intelligence ; 8467). — ISBN: 978-3-319-07172-5 ; e-ISBN: 978-3-319-07173-2. — S. 805–816. — Bibliogr. s. 815–816, Abstr.

  • keywords: data integration, peer to peer network, belief revision, linear algebra

    cyfrowy identyfikator dokumentu: 10.1007/978-3-319-07173-2_69

15
  • Business processes in a distributed surveillance system integrated through workflowProcesy 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: modelowanie biznesowe, ArchiMate, systemy nadzoru, przepływy pracy

    keywords: surveillance systems, workflows, business modeling, ArchiMate

    cyfrowy identyfikator dokumentu: 10.7494/automat.2013.17.1.115

16
  • Combining fuzzy cognitive maps and discrete random variables / Piotr SZWED // W: Artificial intelligence and soft computing : 15th international conference, ICAISC 2016 : Zakopane, Poland, June 12–16, 2016 : proceedings, Pt. 1 / eds. Leszek Rutkowski, [et al.]. — Switzerland : Springer International Publishing, cop. 2016. — (Lecture Notes in Artificial Intelligence ; ISSN 0302-9743 ; 9692). — ISBN: 978-3-319-39377-3 ; e-ISBN: 978-3-319-39378-0. — S. 344–355. — Bibliogr. s. 355, Abstr.. — Toż na Dysku Flash

  • keywords: fuzzy cognitive maps, FCM, discrete random variable

    cyfrowy identyfikator dokumentu: 10.1007/978-3-319-39378-0_30

17
  • Concepts extraction from unstructured Polish Texts: a rule based approach / Piotr SZWED // W: FedCSIS : abstracts of the Federated Conference on Computer Science and Information Systems : September 13-16, 2015, Łódź, Poland. — [Piscataway : IEEE], [2015]. — W bazie Web of Science seria: ACSIS-Annals of Computer Science and Information Systems ; ISSN 2300-5963 ; vol. 5. — Opis częśc. wg okł.. — ISBN: 978-8-3608-1066-8. — S. 46. — Publikacja dostępna w części: 5\textsuperscript{th} International workshop on Advances in semantic information retrieval. — Pełny tekst na dołączonym Dysku Flash. — S. 367-375. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 375, Abstr. — W bazie Web of Science zakres stron: 355–364

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

    cyfrowy identyfikator dokumentu: 10.15439/2015F280

18
  • Contribution of the INSIGMA project to the field of intelligent transportation systems / Wojciech CHMIEL, Jacek DAŃDA, Andrzej DZIECH, Sebastian ERNST, Andrzej GŁOWACZ, Piotr KADŁUCZKA, Zbigniew MIKRUT, Piotr PAWLIK, Piotr SZWED, Igor WOJNICKI // W: Multimedia communications, services and security : 7 th international conference, MCSS 2014 : Krakow, Poland, June 11–12, 2014 : proceedings / eds. Andrzej Dziech, Andrzej Czyżewski. — Cham [etc.] : Springer International Publishing, cop. 2014. — (Communications in Computer and Information Science ; ISSN 1865-0929 ; 429). — ISBN: 978-3-319-07568-6 ; e-ISBN: 978-3-319-07569-3. — S. 58–72. — Bibliogr. s. 71–72, Abstr.

  • keywords: architecture, GPS, video detector, intelligent transportation systems, route planning, traffic control

    cyfrowy identyfikator dokumentu: 10.1007/978-3-319-07569-3_5

19
  • DWARM: an ontology of data warehouse architecture reference model / Piotr SZWED, Wojciech KOMNATA, Dariusz DYMEK // W: Beyond Databases, Architectures and Structures : 11th international conference, BDAS 2015 : Ustroń, Poland, May 26–29, 2015 : proceedings / eds. Stanisław Kozielski, [et al.]. — Switzerland : Springer International Publishing, cop. 2015. — (Communications in Computer and Information Science ; ISSN 1865-0929 ; 521). — ISBN: 978-3-319-18421-0 ; e-ISBN: 978-3-319-18422-7. — S. 222–232. — Bibliogr. s. 231–232, Abstr.

  • keywords: ontology, architecture evaluation, data warehousing, data warehouse architecture

    cyfrowy identyfikator dokumentu: 10.1007/978-3-319-18422-7_20

20
  • Efficiency of formal verification of ArchiMate business processes with NuSMV model checker / Piotr SZWED // W: FedCSIS : abstracts of the Federated Conference on Computer Science and Information Systems : September 13-16, 2015, Łódź, Poland. — [Piscataway : IEEE], [2015]. — W bazie Web of Science seria: ACSIS-Annals of Computer Science and Information Systems ; ISSN 2300-5963 ; vol. 5. — Opis częśc. wg okł.. — ISBN: 978-8-3608-1066-8. — S. 101. — Publikacja dostępna w części: 13\textsuperscript{th} Conference on Advanced information technologies for management. — Pełny tekst na dołączonym Dysku Flash. — S. 1437-1446. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 1445-1446, Abstr. — W bazie Web of Science zakres stron: 1427–1436

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

    cyfrowy identyfikator dokumentu: 10.15439/2015F44

21
  • Enhancing concept extraction from Polish texts with rule management / Piotr SZWED // W: Beyond Databases, Architectures and Structures : advanced technologies for data mining and knowledge discovery : 12th international conference, BDAS 2016 : Ustroń, Poland, May 31–June 3, 2016 : proceedings / eds. Stanisław Kozielski [et al.]. — Switzerland : Springer International Publishing, cop. 2016. — (Communications in Computer and Information Science ; ISSN 1865-0929 ; 613). — ISBN: 978-3-319-34098-2 ; e-ISBN: 978-3-319-34099-9. — S. 341–356. — Bibliogr. s. 354–356, Abstr.

  • keywords: rules, text mining, Petri nets, NLP, unstructured text, inflection, concepts extraction

    cyfrowy identyfikator dokumentu: 10.1007/978-3-319-34099-9_27

22
  • Evaluating efficiency of ArchiMate business processes verification with NuSMV / Piotr SZWED // W: Information technology for management : federated conference on computer science and information systems, ISM 2015 and AITM 2015 : Lodz, Poland, September 2015 : revised selected papers / ed. Ewa Ziemba. — Switzerland : Springer International Publishing, cop. 2016. — (Lecture Notes in Business Information Processing ; ISSN 1865-1348 ; 243). — ISBN: 978-3-319-30527-1 ; e-ISBN: 978-3-319-30528-8. — S. 179–196. — Bibliogr. s. 195–196, Abstr.

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

    cyfrowy identyfikator dokumentu: 10.1007/978-3-319-30528-8_11

23
24
  • Formal analysis of use case diagramsFormalna 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, verification, model checking, temporal logic, semantic tableau

    cyfrowy identyfikator dokumentu:

25
  • Implementacja semaforów i kolejek komunikatów w systemie CrOS[Implementation of semaphores and message queues in CrOS system] / Piotr SZWED, Grzegorz ROGUS, Piotr SZYMCZYK, Magdalena SZYMCZYK // W: Metody wytwarzania i zastosowania systemów czasu rzeczywistego : praca zbiorowa / pod red. Leszka Trybusa i Sławomira Samoleja. — Warszawa : Wydawnictwa Komunikacji i Łączności, 2010. — ISBN: 978-83-206-1780-1. — S. 277–288. — Bibliogr. s. 288

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: