Wykaz publikacji wybranego autora

Paweł Skrzyński, 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-1193-205X połącz konto z ORCID

ResearcherID: brak

Scopus: 51061351100

PBN: 5e70922c878c28a0473911e9

OPI Nauka Polska

System Informacyjny AGH (SkOs)

1
2

  • Agent-based market simulation using collective intelligence computational model / Paweł SKRZYŃSKI, Tadeusz SZUBA, Stanisław SZYDŁO // 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. 127–136. — Bibliogr. s. 136, Abstr.

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Stanisław Szydło, Tadeusz Szuba

    cyfrowy identyfikator dokumentu:

3

  • Analiza projektu sponsorowania siatkówki przez markę Plus — Corporate sponsorship programs in sport – a detailed analysis of Plus brand sponsoring Polish [volleyball] / Magdalena Grzybowska, Paweł SKRZYŃSKI, Stanisław SZYDŁO // W: Zarządzanie przedsiębiorstwem – teoria i praktyka [Dokument elektroniczny] : XIV międzynarodowa konferencja naukowa : 22–23 listopada 2012, 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, cop. 2012. — 1 dysk optyczny. — Opis częśc. wg CD-ROM-u. — S. [1–28]. — Wymagania systemowe: Adobe Reader ; napęd CD. — Bibliogr. s. [27], Streszcz., Summ.. — Tyt. przejęto z ekranu tytułowego

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Stanisław Szydło

    cyfrowy identyfikator dokumentu:

4

  • Automatyczna weryfikacja modelu na etapie analizy wymagań — Automatic verification of the model at the stage of requirements analysis / Radosław KLIMEK, Paweł SKRZYŃSKI, Michał TUREK // 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. 209–216. — Bibliogr. s. 216, Streszcz., Abstr.

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Radosław Klimek, Michał Turek

    cyfrowy identyfikator dokumentu:

5

  • Business process formal verification approach based on deductive reasoning / Radosław KLIMEK, Paweł SKRZYŃSKI // 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. 115–125. — Bibliogr. s. 125, Abstr.

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Radosław Klimek

    cyfrowy identyfikator dokumentu:

6

  • Collective intelligence approach to measuring invisible hand of the market / Paweł SKRZYŃSKI, Tadeusz SZUBA, Stanisław SZYDŁO // W: Computational collective intelligence : technologies and applications : third international conference, ICCCI 2011 : Gdynia, Poland, September 21–23, 2011 : proceedings, Pt. 2 / eds. Piotr Jędrzejowicz, Ngoc Thanh Nguyen, Kiem Hoang. — Berlin ; Heidelberg : Springer-Verlag, cop. 2011. — (Lecture Notes in Computer Science ; ISSN 0302-9743 ; LNCS 6923. Lecture Notes in Artificial Intelligence). — ISBN: 978-3-642-23937-3 ; e-ISBN: 978-3-642-23938-0. — S. 435–444. — Bibliogr. s. 444, Abstr.

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Stanisław Szydło, Tadeusz Szuba

    cyfrowy identyfikator dokumentu:

7
8

  • Deduction based verification of business models — Weryfikacja modeli biznesowych metodą dedukcyjną / Radosław KLIMEK, Paweł SKRZYŃSKI, Michał TUREK // W: Advanced information technologies for management : AITM 2010 / eds. Jerzy Korczak, Helena Dudycz, Mirosław Dyczkowski. — Wrocław : Publishing House of Wrocław University of Economics, 2010. — (Prace Naukowe Uniwersytetu Ekonomicznego we Wrocławiu = Research Papers of Wrocław University of Economics ; ISSN 1899-3192 ; nr 147). — ISBN: 978-83-7695-083-9. — S. 173–188. — Bibliogr. s. 187–188, Abstr., Streszcz.

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Radosław Klimek, Michał Turek

    cyfrowy identyfikator dokumentu:

9

  • Formal and computational model for A. Smith's invisible hand paradigm / Tadeusz (Tad) SZUBA, Stanisław SZYDŁO, Paweł SKRZYŃSKI // W: Computational collective intelligence : 7th international conference, ICCCI 2015 : Madrid, Spain, September 21–23, 2015 : proceedings, Pt. 1 / eds. Manuel Núñez [et al.]. — Switzerland : Springer International Publishing, cop. 2015. — (Lecture Notes in Computer Science ; ISSN 0302-9743 ; LNCS 9329. Lecture Notes in Artificial Intelligence). — ISBN: 978-3-319-24068-8 ; e-ISBN: 978-3-319-24069-5. — S. 433–442. — Bibliogr. s. 442, Abstr.

  • keywords: A. Smith's Invisible Hand, simulation model, collective intelligence, computational model, macroeconomic, formal theory, unconscious meta-interference process, ASIH

    Zobacz pełny wykaz publikacji Autora/Autorów: Stanisław Szydło, Tadeusz Szuba

    cyfrowy identyfikator dokumentu: 10.1007/978-3-319-24069-5_41

10

  • Formal and computational model for A. Smith's Invisible Hand paradigm / Tadeusz SZUBA, Stanisław SZYDŁO, Paweł SKRZYŃSKI // W: Recent developments in computational collective intelligence / eds. Amelia Bădică, Bogdan Trawiński, Ngoc Thanh Nguyen. — Cham [etc.] : Springer International Publishing Switzerland, cop. 2014. — (Studies in Computational Intelligence ; ISSN 1860-949X ; vol. 513). — ISBN: 978-3-319-01786-0 ; e-ISBN: 978-3-319-01787-7. — S. 3–12. — Bibliogr. s. 12, Abstr.

  • keywords: reasoning in logic, Free Market self-regulation, A. Smith's Invisible Hand, collective intelligence, molecular model of computation

    Zobacz pełny wykaz publikacji Autora/Autorów: Stanisław Szydło, Tadeusz Szuba

    cyfrowy identyfikator dokumentu: 10.1007/978-3-319-01787-7_1

11

  • Invisible hand process simulation based on collective intelligence computational model / Paweł SKRZYŃSKI, Tadeusz SZUBA // W: Recent advances in Intelligent Information Systems / eds. Mieczysław A. Kłopotek [et al.] ; Polish Academy of Sciences. Institute of Computer Science. — Warsaw : Academic Publishing House EXIT, 2009. — (Computer Science). — ISBN: 978-83-60434-59-8. — S. 541–550. — Bibliogr. s. 550, Abstr.

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Tadeusz Szuba

    cyfrowy identyfikator dokumentu:

12

  • 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, Piotr Szwed, Jan Werewka, Michał Turek

    cyfrowy identyfikator dokumentu:

13

  • Koncepcja i realizacja molekularnego modelu obliczeń w analizie paradygmatu niewidzialnej ręki rynku Adama Smitha — The concept of molecular model of computation in the analysis of invisible hand process / Paweł SKRZYŃSKI, Tadeusz SZUBA // Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie ; ISSN 1429-3447. — 2009 t. 13 z. 3 [cz.] 2, s. 1455–1467. — Bibliogr. s. 1466–1467, Streszcz., Summ.. — tekst: http://journals.bg.agh.edu.pl/AUTOMATYKA/2009-03/Auto64.pdf

  • słowa kluczowe: model symulacyjny, kolektywna inteligencja, model obliczeniowy, procesy wnioskowania w strukturze socjalnej, niewidzialna ręka rynku A. Smitha, procesy samoregulacji, molekularny model obliczeń

    keywords: simulation model, collective intelligence, computational model, inference process in social structure, Adam Smith Invisible Hand of Market, self regulation, molecular model of computation

    Zobacz pełny wykaz publikacji Autora/Autorów: Tadeusz Szuba

    cyfrowy identyfikator dokumentu:

14

  • Nowoczesne metody wytwarzania oprogramowania systemów cyberfizycznych — Modern methods in software development of cyber-physical systems / Tomasz SZMUC, Rafał MRÓWKA, Paweł SKRZYŃSKI, Grzegorz ROGUS, Wojciech SZMUC, Jacek PIWOWARCZYK, Marek Brańka, Jakub Ficoń // 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. 83–98. — Bibliogr. s. 96–98, Streszcz., Abstr.. — tekst: https://winntbg.bg.agh.edu.pl/skrypty4/0602/NTT_tom5_083.pdf

  • słowa kluczowe: sieci Petriego, rzeczywistość wirtualna, systemy cyberfizyczne, AADL, SysML

    keywords: Petri nets, virtual reality, AADL, SysML, cyber physical systems

    Zobacz pełny wykaz publikacji Autora/Autorów: Grzegorz Rogus, Tomasz Bartłomiej Szmuc, Jacek Piwowarczyk, Wojciech Szmuc, Rafał Mrówka

    cyfrowy identyfikator dokumentu: 10.7494/978-83-67427-00-5_6

15

  • Ontology of architectural decisions supporting ATAM based assessment of SOA architectures / Piotr SZWED, Paweł SKRZYŃSKI, Grzegorz ROGUS, Jan WEREWKA // W: FedCSIS : abstracts of the Federated Conference on Computer Science and Information Systems : September 8–11, 2013, Kraków, Poland. — [Piscataway : IEEE], [2013]. — Opis częśc. wg okł.. — ISBN: 978-1-4673-4471-5. — S. 39. — Pełny tekst na dołączonym Dysku Flash. — S. 287–290. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 290, Abstr.. — W bazie Web of Science wersja drukowana: 2013 Federated Conference on Computer Science and Information Systems (FEDCSIS). — ISBN 978-1-4673-4471-5. — S. 287–290

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

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

    cyfrowy identyfikator dokumentu:

16

  • Podstawy programowania komputerów — [Basics of computer's software] / Jan WEREWKA, Paweł SKRZYŃSKI, Michał TUREK. — Kraków : AGH Uczelniane Wydawnictwa Naukowo-Dydaktyczne, 2008. — 457, [1] s.. — (Wydawnictwa Naukowe / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie ; KU 0279). — Bibliogr. s. 449–454. — ISBN: 978-83-7464-147-0

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Jan Werewka, Michał Turek

    cyfrowy identyfikator dokumentu:

17

  • Próba wyjaśnienia paradygmatu „niewidzialnej ręki rynku Adama Smitha” w oparciu o model obliczeniowy kolektywnej inteligencji — Adam Smith's invisible hand paradigm based on the collective intelligence model / Tadeusz SZUBA, Paweł SKRZYŃSKI // Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie ; ISSN 1429-3447. — 2008 t. 12 z. 3, s. 975–992. — Bibliogr. s. 992, Streszcz., Summ.. — tekst: https://journals.bg.agh.edu.pl/AUTOMATYKA/2008-03/Auto38.pdf

  • słowa kluczowe: model symulacyjny, kolektywna inteligencja, model obliczeniowy, procesy wnioskowania w strukturze socjalnej, procesy samoregulacji, niewidzialna ręka rynku Adama Smitha

    keywords: simulation model, collective intelligence, computational model, inference process in social structure, Adam Smith Invisible Hand of Market, self regulation

    Zobacz pełny wykaz publikacji Autora/Autorów: Tadeusz Szuba

    cyfrowy identyfikator dokumentu:

18

  • 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, Piotr Szwed

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

19

  • Risk assessment for SWOP telemonitoring system based on fuzzy cognitive maps / Piotr SZWED, Paweł SKRZYŃSKI, Paweł GRODNIEWICZ // 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. 233–247. — Bibliogr. s. 245–247, Abstr.

  • keywords: security, risk assessment, telemedicine, fuzzy cognitive maps

    Zobacz pełny wykaz publikacji Autora/Autorów: Piotr Szwed, Paweł Grodniewicz

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

20

  • Robust, hybrid algorithms in AI-aided automatic music production / Paweł SKRZYŃSKI, Joanna KWIECIEŃ, Marek PLUTA, Andrzej Dąbrowski, Bartłomiej Szadkowski // W: Postępy w inżynierii dźwięku i psychoakustyce [Dokument elektroniczny] = Advances in audio engineering and psychoacoustics / red. nauk. Aleksandra Król-Nowak. — Wersja do Windows. — Dane tekstowe. — Kraków : Wydawnictwa AGH, 2022. — e-ISBN: 978-83-67427-06-7. — S. 9–18. — Bibliogr. s. 17–18, Abstr.

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Joanna Kwiecień, Marek Pluta

    cyfrowy identyfikator dokumentu:

21

  • Rozszerzenie języka BPQL na potrzeby interaktywnego modelowania i formalnej weryfikacji diagramów aktywności UML — A BPQL language extension for interactive modeling and formal validation of UML activity diagrams / Radosław KLIMEK, Paweł SKRZYŃSKI, Michał TUREK // Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie ; ISSN 1429-3447. — 2010 t. 14 z. 3/2, s. 915–924. — Bibliogr. s. 924, Streszcz., Summ.. — tekst: http://journals.bg.agh.edu.pl/AUTOMATYKA/2010-03-2/Auto22.pdf

  • słowa kluczowe: logika temporalna, weryfikacja, architektura SOA, diagramy UML, przypadki użycia, narzędzia UML, translacja diagramów UML

    keywords: temporal logic, verification, SOA architecture, UML diagrams, use-case, UML tools, UML diagram translation

    Zobacz pełny wykaz publikacji Autora/Autorów: Radosław Klimek, Michał Turek

    cyfrowy identyfikator dokumentu:

22

  • 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, Piotr Szwed, Jan Werewka, Michał Turek

    cyfrowy identyfikator dokumentu:

23

  • 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, Piotr Szwed, Jan Werewka

    cyfrowy identyfikator dokumentu:

24

  • Symulacja mechanizmów rynkowych w oparciu o model kolektywnej inteligencji — Market simulation based on collective intelligence model / Paweł SKRZYŃSKI, Tadeusz SZUBA, Stanisław SZYDŁO // W: Innowacyjno-efektywnościowe problemy teorii i praktyki zarządzania = Innovation-efficiency problems of the theory and practice of management / red. nauk. Piotr Łebkowski. — Kraków : AGH Uczelniane Wydawnictwa Naukowo-Dydaktyczne, 2009. — ISBN: 978-83-7464-248-4. — S. 21–29. — Bibliogr. s. 29, Streszcz., Abstr.

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Stanisław Szydło, Tadeusz Szuba

    cyfrowy identyfikator dokumentu:

25

  • 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, Piotr Szwed, Jan Werewka, Michał Turek

    cyfrowy identyfikator dokumentu: