Wykaz publikacji wybranego autora

Wojciech Szmuc, dr inż.

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

[poprzednia klasyfikacja] obszar nauk technicznych / dziedzina nauk technicznych / informatyka

Identyfikatory Autora Informacje o Autorze w systemach zewnętrznych

ORCID: 0000-0003-0247-6507 orcid iD

ResearcherID: brak

Scopus: 36626711900

PBN: 5e70922c878c28a047391202

OPI Nauka Polska

System Informacyjny AGH (SkOs)

1
  • [inne, 2009]
  • TytułINSIGMA [Dokument elektroniczny] : Inteligentny System Informacyjny dla Globalnego Monitoringu, Detekcji i Identyfikacji Zagrożeń. Raport techniczny D4.1, Analiza i identyfikacja wzorców zagrożeń
    AutorzyWojciech SZMUC, Andrzej GŁOWACZ, Michał Jaśkiewicz, Paweł KORUS, Michał GREGA, Marcin Hartung, Marcin Faryna, Tomasz Pawlicki, Bartłomiej Pawlik
    Details[Kraków : AGH], [2009]. — 31 s.
2
  • [książka, 2010]
  • TytułMetody formalne w inżynierii oprogramowania systemów czasu rzeczywistego
    AutorzyTomasz SZMUC, Marcin SZPYRKA ; współautorzy: Radosław KLIMEK, Konrad KUŁAKOWSKI, Antoni LIGĘZA, Piotr MATYASIK, Grzegorz J. NALEPA, Jacek PIWOWARCZYK, Agata Półrola, Grzegorz ROGUS, Sławomir Samolej, Wojciech SZMUC, Piotr SZWED, Bartosz Trybus, Bożena Woźna-Szcześniak
    DetailsWarszawa : Wydawnictwa Naukowo-Techniczne, 2010. — VI, 464 s.
3
  • [artykuł w czasopiśmie, 2007]
  • TytułModelowanie konstrukcji obiektowych języka UML z zastosowaniem kolorowych sieci Petriego
    AutorzyWojciech SZMUC
    ŹródłoAutomatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie. — 2007 t. 11 z. 1–2, s. 287–295. — tekst: https://journals.bg.agh.edu.pl/AUTOMATYKA/2007-1-2/Auto24.pdf
4
  • [fragment monografii pokonferencyjnej, 2022]
  • TytułNowoczesne metody wytwarzania oprogramowania systemów cyberfizycznych
    AutorzyTomasz SZMUC, Rafał MRÓWKA, Paweł SKRZYŃSKI, Grzegorz ROGUS, Wojciech SZMUC, Jacek PIWOWARCZYK, Marek Brańka, Jakub Ficoń
    ŹródłoNauka – technika – technologia : seria wydawnicza AGH, T. 5. — Kraków : Wydawnictwa AGH, 2022. — S. 83–98
5
  • [referat, 2004]
  • TytułRTCP-sieci – formalne podejście do szybkiego modelowania systemów czasu rzeczywistego
    AutorzyMarcin SZPYRKA, Tomasz SZMUC, Piotr MATYASIK, Wojciech SZMUC
    ŹródłoInżynieria oprogramowania : nowe wyzwania : VI Krajowa Konferencja Inżynierii Oprogramowania KKIO'2004 : Gdańsk, 5–8 października 2004 / red. Janusz Górski, Andrzej Wardziński ; Polskie Towarzystwo Informatyczne. — Warszawa : Wydawnictwa Naukowo-Techniczne, 2004. — S. 315–328
6
  • [zgłoszenie patentowe, 2012]
  • TytułSposób i układ do zabezpieczania dostępu do wrażliwych treści obrazów cyfrowych
    InventorAkademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie ; wynalazca: DZIECH Andrzej, GŁOWACZ Andrzej, KORUS Paweł, SZMUC Wojciech
    DetailsInt.Cl.: G06F 12/14textsuperscript{(2006.01)}. — Polska. — Opis zgłoszeniowy wynalazku ; PL 395303 A1 ; Opubl. 2012-12-17. — Zgłosz. nr P.395303 z dn. 2011-06-16 // Biuletyn Urzędu Patentowego ; 2012  nr 26, s. 55. — tekst: http://patenty.bg.agh.edu.pl/pelneteksty/PL395303A1.pdf
7
  • [artykuł w czasopiśmie, 2003]
  • TytułWytwarzanie oprogramowania czasu rzeczywistego wspomagane metodą formalną: SDL – kolorowane sieci Petriego
    AutorzyWojciech SZMUC
    ŹródłoAutomatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie. — 2003 t. 7 z. 1–2, s. 267–273