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
  • [artykuł w czasopiśmie, 2014]
  • TytułA system for deduction-based formal verification of workflow-oriented software models
    AutorzyRadosław KLIMEK
    ŹródłoInternational Journal of Applied Mathematics and Computer Science. — 2014 vol. 24 no. 4, s. 941–956
2
  • [referat, 2014]
  • TytułDeduction-based modelling and verification of agent-based systems for data integration
    AutorzyRadosław KLIMEK, Łukasz FABER, Marek KISIEL-DOROHINICKI
    ŹródłoMan-machine interactions 3 : [ICMMI 2013 : 3rd International Conference on Man-Machine Interactions : Brenna, October 22nd–25th, 2013] / eds. Aleksandra Gruca, Tadeusz Czachórski, Stanisław Kozielski. — Switzerland : Springer International Publishing, cop. 2014. — S. 361–368
3
  • [referat, 2014]
  • TytułModeling context-aware and agent-ready systems for the outdoor smart lighting
    AutorzyRadosław KLIMEK, Grzegorz ROGUS
    ŹródłoArtificial Intelligence and Soft Computing : 13th International Conference, ICAISC 2014 : Zakopane, Poland, June 1–5, 2014 : proceedings, Pt. 2 / eds. Leszek Rutkowski, [et al.]. — Cham, [etc.] : Springer, cop. 2014. — S. 257–268
4
  • [referat, 2014]
  • TytułPreference models and their elicitation and analysis for context-aware applications
    AutorzyRadosław KLIMEK
    ŹródłoMan-machine interactions 3 : [ICMMI 2013 : 3rd International Conference on Man-Machine Interactions : Brenna, October 22nd–25th, 2013] / eds. Aleksandra Gruca, Tadeusz Czachórski, Stanisław Kozielski. — Switzerland : Springer International Publishing, cop. 2014. — S. 353–360
5
  • [referat, 2014]
  • TytułProposal of a multiagent-based smart environment for the IoT
    AutorzyRadosław KLIMEK, Leszek KOTULSKI
    ŹródłoWorkshop proceedings of the 10th international conference on intelligent environments / eds. Juan C. Augusto, Tongzhen Zhang. — Amsterdam: IOS Press BV, cop. 2014. — S. 37–44