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

Ambient-aware continuous aid for mountain rescue activities / Radosław KLIMEK // Information Sciences ; ISSN 0020-0255. — 2024 vol. 653 art. no. 119772, s. 1–31. — Bibliogr. s. 30–31, Abstr.. — Publikacja dostępna online od: 2023-10-13. — tekst: https://www.sciencedirect.com/science/article/pii/S0020025523013579/pdfft?md5=9f840fcdb8bb7c929d83beb7694ad21b&pid=1-s2.0-S0020025523013579-main.pdf

Analiza możliwości formalnej weryfikacji problemów planowania w kontekście procesów biznesowych — Formal verification of planning problems in the business process context : analysis of feasibility / Radosław KLIMEK, Sebastian ERNST // Prace Naukowe Uniwersytetu Ekonomicznego we Wrocławiu = Research Papers of Wrocław University of Economics ; ISSN 1899-3192. Informatyka Ekonomiczna = Business Informatics ; ISSN 1507-3858. — 2011 nr 22, s. 169–183. — Bibliogr. s. 181–183, Streszcz., Summ.

Application of deductive reasoning to the verification of ArchiMate behavioral elements — Zastosowanie wnioskowania dedukcyjnego do weryfikacji opisów zachowania w języku ArchiMate / Radosław KLIMEK, Piotr SZWED, Stanisław JĘDRUSIK // Prace Naukowe Uniwersytetu Ekonomicznego we Wrocławiu = Research Papers of Wrocław University of Economics ; ISSN 1899-3192 ; 29. Informatyka Ekonomiczna = Business Informatics ; ISSN 1507-3858. — 2013 nr 3, s. 76–97. — Bibliogr. s. 96–97, Abstr., Streszcz.. — AITM'2013 : 11th conference on Advanced Information Technologies for Management : Cracow, September 8–11, 2013

Collective decision making in dynamic vehicle routing problem / Edyta KUCHARSKA, Katarzyna GROBLER-DĘBSKA, Radosław KLIMEK // MATEC Web of Conferences [Dokument elektroniczny]. — Czasopismo elektroniczne ; ISSN 2261-236X. — 2019 vol. 252, art. no. 03003, s. 1–6. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 6, Abstr.. — Publikacja dostępna online od: 2019-01-14. — III international conference of Computational Methods in Engineering Science (CMES'18) : Kazimierz Dolny, Poland, November 22–24, 2018. — tekst: https://www.matec-conferences.org/articles/matecconf/pdf/2019/01/matecconf_cmes2018_03003.pdf

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

Formal analysis of use case diagrams — Formalna analiza diagramów przypadków użycia / Radosław KLIMEK, Piotr SZWED // Computer Science ; ISSN 1508-2806. — 2010 vol. 11, s. 115–131. — Bibliogr. s. 130–131. — tekst: http://journals.bg.agh.edu.pl/COMPUTER/2010/cs2010-08.pdf

From workflow design patterns to logical specifications — Odwzorowanie wzorców projektowych w specyfikację logiczną systemu / Radosław KLIMEK // Automatyka = Automatics ; ISSN 1429-3447. — Tytuł poprz.: Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie. — 2013 vol. 17 no. 1, s. 59–63. — Bibliogr. s. 63, Summ., Streszcz.. — tekst: http://journals.bg.agh.edu.pl/AUTOMAT/2013.17.1/automat.2013.17.1.59.pdf

Human health risk assessment of air pollution in the regions of unsustainable heating sources : case study — the tourist areas of Southern Poland / Agnieszka GRUSZECKA-KOSOWSKA, Jacek DAJDA, Ewa ADAMIEC, Edeltrauda HELIOS-RYBICKA, Marek KISIEL-DOROHINICKI, Radosław KLIMEK, Dariusz PAŁKA, Jarosław WĄS // Atmosphere [Dokument elektroniczny]. — Czasopismo elektroniczne ; ISSN 2073-4433. — 2021 vol. 12 iss. 5 art. no. 615, s. 1–13. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 11–13, Abstr.. — Publikacja dostępna online od: 2021-05-10. — tekst: https://www.mdpi.com/2073-4433/12/5/615/pdf

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

Rozszerzenie języka BPQL na potrzeby interaktywnego modelowania i formalnej weryfikacji diagramów aktywności UML — A BPQL language extension for interactive modeling and formal validation of UML activity diagrams / Radosław KLIMEK, Paweł SKRZYŃSKI, Michał TUREK // Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie ; ISSN 1429-3447. — 2010 t. 14 z. 3/2, s. 915–924. — Bibliogr. s. 924, Streszcz., Summ.. — tekst: http://journals.bg.agh.edu.pl/AUTOMATYKA/2010-03-2/Auto22.pdf

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

System for automatic generation of logical formulas / Radosław KLIMEK, Katarzyna GROBLER-DĘBSKA, Edyta KUCHARSKA // MATEC Web of Conferences [Dokument elektroniczny]. — Czasopismo elektroniczne ; ISSN 2261-236X. — 2019 vol. 252, art. no. 03005, s. 1–5. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 5, Abstr.. — Publikacja dostępna online od: 2019-01-14. — III international conference of Computational Methods in Engineering Science (CMES'18) : Kazimierz Dolny, Poland, November 22–24, 2018. — tekst: https://www.matec-conferences.org/articles/matecconf/pdf/2019/01/matecconf_cmes2018_03005.pdf

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

Using medium-cost sensors to estimate air quality in remote locations : case study of Niedzica, southern Poland / Ewa ADAMIEC, Jacek DAJDA, Agnieszka GRUSZECKA-KOSOWSKA, Edeltrauda HELIOS-RYBICKA, Marek KISIEL-DOROHINICKI, Radosław KLIMEK, Dariusz PAŁKA, Jarosław WĄS // Atmosphere [Dokument elektroniczny]. — Czasopismo elektroniczne ; ISSN 2073-4433. — 2019 vol. 10 iss. 7 art. no. 393, s. 1–13. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 12–13, Abstr.. — Publikacja dostępna online od: 2019-07-13. — tekst: https://www.mdpi.com/2073-4433/10/7/393/pdf

Weight matching via pairwise comparison for MaxSAT / Radosław KLIMEK // Procedia Computer Science [Dokument elektroniczny]. — Czasopismo elektroniczne ; ISSN 1877-0509. — 2022 vol. 207, s. 2658–2666. — Bibliogr. s. 2666, Abstr.. — Publikacja dostępna online od: 2022-10-19. — KES 2022 : 26\textsuperscript{th} international conference on Knowledge-Based and Intelligent Information & Engineering Systems : Verona, Italy, 7–9 September 2022. — tekst: https://www.sciencedirect.com/science/article/pii/S1877050922012133/pdf?md5=1d29bb7217597961595bfe198fe0cf62&pid=1-s2.0-S1877050922012133-main.pdf

Weryfikacja aktywności systemów modelowanych na bazie architektury SOA – prowadzona w oparciu o wymagania zadane diagramami przypadków użycia — Verification of activity for SOA-based systems – carried out on a use-case diagrams requirements / Radosław KLIMEK, Paweł SKRZYŃSKI, Michał TUREK // Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie ; ISSN 1429-3447. — 2010 t. 14 z. 3/2, s. 893–903. — Bibliogr. s. 903, Streszcz., Summ.. — tekst: http://journals.bg.agh.edu.pl/AUTOMATYKA/2010-03-2/Auto20.pdf

Weryfikacja procesów biznesowych metodą dedukcyjną z wykorzystaniem logiki temporalnej — Deduction-based formal verification of business models using temporal logic / Radosław KLIMEK // PAR Pomiary Automatyka Robotyka ; ISSN 1427-9126. — 2011 R. 15 nr 12, s. 190–193. — Bibliogr. s. 193, Streszcz., Abstr.

Weryfikacja procesów biznesowych metodą tablic semantycznych — Automated process verification with a semantic tables approach / Radosław KLIMEK, Paweł SKRZYŃSKI, Michał TUREK // Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie ; ISSN 1429-3447. — 2010 t. 14 z. 3/2, s. 905–914. — Bibliogr. s. 913–914, Streszcz., Summ.. — tekst: http://journals.bg.agh.edu.pl/AUTOMATYKA/2010-03-2/Auto21.pdf

Zastosowanie weryfikacji dedukcyjnej w projektowaniu oprogramowania korporacyjnego budowanego w oparciu o paradygmat SOA — Deduction based formal verification of SOA compliant enterprise software / Radosław KLIMEK, Paweł SKRZYŃSKI // Prace Naukowe Uniwersytetu Ekonomicznego we Wrocławiu = Research Papers of Wrocław University of Economics ; ISSN 1899-3192 ; nr 212. Informatyka Ekonomiczna = Business Informatics ; ISSN 1507-3858. — 2011 nr 22, s. 184–195. — Bibliogr. s. 194–195, Streszcz., Summ.