Wykaz publikacji wybranego autora

Antoni Ligęza, prof. dr hab. inż.

profesor zwyczajny

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-0002-6573-4246 orcid iD

ResearcherID: E-2422-2012

Scopus: 15127004800

PBN: 5e70922c878c28a047391185

OPI Nauka Polska

System Informacyjny AGH (SkOs)

1

  • A note on analysis of BPMN diagrams — Przyczynek do analizy diagramów BPMN / Antoni LIGĘZA // PAR Pomiary Automatyka Robotyka ; ISSN 1427-9126. — 2011 R. 15 nr 12, s. 210–212. — Bibliogr. s. 211–212, Abstr., Streszcz.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

2

  • A study of methodological issues in design and development of rule-based systems: proposal of a new approach / Antoni LIGĘZA, Grzegorz J. NALEPA // Data Mining and Knowledge Discovery ; ISSN 1384-5810. — 2011 vol. 1 iss. 2, s. 117–137. — Bibliogr. s. 135–137

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu: 10.1002/widm.11

3

  • BPMN – a logical model and property analysis / Antoni LIGĘZA // Decision Making in Manufacturing and Services ; ISSN 1896-8325. — 2011 vol. 5 no. 1–2, s. 57–67. — Bibliogr. s. 66–67, Abstr.. — tekst: http://journals.bg.agh.edu.pl/DECISION/2011-01-02/DM_2011_1_2_05.pdf

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

  • Modeling BPMN diagrams within XTT2 framework : a critical analysis — Analiza 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

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

    cyfrowy identyfikator dokumentu:

6
7

  • Preface / Grzegorz J. NALEPA, Antoni LIGĘZA // International Journal of Applied Mathematics and Computer Science ; ISSN 1641-876X. — 2011 vol. 21 no. 1, s. 7–8. — Bibliogr. s. 7

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu: