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

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

2

  • Architektura zdecentralizowanego systemu ekspertowego zgodna ze standardem FIPA — [FIPA-compliant decentralized architekture for expert systems] / Marek KISIEL-DOROHINICKI, Bartłomiej ŚNIEŻYŃSKI ; oprac. zespół w składzie: Paweł SKRZYŃSKI, Michał TUREK pod kier. Marka KISIEL-DOROHINICKIEGO. — Kraków : AGH WEAIiE, 2002. — 32 s.. — (Raport / Akademia Górniczo-Hutnicza. Wydział Elektrotechniki, Automatyki, Informatyki i Elektroniki. Katedra Informatyki ; nr 5/2002)

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Marek Kisiel-Dorohinicki, Bartłomiej Śnieżyński, Michał Turek

    cyfrowy identyfikator dokumentu:

3

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

4

  • Automatyczne generowanie kodu na podstawie modeli UML — [Code generation from UML models] / Paweł SKRZYŃSKI, Michał TUREK, Piotr MATYASIK // W: Metody i systemy komputerowe w badaniach naukowych i projektowaniu inżynierskim : IV krajowa konferencja : Kraków 26–28 listopada 2003 : materiały konferencyjne / red. Ryszard Tadeusiewicz, Antoni Ligęza, Maciej Szymkat ; Akademia Górniczo-Hutnicza, Politechnika Krakowska, Uniwersytet Jagielloński. — Kraków : Oprogramowanie Naukowo-Techniczne, 2003. — ISBN10: 8391642011. — S. 811–816. — Bibliogr. s. 816, Streszcz.

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Michał Turek, Piotr Matyasik

    cyfrowy identyfikator dokumentu:

5

  • Automatyczne pozyskiwanie wiedzy i jej przetwarzanie na bazie wykrywania analogii — Automated knowledge mining with cause-result analysis performed using analogies detection / Michał TUREK, Paweł SKRZYŃSKI // W: Selected problems of computer science : PD FCCS'2005 : proceedings of the 1\textsuperscript{st} Polish and international PD Forum-Conference on Computer Science : April 11–14, 2005, Łódź, Bronisławów, Poland / eds. Danuta Rutkowska [et al.] ; Academy of Humanities and Economics. — cop. Łódź ; Warsaw : AHE ; Academic Publishing House EXIT, 2005. — (Problemy Współczesnej Nauki, Teoria i Zastosowania. Informatyka / ed. serii Leonard Bolc). — S. 464–474. — Bibliogr. s. 474, Abstr.. — Toż na dołączonym CD-ROM-ie. — Streszczenie w: PD FCCS'2005 : 1\textsuperscript{st} Polish and international PD Forum-Conference on Computer Science : April 11–14, 2005, Łódź – Bronisławów, Poland : program / Academy of Humanities and Economics in Łódź. — [Łódź : AHE], [2005]. — Opis wg okł. — S. 15

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

6

  • Extreme programming – przegląd i porównanie wybranych narzędzi wspomagających testy jednostkowe — [Extreme programming – review and comparison of tools for unit testing] / Paweł SKRZYŃSKI, Michał TUREK, Piotr MATYASIK // W: Metody i systemy komputerowe w badaniach naukowych i projektowaniu inżynierskim : IV krajowa konferencja : Kraków 26–28 listopada 2003 : materiały konferencyjne / red. Ryszard Tadeusiewicz, Antoni Ligęza, Maciej Szymkat ; Akademia Górniczo-Hutnicza, Politechnika Krakowska, Uniwersytet Jagielloński. — Kraków : Oprogramowanie Naukowo-Techniczne, 2003. — ISBN10: 8391642011. — S. 799–804. — Bibliogr. s. 804, Streszcz.

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Michał Turek, Piotr Matyasik

    cyfrowy identyfikator dokumentu:

7
8

  • Język UML 2.0 w modelowaniu relacyjnych baz danych — UML 2.0 in modelling relational databases / Paweł SKRZYŃSKI // Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie ; ISSN 1429-3447. — 2006 t. 10 z. 3, s. 559–570. — Bibliogr. s. 570, Streszcz., Summ.

  • słowa kluczowe: UML, modelowanie baz danych, diagramy czynności, model relacyjny, SQL

    keywords: UML, activity diagrams, SQL, relational model, database modelling

    cyfrowy identyfikator dokumentu:

9

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

10

  • 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

11

  • Od UML'a 1.4 do 2.0 — The road from UML 1.4 to 2.0 / Paweł SKRZYŃSKI // Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie ; ISSN 1429-3447. — 2004 t. 8 z. 3, s. 573–583. — Bibliogr. s. 582–583, Streszcz., Summ.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

12

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

13

  • Predykcja stóp procentowych na pieniężnym rynku międzybankowym oraz rynku kredytowym z wykorzystaniem sieci neuronowych — Interest rates prediction on interbank money market and credit market based on neural networks / Paweł SKRZYŃSKI // Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie ; ISSN 1429-3447. — 2005 t. 9 z. 3, s. 765–771. — Bibliogr. s. 771, Streszcz., Summ.. — tekst: http://journals.bg.agh.edu.pl/AUTOMATYKA/2005-03/Auto48.pdf

  • słowa kluczowe: sieci neuronowe

    cyfrowy identyfikator dokumentu:

14

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

15

  • Przegląd współczesnych narzędzi CASE pod kątem generowania kodu na podstawie modelu UML — [Code generation from UML model – comparison of modern CASE tools] / Paweł SKRZYŃSKI, Michał TUREK, Piotr MATYASIK // W: Inżynieria oprogramowania : nowe wyzwania : VI Krajowa Konferencja Inżynierii Oprogramowania KKIO'2004 : Gdańsk, 5–8 października 2004 / red. Janusz Górski, Andrzej Wardziński ; Polskie Towarzystwo Informatyczne. — Warszawa : Wydawnictwa Naukowo-Techniczne, 2004. — Opis częśc. wg okł.. — S. 301–314. — Bibliogr. s. 313–314, Streszcz.

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Michał Turek, Piotr Matyasik

    cyfrowy identyfikator dokumentu:

16

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

17

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

18

  • 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: Zarządzanie przedsiębiorstwem – teoria i praktyka [Dokument elektroniczny] : XI międzynarodowa konferencja naukowa : Kraków, 27–29 listopada 2008 : 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, 2008. — 1 dysk optyczny. — S. [1–10]. — Wymagania systemowe: Adobe Acrobat Reader ; napęd CD-ROM. — Bibliogr. s. [10], Streszcz., Summ.

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

19

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

20

  • Tworzenie oprogramowania z wykorzystaniem UML 2.0 oraz Telelogic TauG2 — [Software development with UML 2.0 and Telelogic Tau G2] / Paweł SKRZYŃSKI, Michał TUREK // W: CMS'05 : Computer Methods and Systems : V konferencja : 14–16 November 2005, Kraków, Poland. Vol. 2, Regular sessions = CMS'05 : metody i systemy komputerowe / eds. Ryszard Tadeusiewicz, Antoni Ligęza, Maciej Szymkat ; AGH University of Science and Technology Cracow, Jagiellonian University, Cracow University of Technology. — Kraków : Oprogramowanie Naukowo-Techniczne, 2005. — S. 449–454. — Bibliogr. s. 454, Streszcz.

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

21

  • Weryfikacja aktywności systemów modelowanych na bazie architektury SOA – prowadzona w oparciu o wymagania zadane diagramami przypadków użycia — Verification of activity for SOA-based systems – carried out on a use-case diagrams requirements / 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. 893–903. — Bibliogr. s. 903, Streszcz., Summ.. — tekst: http://journals.bg.agh.edu.pl/AUTOMATYKA/2010-03-2/Auto20.pdf

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

22

  • Weryfikacja procesów biznesowych metodą tablic semantycznych — Business process verification using semantic tableaux / Radosław KLIMEK, Paweł SKRZYŃSKI // 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. 201–208. — Bibliogr. s. 208, Streszcz., Abstr.

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

23

  • Weryfikacja procesów biznesowych metodą tablic semantycznych — Automated process verification with a semantic tables approach / 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. 905–914. — Bibliogr. s. 913–914, Streszcz., Summ.. — tekst: http://journals.bg.agh.edu.pl/AUTOMATYKA/2010-03-2/Auto21.pdf

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

24

  • Wpływ wybranych czynników na inwestycje polskich przedsiębiorstw w świetle uwarunkowań makroekonomicznych — The influence of some selected factors on investments of Polish enterprises in the light of macroeconomic conditions / Stanisław SZYDŁO, Borys Makary, Paweł SKRZYŃSKI // 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–13]. — Wymagania systemowe: Adobe Acrobat Reader ; napęd CD-ROM. — Streszcz., Abstr.. — 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:

25