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 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

  • keywords: temporal logic, semantic tableaux, BPMN, formal verification, deductive reasoning, generating logical specification, workflow patterns, logical primitives, business models

    cyfrowy identyfikator dokumentu: 10.2478/amcs-2014-0069

2

  • 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

3

  • 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

4

  • 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

5

  • 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