Wykaz publikacji wybranego autora

Radosław Klimek, dr inż.

adiunkt

Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej
WEAIiIB-kis, Katedra Informatyki Stosowanej

[dyscyplina wiodąca] dziedzina nauk inżynieryjno-technicznych / informatyka techniczna i telekomunikacja


Identyfikatory Autora Informacje o Autorze w systemach zewnętrznych

ORCID: 0000-0002-9061-561X

ResearcherID: brak

Scopus: 55250240200

PBN: 909695

OPI Nauka Polska

System Informacyjny AGH (SkOs)





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


1
  • Analiza diagramów języka UML w kontekście metody FPA
2
  • Analiza, klasyfikacja i ocena wybranych problemów i rozwiązań reprezentacji i weryfikacji danych i wiedzy
3
  • Analiza mechanizmów języka UML 2.0 do modelowania oprogramowania systemów czasu rzeczywistego
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
  • A deduction-based system for formal verification of agent-ready Web services
8
  • A method of a systematic system analysis using temporal logic
9
  • A system for deduction-based formal verification of workflow-oriented software models
10
  • Behavior recognition and analysis in smart environments for context-aware applications
11
  • Behavioural patterns from cellular data streams and outdoor lighting as strong allies for smart urban ecosystems
12
  • Business process formal verification approach based on deductive reasoning
13
  • Business process formal verification approach based on deductive reasoning
14
  • Collective decision making in dynamic vehicle routing problem
15
  • Context-aware and pro-active queue management systems in intelligent environments
16
  • Deduction-based formal verification of requirements models with automatic generation of logical specifications
17
  • Deduction-based modelling and verification of agent-based systems for data integration
18
  • Deduction based verification of business models
19
  • Exploration of human activities using message streaming brokers and automated logical reasoning for ambient-assisted services
20
  • Formalna analiza poprawności modeli usług sieciowych
21
  • Formal analysis of use case diagrams
22
  • From extraction of logical specifications to deduction-based formal verification of requirements models
23
  • From workflow design patterns to logical specifications
24
  • Granulacja dziedziny czasowej w temporalnych bazach danych
25
  • Mapping population and mobile pervasive datasets into individual behaviours for urban ecosystems