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
2
  • A system for deduction-based formal verification of workflow-oriented software models
3
4
  • Analiza możliwości formalnej weryfikacji problemów planowania w kontekście procesów biznesowych
5
  • Application of deductive reasoning to the verification of ArchiMate behavioral elements
6
  • Automatyczna weryfikacja modelu na etapie analizy wymagań
7
  • Behavior recognition and analysis in smart environments for context-aware applications
8
  • Behavioural patterns from cellular data streams and outdoor lighting as strong allies for smart urban ecosystems
9
  • Business process formal verification approach based on deductive reasoning
10
  • Collective decision making in dynamic vehicle routing problem
11
  • Context-aware and pro-active queue management systems in intelligent environments
12
  • Deduction based verification of business models
13
  • Deduction-based formal verification of requirements models with automatic generation of logical specifications
14
  • Deduction-based modelling and verification of agent-based systems for data integration
15
  • Exploration of human activities using message streaming brokers and automated logical reasoning for ambient-assisted services
16
  • Forest protection as a context-aware system
17
  • Formal analysis of use case diagrams
18
  • Formalna analiza poprawności modeli usług sieciowych
19
  • From extraction of logical specifications to deduction-based formal verification of requirements models
20
  • From workflow design patterns to logical specifications
21
  • Human health risk assessment of air pollution in the regions of unsustainable heating sources
22
  • Mapping population and mobile pervasive datasets into individual behaviours for urban ecosystems
23
  • Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego
24
  • Metody i problemy systemów decyzyjnych
25
  • Modeling context-aware and agent-ready systems for the outdoor smart lighting