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

  • A system for deduction-based formal verification of workflow-oriented software models / Radosław KLIMEK // International Journal of Applied Mathematics and Computer Science ; ISSN 1641-876X. — 2014 vol. 24 no. 4, s. 941–956. — Bibliogr. s. 954–956

  • keywords: temporal logic, semantic tableaux, BPMN, formal verification, deductive reasoning, generating logical specification, workflow patterns, logical primitives, business models

    cyfrowy identyfikator dokumentu: 10.2478/amcs-2014-0069

2

  • Exploration of human activities using message streaming brokers and automated logical reasoning for ambient-assisted services / Radosław KLIMEK // IEEE Access [Dokument elektroniczny]. — Czasopismo elektroniczne ; ISSN 2169-3536. — 2018 vol. 6, s. 27127–27155. — Bibliogr. s. 27154–27155, Abstr.. — Publikacja dostępna online od: 2018-05-09. — tekst: https://ieeexplore-1ieee-1org-1000047eg0052.wbg2.bg.agh.edu.pl/stamp/stamp.jsp?tp=&arnumber=8356586

    orcid iD

  • keywords: pervasive computing, ambient intelligence, Internet of Things, middleware, intelligent environment, rescuing activity, SAT solver, message broker, publish-subscribe, context aware services

    cyfrowy identyfikator dokumentu: 10.1109/ACCESS.2018.2834532

3
4
5

  • Sensor-enabled context-aware and pro-active queue management systems in intelligent environments / Radosław KLIMEK // Sensors [Dokument elektroniczny]. — Czasopismo elektroniczne ; ISSN 1424-8220. — 2020 vol. 20 iss. 20 art. no. 5837, s. 1–29. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 26–29, Abstr.. — Publikacja dostępna online od: 2020-10-15. — tekst: https://www.mdpi.com/1424-8220/20/20/5837/pdf

    orcid iD

  • keywords: context awareness, IoT, intelligent environment, queue management system

    cyfrowy identyfikator dokumentu: 10.3390/s20205837

6

  • Towards recognising individual behaviours from pervasive mobile datasets in urban spaces / Radosław KLIMEK // Sustainability [Dokument elektroniczny]. — Czasopismo elektroniczne ; ISSN 2071-1050. — 2019 vol. 11 iss. 6 art. no. 1563, s. 1–25. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 23–25, Abstr.. — Publikacja dostępna online od: 2019-03-14. — tekst: https://www-1mdpi-1com-12vzsev9201c9.wbg2.bg.agh.edu.pl/2071-1050/11/6/1563/pdf

    orcid iD

  • keywords: multi-agent system, pervasive dataset, mobile phone network, urban ecosystem, tourist movement, algorithmization, individual trajectory construction

    cyfrowy identyfikator dokumentu: 10.3390/su11061563

7