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)



Statystyka obejmuje publikacje afiliowane AGH od 2008 roku włącznie

typ publikacji
rocznikl. publ.książkifragm.referatyartykułypatentymapyred. czas.inne
ogółem18117531
202211
202022
2018211
2016211
201411
201222
2010211
200911
2007211
200511
200411
200311
język publikacji
rocznikrazempolskojęzyczneanglojęzycznepozostałe języki
ogółem18711
202211
202022
201822
201622
201411
2012211
2010211
200911
2007211
200511
200411
200311
kraj wydania
rocznikrazempubl. krajowepubl. zagraniczne
ogółem18153
202211
202022
201822
201622
201411
2012211
2010211
200911
200722
200511
200411
200311
Lista Filadelfijska
rocznikrazempubl. z LFpubl. pozostałe
ogółem1818
202211
202022
201822
201622
201411
201222
201022
200911
200722
200511
200411
200311
punktacja MNiSW
rocznikrazempubl. z pkt. MNiSWpubl. pozostałe
ogółem18135
202211
202022
201822
201622
201411
201222
201022
200911
2007211
200511
200411
200311
publikacje recenzowane
rocznikrazempubl. recenzowanepubl. nierecenzowane
ogółem18144
202211
202022
201822
201622
201411
201222
201022
200911
200722
200511
200411
200311



1
  • [referat w czasopiśmie, 2005]
  • TytułA formal approach to modelling of real-time systems using RTCP-nets
    AutorzyMarcin SZPYRKA, Tomasz SZMUC, Piotr MATYASIK, Wojciech SZMUC
    ŹródłoFoundations of Computing and Decision Sciences. — 2005 vol. 30 no. 1, s. 61–71. — tekst: http://fcds.cs.put.poznan.pl/FCDS/ArticleDetails.aspx?articleId=31
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
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
4
  • [artykuł w czasopiśmie, 2018]
  • TytułCross modeling of embedded systems using SysML and Petri Nets
    AutorzyWojciech SZMUC, Tomasz SZMUC
    ŹródłoInternational Journal of Microelectronics and Computer Science. — 2018 vol. 9 no. 2, s. 60–65. — tekst: https://ijmcs.dmcs.pl/documents/10630/360081/IJMCS_2_2018_2.pdf
5
  • [artykuł w czasopiśmie, 2016]
  • TytułFrom UML object behavior description into Petri net models : towards systematic development of embedded systems
    AutorzyWojciech SZMUC, Tomasz SZMUC
    ŹródłoInternational Journal of Microelectronics and Computer Science. — 2016 vol. 7 no. 2, s. 60–64. — tekst: https://ijmcs.dmcs.pl/documents/10630/212938/IJMCS_2_2016_4.pdf
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
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.
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
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
10
  • [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.
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
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
13
  • [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
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
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
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
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
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