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, 2000]
  • TytułA method of a systematic system analysis using temporal logic
    AutorzyRadosław KLIMEK
    ŹródłoCybernetics 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
2
  • [referat, 2004]
  • TytułAnaliza diagramów języka UML w kontekście metody FPA
    AutorzyRadosław KLIMEK
    ŹródłoInż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. — S. 259–268
3
  • [referat, 1999]
  • TytułAnaliza, klasyfikacja i ocena wybranych problemów i rozwiązań reprezentacji i weryfikacji danych i wiedzy
    AutorzyAntoni LIGĘZA, Radosław KLIMEK, Tomasz SZMUC
    ŹródłoMetody 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
4
  • [fragment książki, 2004]
  • TytułAnaliza mechanizmów języka UML 2.0 do modelowania oprogramowania systemów czasu rzeczywistego
    AutorzyRadosław KLIMEK, Tomasz SZMUC
    ŹródłoWspółczesne problemy systemów czasu rzeczywistego : praca zbiorowa / pod red.: Andrzeja Kwietnia i Piotra Gaja. — Warszawa : Wydawnictwa Naukowo-Techniczne, 2004. — S. 45–60
5
  • [referat, 2010]
  • TytułBusiness process formal verification approach based on deductive reasoning
    AutorzyRadosław KLIMEK, Paweł SKRZYŃSKI
    ŹródłoZarzą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. — Kraków : WZ AGH, 2010. — S. [1–11]
6
  • [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
7
  • [referat, 2001]
  • TytułGranulacja dziedziny czasowej w temporalnych bazach danych
    AutorzyRadosław KLIMEK
    ŹródłoSystemy 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
8
  • [referat, 2005]
  • TytułModelling exception handling in UML – statechart diagrams approach
    AutorzyRadosław KLIMEK, Paweł SKRZYŃSKI, Michał TUREK
    ŹródłoSystem 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. — S. 141–147
9
  • [referat, 2000]
  • TytułMożliwości wykorzystania logiki temporalnej w analizie diagramów UML – wybrane zagadnienia
    AutorzyRadosław KLIMEK
    ŹródłoSystemy 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. — S. 89–98
10
  • [referat, 2005]
  • TytułNowoczesne systemy zarządzania treścią w bazach danych i witrynach internetowych
    AutorzySebastian ERNST, Dominik Pacewicz, Radosław KLIMEK
    ŹródłoCMS'05 : Computer Methods and Systems : V konferencja : 14–16 November 2005, Kraków, Poland. Vol. 2, Regular sessions / 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
11
  • [referat, 2012]
  • TytułProposal to improve the requirements process through formal verification using deductive approach
    AutorzyRadosław KLIMEK
    ŹródłoENASE 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. — S. 105–114
12
  • [referat, 2005]
  • TytułRecommendation systems: prediction of web site user preferences
    AutorzySebastian ERNST, Dominik Pacewicz, Radosław KLIMEK
    ŹródłoCMS'05 : Computer Methods and Systems : V konferencja : 14–16 November 2005, Kraków, Poland. Vol. 2, Regular sessions / 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
13
  • [referat, 1999]
  • TytułSystematyczne projektowanie programów z wykorzystaniem logiki temporalnej
    AutorzyRadosław KLIMEK
    ŹródłoMetody 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
14
  • [materiały konferencyjne (red.), 2000]
  • TytułSystemy czasu rzeczywistego : VII [siódma] konferencja : Kraków, 25–28 września 2000 : materiały konferencyjne
    Autorzyred. Tomasz SZMUC, Radosław KLIMEK ; Katedra Automatyki Akademii Górniczo-Hutniczej
    DetailsKraków : KA AGH, 2000. — 555 s.
15
  • [materiały konferencyjne (red.), 2001]
  • TytułSystemy czasu rzeczywistego : VIII konferencja : Krynica, 24–27 września 2001 : materiały konferencyjne
    Autorzyred. Tomasz SZMUC, Radosław KLIMEK ; Katedra Automatyki Akademii Górniczo-Hutniczej
    DetailsKraków : KA AGH, [2001]. — [16], 440 s.
16
  • [materiały konferencyjne (red.), 2002]
  • TytułSystemy czasu rzeczywistego : VIII konferencja : Krynica, 24–27 września 2001 : wykłady zaproszone
    Autorzyred. Tomasz SZMUC, Radosław KLIMEK ; Katedra Automatyki Akademii Górniczo-Hutniczej
    DetailsKraków : KA AGH, 2002. — XIV, 186 s.
17
  • [referat, 2013]
  • TytułTemporal preference models and their deduction-based analysis for pervasive applications
    AutorzyRadosław KLIMEK
    ŹródłoPECCS 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. — S. 131–134
18
  • [fragment książki, 2000]
  • TytułWeryfikacja wybranych własności jakościowych systemów tablicowych z bazą wiedzy
    AutorzyAntoni LIGĘZA, Marcin SZPYRKA, Radosław KLIMEK, Tomasz SZMUC
    ŹródłoInżynieria wiedzy i systemy ekspertowe, T. 1 / pod red. Zdzisława Bubnickiego i Adama Grzecha. — Wrocław : Oficyna Wydawnicza Politechniki Wrocławskiej, 2000. — S. 103–110
19
  • [książka, 1999]
  • TytułWprowadzenie do logiki temporalnej
    AutorzyRadosław KLIMEK
    DetailsKraków : Uczelniane Wydawnictwa Naukowo-Dydaktyczne, 1999. — 173 s.
20
  • [referat, 2005]
  • TytułWykorzystanie języka XML do wizualizacji obliczeń z zastosowaniem nietypowych danych
    AutorzyMarcin Kalinowski, Paweł Zięba, Radosław KLIMEK
    ŹródłoCMS'05 : Computer Methods and Systems : V konferencja : 14–16 November 2005, Kraków, Poland. Vol. 2, Regular sessions / 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
21
  • [referat, 2000]
  • TytułZagadnienie ryzyka w projekcie informatycznym – analiza i zarządzanie ryzykiem
    AutorzyRadosław KLIMEK
    ŹródłoKKIO 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]. — S. 35–44