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

[dyscyplina wiodąca] 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

ResearcherID: J-3955-2014

Scopus: 6602953396

PBN: 909862

OPI Nauka Polska

System Informacyjny AGH (SkOs)





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


1
  • 55 lat Wydziału Elektrotechniki, Automatyki, Informatyki i Elektroniki Akademii Górniczo-Hutniczej im. Stanisława Staszica
2
  • Advances in software engineering techniques
3
  • Algebraiczno-grafowe metody reprezentacji wiedzy dla analizy i weryfikacji atrybutowych systemów tablicowych
4
  • Analiza i projektowanie oprogramowania systemów czasu rzeczywistego
5
  • Analiza i projektowanie systemów komputerowych czasu rzeczywistego o różnym stopniu rozproszenia
6
  • Analiza, klasyfikacja i ocena wybranych problemów i rozwiązań reprezentacji i weryfikacji danych i wiedzy
7
  • Analiza mechanizmów języka UML 2.0 do modelowania oprogramowania systemów czasu rzeczywistego
8
  • Analysis, verification and design of tabular systems
9
  • Application of RTCP-nets for design and analysis of embedded systems
10
  • A formal approach to modelling of real-time systems using RTCP-nets
11
  • Badanie (weryfikacja) własności baz wiedzy z wykorzystaniem kolorowanych sieci Petriego
12
  • CEE-SET 2009
13
  • Charakterystyka systemu RTLinux względem wybranych systemów operacyjnych czasu rzeczywistego
14
  • Comparative overview of rough set toolkit systems for data analysis
15
  • Cross modeling of embedded systems using SysML and Petri Nets
16
  • Decision tables in Petri net models
17
  • Design and verification of rule-based systems for Alvis models
18
  • D-nets – Petri net form of rule-based systems
19
  • Dyskusja panelowa poświęcona zagadnieniom terminologicznym geoinformatyki
20
  • Formal methods - support or scientific decoration in software development
21
  • From UML object behavior description into Petri net models
22
  • General information about the KIC innoenergy Co-Location Center
23
  • Green AGH Campus
24
  • Hierarchiczna reprezentacja reguł decyzyjnych w specyfikacji systemów czasu rzeczywistego
25
  • HTCPNs-based modelling and evaluation of dynamic computer cluster reconfiguration