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

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

2
3

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

4

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

5

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

6

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

7

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

8

  • 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

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

    cyfrowy identyfikator dokumentu:

9

  • 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

10

  • 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

11

  • 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

12
13

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

14

  • 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

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

    cyfrowy identyfikator dokumentu:

15

  • INSIGMA [Dokument elektroniczny] : Inteligentny System Informacyjny dla Globalnego Monitoringu, Detekcji i Identyfikacji Zagrożeń. Raport techniczny D2.1, Analiza wymagań dla ontologii systemu INSIGMA — [INSIGMA : Intelligent System for Identification and Detection]. D2.1, Analysis of the requirements for INSIGMA system ontology / Joanna Śliwa, Kamil Gleba, Tomasz Podlasek, Przemysław Caban, Wojciech CHMIEL, Piotr SZWED. — Wersja do Windows. — Dane tekstowe. — [Kraków : AGH], [2010]. — 134 s.. — Tryb dostępu: http://insigma.kt.agh.edu.pl/ [2012-02-24]. — Bibliogr. s. 134. — Publikacja dostępna w Internecie po zalogowaniu

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

16

  • 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 — [INSIGMA : Intelligent System for Identification and Detection]. D3.4, Business intelligence type of information, that the company's may be interested / Piotr SZWED, Przemysław Caban, Robert Goniacz. — Wersja do Windows. — Dane tekstowe. — [Kraków : AGH], [2009]. — 16 s.. — Tryb dostępu: http://insigma.kt.agh.edu.pl/ [2012-02-24]. — Dostępny po zalogowaniu w Internecie

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

17

  • 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 — [INSIGMA : Intelligent System for Identification and Detection]. D3.6, Interface specification for supplying traffic data from the central respository to route optimisation algorithms and other system components / Robert Goniacz, Marek Małowidzki, Przemysław Bereziński, Marek Amanowicz, Wojciech CHMIEL, Piotr SZWED, Piotr KADŁUCZKA, Sebastian ERNST, Andrzej GŁOWACZ. — Wersja do Windows. — Dane tekstowe. — [Kraków : AGH], [2011]. — 88 s.. — Tryb dostępu: http://insigma.kt.agh.edu.pl/ [2012-02-24]. — Tekst dostępny po zalogowaniu w Internecie

  • 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

  • Integracja modeli ontologicznych metodyk zarządzania projektami IT na przykładzie zarządzania zmianą — Integration of ontological models for IT project management methodologies on example of change management / Piotr SZWED, Grzegorz ROGUS, Jan WEREWKA // W: Inżynieria oprogramowania w procesach integracji systemów informatycznych / red. Janusz Górski, Cezary Orłowski. — Gdańsk : Pomorskie Wydawnictwo Naukowo-Techniczne PWNT, 2010. — (Automatyka i Informatyka : Technologie Informacyjne, Zarządzanie / ed. serii Zdzisław Kowalczuk). — ISBN: 978-83-926806-5-9. — S. 337–344. — Bibliogr. s. 344, Streszcz., Abstr.

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

19

  • Integration of classical and agile project management methodologies based on ontological models — Integracja klasycznych i zwinnych metodyk zarządzania projektami informatycznymi w oparciu o modele ontologiczne / Jan WEREWKA, Piotr SZWED, Grzegorz ROGUS // W: Zarzą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. — Wersja do Windows. — Dane tekstowe. — Kraków : WZ AGH, 2010. — 1 dysk optyczny. — Opis częśc. wg CD-ROM-u. — S. [1–23]. — Wymagania systemowe: Adobe Acrobat Reader ; napęd CD-ROM. — Bibliogr. s. [22–23], Summ., Streszcz.

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

20

  • Integration of classical and agile project management methodologies based on ontological models / Jan WEREWKA, Piotr SZWED, Grzegorz ROGUS // W: Production engineering in making / ed. Piotr Łebkowski. — Kraków : AGH University of Science and Technology Press, 2010. — ISBN: 978-83-7464-370-2. — S. 7–28. — Bibliogr. s. 27–28, Abstr.

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

21

  • IOEM – metodyka inżynierii ontologii w projekcie INSIGMA — [IOEM – ontology engineering methodology in INSIGMA project] / Piotr SZWED, Wojciech CHMIEL, Joanna Śliwa, Kamil Gleba, Andrzej GŁOWACZ // W: Integracja systemów informatycznych – nowe wyzwania / red. Janusz Górski, Cezary Orłowski. — Gdańsk : Pomorskie Wydawnictwo Naukowo-Techniczne PWNT, 2011. — (Automatyka i Informatyka : Technologie Informacyjne, Zarządzanie / ed. serii Zdzisław Kowalczuk ; 10). — ISBN: 978-83-926806-7-3. — S. 119–127. — Bibliogr. s. 127. — Afiliacja P. Szwed, W. Chmiel, A. Głowacz: Akademia Górniczo-Hutnicza w Krakowie

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

22

  • ISMESDaD – a Synergetic Methodology for Enterprise Software Development and Deployment / Grzegorz ROGUS, Paweł SKRZYŃSKI, Piotr SZWED, Michał TUREK, Jan WEREWKA // W: Aspects of production engineering and management / ed. Piotr Łebkowski. — Kraków : AGH University of Science and Technology Press, 2011. — ISBN: 978-83-7464-478-5. — S. 41–61. — Bibliogr. s. 60–61, 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:

23
24

  • Metody i problemy systemów decyzyjnych — Methods and problems of decision systems / Radosław KLIMEK, Konrad KUŁAKOWSKI, Piotr SZWED // W: Nauka – technika – technologia : seria wydawnicza AGH, T. 5. — Kraków : Wydawnictwa AGH, 2022. — Materiały z konferencji naukowej "Wydział Elektryczny AGH – Wczoraj, Dziś i Jutro" : 23 czerwca 2022, Kraków. — ISBN: 978-83-66727-84-7 ; e-ISBN: 978-83-67427-00-5. — S. 99–114. — Bibliogr. s. 112–114, Streszcz., Abstr.. — tekst: https://winntbg.bg.agh.edu.pl/skrypty4/0602/NTT_tom5_099.pdf

  • 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

  • Modeling and recognition of video events with Fuzzy Semantic Petri Nets / Piotr SZWED // W: Looking 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. — (Advances in Decision Sciences and Future Studies ; Vol. 2). — ISBN: 978-83-939344-1-6. — S. 599-610. — Bibliogr. s. 609–610, Abstr.. — Toż na CD-ROMie. — S. 611–622. — Wymagania systemowe: Adobe Reader ; napęd CD-ROM. — Bibliogr. s. 621–622, Abstr. — ISBN 978-83-912831-8-9

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

    cyfrowy identyfikator dokumentu: