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)





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


1
2
  • [referat, 2010]
  • TytułA scheme for censorship of sensitive image content with high-quality reconstruction ability
    AutorzyP. KORUS, W. SZMUC, A. DZIECH
    ŹródłoICME 2010 [Dokument elektroniczny] : 2010 IEEE International Conference on Multimedia & Expo : July 19–23, 2010 : Singapore / [Institute of Electrical and Electronics Engineers]. — [Piscataway] : IEEE, cop. 2010. — S. 1073–1078
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: 10.1109/ICME.2010.5583410

3
  • [referat, 2020]
  • TytułConsistency preserving development of embedded systems using AADL
    AutorzyTomasz SZMUC, Wojciech SZMUC
    ŹródłoMIXDES 2020 [Dokument elektroniczny] : proceedings of 27textsuperscript{th} international conference Mixed Design of integrated circuits and systems : Łódź, Poland, June 25–27, 2020 / ed. by Andrzej Napieralski. — Łódź : Lodz University of Technology, cop. 2020. — S. 245–248
  • keywords: embedded systems, temporal logic verification, translation into CPN, AADL

    cyfrowy identyfikator dokumentu:

4
5
6
  • [referat, 2007]
  • TytułHybrid modeling of software systems – UML/Petri nets approach
    AutorzyWojciech SZMUC
    ŹródłoProceedings of the 16th international conference on Systems science : 4–6 September 2007, Wrocław, Poland. Vol. 3, Applications of systems analysis to technical systems ; Applications of systems analysis to non-technical systems ; Applications of systems analysis to biomedical systems / ed. Adam Grzech. — Wrocław : Oficyna Wydawnicza Politechniki Wrocławskiej, 2007. — S. 389–398
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

7
  • [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.
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

8
  • [zgłoszenie patentowe, 2012]
  • TytułMethod and system for restricting access to sensitive contents of digital images
    InventorAGH University of Science and Technology ; wynalazca: Andrzej DZIECH, Andrzej GŁOWACZ, Paweł KORUS, Wojciech SZMUC
    Details
  • słowa kluczowe: przetwarzanie obrazów, obraz cyfrowy, wrażliwe treści

    keywords: image data processing, digital image, sensitive contents

    cyfrowy identyfikator dokumentu:

9
  • [patent, wzór użytkowy, przemysłowy, 2014]
  • TytułMethod and system for restricting access to sensitive contents of digital images
    InventorAGH University of Science and Technology ; wynalazca: Andrzej DZIECH, Andrzej GŁOWACZ, Paweł KORUS, Wojciech SZMUC
    DetailsInt.Cl.: G06K 9/00textsuperscript{(2006.01)}. — Stany Zjednoczone. — Opis patentowy ; US 8687843 B2 ; Udziel. 2014-04-01 ; Opubl. 2014-04-01. — Zgłosz. nr US201213524609 z dn. 2012-06-15. — tekst: http://patenty.bg.agh.edu.pl/pelneteksty/US8687843B2.pdf
  • słowa kluczowe: przetwarzanie obrazów, obraz cyfrowy, wrażliwe treści, ochrona danych, cyfrowe znaki wodne

    keywords: image data processing, digital image, digital watermarking, data protection, sensitive contents

    cyfrowy identyfikator dokumentu:

10
11
  • [referat, 2016]
  • TytułModeling UML object event handling with Petri Nets : towards improvement of embedded systems analysis and design
    AutorzyWojciech SZMUC, Tomasz SZMUC
    ŹródłoMIXDES 2016 [Dokument elektroniczny] : Mixed Design of integrated circuits and systems : Łódź, Poland, June 23–25, 2016 : book of abstracts of 23textsuperscript{rd} international conference / ed. by Andrzej Napieralski. — Łódź : Lodz University of Technology. Department of Microelectronics and Computer Science, cop. 2016. — S. 129
  • keywords: UML, model, object, formal, Petri, queue, event

    cyfrowy identyfikator dokumentu: 10.1109/MIXDES.2016.7529785

12
  • [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
  • słowa kluczowe: UML, sieć Petriego, diagram klas

    keywords: UML, class diagram, Petri net

    cyfrowy identyfikator dokumentu:

13
14
  • [referat, 2020]
  • TytułRigorous development of embedded systems supported by formal tools
    AutorzyTomasz SZMUC, Wojciech SZMUC
    ŹródłoMIXDES 2020 [Dokument elektroniczny] : proceedings of 27textsuperscript{th} international conference Mixed Design of integrated circuits and systems : Łódź, Poland, June 25–27, 2020 / ed. by Andrzej Napieralski. — Łódź : Lodz University of Technology, cop. 2020. — S. 272–276
  • keywords: embedded systems, temporal logic verification, translation into formal models

    cyfrowy identyfikator dokumentu:

15
  • [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
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

16
  • [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
  • słowa kluczowe: przetwarzanie obrazów, obraz cyfrowy, wrażliwe treści

    keywords: image processing, digital image, sensitive contents

    cyfrowy identyfikator dokumentu:

17
  • [referat, 2018]
  • TytułTowards embedded systems formal verification
    AutorzyWojciech SZMUC, Tomasz SZMUC
    ŹródłoMIXDES 2018 [Dokument elektroniczny] : Mixed Design of integrated circuits and systems : book of abstracts of 25textsuperscript{th} international conference : Gdynia, Poland, June 21–23, 2018 / ed. by Andrzej Napieralski. — Łódź : Lodz University of Technology. Department of Microelectronics and Computer Science, cop. 2018. — S. 120
  • keywords: embedded systems, formal verification, systems models

    cyfrowy identyfikator dokumentu: 10.23919/MIXDES.2018.8436870

18
  • [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
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: