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)



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

typ publikacji
rocznikl. publ.książkifragm.referatyartykułypatentymapyred. czas.inne
ogółem79215382013
202211
202111
201911
201811
2017321
2016752
2015918
2014752
20131165
2012321
201174111
20101416151
20093111
20055221
200322
20013111
200011
język publikacji
rocznikrazempolskojęzyczneanglojęzycznepozostałe języki
ogółem792554
202211
202111
201911
201811
2017312
201677
2015918
201477
20131111
201233
2011743
20101495
2009321
2005523
200322
2001321
200011
kraj wydania
rocznikrazempubl. krajowepubl. zagraniczne
ogółem795227
202211
202111
201911
201811
2017312
201677
2015954
2014716
20131183
2012321
2011761
20101414
200933
200555
200322
200133
200011
Lista Filadelfijska
rocznikrazempubl. z LFpubl. pozostałe
ogółem79574
202211
202111
201911
201811
201733
2016725
201599
2014716
20131111
201233
201177
201014113
200933
200555
200322
200133
200011
punktacja MNiSW
rocznikrazempubl. z pkt. MNiSWpubl. pozostałe
ogółem795920
202211
202111
201911
201811
2017321
201677
2015981
201477
20131111
201233
2011743
201014122
2009312
200555
200322
200133
200011
publikacje recenzowane
rocznikrazempubl. recenzowanepubl. nierecenzowane
ogółem796217
202211
202111
201911
201811
2017321
201677
2015981
201477
20131111
201233
2011743
201014122
2009321
2005514
200322
2001312
200011



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
  • [referat, 2014]
  • TytułAn incremental map-matching algorithm based on Hidden Markov Model
    AutorzyPiotr SZWED, Kamil Pekala
    ŹródłoArtificial 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. — S. 579–590
  • keywords: GPS, map-matching, Hidden Markov Model, Viterbi

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

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

    cyfrowy identyfikator dokumentu:

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

    cyfrowy identyfikator dokumentu:

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

8
  • [referat, 2013]
  • TytułApplication of fuzzy ontological reasoning in an implementation of medical guidelines
    AutorzyPiotr SZWED
    ŹródłoHSI 2013 [Dokument elektroniczny] : 6textsuperscript{th} international conference on Human System Interaction : June 06–08, 2013, Sopot, Poland : conference proceedings. — [Piscataway] : IEEE, cop. 2013. — S. [1–8]
  • keywords: ontology, fuzzy reasoning, medical guidelines, e-health systems

    cyfrowy identyfikator dokumentu: 10.1109/HSI.2013.6577845

9
  • [referat, 2013]
  • TytułApplication of new ATAM tools to evaluation of the dynamic map architecture
    AutorzyPiotr SZWED, Igor WOJNICKI, Sebastian ERNST, Andrzej GŁOWACZ
    ŹródłoMultimedia 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. — S. 248–261
  • keywords: architecture, dynamic map, ATAM, evaluation

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

10
  • [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

    cyfrowy identyfikator dokumentu:

11
  • [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

    cyfrowy identyfikator dokumentu:

12
  • [referat, 2017]
  • TytułAuthorship attribution for Polish texts based on part of speech tagging
    AutorzyPiotr SZWED
    ŹródłoBeyond 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. — S. 316–328
  • keywords: authorship attribution, Polish texts, part of speech tagging

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

13
  • [referat, 2016]
  • TytułBees algorithm for the quadratic assignment problem on CUDA platform
    AutorzyWojciech CHMIEL, Piotr SZWED
    ŹródłoMan-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. — S. 615–625
  • keywords: GPGPU, bees algorithm, CUDA, QAP, GPU calculation, discrete optimization

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

14
  • [referat, 2014]
  • TytułBelief propagation during data integration in a P2P network
    AutorzyPiotr SZWED
    ŹródłoArtificial 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. — S. 805–816
  • keywords: data integration, peer to peer network, belief revision, linear algebra

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

15
16
17
  • [referat, 2016]
  • TytułCombining fuzzy cognitive maps and discrete random variables
    AutorzyPiotr SZWED
    ŹródłoArtificial 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. — S. 344–355
  • keywords: fuzzy cognitive maps, FCM, discrete random variable

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

18
  • [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

19
  • [referat, 2014]
  • TytułContribution of the INSIGMA project to the field of intelligent transportation systems
    AutorzyWojciech CHMIEL, Jacek DAŃDA, Andrzej DZIECH, Sebastian ERNST, Andrzej GŁOWACZ, Piotr KADŁUCZKA, Zbigniew MIKRUT, Piotr PAWLIK, Piotr SZWED, Igor WOJNICKI
    ŹródłoMultimedia communications, services and security : 7th international conference, MCSS 2014 : Krakow, Poland, June 11–12, 2014 : proceedings / eds. Andrzej Dziech, Andrzej Czyżewski. — Cham [etc.] : Springer International Publishing, cop. 2014. — S. 58–72
  • keywords: architecture, GPS, video detector, intelligent transportation systems, route planning, traffic control

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

20
  • [referat, 2015]
  • TytułDWARM: an ontology of data warehouse architecture reference model
    AutorzyPiotr SZWED, Wojciech KOMNATA, Dariusz DYMEK
    ŹródłoBeyond 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. — S. 222–232
  • keywords: ontology, architecture evaluation, data warehousing, data warehouse architecture

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

21
  • [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

22
  • [referat, 2016]
  • TytułEnhancing concept extraction from Polish texts with rule management
    AutorzyPiotr SZWED
    ŹródłoBeyond 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. — S. 341–356
  • keywords: rules, text mining, Petri nets, NLP, unstructured text, inflection, concepts extraction

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

23
  • [referat, 2016]
  • TytułEvaluating efficiency of ArchiMate business processes verification with NuSMV
    AutorzyPiotr SZWED
    ŹródłoInformation 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. — S. 179–196
  • keywords: model checking, ArchiMate, NuSMV, business process verification

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

24
25
  • [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

    cyfrowy identyfikator dokumentu: