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
  • [artykuł w czasopiśmie, 2011]
  • TytułAnaliza możliwości formalnej weryfikacji problemów planowania w kontekście procesów biznesowych
    AutorzyRadosław KLIMEK, Sebastian ERNST
    ŹródłoPrace Naukowe Uniwersytetu Ekonomicznego we Wrocławiu. Informatyka Ekonomiczna = Business Informatics. — 2011 nr 22, s. 169–183

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Sebastian Ernst

    cyfrowy identyfikator dokumentu:

2
  • [fragment książki, 2011]
  • TytułFormalna analiza poprawności modeli usług sieciowych
    AutorzyRadosław KLIMEK, Grzegorz ROGUS
    ŹródłoIntegracja systemów informatycznych – nowe wyzwania / red. Janusz Górski, Cezary Orłowski. — Gdańsk : Pomorskie Wydawnictwo Naukowo-Techniczne PWNT, 2011. — S. 213–220

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Grzegorz Rogus

    cyfrowy identyfikator dokumentu:

3
  • [artykuł w czasopiśmie, 2011]
  • TytułWeryfikacja procesów biznesowych metodą dedukcyjną z wykorzystaniem logiki temporalnej
    AutorzyRadosław KLIMEK
    ŹródłoPAR Pomiary Automatyka Robotyka. — 2011 R. 15 nr 12, s. 190–193

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

4
  • [artykuł w czasopiśmie, 2011]
  • TytułZastosowanie weryfikacji dedukcyjnej w projektowaniu oprogramowania korporacyjnego budowanego w oparciu o paradygmat SOA
    AutorzyRadosław KLIMEK, Paweł SKRZYŃSKI
    ŹródłoPrace Naukowe Uniwersytetu Ekonomicznego we Wrocławiu ; nr 212. Informatyka Ekonomiczna = Business Informatics. — 2011 nr 22, s. 184–195

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Paweł Skrzyński

    cyfrowy identyfikator dokumentu: