Wykaz publikacji wybranego autora

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

profesor zwyczajny

Faculty of Electrical Engineering, Automatics, Computer Science and Biomedical Engineering
WEAIiIB-kis

  • 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
  • [article, 2001]
  • TytułAlgebraiczno-grafowe metody reprezentacji wiedzy dla analizy i weryfikacji atrybutowych systemów tablicowych
    AutorzyMarcin SZPYRKA, Tomasz SZMUC
    ŹródłoAutomatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie. — 2001 t. 5 z. 1/2, s. 535–543
2
  • [chapter, 2001]
  • TytułAnaliza i projektowanie oprogramowania systemów czasu rzeczywistego
    AutorzyTomasz SZMUC
    ŹródłoAnaliza i projektowanie systemów komputerowych czasu rzeczywistego o różnym stopniu rozproszenia / red. Jan Werewka, Tomasz Szmuc ; Polskie Towarzystwo Informatyczne. Oddział Małopolski ; Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Katedra Automatyki. — Kraków : PTI. Oddz. Małopolska przy współpr. KA AGH, 2001. — S. 32–87
3
  • [book, 2001]
  • TytułAnaliza i projektowanie systemów komputerowych czasu rzeczywistego o różnym stopniu rozproszenia
    Autorzyred. Jan WEREWKA, Tomasz SZMUC ; Polskie Towarzystwo Informatyczne. Oddział Małopolski ; Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Katedra Automatyki
    DetailsKraków : PTI. Oddz. Małopolska przy współpr. KA AGH, 2001. — 560 s
4
  • [article, 2001]
  • TytułAnalysis, verification and design of tabular systems : logical, algebraic and graphical methods
    AutorzyAntoni LIGĘZA, Grzegorz J. NALEPA, Tomasz SZMUC, Marcin SZPYRKA, Piotr SZWED, Igor WOJNICKI
    ŹródłoAutomatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie. — 2001 t. 5 z. 1/2, s. 345–354
5
  • [article, 2001]
  • TytułDyskusja panelowa poświęcona zagadnieniom terminologicznym geoinformatyki
    AutorzyJanusz KOTLARCZYK, Zbigniew SITEK, Michał ODLANICKI-POCZOBUTT, Wojciech Pachelski, Stanisław MULARZ, [et al.], Stefan Witold ALEXANDROWICZ, Zbigniew KASINA, Henryk MARCAK, Józef JACHIMSKI, Andrzej LEŚNIAK, Wojciech MASTEJ, [et al.], Jakub SIEMEK, Andrzej OLAJOSSY, Tomasz SZMUC, [et al.]
    ŹródłoGeoinformatica Polonica. — 2001 nr 3, s. 57–79
6
  • [chapter, 2001]
  • TytułModele formalne i możliwości analizy czasowej
    AutorzyTomasz SZMUC
    ŹródłoAnaliza i projektowanie systemów komputerowych czasu rzeczywistego o różnym stopniu rozproszenia / red. Jan Werewka, Tomasz Szmuc ; Polskie Towarzystwo Informatyczne. Oddział Małopolski ; Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Katedra Automatyki. — Kraków : PTI. Oddz. Małopolska przy współpr. KA AGH, 2001. — S. 88–157
7
  • [book, 2001]
  • TytułModele i metody inżynierii oprogramowania systemów czasu rzeczywistego
    AutorzyTomasz SZMUC
    DetailsKraków : Uczelniane Wydawnictwa Naukowo-Dydaktyczne AGH, 2001. — 278, [1] s.
8
  • [proceedings, 2001]
  • TytułProjektowanie poprawnego oprogramowania wspomagane formalizmem algebry procesów
    AutorzyTomasz SZMUC, Sylwester Oskwarek
    ŹródłoDiagnostyka procesów przemysłowych : V krajowa konferencja naukowo-techniczna : Łagów Lubuski, 17–19 września 2001 / red. nauk. Józef Korbicz, Andrzej Pieczyński ; Politechnika Zielonogórska. — Zielona Góra : Oficyna Wydawnicza PZ, 2001. — S. 319–322
9
  • [proceedings (ed.), 2001]
  • TytułSystemy czasu rzeczywistego : VIII konferencja : Krynica, 24–27 września 2001 : materiały konferencyjne
    Autorzyred. Tomasz SZMUC, Radosław KLIMEK ; Katedra Automatyki Akademii Górniczo-Hutniczej
    DetailsKraków : KA AGH, [2001]. — [16], 440 s.
10
  • [article, 2001]
  • TytułZastosowanie algebry procesów do wspomagania projektowania poprawnego oprogramowania systemów reaktywnych
    AutorzyTomasz SZMUC, Sylwester Oskwarek
    ŹródłoAutomatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie. — 2001 t. 5 z. 1/2, s. 523–533
11
  • [proceedings, 2001]
  • TytułZastosowanie kolorowanych sieci Petriego do modelowania i analizy komunikacji w języku Ada
    AutorzyTomasz SZMUC, Piotr Matyasik, Rafał Mrówka
    ŹródłoSystemy czasu rzeczywistego : VIII [ósma] konferencja : Krynica, 24–27 września 2001 : materiały konferencyjne / red. Tomasz Szmuc i Radosław Klimek ; Katedra Automatyki Akademii Górniczo-Hutniczej w Krakowie. — Kraków : KA AGH, 2001. — S. 253–263