Wykaz publikacji wybranego autora

Paweł Skrzyński, dr inż.

adiunkt

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



Opisy publikacji wcześniejszych zobacz: bpp.agh.edu.pl/old.


Liczba pozycji spełniających powyższe kryteria selekcji: 38, z ogólnej liczby 38 publikacji Autora


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

2
  • Agent based market simulation using collective intelligence computational model / Paweł SKRZYŃSKI, Tadeusz SZUBA, Stanisław SZYDŁO // 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–11]. — Wymagania systemowe: Adobe Acrobat Reader ; napęd CD-ROM. — Bibliogr. s. [10–11], Summ.. — Tyt. przejęto ze s. tyt. (po wybraniu opcji: Referaty)

  • brak zdefiniowanych słów kluczowych

3
  • Analiza projektu sponsorowania siatkówki przez markę PlusCorporate 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

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

5
6
  • Business process formal verification approach based on deductive reasoning / Radosław KLIMEK, Paweł SKRZYŃSKI // 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–11]. — Wymagania systemowe: Adobe Acrobat Reader ; napęd CD-ROM. — Bibliogr. s. [11], Summ.

  • brak zdefiniowanych słów kluczowych

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

8
  • 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, Part 2 / eds. Piotr Jędrzejowicz, Ngoc Thanh Nguyen, Kiem Hoang. — Berlin ; Heidelberg : Springer-Verlag, cop. 2011. — (Lecture Notes in Computer Science ; ISSN 0302-9743. Lecture Notes in Artificial Intelligence ; LNAI 6923). — ISBN: 978-3-642-23937-3. — S. 435–444. — Bibliogr. s. 444, Abstr.

  • brak zdefiniowanych słów kluczowych

9
  • Computational model of collective intelligence for meta-level analysis and prediction of free or quasi-free market economy / Tadeusz SZUBA, Stanisław SZYDŁO, Paweł SKRZYŃSKI // W: Zarządzanie przedsiębiorstwem – teoria i praktyka [Dokument elektroniczny] : XIII międzynarodowa konferencja naukowa : 17–18 listopada 2011, 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. 2011. — 1 dysk optyczny. — Opis częśc. wg CD-ROM-u. — S. 1–11. — Numeracja całości nieciągła. — Wymagania systemowe: Adobe Acrobat Reader ; napęd CD-ROM. — Bibliogr. s. 11, Abstr.. — Tyt. przejęto z ekranu tytułowego

  • brak zdefiniowanych słów kluczowych

10
11
  • Deduction based verification of business modelsWeryfikacja 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

12
  • 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, Part 1 / eds. Manuel Núñez [et al.]. — Switzerland : Springer International Publishing, cop. 2015. — (Lecture Notes in Computer Science ; ISSN 0302-9743. Lecture Notes in Artificial Intelligence ; 9329). — ISBN: 978-3-319-24068-8 ; e-ISBN: 978-3-319-24069-5. — S. 433–442. — Bibliogr. s. 442, Abstr.

  • keywords: Collective Intelligence (CI), simulation model, computational model, macroeconomic, A. Smith's Invisible Hand (ASIH), formal theory, unconscious meta-interference process

13
  • 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: molecular model of computations, reasoning in logic, Free Market self-regulation, A. Smith's Invisible Hand, Collective Intelligence

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

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

16
  • Koncepcja i realizacja molekularnego modelu obliczeń w analizie paradygmatu niewidzialnej ręki rynku Adama SmithaThe concept of molecular model of computation in the analysis of invisible hand process / Paweł SKRZYŃSKI, Tadeusz SZUBA // Automatyka = Automatics ; ISSN 1429-3447. — Tytuł poprz.: Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie. — 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: Collective Intelligence, simulation model, computational model, inference process in social structure, Adam Smith Invisible Hand of Market, self-regulation, molecular model of computation

17
  • 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ł.. — 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

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

19
  • Próba wyjaśnienia paradygmatu „niewidzialnej ręki rynku Adama Smitha” w oparciu o model obliczeniowy kolektywnej inteligencjiAdam Smith's invisible hand paradigm based on the collective intelligence model / Tadeusz SZUBA, Paweł SKRZYŃSKI // Automatyka = Automatics ; ISSN 1429-3447. — Tytuł poprz.: Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie. — 2008 t. 12 z. 3, s. 975–992. — Bibliogr. s. 992, Streszcz., Summ.. — tekst: http://journals-1bg-1agh-1edu-1pl-1atoz.wbg2.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: Collective Intelligence, simulation model, computational model, inference process in social structure, Adam Smith Invisible Hand of Market, self-regulation

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

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

22
  • Rozszerzenie języka BPQL na potrzeby interaktywnego modelowania i formalnej weryfikacji diagramów aktywności UMLA BPQL language extension for interactive modeling and formal validation of UML activity diagrams / Radosław KLIMEK, Paweł SKRZYŃSKI, Michał TUREK // Automatyka = Automatics ; ISSN 1429-3447. — Tytuł poprz.: Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie. — 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

23
  • SMESDaD – synergetyczna metodyka rozwijania i wdrażania oprogramowania korporacyjnegoSMESDaD – 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

24
  • SMS services in VISP cluster / Paweł SKRZYŃSKI, Michał Smaga // 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. 102–114. — Bibliogr. s. 114, Abstr.

  • brak zdefiniowanych słów kluczowych

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