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
  • Application of deductive reasoning to the verification of ArchiMate behavioral elements
3
  • Deduction-based formal verification of requirements models with automatic generation of logical specifications
4
  • From extraction of logical specifications to deduction-based formal verification of requirements models
5
  • From workflow design patterns to logical specifications
6
  • Problemy bezpieczeństwa w inteligentnych sieciach energetycznych
7
  • State-space reduction through preference modeling
8
  • Temporal preference models and their deduction-based analysis for pervasive applications
9
  • Towards deductive-based support for software development processes
10
  • Verification of ArchiMate process specifications based on deductive temporal reasoning
11
  • Verifying data integration agents with deduction-based models