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

  • Pattern-based and composition-driven automatic generation of logical specifications for workflow-oriented software models / Radosław KLIMEK // Journal of Logical and Algebraic Methods in Programming ; ISSN 2352-2208. — 2019 vol. 104, s. 201–226. — Bibliogr. s. 225-226, Abstr.. — Publikacja dostępna online od: 2019-02-19. — tekst: https://s.agh.edu.pl/vN45S

    orcid iD

  • keywords: temporal logic, generating logical specification, software development, workflow pattern, logical primitive, compositionality

    cyfrowy identyfikator dokumentu: 10.1016/j.jlamp.2019.02.005

2

  • 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

3