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
  • [referat, 2013]
  • TytułA deduction-based system for formal verification of agent-ready Web services
    AutorzyRadosław KLIMEK
    ŹródłoAdvanced methods and technologies for agent and multi-agent systems : KES-AMSTA 2013 : [7th KES Conference on Agent and Multi-Agent Systems – Technologies and Applications : May 27–29, 2013, Hue, Vietnam] / eds. Dariusz Barbucha, [et al.]. — Amsterdam : IOS Press, cop. 2013. — S. 203–212
2
  • [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
3
4
  • [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
5
  • [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
6
  • [fragment książki, 2010]
  • TytułAutomatyczna weryfikacja modelu na etapie analizy wymagań
    AutorzyRadosław KLIMEK, Paweł SKRZYŃSKI, Michał TUREK
    ŹródłoInżynieria oprogramowania w procesach integracji systemów informatycznych / red. Janusz Górski, Cezary Orłowski. — Gdańsk : Pomorskie Wydawnictwo Naukowo-Techniczne PWNT, 2010. — S. 209–216
7
  • [referat, 2015]
  • TytułBehavior recognition and analysis in smart environments for context-aware applications
    AutorzyRadosław KLIMEK
    ŹródłoSMC 2015 [Dokument elektroniczny] : the 2015 IEEE international conference on Systems, Man, and Cybernetics : 9–12 October 2015, Hong Kong : proceedings. — [Piscataway] : IEEE, cop. 2015. — S. 1949–1955
8
  • [fragment książki, 2017]
  • TytułBehavioural patterns from cellular data streams and outdoor lighting as strong allies for smart urban ecosystems
    AutorzyRadosław KLIMEK, Leszek KOTULSKI, Adam SĘDZIWY
    ŹródłoState of the art in AI applied to ambient intelligence / eds. Asier Aztiria, Juan Carlos Augusto, Andrea Orlandini. — Amsterdam ; Berlin ; Heidelberg : IOS Press, cop. 2017. — S. 109–121
9
  • [fragment książki, 2010]
  • TytułBusiness process formal verification approach based on deductive reasoning
    AutorzyRadosław KLIMEK, Paweł SKRZYŃSKI
    ŹródłoProduction engineering in making / ed. Piotr Łebkowski. — Kraków : AGH University of Science and Technology Press, 2010. — S. 115–125
10
11
  • [referat, 2017]
  • TytułContext-aware and pro-active queue management systems in intelligent environments
    AutorzyRadosław KLIMEK
    ŹródłoFedCSIS [Dokument elektroniczny] : proceedings of the 2017 Federated Conference on Computer Science and Information Systems : September, 3–6, 2017, Prague, Czech Republic / eds. Maria Ganzha, Leszek Maciaszek, Marcin Paprzycki. — [Piscataway] : PTI, IEEE, [2017]. — S. 1093–1100
12
  • [fragment książki, 2010]
  • TytułDeduction based verification of business models
    AutorzyRadosław KLIMEK, Paweł SKRZYŃSKI, Michał TUREK
    ŹródłoAdvanced information technologies for management : AITM 2010 / eds. Jerzy Korczak, Helena Dudycz, Mirosław Dyczkowski. — Wrocław : Publishing House of Wrocław University of Economics, 2010. — S. 173–188
13
  • [referat, 2013]
  • TytułDeduction-based formal verification of requirements models with automatic generation of logical specifications
    AutorzyRadosław KLIMEK
    ŹródłoEvaluation of Novel Approaches to Software Engineering : 7th international conference ENASE 2012 : Wrocław, Poland, June 29–30, 2012 : revised selected papers / eds. Leszek A. Maciaszek, Joaquim Filipe. — Berlin ; Heidelberg : Springer, cop. 2013. — S. 157–171
14
  • [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
15
16
  • [referat, 2023]
  • TytułForest protection as a context-aware system
    AutorzyRadosław KLIMEK
    ŹródłoMobiQuitous 2022 [Dokument elektroniczny] : mobile and ubiquitous systems: computing, networking and services : 19th EAI international conference : Pittsburgh, PA, USA, November 14–17, 2022 : proceedings / eds. Shangguan Longfei, Priyantha Bodhi. — Cham : Springer Nature Switzerland AG, cop. 2023. — S. XXV-XXVII
17
18
  • [fragment książki, 2011]
  • TytułFormalna analiza poprawności modeli usług sieciowych
    AutorzyRadosław KLIMEK, Grzegorz ROGUS
    ŹródłoIntegracja systemów informatycznych – nowe wyzwania / red. Janusz Górski, Cezary Orłowski. — Gdańsk : Pomorskie Wydawnictwo Naukowo-Techniczne PWNT, 2011. — S. 213–220
19
  • [referat, 2013]
  • TytułFrom extraction of logical specifications to deduction-based formal verification of requirements models
    AutorzyRadosław KLIMEK
    ŹródłoSoftware Engineering and Formal Methods : 11th international conference, SEFM 2013 : Madrid, Spain, September 25–27, 2013 : proceedings / eds. Robert M. Hierons, Mercedes G. Merayo, Mario Bravetti. — Berlin ; Heidelberg : Springer-Verlag, cop. 2013. — S. 61–75
20
21
  • [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
22
  • [referat, 2016]
  • TytułMapping population and mobile pervasive datasets into individual behaviours for urban ecosystems
    AutorzyRadosław KLIMEK
    ŹródłoArtificial intelligence and soft computing : 15th international conference, ICAISC 2016 : Zakopane, Poland, June 12–16, 2016 : proceedings, Pt. 1 / eds. Leszek Rutkowski, [et al.]. — Switzerland : Springer International Publishing, cop. 2016. — S. 683–694
23
  • [książka, 2010]
  • TytułMetody formalne w inżynierii oprogramowania systemów czasu rzeczywistego
    AutorzyTomasz SZMUC, Marcin SZPYRKA ; współautorzy: Radosław KLIMEK, Konrad KUŁAKOWSKI, Antoni LIGĘZA, Piotr MATYASIK, Grzegorz J. NALEPA, Jacek PIWOWARCZYK, Agata Półrola, Grzegorz ROGUS, Sławomir Samolej, Wojciech SZMUC, Piotr SZWED, Bartosz Trybus, Bożena Woźna-Szcześniak
    DetailsWarszawa : Wydawnictwa Naukowo-Techniczne, 2010. — VI, 464 s.
24
  • [fragment monografii pokonferencyjnej, 2022]
  • TytułMetody i problemy systemów decyzyjnych
    AutorzyRadosław KLIMEK, Konrad KUŁAKOWSKI, Piotr SZWED
    ŹródłoNauka – technika – technologia : seria wydawnicza AGH, T. 5. — Kraków : Wydawnictwa AGH, 2022. — S. 99–114
25
  • [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