Wykaz publikacji wybranego autora

Krystian Jobczyk, dr

adiunkt

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-0001-6194-2737 orcid iD

ResearcherID: L-3738-2013

Scopus: 56523352400

PBN: 5e7093b6878c28a0473af9c5

OPI Nauka Polska

System Informacyjny AGH (SkOs)

1
  • [artykuł w czasopiśmie, 2021]
  • TytułA multi-valued simplified Halpern-Shoham-Moszkowski logic for gradable verifiability in reasoning about digital circuits
    AutorzyKrystian JOBCZYK
    ŹródłoElectronics [Dokument elektroniczny]. — Czasopismo elektroniczne. — 2021 vol. 10 iss. 15 art. no. 1817, s. 1-27. — tekst: https://www.mdpi.com/2079-9292/10/15/1817/pdf

  • keywords: Halpern–Shoham logic, interval temporal logic of Moszkowski, gradable varifiability, multi-valued logic, reasoning about digital circuits

    cyfrowy identyfikator dokumentu: 10.3390/electronics10151817

2
3
  • [referat, 2021]
  • TytułThe Lindstrøm-type characterization of Hajek’s fuzzy logic of integrals
    AutorzyKrystian Adam JOBCZYK
    ŹródłoFUZZ-IEEE 2021 [Dokument elektroniczny] : 2021 IEEE international conference on Fuzzy systems : 11–14 July 2021, Luxembourg. — Piscataway : IEEE, cop. 2021. — S. [1–8]

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: 10.1109/FUZZ45933.2021.9494394