Wykaz publikacji wybranego autora

Radosław Klimek, 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-9061-561X orcid iD

ResearcherID: ABI-5629-2020

Scopus: 55250240200

PBN: 5e70922b878c28a04739115a

OPI Nauka Polska

System Informacyjny AGH (SkOs)

1
  • [referat, 2013]
  • TytułA deduction-based system for formal verification of agent-ready Web services
    AutorzyRadosław KLIMEK
    ŹródłoAdvanced methods and technologies for agent and multi-agent systems : KES-AMSTA 2013 : [7th KES Conference on Agent and Multi-Agent Systems – Technologies and Applications : May 27–29, 2013, Hue, Vietnam] / eds. Dariusz Barbucha, [et al.]. — Amsterdam : IOS Press, cop. 2013. — S. 203–212
2
  • [referat w czasopiśmie, 2013]
  • TytułApplication of deductive reasoning to the verification of ArchiMate behavioral elements
    AutorzyRadosław KLIMEK, Piotr SZWED, Stanisław JĘDRUSIK
    ŹródłoPrace Naukowe Uniwersytetu Ekonomicznego we Wrocławiu ; 29. Informatyka Ekonomiczna = Business Informatics. — 2013 nr 3, s. 76–97
3
  • [referat, 2013]
  • TytułDeduction-based formal verification of requirements models with automatic generation of logical specifications
    AutorzyRadosław KLIMEK
    ŹródłoEvaluation of Novel Approaches to Software Engineering : 7th international conference ENASE 2012 : Wrocław, Poland, June 29–30, 2012 : revised selected papers / eds. Leszek A. Maciaszek, Joaquim Filipe. — Berlin ; Heidelberg : Springer, cop. 2013. — S. 157–171
4
  • [referat, 2013]
  • TytułFrom extraction of logical specifications to deduction-based formal verification of requirements models
    AutorzyRadosław KLIMEK
    ŹródłoSoftware Engineering and Formal Methods : 11th international conference, SEFM 2013 : Madrid, Spain, September 25–27, 2013 : proceedings / eds. Robert M. Hierons, Mercedes G. Merayo, Mario Bravetti. — Berlin ; Heidelberg : Springer-Verlag, cop. 2013. — S. 61–75
5
6
  • [fragment książki, 2013]
  • TytułProblemy bezpieczeństwa w inteligentnych sieciach energetycznych
    AutorzyLeszek KOTULSKI, Sebastian ERNST, Radosław KLIMEK, Rafał MRÓWKA, Adam SĘDZIWY, Igor WOJNICKI
    ŹródłoNowoczesne systemy łączności i transmisji danych na rzecz bezpieczeństwa : szanse i zagrożenia / red. nauk. Andrzej R. Pach, Zbigniew Rau, Michał Wągrowski. — Warszawa : Wolters Kluwer Polska SA, 2013. — S. 518–538
7
  • [referat, 2013]
  • TytułState-space reduction through preference modeling
    AutorzyRadosław KLIMEK, Igor WOJNICKI, Sebastian ERNST
    ŹródłoArtificial Intelligence and Soft Computing : 12th International Conference, ICAISC 2013 : Zakopane, Poland, June 9–13, 2013 : proceedings, Pt. 2 / eds. Leszek Rutkowski [et al.]. — Berlin ; Heidelberg : Springer-Verlag, cop. 2013. — s. 363–374
8
  • [referat, 2013]
  • TytułTemporal preference models and their deduction-based analysis for pervasive applications
    AutorzyRadosław KLIMEK
    ŹródłoPECCS 2013 : proceedings of the 3rd international conference on Pervasive Embedded Computing and Communication Systems : Barcelona, Spain 19–21 February, 2013 / ed. César Benavente-Peces, Joaquim Filipe. — [Barcelona] : SCITEPRESS, cop. 2013. — S. 131–134
9
  • [referat, 2013]
  • TytułTowards deductive-based support for software development processes
    AutorzyRadosław KLIMEK
    ŹródłoFedCSIS : abstracts of the Federated Conference on Computer Science and Information Systems : September 8–11, 2013, Kraków, Poland. — [Piscataway : IEEE], [2013]. — S. 105
10
  • [referat, 2013]
  • TytułVerification of ArchiMate process specifications based on deductive temporal reasoning
    AutorzyRadosław KLIMEK, Piotr SZWED
    ŹródłoFedCSIS : abstracts of the Federated Conference on Computer Science and Information Systems : September 8–11, 2013, Kraków, Poland. — [Piscataway : IEEE], [2013]. — S. 88
11
  • [referat, 2013]
  • TytułVerifying data integration agents with deduction-based models
    AutorzyRadosław KLIMEK, Łukasz FABER, Marek KISIEL-DOROHINICKI
    ŹródłoFedCSIS : abstracts of the Federated Conference on Computer Science and Information Systems : September 8–11, 2013, Kraków, Poland. — [Piscataway : IEEE], [2013]. — S. 84