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

  • 55 lat Wydziału Elektrotechniki, Automatyki, Informatyki i Elektroniki Akademii Górniczo-Hutniczej im. Stanisława Staszica — [55 years of Faculty of Electrical Engineering, Automatics, Computer Science and Electronics of AGH University of Science and Technology] / Tomasz SZMUC // Pomiary, Automatyka, Kontrola / Stowarzyszenie Inżynierów i Techników Mechaników Polskich. Sekcja Metrologii, Polskie Stowarzyszenie Pomiarów Automatyki i Robotyki POLSPAR ; ISSN 0032-4140. — 2007 nr 3, s. 2–3. — Na okł. dod.: AGH 55 lat Wydziału Elektrotechniki, Automatyki, Informatyki i Elektroniki

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

2

  • Algebraiczno-grafowe metody reprezentacji wiedzy dla analizy i weryfikacji atrybutowych systemów tablicowych — Algebraic-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

    Zobacz pełny wykaz publikacji Autora/Autorów: Marcin Szpyrka

    cyfrowy identyfikator dokumentu:

3

  • Analiza i projektowanie oprogramowania systemów czasu rzeczywistego — Analysis 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:

4

  • Analiza i projektowanie systemów komputerowych czasu rzeczywistego o różnym stopniu rozproszenia — Analysis 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

    Zobacz pełny wykaz publikacji Autora/Autorów: Jan Werewka

    cyfrowy identyfikator dokumentu:

5

  • Analiza, klasyfikacja i ocena wybranych problemów i rozwiązań reprezentacji i weryfikacji danych i wiedzy — [Analysis, classification and evaluation of selected problems and solutions for knowledge representation and verification] / Antoni LIGĘZA, Radosław KLIMEK, Tomasz SZMUC // W: Metody i systemy komputerowe w badaniach naukowych i projektowaniu inżynierskim : II krajowa konferencja : Kraków, 25–27 października 1999 : materiały konferencyjne / red.: R. Tadeusiewicz [et al.] ; Krakowskie Centrum Informatyki Stosowanej = Cracow Centre for Advanced Training in Information Engineering. — Kraków : KCIS, 1999. — S. 261–266. — Bibliogr. s. 266, Streszcz.

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Radosław Klimek, Antoni Ligęza

    cyfrowy identyfikator dokumentu:

6

  • Analiza mechanizmów języka UML 2.0 do modelowania oprogramowania systemów czasu rzeczywistego — [Analysis of UML 2.0 properties for a modeling of real time software] / Radosław KLIMEK, Tomasz SZMUC // W: Współczesne problemy systemów czasu rzeczywistego : praca zbiorowa / pod red.: Andrzeja Kwietnia i Piotra Gaja. — Warszawa : Wydawnictwa Naukowo-Techniczne, 2004. — ISBN10: 8320430232. — S. 45–60. — Bibliogr. s. 59–60

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

7

  • Badanie (weryfikacja) własności baz wiedzy z wykorzystaniem kolorowanych sieci Petriego — [Knowledge base analysis (verification) with use of coloured Petri nets] / Marcin SZPYRKA, Antoni LIGĘZA, Tomasz SZMUC // W: Inżynieria wiedzy i systemy ekspertowe, T. 1 / pod red. Zdzisława Bubnickiego i Adama Grzecha. — Wrocław : Oficyna Wydawnicza Politechniki Wrocławskiej, 2000. — ISBN10: 83-7085-476-1. — S. 119–126. — Bibliogr. s. 126

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Antoni Ligęza, Marcin Szpyrka

    cyfrowy identyfikator dokumentu:

8

  • Charakterystyka systemu RTLinux względem wybranych systemów operacyjnych czasu rzeczywistego — Profile of RTLinux system over existing real-time operating systems / Tomasz SZMUC, Piotr Matyasik, Rafał Mrówka // W: Systemy czasu rzeczywistego : VII konferencja : Kraków, 25–28 września 2000 : materiały konferencyjne / red. Tomasz Szmuc i Radosław Klimek ; Katedra Automatyki Akademii Górniczo-Hutniczej w Krakowie. — Kraków : KA AGH, 2000. — ISBN10: 83-914257-0-3. — S. 283–295. — Bibliogr. s. 295, Summ.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

9
10

  • Hierarchiczna reprezentacja reguł decyzyjnych w specyfikacji systemów czasu rzeczywistego — [Hierarchical representation of decision rules in specification of real-time systems] / Tomasz SZMUC, Rafał Mrówka // W: CMS'05 : Computer Methods and Systems : V konferencja : 14–16 November 2005, Kraków, Poland. Vol. 2, Regular sessions = CMS'05 : metody i systemy komputerowe / eds. Ryszard Tadeusiewicz, Antoni Ligęza, Maciej Szymkat ; AGH University of Science and Technology Cracow, Jagiellonian University, Cracow University of Technology. — Kraków : Oprogramowanie Naukowo-Techniczne, 2005. — S. 283–288. — Bibliogr. s. 288, Streszcz.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

11

  • Informatyka – stan aktualny i kierunki rozwoju — [Computer science – present state and development directions] / Tomasz SZMUC // W: Prace Komisji Nauk Technicznych, T. 1 / pod red. Ryszarda Tadeusiewicza ; Polska Akademia Umiejętności. — Kraków : PAU, 2005. — S. 65–74. — Bibliogr. s. 74

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

12

  • Krakowski Węzeł we Wspólnocie Wiedzy i Innowacji KIC-InnoEnergy — Krakow Colocation Centre in Knowledge and Innovation Community KIC-InnoEnergy / Tomasz SZMUC // Biuletyn Polskiego Stowarzyszenia Wodoru i Ogniw Paliwowych = Bulletin of the Polish Hydrogen and Fuel Cells Association ; ISSN 1896-7205. — 2010 nr 5, s. 87

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

13

  • Metoda modelowania i projektowania klastrów WWW z zastosowaniem kolorowanych sieci Petriego — [A method for modelling and design of WWW grids using coloured Petri nets] / Tomasz SZMUC // W: Inżynieria oprogramowania – od teorii do praktyki : praca zbiorowa / pod red. Zbigniewa Huzara, Zygmunta Mazura. — Warszawa : Wydawnictwa Komunikacji i Łączności, 2008. — ISBN: 978-83-206-1703-0. — S. 49–58. — Bibliogr. s. 58

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

14
15

  • Metody i systemy komputerowe w badaniach naukowych i projektowaniu inżynierskim : II [druga] krajowa konferencja. Kraków, 25–27 października 1999 : materiały konferencyjne — [Computer methods and systems in scientific research and egineering design] / red.: R. TADEUSIEWICZ, S. BIAŁAS, T. SZMUC, M. SZYMKAT ; Krakowskie Centrum Informatyki Stosowanej = Cracow Centre for Advanced Training in Information Engineering. — Kraków : [s. n.], 1999. — XIV, 736 s.. — Bibliogr. przy rozdz.

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Maciej Szymkat, Ryszard Tadeusiewicz, Stanisław Białas

    cyfrowy identyfikator dokumentu:

16

  • Modele formalne i możliwości analizy czasowej — Formal 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:

17

  • 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:

18

  • 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:

19

  • 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:

20

  • Nowoczesne metody wytwarzania oprogramowania systemów cyberfizycznych — Modern methods in software development of cyber-physical systems / Tomasz SZMUC, Rafał MRÓWKA, Paweł SKRZYŃSKI, Grzegorz ROGUS, Wojciech SZMUC, Jacek PIWOWARCZYK, Marek Brańka, Jakub Ficoń // W: Nauka – technika – technologia : seria wydawnicza AGH, T. 5. — Kraków : Wydawnictwa AGH, 2022. — Materiały z konferencji naukowej "Wydział Elektryczny AGH – Wczoraj, Dziś i Jutro" : 23 czerwca 2022, Kraków. — ISBN: 978-83-66727-84-7 ; e-ISBN: 978-83-67427-00-5. — S. 83–98. — Bibliogr. s. 96–98, Streszcz., Abstr.. — tekst: https://winntbg.bg.agh.edu.pl/skrypty4/0602/NTT_tom5_083.pdf

    orcid iD

  • słowa kluczowe: sieci Petriego, rzeczywistość wirtualna, systemy cyberfizyczne, AADL, SysML

    keywords: Petri nets, virtual reality, AADL, SysML, cyber physical systems

    Zobacz pełny wykaz publikacji Autora/Autorów: Grzegorz Rogus, Paweł Skrzyński, Jacek Piwowarczyk, Wojciech Szmuc, Rafał Mrówka

    cyfrowy identyfikator dokumentu: 10.7494/978-83-67427-00-5_6

21

  • Pomiary, Automatyka, Kontrola ; ISSN 0032-4140 / wydanie pod red. nauk. Tomasza SZMUCA ; Stowarzyszenie Inżynierów i Techników Mechaników Polskich. Sekcja Metrologii, Polskie Stowarzyszenie Pomiarów Automatyki i Robotyki POLSPAR. — Warszawa : Agenda Wydawnicza SIMP, 2007. — nr 3. — Na okł. dod.: AGH 55 lat Wydziału Elektrotechniki, Automatyki, Informatyki i Elektroniki

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

22

  • 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:

23

  • Programowanie systemów czasu rzeczywistego — [Programming of real-time systems] / Gilles Motet, Tomasz SZMUC ; Krakowskie Centrum Informatyki Stosowanej. — Kraków : KCIS, 2000. — 244 s.. — (CCATIE Cracow Centre for Advanced Training in Information Engineering / kom. red. (przew.) Tomasz Szmuc ; 11). — Bibliogr. s. 241–244

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

24

  • 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:

25

  • Projektowanie poprawnego oprogramowania czasu rzeczywistego wspomagane formalizmem algebry procesów — Designing real-time error–less systems using process algebra / Tomasz SZMUC, Sylwester Oskwarek // W: Systemy czasu rzeczywistego : VII konferencja : Kraków, 25–28 września 2000 : materiały konferencyjne / red. Tomasz Szmuc i Radosław Klimek ; Katedra Automatyki Akademii Górniczo-Hutniczej w Krakowie. — Kraków : KA AGH, 2000. — ISBN10: 83-914257-0-3. — S. 109–123. — Bibliogr. s. 122–123, Summ.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: