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: DSC-1555-2022

Scopus: 51061351100

PBN: 5e70922c878c28a0473911e9

OPI Nauka Polska

System Informacyjny AGH (SkOs)

1
  • [referat, 2010]
  • TytułAgent based market simulation using collective intelligence computational model
    AutorzyPaweł SKRZYŃSKI, Tadeusz SZUBA, Stanisław SZYDŁO
    ŹródłoZarzą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. — Kraków : WZ AGH, 2010. — S. [1–11]

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

2
  • [fragment książki, 2010]
  • TytułAgent-based market simulation using collective intelligence computational model
    AutorzyPaweł SKRZYŃSKI, Tadeusz SZUBA, Stanisław SZYDŁO
    ŹródłoProduction engineering in making / ed. Piotr Łebkowski. — Kraków : AGH University of Science and Technology Press, 2010. — S. 127–136

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

3
  • [fragment książki, 2010]
  • TytułAutomatyczna weryfikacja modelu na etapie analizy wymagań
    AutorzyRadosław KLIMEK, Paweł SKRZYŃSKI, Michał TUREK
    ŹródłoInżynieria oprogramowania w procesach integracji systemów informatycznych / red. Janusz Górski, Cezary Orłowski. — Gdańsk : Pomorskie Wydawnictwo Naukowo-Techniczne PWNT, 2010. — S. 209–216

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

4
  • [referat, 2010]
  • TytułBusiness process formal verification approach based on deductive reasoning
    AutorzyRadosław KLIMEK, Paweł SKRZYŃSKI
    ŹródłoZarzą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. — Kraków : WZ AGH, 2010. — S. [1–11]

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

5
  • [fragment książki, 2010]
  • TytułBusiness process formal verification approach based on deductive reasoning
    AutorzyRadosław KLIMEK, Paweł SKRZYŃSKI
    ŹródłoProduction engineering in making / ed. Piotr Łebkowski. — Kraków : AGH University of Science and Technology Press, 2010. — S. 115–125

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

6
  • [fragment książki, 2010]
  • TytułDeduction based verification of business models
    AutorzyRadosław KLIMEK, Paweł SKRZYŃSKI, Michał TUREK
    ŹródłoAdvanced 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. — S. 173–188

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

7
  • [artykuł w czasopiśmie, 2010]
  • TytułRozszerzenie języka BPQL na potrzeby interaktywnego modelowania i formalnej weryfikacji diagramów aktywności UML
    AutorzyRadosław KLIMEK, Paweł SKRZYŃSKI, Michał TUREK
    ŹródłoAutomatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie. — 2010 t. 14 z. 3/2, s. 915–924. — 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:

8
  • [artykuł w czasopiśmie, 2010]
  • TytułWeryfikacja aktywności systemów modelowanych na bazie architektury SOA – prowadzona w oparciu o wymagania zadane diagramami przypadków użycia
    AutorzyRadosław KLIMEK, Paweł SKRZYŃSKI, Michał TUREK
    ŹródłoAutomatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie. — 2010 t. 14 z. 3/2, s. 893–903. — 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:

9
  • [fragment książki, 2010]
  • TytułWeryfikacja procesów biznesowych metodą tablic semantycznych
    AutorzyRadosław KLIMEK, Paweł SKRZYŃSKI
    ŹródłoInżynieria oprogramowania w procesach integracji systemów informatycznych / red. Janusz Górski, Cezary Orłowski. — Gdańsk : Pomorskie Wydawnictwo Naukowo-Techniczne PWNT, 2010. — S. 201–208

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

10