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

2

  • Analiza diagramów języka UML w kontekście metody FPA — [Analysis of UML diagrams in the context of the FPA method] / Radosław KLIMEK // W: Inżynieria oprogramowania : nowe wyzwania : VI Krajowa Konferencja Inżynierii Oprogramowania KKIO'2004 : Gdańsk, 5–8 października 2004 / red. Janusz Górski, Andrzej Wardziński ; Polskie Towarzystwo Informatyczne. — Warszawa : Wydawnictwa Naukowo-Techniczne, 2004. — Opis częśc. wg okł.. — S. 259–268. — Bibliogr. s. 268, Streszcz.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

3

  • Analiza, klasyfikacja i ocena wybranych problemów i rozwiązań reprezentacji i weryfikacji danych i wiedzy — [Analysis, classification and evaluation of selected problems and solutions for knowledge representation and verification] / Antoni LIGĘZA, Radosław KLIMEK, Tomasz SZMUC // W: Metody i systemy komputerowe w badaniach naukowych i projektowaniu inżynierskim : II krajowa konferencja : Kraków, 25–27 października 1999 : materiały konferencyjne / red.: R. Tadeusiewicz [et al.] ; Krakowskie Centrum Informatyki Stosowanej = Cracow Centre for Advanced Training in Information Engineering. — Kraków : KCIS, 1999. — S. 261–266. — Bibliogr. s. 266, Streszcz.

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Antoni Ligęza, Tomasz Bartłomiej Szmuc

    cyfrowy identyfikator dokumentu:

4

  • Analiza mechanizmów języka UML 2.0 do modelowania oprogramowania systemów czasu rzeczywistego — [Analysis of UML 2.0 properties for a modeling of real time software] / Radosław KLIMEK, Tomasz SZMUC // W: Współczesne problemy systemów czasu rzeczywistego : praca zbiorowa / pod red.: Andrzeja Kwietnia i Piotra Gaja. — Warszawa : Wydawnictwa Naukowo-Techniczne, 2004. — ISBN10: 8320430232. — S. 45–60. — Bibliogr. s. 59–60

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Tomasz Bartłomiej Szmuc

    cyfrowy identyfikator dokumentu:

5

  • Business process formal verification approach based on deductive reasoning / Radosław KLIMEK, Paweł SKRZYŃSKI // W: Zarządzanie przedsiębiorstwem – teoria i praktyka [Dokument elektroniczny] : XII międzynarodowa konferencja naukowa : 27–28 maja 2010, Kraków : materiały konferencyjne / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydział Zarządzania. — Wersja do Windows. — Dane tekstowe. — Kraków : WZ AGH, 2010. — 1 dysk optyczny. — Opis częśc. wg CD-ROM-u. — S. [1–11]. — Wymagania systemowe: Adobe Acrobat Reader ; napęd CD-ROM. — Bibliogr. s. [11], Summ.

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

6

  • Formalna analiza poprawności modeli usług sieciowych — [Formal analysis of correctness of the web services models] / Radosław KLIMEK, Grzegorz ROGUS // W: Integracja systemów informatycznych – nowe wyzwania / red. Janusz Górski, Cezary Orłowski. — Gdańsk : Pomorskie Wydawnictwo Naukowo-Techniczne PWNT, 2011. — (Automatyka i Informatyka : Technologie Informacyjne, Zarządzanie / ed. serii Zdzisław Kowalczuk ; 10). — ISBN: 978-83-926806-7-3. — S. 213–220. — Bibliogr. s. 220

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

7

  • Granulacja dziedziny czasowej w temporalnych bazach danych — Granularity of time domain in temporal databases / Radosław KLIMEK // W: Systemy czasu rzeczywistego : VIII [ósma] konferencja : Krynica, 24–27 września 2001 : materiały konferencyjne / red. Tomasz Szmuc i Radosław Klimek ; Katedra Automatyki Akademii Górniczo-Hutniczej w Krakowie. — Kraków : KA AGH, 2001. — S. 115–123. — Bibliogr. s. 123

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

8

  • Modelling exception handling in UML – statechart diagrams approach / Radosław KLIMEK, Paweł SKRZYŃSKI, Michał TUREK // W: System Modelling Control – 2005 : proceedings of the 11th international conference : Zakopane, Poland, October 17–19, 2005 / eds. Liliana Byczkowska-Lipińska, Piotr S. Szczepaniak, Hanna Niedźwiedzińska. — Warszawa : Akademicka Oficyna Wydawnicza EXIT, 2005. — (Problemy Współczesnej Nauki, Teoria i Zastosowania. Informatyka / ed. serii Leonard Bolc). — ISBN10: 838767494X. — S. 141–147. — Bibliogr. s. 147, Abstr.

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

9

  • Możliwości wykorzystania logiki temporalnej w analizie diagramów UML – wybrane zagadnienia — Analysis of the UML diagrams using temporal logic – selected issues / Radosław KLIMEK // W: Systemy czasu rzeczywistego : VII konferencja : Kraków, 25–28 września 2000 : materiały konferencyjne / red. Tomasz Szmuc i Radosław Klimek ; Katedra Automatyki Akademii Górniczo-Hutniczej w Krakowie. — Kraków : KA AGH, 2000. — ISBN10: 83-914257-0-3. — S. 89–98. — Bibliogr. s. 98, Summ.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

10

  • Nowoczesne systemy zarządzania treścią w bazach danych i witrynach internetowych — [Modern database and web site content management systems] / Sebastian ERNST, Dominik Pacewicz, Radosław KLIMEK // W: CMS'05 : Computer Methods and Systems : V konferencja : 14–16 November 2005, Kraków, Poland. Vol. 2, Regular sessions = CMS'05 : metody i systemy komputerowe / eds. Ryszard Tadeusiewicz, Antoni Ligęza, Maciej Szymkat ; AGH University of Science and Technology Cracow, Jagiellonian University, Cracow University of Technology. — Kraków : Oprogramowanie Naukowo-Techniczne, 2005. — S. 539–544. — Bibliogr s. 544, Streszcz.

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Sebastian Ernst

    cyfrowy identyfikator dokumentu:

11

  • Proposal to improve the requirements process through formal verification using deductive approach / Radosław KLIMEK // W: ENASE 2012 : proceedings of the 7th international conference on Evaluation of Novel Approaches to Software Engineering : Wrocław, Poland, 29–30 June, 2012 / eds. Joaquim Filipe, Leszek Maciaszek. — Portugal : SciTePress – Science and Technology Publications, cop. 2012 + CD-ROM. — ISBN: 978-989-8565-13-6. — S. 105–114. — Bibliogr. s. 113–114, Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

12

  • Recommendation systems: prediction of web site user preferences / Sebastian ERNST, Dominik Pacewicz, Radosław KLIMEK // W: CMS'05 : Computer Methods and Systems : V konferencja : 14–16 November 2005, Kraków, Poland. Vol. 2, Regular sessions = CMS'05 : metody i systemy komputerowe / eds. Ryszard Tadeusiewicz, Antoni Ligęza, Maciej Szymkat ; AGH University of Science and Technology Cracow, Jagiellonian University, Cracow University of Technology. — Kraków : Oprogramowanie Naukowo-Techniczne, 2005. — S. 533–538. — Bibliogr. s. 538, Abstr.

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Sebastian Ernst

    cyfrowy identyfikator dokumentu:

13

  • Systematyczne projektowanie programów z wykorzystaniem logiki temporalnej — [Systematic program development using temporal logic] / Radosław KLIMEK // W: Metody i systemy komputerowe w badaniach naukowych i projektowaniu inżynierskim : II krajowa konferencja : Kraków, 25–27 października 1999 : materiały konferencyjne / red.: R. Tadeusiewicz [et al.] ; Krakowskie Centrum Informatyki Stosowanej = Cracow Centre for Advanced Training in Information Engineering. — Kraków : KCIS, 1999. — S. 207–212. — Bibliogr. s. 212, Streszcz.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

14

  • Systemy czasu rzeczywistego : VII [siódma] konferencja : Kraków, 25–28 września 2000 : materiały konferencyjne — [Real-time systems] / red. Tomasz SZMUC, Radosław KLIMEK ; Katedra Automatyki Akademii Górniczo-Hutniczej. — Kraków : KA AGH, 2000. — 555 s.. — Bibliogr. przy rozdz.

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Tomasz Bartłomiej Szmuc

    cyfrowy identyfikator dokumentu:

15

  • Systemy czasu rzeczywistego : VIII konferencja : Krynica, 24–27 września 2001 : materiały konferencyjne — [Real-time systems] / red. Tomasz SZMUC, Radosław KLIMEK ; Katedra Automatyki Akademii Górniczo-Hutniczej. — Kraków : KA AGH, [2001]. — [16], 440 s.. — Bibliogr. przy ref. Indeks. — ISBN10: 83-914257-6-2. — Tekst pol. i ang., streszcz. ang. i pol. przy ref.

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Tomasz Bartłomiej Szmuc

    cyfrowy identyfikator dokumentu:

16

  • Systemy czasu rzeczywistego : VIII konferencja : Krynica, 24–27 września 2001 : wykłady zaproszone — 8th conference on Real-time systems : Krynica (Poland), 24–27 September 2001 : invited lectures / red. Tomasz SZMUC, Radosław KLIMEK ; Katedra Automatyki Akademii Górniczo-Hutniczej. — Kraków : KA AGH, 2002. — XIV, 186 s.. — Bibliogr. przy rozdz., Abstr.

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Tomasz Bartłomiej Szmuc

    cyfrowy identyfikator dokumentu:

17

  • Temporal preference models and their deduction-based analysis for pervasive applications / Radosław KLIMEK // W: PECCS 2013 : proceedings of the 3rd international conference on Pervasive Embedded Computing and Communication Systems : Barcelona, Spain 19–21 February, 2013 / ed. César Benavente-Peces, Joaquim Filipe. — [Barcelona] : SCITEPRESS, cop. 2013. — ISBN: 978-989-8565-43-3. — S. 131–134. — Bibliogr. s. 134, Abstr.

  • keywords: temporal logic, preference modeling, context aware applications, patterns, deduction, semantic tableaux

    cyfrowy identyfikator dokumentu:

18

  • Weryfikacja wybranych własności jakościowych systemów tablicowych z bazą wiedzy — [Verification of selected qualitative properties of tabular knowledge based systems] / Antoni LIGĘZA, Marcin SZPYRKA, Radosław KLIMEK, Tomasz SZMUC // W: Inżynieria wiedzy i systemy ekspertowe, T. 1 / pod red. Zdzisława Bubnickiego i Adama Grzecha. — Wrocław : Oficyna Wydawnicza Politechniki Wrocławskiej, 2000. — ISBN10: 83-7085-476-1. — S. 103–110. — Bibliogr. s. 110

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Antoni Ligęza, Tomasz Bartłomiej Szmuc, Marcin Szpyrka

    cyfrowy identyfikator dokumentu:

19

  • Wprowadzenie do logiki temporalnej — [Introduction to temporal logic] / Radosław KLIMEK. — Kraków : Uczelniane Wydawnictwa Naukowo-Dydaktyczne, 1999. — 173 s.. — (Wydawnictwa Dydaktyczne / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie ; 1579). — Bibliogr. s. 155–166

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

20

  • Wykorzystanie języka XML do wizualizacji obliczeń z zastosowaniem nietypowych danych — [Visualisation of atypical data computation results using XML] / Marcin Kalinowski, Paweł Zięba, Radosław KLIMEK // W: CMS'05 : Computer Methods and Systems : V konferencja : 14–16 November 2005, Kraków, Poland. Vol. 2, Regular sessions = CMS'05 : metody i systemy komputerowe / eds. Ryszard Tadeusiewicz, Antoni Ligęza, Maciej Szymkat ; AGH University of Science and Technology Cracow, Jagiellonian University, Cracow University of Technology. — Kraków : Oprogramowanie Naukowo-Techniczne, 2005. — S. 443–447. — Bibliogr. s. 447, Streszcz.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

21

  • Zagadnienie ryzyka w projekcie informatycznym – analiza i zarządzanie ryzykiem — [The risk issue in a software project – the risk analysis and management] / Radosław KLIMEK // W: KKIO 2000 : II Krajowa Konferencja Inżynierii Oprogramowania : Zakopane, 18–20 października 2000 : [materiały konferencyjne] / red. Krzysztof Zieliński. — Kraków : Katedra Informatyki Akademii Górniczo-Hutniczej, [2000]. — ISBN10: 83-914257-5-4. — S. 35–44. — Bibliogr. s. 43–44

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: