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 deduction-based system for formal verification of agent-ready Web services / Radosław KLIMEK // W: Advanced 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. — (Frontiers in Artificial Intelligence and Applications ; ISSN 0922-6389 ; vol. 252). — ISBN: 978-1-61499-253-0 ; e-ISBN: 978-1-61499-254-7. — S. 203–212. — Bibliogr. s. 212, Abstr.

  • keywords: design patterns, agents, temporal logic, deduction, semantic tableaux, verification, web services, BPEL

    cyfrowy identyfikator dokumentu: 10.3233/978-1-61499-254-7-203

2

  • A method of a systematic system analysis using temporal logic / Radosław KLIMEK // W: Cybernetics and systems 2000 : proceedings of the fifteenth European Meeting on Cybernetics and Systems Research : Vienna, Austria 25–28 April 2000, Vol. 2 / ed. Robert Trappl ; University of Vienna ; Austrian Society for Cybernetic Studies. — [Vienna : University of Vienna], [2000]. — S. 751–756. — Bibliogr. s. 756, Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

3
4

  • Behavior recognition and analysis in smart environments for context-aware applications / Radosław KLIMEK // W: SMC 2015 [Dokument elektroniczny] : the 2015 IEEE international conference on Systems, Man, and Cybernetics : 9–12 October 2015, Hong Kong : proceedings. — Wersja do Windows. — Dane tekstowe. — [Piscataway] : IEEE, cop. 2015. — e-ISBN: 978-1-4799-8696-5. — S. 1949–1955. — Wymagania systemowe: Adobe Reader. — Tryb dostępu: http://wbg2.bg.agh.edu.pl/stamp/stamp.jsp?tp=&arnumber=7379472 [2016-01-27]. — Bibliogr. s. 1955, Abstr.

  • keywords: temporal logic, semantic tableaux, context awareness, unified logical framework, sensorized environment

    cyfrowy identyfikator dokumentu: 10.1109/SMC.2015.340

5

  • Behavioural patterns from cellular data streams and outdoor lighting as strong allies for smart urban ecosystems / Radosław KLIMEK, Leszek KOTULSKI, Adam SĘDZIWY // W: State of the art in AI applied to ambient intelligence / eds. Asier Aztiria, Juan Carlos Augusto, Andrea Orlandini. — Amsterdam ; Berlin ; Heidelberg : IOS Press, cop. 2017. — (Frontiers in Artificial Intelligence and Applications ; ISSN 0922-6389 ; vol. 298). — ISBN: 978-1-61499-803-7 ; e-ISBN: 978-1-61499-804-4. — S. 109–121. — Bibliogr. s. 120–121, Abstr.

    orcid iD

  • keywords: context awareness, outdoor lighting, pervasive computing, smart city, cell phone network, call detail record, behaviour recognition, pro-active system, multi-agent system, base transceiver station

    Zobacz pełny wykaz publikacji Autora/Autorów: Adam Sędziwy, Leszek Kotulski

    cyfrowy identyfikator dokumentu: 10.3233/978-1-61499-804-4-109

6
7

  • Context-aware and pro-active queue management systems in intelligent environments / Radosław KLIMEK // W: FedCSIS [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. — Wersja do Windows. — Dane tekstowe. — [Piscataway] : PTI, IEEE, [2017]. — ISBN: 978-8-3946-2537-5. — S. 1093–1100. — Wymagania systemowe: Adobe Reader ; Dysk Flash. — Bibliogr. s. 1100, Abstr.. — Toż. w bazie IEEE. — (Federated Conference on Computer Science and Information Systems ; ISSN 2300-5963 ; vol. 11). — S. 1077–1084. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 1084. — ISBN 978-83-946253-7-5. — {https://goo.gl/N7kxPn}

    orcid iD

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

    cyfrowy identyfikator dokumentu: 10.15439/2017F362

8

  • Deduction-based formal verification of requirements models with automatic generation of logical specifications / Radosław KLIMEK // W: Evaluation 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. — (Communications in Computer and Information Science ; ISSN 1865-0929 ; 410). — ISBN: 978-3-642-45421-9 ; e-ISBN: 978-3-642-45422-6. — S. 157–171

  • keywords: design patterns, UML, temporal logic, requirements engineering, formal verification, deductive reasoning, use case scenarios, semantic tableaux method, workflows, use case diagram, activity diagram, logical modeling, generation formulas

    cyfrowy identyfikator dokumentu: 10.1007/978-3-642-45422-6_11

9

  • Deduction-based modelling and verification of agent-based systems for data integration / Radosław KLIMEK, Łukasz FABER, Marek KISIEL-DOROHINICKI // W: Man-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. — (Advances in Intelligent Systems and Computing ; ISSN 2194-5357 ; vol. 242). — ISBN: 978-3-319-02308-3 ; e-ISBN: 978-3-319-02309-0. — S. 361–368. — Bibliogr. s. 368, Abstr.

  • keywords: multi-agent systems, temporal logic, formal verification, deductive reasoning, activity diagrams, workflows patterns

    Zobacz pełny wykaz publikacji Autora/Autorów: Marek Kisiel-Dorohinicki, Łukasz Faber

    cyfrowy identyfikator dokumentu: 10.1007/978-3-319-02309-0_39

10

  • 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

11

  • Forest protection as a context-aware system / Radosław KLIMEK // W: MobiQuitous 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. — Wersja do Windows. — Dane tekstowe. — Cham : Springer Nature Switzerland AG, cop. 2023. — (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; ISSN 1867-8211 ; LNICST 492). — ISBN: 978-3-031-34775-7 ; e-ISBN: 978-3-031-34776-4. — S. XXV-XXVII. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. XXVII, Abstr.. — tekst: https://link.springer.com/content/pdf/bfm:978-3-031-34776-4/1?pdf=chapter%20toc

    orcid iD

  • keywords: forest protection, context-aware system, smart decision

    cyfrowy identyfikator dokumentu:

12

  • From extraction of logical specifications to deduction-based formal verification of requirements models / Radosław KLIMEK // W: Software 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. — (Lecture Notes in Computer Science ; ISSN 0302-9743 ; LNCS 8137. Programming and Software Engineering ; ISSN 2945-915X). — ISBN: 978-3-642-40560-0 ; e-ISBN: 978-3-642-40561-7. — S. 61–75. — Bibliogr. s. 75, Abstr.

  • keywords: temporal logic, requirements engineering, formal verification, deductive reasoning, use case diagrams, use case scenarios, activity diagrams, workflows patterns, logical specifications, semantic tableaux method

    cyfrowy identyfikator dokumentu: 10.1007/978-3-642-40561-7_5

13
14

  • Mapping population and mobile pervasive datasets into individual behaviours for urban ecosystems / Radosław KLIMEK // W: Artificial 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. — (Lecture Notes in Computer Science ; ISSN 0302-9743 ; LNCS 9692. Lecture Notes in Artificial Intelligence). — ISBN: 978-3-319-39377-3 ; e-ISBN: 978-3-319-39378-0. — S. 683–694. — Bibliogr. s. 694, Abstr.. — Toż na Dysku Flash

  • keywords: multi-agent system, base transceiver station, pervasive dataset, mobile phone network, urban ecosystem, individual behavior recognition, tourist movement

    cyfrowy identyfikator dokumentu: 10.1007/978-3-319-39378-0_58

15

  • Modeling context-aware and agent-ready systems for the outdoor smart lighting / Radosław KLIMEK, Grzegorz ROGUS // W: Artificial 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. — (Lecture Notes in Computer Science ; ISSN 0302-9743 ; LNCS 8468. Lecture Notes in Artificial Intelligence). — ISBN: 978-3-319-07175-6 ; e-ISBN: 978-3-319-07176-3. — S. 257–268. — Bibliogr. s. 267–268, Abstr.

  • keywords: context awareness, activity diagrams, smart lighting, system architecture, pervasive computing, Ambient Intelligence, Context Modeling Language

    Zobacz pełny wykaz publikacji Autora/Autorów: Grzegorz Rogus

    cyfrowy identyfikator dokumentu: 10.1007/978-3-319-07176-3_23

16

  • Modelling contextual data for smart environments : case study of a system to support mountain rescuers / Radosław KLIMEK // W: Computational Science - ICCS 2020 : 20th International Conference : Amsterdam, The Netherlands, June 3–5, 2020 : proceedings, Pt. 5 / eds. Valeria V. Krzhizhanovskaya, [et al.]. — Cham : Springer Nature Switzerland, cop. 2020. — (Lecture Notes in Computer Science ; ISSN 0302-9743 ; LNCS 12141. Theoretical Computer Science and General Issues ; ISSN 2512-2010). — ISBN: 978-3-030-50425-0 ; e-ISBN: 978-3-030-50426-7. — S. 273–287. — Bibliogr. s. 286–287, Abstr.. — Publikacja dostępna online od: 2020-06-15. — tekst: https://link-1springer-1com-1000048sm016e.wbg2.bg.agh.edu.pl/content/pdf/10.1007%2F978-3-030-50426-7_21.pdf

    orcid iD

  • keywords: IoT, middleware, rescuing activity, streaming sensor data, modelling contextual information

    cyfrowy identyfikator dokumentu: 10.1007/978-3-030-50426-7_21

17

  • On some problems with modelling of exceptions in UML / Radosław KLIMEK, Paweł SKRZYŃSKI, Michał TUREK // W: Software engineering : evolution and emerging technologies / eds. Krzysztof Zieliński, Tomasz Szmuc. — Amsterdam, [etc.] : IOS Press, 2005. — (Frontiers in Artificial Intelligence and Applications ; ISSN 0922-6389 ; vol. 130). — ISBN: 978-1-58603-559-4. — S. 87–98. — Bibliogr. s. 98, Abstr.

  • keywords: exception handling, exceptions, interrupts, software robustness, UML 2.0, statechart diagrams, Telelogic Tau G2

    Zobacz pełny wykaz publikacji Autora/Autorów: Paweł Skrzyński, Michał Turek

    cyfrowy identyfikator dokumentu:

18

  • Police interventions as a context-aware system : a case of a contextual data modelling / Radosław KLIMEK // W: ISD2022 [Dokument elektroniczny] : 30th international conference on Information Systems Development : Cluj Napoca, Romania, [31 August–2 September, 2022] / eds. R. A. Buchmann [et al.]. — Wersja do Windows. — Dane tekstowe. — [S. l. : AIS], [2022]. — S. [1–12]. — Wymagania systemowe: Adobe Reader. — Tryb dostępu: https://aisel.aisnet.org/cgi/viewcontent.cgi?article=1398&context=isd2014 [2022-09-26]. — Bibliogr. s. [11–12], Abstr.

    orcid iD

  • keywords: decision making, police interventions, gathering and modelling contextual data, pervasive sensing

    cyfrowy identyfikator dokumentu:

19

  • Police interventions as a context-aware system : a case of a contextual data modelling / Radosław KLIMEK // W: Advances in information systems development : AI for IS development and operations : [International Conference on Information Systems Development (ISD) : Cluj Napoca, Romania, 31 August–2 September, 2022] / eds. Gheorghe Cosmin Silaghi, [et al.]. — Cham : Springer Nature Switzerland, cop. 2023. — (Lecture Notes in Information Systems and Organisation ; ISSN 2195-4968 ; vol. 63). — ISBN: 978-3-031-32417-8 ; e-ISBN: 978-3-031-32418-5. — S. 133–148. — Bibliogr., Abstr.. — Publikacja dostępna online od: 2023-06-27

    orcid iD

  • keywords: decision making, police interventions, gathering and modelling contextual data, pervasive sensing

    cyfrowy identyfikator dokumentu: 10.1007/978-3-031-32418-5_8

20

  • Preference models and their elicitation and analysis for context-aware applications / Radosław KLIMEK // W: Man-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. — (Advances in Intelligent Systems and Computing ; ISSN 2194-5357 ; vol. 242). — ISBN: 978-3-319-02308-3 ; e-ISBN: 978-3-319-02309-0. — S. 353–360. — Bibliogr. s. 360, Abstr.

  • keywords: temporal logic, requirements engineering, deductive reasoning, context aware systems, preference models, preference patterns, pervasive applications

    cyfrowy identyfikator dokumentu: 10.1007/978-3-319-02309-0_38

21

  • Profile-driven synthetic trajectories generation to enhance smart system solutions / Radosław KLIMEK, Arkadiusz Olesek // W: Computational Science – ICCS 2021 : 21st international conference : Krakow, Poland, June 16–18, 2021 : proceedings, Pt. 4 / eds. Maciej Paszyński, [et al.]. — Cham : Springer Nature Switzerland, cop. 2021. — (Lecture Notes in Computer Science ; ISSN 0302-9743 ; LNCS 12745. Theoretical Computer Science and General Issues ; ISSN 2512-2010). — ISBN: 978-3-030-77969-6 ; e-ISBN: 978-3-030-77970-2. — S. 623–630. — Bibliogr., Abstr.. — Publikacja dostępna online od: 2021-06-09

    orcid iD

  • keywords: smart system, data management, urban ecosystem calibration, synthetic trajectories generation

    cyfrowy identyfikator dokumentu: 10.1007/978-3-030-77970-2_47

22

  • Proposal of a context-aware smart home ecosystem / Radosław KLIMEK, Grzegorz ROGUS // W: Artificial Intelligence and Soft Computing : 14th International Conference, ICAISC 2015 : Zakopane, Poland, June 14–18, 2015 : proceedings, Pt. 2 / eds. Leszek Rutkowski, [et al.]. — Cham, [etc.] : Springer, cop. 2015. — (Lecture Notes in Computer Science ; ISSN 0302-9743 ; LNCS 9120. Lecture Notes in Artificial Intelligence). — ISBN: 978-3-319-19368-7 ; e-ISBN: 978-3-319-19369-4. — S. 412–423. — Bibliogr. s. 422–423, Abstr.

  • keywords: SOA, context awareness, web service, pervasive computing, smart home, ecosystem, smart scenario, context modeling, context reasoning, architecture for smart homes

    Zobacz pełny wykaz publikacji Autora/Autorów: Grzegorz Rogus

    cyfrowy identyfikator dokumentu: 10.1007/978-3-319-19369-4_37

23

  • Proposal of a multi-agent system for a smart outdoor lighting environment / Radosław KLIMEK // W: Artificial Intelligence and Soft Computing : 16th International Conference : ICAISC 2017 Zakopane, Poland, June 11–15, 2017 : proceedings, Pt. 2 / eds. Leszek Rutkowski, [et al.]. — Switzerland : Springer International Publishing, cop. 2017. — (Lecture Notes in Computer Science ; ISSN 0302-9743 ; LNCS 10246. Lecture Notes in Artificial Intelligence). — Toż na Dysku Flash. — ISBN: 978-3-319-59059-2 ; e-ISBN: 978-3-319-59060-8. — S. 255–266. — Bibliogr. s. 266, Abstr.. — Publikacja dostępna online od: 2017-05-24. — tekst: https://link-1springer-1com-1000048up001c.wbg2.bg.agh.edu.pl/content/pdf/10.1007%2F978-3-319-59060-8_24.pdf

    orcid iD

  • keywords: pervasive computing, multi-agent system, smart scenario, IoT, smart outdoor lighting, JADE

    cyfrowy identyfikator dokumentu: 10.1007/978-3-319-59060-8_24

24

  • Proposal of a multiagent-based smart environment for the IoT / Radosław KLIMEK, Leszek KOTULSKI // W: Workshop proceedings of the 10th international conference on intelligent environments / eds. Juan C. Augusto, Tongzhen Zhang. — Amsterdam: IOS Press BV, cop. 2014. — (Ambient Intelligence and Smart Environments ; ISSN 1875-4163 ; Vol. 18). — ISBN: 978-61499-410-7 ; e-ISBN: 978-1-61499-411-4. — S. 37–44. — Bibliogr. s. 44, Abstr.

  • keywords: reasoning, agents, temporal logic, context awareness, preference models, graph structure

    Zobacz pełny wykaz publikacji Autora/Autorów: Leszek Kotulski

    cyfrowy identyfikator dokumentu: 10.3233/978-1-61499-411-4-37

25

  • Proposal of a smart gun system supporting police interventions / Radosław KLIMEK, Zuzanna Drwiła, Patrycja Dzienisik // W: Artificial Intelligence and Soft Computing : 17th International Conference : ICAISC 2018 : Zakopane, Poland, June 3–7, 2018 : proceedings, Pt. 2 / eds. Leszek Rutkowski, [et al.]. — Cham : Springer International Publishing AG, cop. 2018. — (Lecture Notes in Computer Science ; ISSN 0302-9743 ; LNCS 10842. Lecture Notes in Artificial Intelligence). — ISBN: 978-3-319-91261-5 ; e-ISBN: 978-3-319-91262-2. — S. 677–688. — Bibliogr. s. 688, Abstr.. — Publikacja dostępna online od: 2018-05-11. — tekst: https://link-1springer-1com-10000484j0077.wbg2.bg.agh.edu.pl/content/pdf/10.1007%2F978-3-319-91262-2_59.pdf

    orcid iD

  • keywords: pervasive computing, police, IoT, use case scenario, smart gun

    cyfrowy identyfikator dokumentu: 10.1007/978-3-319-91262-2_59