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
3
  • [artykuł w czasopiśmie, 2011]
  • TytułAnaliza możliwości formalnej weryfikacji problemów planowania w kontekście procesów biznesowych
    AutorzyRadosław KLIMEK, Sebastian ERNST
    ŹródłoPrace Naukowe Uniwersytetu Ekonomicznego we Wrocławiu. Informatyka Ekonomiczna = Business Informatics. — 2011 nr 22, s. 169–183
4
  • [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
5
6
7
8
9
  • [artykuł w czasopiśmie, 2021]
  • TytułHuman health risk assessment of air pollution in the regions of unsustainable heating sources : case study — the tourist areas of Southern Poland
    AutorzyAgnieszka GRUSZECKA-KOSOWSKA, Jacek DAJDA, Ewa ADAMIEC, Edeltrauda HELIOS-RYBICKA, Marek KISIEL-DOROHINICKI, Radosław KLIMEK, Dariusz PAŁKA, Jarosław WĄS
    ŹródłoAtmosphere [Dokument elektroniczny]. — Czasopismo elektroniczne. — 2021 vol. 12 iss. 5 art. no. 615, s. 1–13. — tekst: https://www.mdpi.com/2073-4433/12/5/615/pdf
10
  • [artykuł w czasopiśmie, 2019]
  • TytułPattern-based and composition-driven automatic generation of logical specifications for workflow-oriented software models
    AutorzyRadosław KLIMEK
    ŹródłoJournal of Logical and Algebraic Methods in Programming. — 2019 vol. 104, s. 201–226. — tekst: https://s.agh.edu.pl/vN45S
11
  • [artykuł w czasopiśmie, 2010]
  • TytułRozszerzenie języka BPQL na potrzeby interaktywnego modelowania i formalnej weryfikacji diagramów aktywności UML
    AutorzyRadosław KLIMEK, Paweł SKRZYŃSKI, Michał TUREK
    ŹródłoAutomatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie. — 2010 t. 14 z. 3/2, s. 915–924. — tekst: http://journals.bg.agh.edu.pl/AUTOMATYKA/2010-03-2/Auto22.pdf
12
  • [artykuł w czasopiśmie, 2020]
  • TytułSensor-enabled context-aware and pro-active queue management systems in intelligent environments
    AutorzyRadosław KLIMEK
    ŹródłoSensors [Dokument elektroniczny]. — Czasopismo elektroniczne. — 2020 vol. 20 iss. 20 art. no. 5837, s. 1–29. — tekst: https://www.mdpi.com/1424-8220/20/20/5837/pdf
13
14
15
  • [artykuł w czasopiśmie, 2019]
  • TytułUsing medium-cost sensors to estimate air quality in remote locations : case study of Niedzica, southern Poland
    AutorzyEwa ADAMIEC, Jacek DAJDA, Agnieszka GRUSZECKA-KOSOWSKA, Edeltrauda HELIOS-RYBICKA, Marek KISIEL-DOROHINICKI, Radosław KLIMEK, Dariusz PAŁKA, Jarosław WĄS
    ŹródłoAtmosphere [Dokument elektroniczny]. — Czasopismo elektroniczne. — 2019 vol. 10 iss. 7 art. no. 393, s. 1–13. — tekst: https://www.mdpi.com/2073-4433/10/7/393/pdf
16
17
  • [artykuł w czasopiśmie, 2010]
  • TytułWeryfikacja aktywności systemów modelowanych na bazie architektury SOA – prowadzona w oparciu o wymagania zadane diagramami przypadków użycia
    AutorzyRadosław KLIMEK, Paweł SKRZYŃSKI, Michał TUREK
    ŹródłoAutomatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie. — 2010 t. 14 z. 3/2, s. 893–903. — tekst: http://journals.bg.agh.edu.pl/AUTOMATYKA/2010-03-2/Auto20.pdf
18
  • [artykuł w czasopiśmie, 2011]
  • TytułWeryfikacja procesów biznesowych metodą dedukcyjną z wykorzystaniem logiki temporalnej
    AutorzyRadosław KLIMEK
    ŹródłoPAR Pomiary Automatyka Robotyka. — 2011 R. 15 nr 12, s. 190–193
19
  • [artykuł w czasopiśmie, 2010]
  • TytułWeryfikacja procesów biznesowych metodą tablic semantycznych
    AutorzyRadosław KLIMEK, Paweł SKRZYŃSKI, Michał TUREK
    ŹródłoAutomatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie. — 2010 t. 14 z. 3/2, s. 905–914. — tekst: http://journals.bg.agh.edu.pl/AUTOMATYKA/2010-03-2/Auto21.pdf
20
  • [artykuł w czasopiśmie, 2011]
  • TytułZastosowanie weryfikacji dedukcyjnej w projektowaniu oprogramowania korporacyjnego budowanego w oparciu o paradygmat SOA
    AutorzyRadosław KLIMEK, Paweł SKRZYŃSKI
    ŹródłoPrace Naukowe Uniwersytetu Ekonomicznego we Wrocławiu ; nr 212. Informatyka Ekonomiczna = Business Informatics. — 2011 nr 22, s. 184–195