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

  • Modelowanie komunikacji w języku Ada z zastosowaniem kolorowanych sieci Petriego — [Modelling of Ada communication using coloured Petri nets] / Tomasz SZMUC, Piotr MATYASIK, Rafał Mrówka // W: Współczesne kierunki rozwoju elektrotechniki, automatyki, informatyki, elektroniki i telekomunikacji : materiały międzynarodowej konferencji zorganizowanej z okazji Jubileuszu 50-lecia Wydziału EAIiE : Kraków, 7–8 czerwca 2002 / kom. red. Tomasz Zieliński, Dariusz Borkowski ; AGH WEAIiE. — [Kraków : WEAIiE], 2002. — Na k. tyt. dodatkowo: Złoty Jubileusz Wydziału Elektrotechniki, Automatyki, Informatyki i Elektroniki Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie. — S. 53–56. — Bibliogr. s. 56, Streszcz.

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Piotr Matyasik

    cyfrowy identyfikator dokumentu:

2

  • Modelowanie systemów czasu rzeczywistego z zastosowaniem czasowych sieci Petriego — Real-time system modelling – timed Petri nets approach / Sławomir Samolej, Tomasz SZMUC // W: Systemy Czasu Rzeczywistego SCR'02 : IX [dziewiąta] konferencja : Ustroń, 16–19 września 2002 : materiały konferencyjne / red. Piotr Gaj, Andrzej Kwiecień. — Gliwice : Instytut Informatyki Politechniki Śląskiej, 2002. — S. 45–54. — Bibliogr. s. 53–54, Streszcz., Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

3

  • Precyzyjna reprezentacja wiedzy niepełnej – zbiory rozmyte i przybliżone — Precise reprezentation of uncertain knowledge – fuzzy sets and rough sets / Tomasz SZMUC // Geoinformatica Polonica ; ISSN 1642-2511. — 2002 [nr] 4, s. 55–79. — Bibliogr. s. 76–77, Streszcz., Summ.. — tekst: http://www.geoinformatica.agh.edu.pl/pdfy/GEOINFORMATICA_POLONICA_4-2002.pdf

  • słowa kluczowe: klasyfikacja, wiedza niepełna, zbiory rozmyte, zbiory przybliżone, tablice decyzyjne, kolorowane sieci Petriego

    keywords: fuzzy sets, classification, rough sets, coloured Petri nets, uncertain knowledge, decision tables

    cyfrowy identyfikator dokumentu:

4

  • Programowanie systemów czasu rzeczywistego z zastosowaniem języka Ada — [Programming of real-time systems using Ada language] / Gilles Motet, Tomasz SZMUC. — Kraków : Uczelniane Wydawnictwa Naukowo-Dydaktyczne, 2002. — 218, [1] s.. — (Wydawnictwa Naukowe / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie ; KU 0047). — Bibliogr. s. 217–[219]

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

5

  • Systemy czasu rzeczywistego : VIII konferencja : Krynica, 24–27 września 2001 : wykłady zaproszone — 8th conference on Real-time systems : Krynica (Poland), 24–27 September 2001 : invited lectures / red. Tomasz SZMUC, Radosław KLIMEK ; Katedra Automatyki Akademii Górniczo-Hutniczej. — Kraków : KA AGH, 2002. — XIV, 186 s.. — Bibliogr. przy rozdz., Abstr.

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Radosław Klimek

    cyfrowy identyfikator dokumentu:

6

  • Time extensions of Petri nets for modelling and verification of hard real-time systems — Rozszerzenia czasowe sieci Petriego do modelowania i weryfikacji systemów czasu rzeczywistego o twardych wymaganiach czasowych / Sławomir Samolej, Tomasz SZMUC // Computer Science ; ISSN 1508-2806. — 2002 vol. 4, s. 55–76. — Bibliogr. s. 75–76

  • słowa kluczowe: systemy czasu rzeczywistego, twarde wymagania czasowe, czasowe sieci Petriego wyższego poziomu

    keywords: hard real-time systems, high level Petri nets, time Petri nets

    cyfrowy identyfikator dokumentu: