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
2
  • Analiza diagramów języka UML w kontekście metody FPA
3
  • Analiza, klasyfikacja i ocena wybranych problemów i rozwiązań reprezentacji i weryfikacji danych i wiedzy
4
  • Analiza mechanizmów języka UML 2.0 do modelowania oprogramowania systemów czasu rzeczywistego
5
  • Business process formal verification approach based on deductive reasoning
6
  • Granulacja dziedziny czasowej w temporalnych bazach danych
7
  • Human health risk assessment of air pollution in the regions of unsustainable heating sources
8
  • Modelling exception handling in UML – statechart diagrams approach
9
  • Możliwości wykorzystania logiki temporalnej w analizie diagramów UML – wybrane zagadnienia
10
  • Nowoczesne systemy zarządzania treścią w bazach danych i witrynach internetowych
11
  • On some problems with modelling of exceptions in UML
12
  • Proposal to improve the requirements process through formal verification using deductive approach
13
  • Recommendation systems: prediction of web site user preferences
14
  • Systematyczne projektowanie programów z wykorzystaniem logiki temporalnej
15
  • Systemy czasu rzeczywistego
16
  • Systemy czasu rzeczywistego
17
  • Systemy czasu rzeczywistego
18
  • Temporal preference models and their deduction-based analysis for pervasive applications
19
  • Weryfikacja wybranych własności jakościowych systemów tablicowych z bazą wiedzy
20
  • Wprowadzenie do logiki temporalnej
21
  • Wykorzystanie języka XML do wizualizacji obliczeń z zastosowaniem nietypowych danych
22
  • Zagadnienie ryzyka w projekcie informatycznym – analiza i zarządzanie ryzykiem