Wykaz publikacji wybranego autora

Krzysztof Kluza, 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-1876-9603 orcid iD

ResearcherID: D-7659-2011

Scopus: 49661502600

PBN: 5e70922b878c28a04739115b

OPI Nauka Polska

System Informacyjny AGH (SkOs)

1
  • [referat, 2011]
  • TytułEdycja i kontrola jakości wiedzy w systemach regułowych
    AutorzySzymon BOBEK, Krzysztof KACZOR, Krzysztof KLUZA, Weronika ADRIAN
    ŹródłoWiedza i komunikacja w innowacyjnych organizacjach : [II Konferencja Wydziału Informatyki i Komunikacji : 24 stycznia 2011, Katowice] : praca zbiorowa / pod red. Małgorzaty Pańkowskiej. — Katowice : Wydawnictwo Uniwersytetu Ekonomicznego, 2011. — S. 11–29

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Krzysztof Kaczor, Weronika Teresa Adrian, Szymon Bobek

    cyfrowy identyfikator dokumentu:

2
  • [referat, 2011]
  • TytułHow to reason by HeaRT in a semantic knowledge-based wiki
    AutorzyWeronika T. ADRIAN, Szymon BOBEK, Grzegorz J. NALEPA, Krzysztof KACZOR, Krzysztof KLUZA
    ŹródłoICTAI 2011 : 2011 23rd IEEE International Conference on Tools with Artificial Intelligence : 7–9 November 2011, Boca Raton, Florida, USA : proceedings. — [USA : IEEE], [2011]. — S. 438–441

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Grzegorz Jacek Nalepa, Krzysztof Kaczor, Weronika Teresa Adrian, Szymon Bobek

    cyfrowy identyfikator dokumentu:

3
  • [referat, 2011]
  • TytułMetody modelowania, oceny jakości oraz weryfikacji reguł i procesów biznesowych
    AutorzyKrzysztof KLUZA, Weronika T. ADRIAN, Antoni LIGĘZA, Grzegorz J. NALEPA, Marcin SZPYRKA, Krzysztof KACZOR, Szymon BOBEK
    ŹródłoWiedza i komunikacja w innowacyjnych organizacjach : [II Konferencja Wydziału Informatyki i Komunikacji : 24 stycznia 2011, Katowice] : praca zbiorowa / pod red. Małgorzaty Pańkowskiej. — Katowice : Wydawnictwo Uniwersytetu Ekonomicznego, 2011. — S. 182–207

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

4
  • [fragment książki, 2011]
  • TytułModeling and analysis of Business Processes with Business Rules
    AutorzyGrzegorz J. NALEPA, Krzysztof KLUZA, Sebastian ERNST
    ŹródłoBusiness process modeling: software engineering, analysis and applications / ed. Jason A. Beckmann. — New York : Nova Science Publishers, Inc., cop. 2011. — S. 135–156

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Grzegorz Jacek Nalepa, Sebastian Ernst

    cyfrowy identyfikator dokumentu:

5
  • [artykuł w czasopiśmie, 2011]
  • TytułModeling BPMN diagrams within XTT2 framework : a critical analysis
    AutorzyAntoni LIGĘZA, Tomasz Maślanka, Krzysztof KLUZA, Grzegorz Jacek NALEPA
    ŹródłoAutomatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie. — 2011 t. 15 z. 2, s. 299–306. — tekst: http://journals.bg.agh.edu.pl/AUTOMATYKA/2011-02/Auto28.pdf

  • słowa kluczowe: systemy regułowe, BPMN, reguły biznesowe, notacja modelowania procesów biznesowych, diagramy XTT, XTT2, weryfikacja systemów, analiza formalna, model deklaratywny

    keywords: formal analysis, business rules, BPMN, Business Process Modeling Notation, eXtended tabular trees, XTT, XTT2, system verification, declarative model, rule based systems

    Zobacz pełny wykaz publikacji Autora/Autorów: Antoni Ligęza, Grzegorz Jacek Nalepa

    cyfrowy identyfikator dokumentu:

6
  • [artykuł w czasopiśmie, 2011]
  • TytułModeling of business processes consistent with Business Rules
    AutorzyKrzysztof KLUZA
    ŹródłoPAR Pomiary Automatyka Robotyka. — 2011 R. 15 nr 12, s. 194–195

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

7
  • [referat, 2011]
  • TytułProposal of a hierarchical approach to formal verification of BPMN models using Alvis and XTT2 methods
    AutorzyKrzysztof KLUZA, Grzegorz J. NALEPA, Marcin SZPYRKA, Antoni LIGĘZA
    Źródło7th Workshop on Knowledge Engineering and Software Engineering (KESE7) at the 14th conference of the Spanish Association for Artificial Intelligence (CAEPIA 2011) : La Laguna, Tenerife, Spain, November 10, 2011 / eds. Joaquín Cañadas, Grzegorz J. Nalepa, Joachim Baumeister ; Universidad de Almería, AGH, Julius-Maximilians-Universität Würzburg. — Almería : Department of Languages and Computation. University of Almería, 2011. — S. 15–24

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Antoni Ligęza, Grzegorz Jacek Nalepa, Marcin Szpyrka

    cyfrowy identyfikator dokumentu:

8
  • [referat, 2011]
  • TytułProposal of formal verification of selected BPMN models with Alvis modeling language
    AutorzyMarcin SZPYRKA, Grzegorz J. NALEPA, Antoni LIGĘZA, Krzysztof KLUZA
    ŹródłoIntelligent distributed computing V : proceedings of the 5th international symposium on Intelligent distributed computing – IDC 2011, Delft, The Netherlands – October 2011 / eds. F. M. T. Brazier, [et al.]. — Berlin ; Heidelberg : Springer-Verlag, cop. 2011. — S. 249–255

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Antoni Ligęza, Grzegorz Jacek Nalepa, Marcin Szpyrka

    cyfrowy identyfikator dokumentu:

9
  • [referat, 2011]
  • TytułProposal of representing BPMN diagrams with XTT2-based business rules
    AutorzyKrzysztof KLUZA, Tomasz Maślanka, Grzegorz J. NALEPA, Antoni LIGĘZA
    ŹródłoIntelligent distributed computing V : proceedings of the 5th international symposium on Intelligent distributed computing – IDC 2011, Delft, The Netherlands – October 2011 / eds. F. M. T. Brazier, [et al.]. — Berlin ; Heidelberg : Springer-Verlag, cop. 2011. — S. 243–248

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Antoni Ligęza, Grzegorz Jacek Nalepa

    cyfrowy identyfikator dokumentu:

10
  • [fragment książki, 2011]
  • TytułPrzegląd polskojęzycznych słowników internetowych
    AutorzyKrzysztof KLUZA, Izabela Gatkowska
    ŹródłoNauka, technika, edukacja a nowoczesne technologie informatyczne : [monografia] / pod red. Aleksandra Jastriebowa i Marii Raczyńskiej. — Radom : Wydawnictwo Naukowe Instytutu Technologii Eksploatacji – Państwowego Instytutu Badawczego, 2011. — S. 247–256

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

11
  • [fragment książki, 2011]
  • TytułSieć semantyczna – współczesne kierunki rozwoju
    AutorzyKrzysztof KLUZA, Weronika T. ADRIAN, Eliasz KAŃTOCH
    ŹródłoNauka, technika, edukacja a nowoczesne technologie informatyczne : [monografia] / pod red. Aleksandra Jastriebowa i Marii Raczyńskiej. — Radom : Wydawnictwo Naukowe Instytutu Technologii Eksploatacji – Państwowego Instytutu Badawczego, 2011. — S. 123–131

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Weronika Teresa Adrian, Eliasz Kańtoch

    cyfrowy identyfikator dokumentu:

12
  • [artykuł w czasopiśmie, 2011]
  • TytułUsing an inflection dictionary for a design of a visual dictionary of verbs and their attributes
    AutorzyKrzysztof KLUZA, Izabela Gatkowska
    ŹródłoStudia i Materiały Informatyki Stosowanej : czasopismo młodych pracowników naukowych, doktorantów i studentów. — 2011 vol. 3 no. 5, s. 25–30

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

13
  • [fragment książki, 2011]
  • TytułVisual design of drools rule bases using the XTT2 method
    AutorzyKrzysztof KACZOR, Grzegorz Jacek NALEPA, Łukasz ŁYSIK, Krzysztof KLUZA
    ŹródłoSemantic methods for knowledge management and communication / eds. Radosław Katarzyniak [et al.]. — Berlin ; Heildelberg : Springer-Verlag, cop. 2011. — S. 57–66

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Grzegorz Jacek Nalepa, Krzysztof Kaczor, Łukasz Łysik

    cyfrowy identyfikator dokumentu: