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
  • Algebraiczno-grafowe metody reprezentacji wiedzy dla analizy i weryfikacji atrybutowych systemów tablicowychAlgebraic-graphical methods of knowledge representation for analysis and verification of attributive tabular systems / Marcin SZPYRKA, Tomasz SZMUC // Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie ; ISSN 1429-3447. — 2001 t. 5 z. 1/2, s. 535–543. — Bibliogr. s. 543, Streszcz., Summ.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

2
  • Analiza i projektowanie oprogramowania systemów czasu rzeczywistegoAnalysis and design of software for real-time systems / Tomasz SZMUC // W: Analiza 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. — ISBN10: 8386856335. — S. 32–87. — Bibliogr. s. 85–87, Streszcz., Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

3
  • Analiza i projektowanie systemów komputerowych czasu rzeczywistego o różnym stopniu rozproszeniaAnalysis and design of real-time computer systems with different distribution grade / 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. — 560 s. — Bibliogr. przy rozdz.. — ISBN10: 83-86856-33-5

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

4
  • Analysis, verification and design of tabular systems : logical, algebraic and graphical methodsAnaliza, weryfikacja i projektowanie systemów tablicowych : metody logiczne, algenraiczne i graficzne / Antoni LIGĘZA, Grzegorz J. NALEPA, Tomasz SZMUC, Marcin SZPYRKA, Piotr SZWED, Igor WOJNICKI // Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie ; ISSN 1429-3447. — 2001 t. 5 z. 1/2, s. 345–354. — Bibliogr. s. 353–354, Streszcz., Summ.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

5
6
  • Modele formalne i możliwości analizy czasowejFormal models and features of time analysis / Tomasz SZMUC // W: Analiza 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. — ISBN10: 8386856335. — S. 88–157. — Bibliogr. s. 153–157, Streszcz., Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

7
  • Modele i metody inżynierii oprogramowania systemów czasu rzeczywistego[Models and methods of real-time software engineering] / Tomasz SZMUC. — Kraków : Uczelniane Wydawnictwa Naukowo-Dydaktyczne AGH, 2001. — 278, [1] s.. — (Wydawnictwa Naukowe / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie ; KU 0016). — Bibliogr. s. 273–[279]. — ISBN10: 83-88408-01-1

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

8
  • Projektowanie poprawnego oprogramowania wspomagane formalizmem algebry procesówDesign of correct software supported by process algebra / Tomasz SZMUC, Sylwester Oskwarek // W: Diagnostyka procesów przemysłowych : V krajowa konferencja naukowo-techniczna : Łagów Lubuski, 17–19 września 2001 = Diagnostics of industrial processes : 5th national conference / red. nauk. Józef Korbicz, Andrzej Pieczyński ; Politechnika Zielonogórska. — Zielona Góra : Oficyna Wydawnicza PZ, 2001. — Opis częśc. wg okł.. — ISBN10: 83-85911-77-4. — S. 319–322. — Bibliogr. s. 322, Streszcz., Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

9
  • Systemy czasu rzeczywistego : VIII konferencja : Krynica, 24–27 września 2001 : materiały konferencyjne[Real-time systems] / red. Tomasz SZMUC, Radosław KLIMEK ; Katedra Automatyki Akademii Górniczo-Hutniczej. — Kraków : KA AGH, [2001]. — [16], 440 s.. — Bibliogr. przy ref. Indeks. — ISBN10: 83-914257-6-2. — Tekst pol. i ang., streszcz. ang. i pol. przy ref.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

10
  • Zastosowanie algebry procesów do wspomagania projektowania poprawnego oprogramowania systemów reaktywnychProcess algebra supporting design of correct software for reactive systems / Tomasz SZMUC, Sylwester Oskwarek // Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie ; ISSN 1429-3447. — 2001 t. 5 z. 1/2, s. 523–533. — Bibliogr. s. 533, Streszcz., Summ.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

11
  • Zastosowanie kolorowanych sieci Petriego do modelowania i analizy komunikacji w języku AdaAn application of coloured Petri nets in modelling and analysis of communication in Ada language / Tomasz SZMUC, Piotr Matyasik, Rafał Mrówka // W: Systemy 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. — Bibliogr. s. 263

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: