Wykaz publikacji wybranego autora

Tomasz Bartłomiej Szmuc, prof. dr hab. inż.

profesor zwyczajny

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-4922-5369 orcid iD

ResearcherID: J-3955-2014

Scopus: 6602953396

PBN: 5e70922c878c28a047391201

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ółem811317272211
202411
202311
202211
202111
202022
201911
2018211
2016211
201511
2013211
20125113
201111
2010312
20093111
20084211
200751211
20063111
2005101432
2004422
2003321
20026222
2001113224
20007322
1999211
język publikacji
rocznikrazempolskojęzyczneanglojęzycznepozostałe języki
ogółem8139411
202411
202311
202211
202111
202022
201911
201822
201622
201511
201322
201255
201111
2010321
200933
2008422
2007532
200633
20051046
2004431
2003312
2002651
200111911
200077
199922
kraj wydania
rocznikrazempubl. krajowepubl. zagraniczne
ogółem816417
202411
202311
202211
202111
202022
201911
201822
201622
201511
2013211
2012514
201111
201033
200933
2008431
2007541
2006312
20051064
2004431
2003321
200266
20011111
200077
199922
Lista Filadelfijska
rocznikrazempubl. z LFpubl. pozostałe
ogółem81378
202411
202311
202211
202111
202022
201911
201822
201622
201511
201322
201255
201111
2010312
200933
200844
200755
200633
20051010
200444
200333
200266
20011111
200077
199922
punktacja MNiSW
rocznikrazempubl. z pkt. MNiSWpubl. pozostałe
ogółem812556
202411
202311
202211
202111
202022
201911
201822
201622
201511
2013211
2012541
201111
201033
2009312
2008422
2007514
200633
20051010
200444
200333
200266
20011111
200077
199922
publikacje recenzowane
rocznikrazempubl. recenzowanepubl. nierecenzowane
ogółem814437
202411
202311
202211
202111
202022
201911
201822
201622
201511
2013211
2012541
201111
201033
200933
200844
2007532
2006321
20051046
2004413
2003312
2002624
20011138
200077
199922



1
  • 55 lat Wydziału Elektrotechniki, Automatyki, Informatyki i Elektroniki Akademii Górniczo-Hutniczej im. Stanisława Staszica
2
  • A formal approach to modelling of real-time systems using RTCP-nets
3
  • A novel method for fast generation of 3D objects from multiple depth sensors
4
  • Advances in software engineering techniques
5
  • Algebraiczno-grafowe metody reprezentacji wiedzy dla analizy i weryfikacji atrybutowych systemów tablicowych
6
  • Analiza i projektowanie oprogramowania systemów czasu rzeczywistego
7
  • Analiza i projektowanie systemów komputerowych czasu rzeczywistego o różnym stopniu rozproszenia
8
  • Analiza, klasyfikacja i ocena wybranych problemów i rozwiązań reprezentacji i weryfikacji danych i wiedzy
9
  • Analiza mechanizmów języka UML 2.0 do modelowania oprogramowania systemów czasu rzeczywistego
10
  • Analysis, verification and design of tabular systems
11
  • Application of reinforcement learning in decision systems: lift control case study
12
  • Application of RTCP-nets for design and analysis of embedded systems
13
  • Applications of rough sets in big data analysis: an overview
14
  • Badanie (weryfikacja) własności baz wiedzy z wykorzystaniem kolorowanych sieci Petriego
15
  • CEE-SET 2009
16
  • Charakterystyka systemu RTLinux względem wybranych systemów operacyjnych czasu rzeczywistego
17
  • Comparative overview of rough set toolkit systems for data analysis
18
  • Consistency preserving development of embedded systems using AADL
19
  • Cross modeling of embedded systems using SysML and Petri Nets
20
  • Decision tables in Petri net models
21
  • Design and verification of rule-based systems for Alvis models
22
  • D-nets – Petri net form of rule-based systems
23
  • Dyskusja panelowa poświęcona zagadnieniom terminologicznym geoinformatyki
24
  • Formal methods - support or scientific decoration in software development
25
  • From UML object behavior description into Petri net models