Wykaz publikacji wybranego autora

Radosław Klimek, dr hab. inż., prof. AGH

profesor nadzwyczajny

Faculty of Electrical Engineering, Automatics, Computer Science and Biomedical Engineering
WEAIiIB-kis

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

Liczba pozycji spełniających powyższe kryteria selekcji: 78, z ogólnej liczby 78 publikacji Autora

1
  • A deduction-based system for formal verification of agent-ready Web services
2
  • A method of a systematic system analysis using temporal logic
3
  • A system for deduction-based formal verification of workflow-oriented software models
4
5
  • Analiza diagramów języka UML w kontekście metody FPA
6
  • Analiza, klasyfikacja i ocena wybranych problemów i rozwiązań reprezentacji i weryfikacji danych i wiedzy
7
  • Analiza mechanizmów języka UML 2.0 do modelowania oprogramowania systemów czasu rzeczywistego
8
  • Analiza możliwości formalnej weryfikacji problemów planowania w kontekście procesów biznesowych
9
  • Application of deductive reasoning to the verification of ArchiMate behavioral elements
10
  • Automatyczna weryfikacja modelu na etapie analizy wymagań
11
  • Behavior recognition and analysis in smart environments for context-aware applications
12
  • Behavioural patterns from cellular data streams and outdoor lighting as strong allies for smart urban ecosystems
13
  • Business process formal verification approach based on deductive reasoning
14
  • Business process formal verification approach based on deductive reasoning
15
  • Collective decision making in dynamic vehicle routing problem
16
  • Context-aware and pro-active queue management systems in intelligent environments
17
  • Deduction based verification of business models
18
  • Deduction-based formal verification of requirements models with automatic generation of logical specifications
19
  • Deduction-based modelling and verification of agent-based systems for data integration
20
  • Exploration of human activities using message streaming brokers and automated logical reasoning for ambient-assisted services
21
  • Forest protection as a context-aware system
22
  • Formal analysis of use case diagrams
23
  • Formalna analiza poprawności modeli usług sieciowych
24
  • From extraction of logical specifications to deduction-based formal verification of requirements models
25
  • From workflow design patterns to logical specifications