Wykaz publikacji wybranego autora

Grzegorz Jacek Nalepa, dr hab. inż., prof. AGH

profesor nadzwyczajny

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

Identyfikatory Autora Informacje o Autorze w systemach zewnętrznych

ORCID: 0000-0002-8182-4225 połącz konto z ORCID

ResearcherID: E-5016-2011

Scopus: 55879229400

PBN: 5e70922c878c28a0473911a0

OPI Nauka Polska

1
  • [fragment książki, 2005]
  • TytułConceptual modelling and automated implementation of rule-based systems
    AutorzyGrzegorz J. NALEPA, Antoni LIGĘZA
    ŹródłoSoftware engineering : evolution and emerging technologies / eds. Krzysztof Zieliński, Tomasz Szmuc. — Amsterdam, [etc.] : IOS Press, 2005. — S. 330–340
2
  • [fragment książki, 2005]
  • TytułFormal approach to prototyping and analysis of modular rule-based systems
    AutorzyMarcin SZPYRKA, Grzegorz J. NALEPA
    ŹródłoSoftware engineering : evolution and emerging technologies / eds. Krzysztof Zieliński, Tomasz Szmuc. — Amsterdam, [etc.] : IOS Press, 2005. — S. 294–304
3
  • [referat, 2005]
  • TytułSecurity systems design and analysis using an integrated rule-based systems approach
    AutorzyGrzegorz J. NALEPA, Antoni LIGĘZA
    ŹródłoAdvances in Web Intelligence : third international Atlantic Web Intelligence Conference AWIC 2005 : Lodz, Poland, June 6–9, 2005 : proceedings / eds. Piotr S. Szczepaniak, Janusz Kacprzyk, Adam Niewiadomski. — Berlin ; Heidelberg : Springer-Verlag, 2005. — S. 334–340
4
  • [referat, 2005]
  • TytułTwo formal approaches to design and verification of embedded rule-based systems
    AutorzyGrzegorz J. NALEPA, Marcin SZPYRKA
    ŹródłoReal-Time Programming 2004 (WRTP 2004) : a proceedings volume from the 28textsuperscript{th} IFAC/IFIP Workshop on Real-Time Programming, WRTP 2004 and the International Workshop on Software Engineering, IWSS 2004 : Istanbul, Turkey, 8–10 September 2004 / eds. M. Colnarič, W. A. Halang, M. Węgrzyn. — Oxford : Elsevier Ltd, 2005. — S. 91–96
5
  • [referat, 2005]
  • TytułVisual design and on-line verification of tabular rule-based systems with XTT
    AutorzyAntoni LIGĘZA, Grzegorz J. NALEPA
    ŹródłoMarktplatz Internet: Von e-Learning bis e-Payment : 13. Leipziger Informatik-Tage, LIT 2005, 21.–23. September 2005, Leipzig / Hrsg. Klaus P. Jantke, Klaus-Peter Fähnrich, Wolfgang S. Wittig. — Bonn : Gesellschaft für Informatik, 2005. — S. 303–312