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)

1
  • Advances in software engineering techniques
2
  • Application of reinforcement learning in decision systems: lift control case study
3
  • Comparative overview of rough set toolkit systems for data analysis
4
  • Decision tables in Petri net models
5
  • Design and verification of rule-based systems for Alvis models
6
  • Green AGH Campus
7
  • HTCPNs-based modelling and evaluation of dynamic computer cluster reconfiguration
8
  • Integrated approach to modelling and analysis using RTCP-nets
9
  • Modeling and verification of reactive software using LOTOS
10
  • Modeling robot behavior with CCL
11
  • Modelling and simulation of embedded systems with RTCP-nets
12
  • New time model and design method for RTCP-nets
13
  • RTCP-nets as a tool for real-time systems modelling and analysis
14
  • Software engineering
15
  • TCPN-based tool for timing constraints modelling and validation
16
  • UML Statecharts compositional semantics in LOTOS
17
  • Verification of automatic train protection systems with RTCP-nets