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
  • A formal approach to modelling of real-time systems using RTCP-nets
2
  • A scheme for censorship of sensitive image content with high-quality reconstruction ability
3
  • Consistency preserving development of embedded systems using AADL
4
  • Cross modeling of embedded systems using SysML and Petri Nets
5
  • From UML object behavior description into Petri net models
6
  • Hybrid modeling of software systems – UML/Petri nets approach
7
  • INSIGMA [Dokument elektroniczny]
8
  • Method and system for restricting access to sensitive contents of digital images
9
  • Method and system for restricting access to sensitive contents of digital images
10
  • Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego
11
  • Modeling UML object event handling with Petri Nets
12
  • Modelowanie konstrukcji obiektowych języka UML z zastosowaniem kolorowych sieci Petriego
13
  • Nowoczesne metody wytwarzania oprogramowania systemów cyberfizycznych
14
  • Rigorous development of embedded systems supported by formal tools
15
  • RTCP-sieci – formalne podejście do szybkiego modelowania systemów czasu rzeczywistego
16
  • Sposób i układ do zabezpieczania dostępu do wrażliwych treści obrazów cyfrowych
17
  • Towards embedded systems formal verification
18
  • Wytwarzanie oprogramowania czasu rzeczywistego wspomagane metodą formalną: SDL – kolorowane sieci Petriego