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

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

2

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

3

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

4

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

5

  • 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

6

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

7

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

8

  • Neural networks approach to investment prediction in Polish economy / Stanisław SZYDŁO, Paweł SKRZYŃSKI // W: Information technologies in economics and innovative management = Technologie informacyjne w ekonomii i innowacyjnym zarządzaniu / ed. Jan Tadeusz Duda. — Cracow : AGH University of Science and Technology Press, 2007. — ISBN: 978-83-7464-155-5. — S. 127–136. — Bibliogr. s. 136, Summ.

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

9

  • 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

10

  • On some problems with modelling of exceptions in UML / Radosław KLIMEK, Paweł SKRZYŃSKI, Michał TUREK // W: Software engineering : evolution and emerging technologies / eds. Krzysztof Zieliński, Tomasz Szmuc. — Amsterdam, [etc.] : IOS Press, 2005. — (Frontiers in Artificial Intelligence and Applications ; ISSN 0922-6389 ; vol. 130). — ISBN: 978-1-58603-559-4. — S. 87–98. — Bibliogr. s. 98, Abstr.

  • keywords: exception handling, exceptions, interrupts, software robustness, UML 2.0, statechart diagrams, Telelogic Tau G2

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

    cyfrowy identyfikator dokumentu:

11

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

12

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

13

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