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
  • How to reason by HeaRT in a semantic knowledge-based wiki / Weronika T. ADRIAN, Szymon BOBEK, Grzegorz J. NALEPA, Krzysztof KACZOR, Krzysztof KLUZA // W: ICTAI 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. — Bibliogr. s. 441, Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

2
  • Modeling and analysis of Business Processes with Business Rules / Grzegorz J. NALEPA, Krzysztof KLUZA, Sebastian ERNST // W: Business process modeling: software engineering, analysis and applications / ed. Jason A. Beckmann. — New York : Nova Science Publishers, Inc., cop. 2011. — (Business Issues, Competition and Entrepreneurship). — ISBN: 978-1-61209-344-4. — S. 135–156. — Bibliogr. s. 155–156, Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

3
  • Modeling BPMN diagrams within XTT2 framework : a critical analysisAnaliza możliwości modelowania diagramów BPMN w narzędziach XTT2 / Antoni LIGĘZA, Tomasz Maślanka, Krzysztof KLUZA, Grzegorz Jacek NALEPA // Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie ; ISSN 1429-3447. — 2011 t. 15 z. 2, s. 299–306. — Bibliogr. s. 305–306, Streszcz., Summ.. — 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

    cyfrowy identyfikator dokumentu:

4
  • Modeling of business processes consistent with Business RulesModelowanie procesów biznesowych spójnych z regułami biznesowymi / Krzysztof KLUZA // PAR Pomiary Automatyka Robotyka ; ISSN 1427-9126. — 2011 R. 15 nr 12, s. 194–195. — Bibliogr. s. 195, Abstr., Streszcz.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

5
  • Proposal of formal verification of selected BPMN models with Alvis modeling language / Marcin SZPYRKA, Grzegorz J. NALEPA, Antoni LIGĘZA, Krzysztof KLUZA // W: Intelligent 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. — (Studies in Computational Intelligence ; ISSN 1860-949X ; vol. 382). — ISBN: 978-3-642-24012-6. — S. 249–255. — Bibliogr. s. 254–255, Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

6
  • Proposal of representing BPMN diagrams with XTT2-based business rules / Krzysztof KLUZA, Tomasz Maślanka, Grzegorz J. NALEPA, Antoni LIGĘZA // W: Intelligent 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. — (Studies in Computational Intelligence ; ISSN 1860-949X ; vol. 382). — ISBN: 978-3-642-24012-6. — S. 243–248. — Bibliogr. s. 248, Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

7
  • Using an inflection dictionary for a design of a visual dictionary of verbs and their attributes / Krzysztof KLUZA, Izabela Gatkowska // Studia i Materiały Informatyki Stosowanej : czasopismo młodych pracowników naukowych, doktorantów i studentów = Studies and Materials in Computer Science ; ISSN 1689-6300. — 2011 vol. 3 no. 5, s. 25–30. — Bibliogr. s. 30, Abstr.. — ISBN: 978-83-932977-3-3

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

8
  • Visual design of drools rule bases using the XTT2 method / Krzysztof KACZOR, Grzegorz Jacek NALEPA, Łukasz ŁYSIK, Krzysztof KLUZA // W: Semantic methods for knowledge management and communication / eds. Radosław Katarzyniak [et al.]. — Berlin ; Heildelberg : Springer-Verlag, cop. 2011. — (Studies in Computational Intelligence ; ISSN 1860-949X ; vol. 381). — ISBN: 978-3-642-23417-0. — S. 57–66. — Bibliogr. s. 66, Abstr.. — Publikacja jest poszerzoną wersją prezentacji z: 3rd International Conference on Computational Collective Intelligence – technologies and applications – ICCCI 2011 (21–23 September 2011, Gdynia, Poland) ; 1st Polish-Taiwanes workshop on Semantic methods for knowledge discovery and communication (21–23 September 2011, Gdynia, Poland)

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: