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
  • [artykuł w czasopiśmie, 2007]
  • Tytuł55 lat Wydziału Elektrotechniki, Automatyki, Informatyki i Elektroniki Akademii Górniczo-Hutniczej im. Stanisława Staszica
    AutorzyTomasz SZMUC
    ŹródłoPomiary, Automatyka, Kontrola / Stowarzyszenie Inżynierów i Techników Mechaników Polskich. Sekcja Metrologii, Polskie Stowarzyszenie Pomiarów Automatyki i Robotyki POLSPAR. — 2007 nr 3, s. 2–3

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

2
  • [fragment książki, 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

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

3
  • [książka, 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

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

4
  • [referat, 1999]
  • TytułAnaliza, klasyfikacja i ocena wybranych problemów i rozwiązań reprezentacji i weryfikacji danych i wiedzy
    AutorzyAntoni LIGĘZA, Radosław KLIMEK, Tomasz SZMUC
    ŹródłoMetody 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

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

5
  • [fragment książki, 2004]
  • TytułAnaliza mechanizmów języka UML 2.0 do modelowania oprogramowania systemów czasu rzeczywistego
    AutorzyRadosław KLIMEK, Tomasz SZMUC
    ŹródłoWspółczesne problemy systemów czasu rzeczywistego : praca zbiorowa / pod red.: Andrzeja Kwietnia i Piotra Gaja. — Warszawa : Wydawnictwa Naukowo-Techniczne, 2004. — S. 45–60

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

6
  • [referat, 2005]
  • TytułApplication of RTCP-nets for design and analysis of embedded systems
    AutorzyM. SZPYRKA, T. SZMUC
    ŹródłoMIXDES 2005 : MIXed DESign of integrated circuits and systems : proceedings of the 12textsuperscript{th} international conference : Kraków, Poland 22–25 June 2004, Vol. 1 of 2 / ed. Andrzej Napieralski. — [Łodź : Technical University. Department of Microelectronics and Computer Science], 2005. — S. 565–570

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

7
  • [fragment książki, 2000]
  • TytułBadanie (weryfikacja) własności baz wiedzy z wykorzystaniem kolorowanych sieci Petriego
    AutorzyMarcin SZPYRKA, Antoni LIGĘZA, Tomasz SZMUC
    ŹródłoInżynieria wiedzy i systemy ekspertowe, T. 1 / pod red. Zdzisława Bubnickiego i Adama Grzecha. — Wrocław : Oficyna Wydawnicza Politechniki Wrocławskiej, 2000. — S. 119–126

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

8
  • [referat, 2000]
  • TytułCharakterystyka systemu RTLinux względem wybranych systemów operacyjnych czasu rzeczywistego
    AutorzyTomasz SZMUC, Piotr Matyasik, Rafał Mrówka
    ŹródłoSystemy 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. — S. 283–295

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

9
10
11
  • [referat, 2012]
  • TytułGreen AGH Campus : [abstract]
    AutorzyTomasz SZMUC, Leszek KOTULSKI, Bartosz Wojszczyk, Adam SĘDZIWY
    ŹródłoSMARTGREENS 2012 : 1textsuperscript{st} international conference on Smart grids and green IT systems : Porto, Portugal 19–20 April 2012 : final program and book of abstracts. — Portugal : SciTePress, 2012. — S. 31

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Adam Sędziwy, Leszek Kotulski

    cyfrowy identyfikator dokumentu:

12
  • [referat, 2005]
  • TytułHierarchiczna reprezentacja reguł decyzyjnych w specyfikacji systemów czasu rzeczywistego
    AutorzyTomasz SZMUC, Rafał Mrówka
    ŹródłoCMS'05 : Computer Methods and Systems : V konferencja : 14–16 November 2005, Kraków, Poland. Vol. 2, Regular sessions / 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

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

13
  • [fragment książki, 2005]
  • TytułInformatyka – stan aktualny i kierunki rozwoju
    AutorzyTomasz SZMUC
    ŹródłoPrace Komisji Nauk Technicznych, T. 1 / pod red. Ryszarda Tadeusiewicza ; Polska Akademia Umiejętności. — Kraków : PAU, 2005. — S. 65–74

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

14
  • [materiały konferencyjne (red.), 1999]
  • Tytuł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
    Autorzyred.: R. TADEUSIEWICZ, S. BIAŁAS, T. SZMUC, M. SZYMKAT ; Krakowskie Centrum Informatyki Stosowanej = Cracow Centre for Advanced Training in Information Engineering
    DetailsKraków : [s. n.], 1999. — XIV, 736 s.

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

15
  • [fragment książki, 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

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

16
  • [książka, 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.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

17
  • [referat, 2002]
  • TytułModelowanie komunikacji w języku Ada z zastosowaniem kolorowanych sieci Petriego
    AutorzyTomasz SZMUC, Piotr MATYASIK, Rafał Mrówka
    ŹródłoWspół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. — S. 53–56

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

18
  • [referat, 2002]
  • TytułModelowanie systemów czasu rzeczywistego z zastosowaniem czasowych sieci Petriego
    AutorzySławomir Samolej, Tomasz SZMUC
    ŹródłoSystemy 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

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

19
  • [referat, 2005]
  • TytułNew time model and design method for RTCP-nets
    AutorzyMarcin SZPYRKA, Tomasz SZMUC
    ŹródłoReal-Time Programming 2004 (WRTP 2004) : a proceedings volume from the 28textsuperscript{th} IFAC/IFIP Workshop on Real-Time Programming, WRTP 2004 and the International Workshop on Software Engineering, IWSS 2004 : Istanbul, Turkey, 8–10 September 2004 / eds. M. Colnarič, W. A. Halang, M. Węgrzyn. — Oxford : Elsevier Ltd, 2005. — S. 121–126

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

20
  • [inne, 2013]
  • TytułOutline of CCL notation syntax [Dokument elektroniczny]. — Wersja do Windows. — Dane tekstowe
    AutorzyKonrad KUŁAKOWSKI, Tomasz SZMUC ; AGH University of Science and Technology. Department of Applied Computer Science
    Details[Kraków : AGH], [2013]. — [13] s.

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Konrad Kułakowski

    cyfrowy identyfikator dokumentu:

21
  • [redakcja czasopisma, serii, 2007]
  • TytułPomiary, Automatyka, Kontrola
    Redactorswydanie 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
    Details2007 nr 3. — Warszawa : Agenda Wydawnicza SIMP

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

22
  • [książka, 2000]
  • TytułProgramowanie systemów czasu rzeczywistego
    AutorzyGilles Motet, Tomasz SZMUC ; Krakowskie Centrum Informatyki Stosowanej
    DetailsKraków : KCIS, 2000. — 244 s.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

23
  • [monografia, 2002]
  • TytułProgramowanie systemów czasu rzeczywistego z zastosowaniem języka Ada
    AutorzyGilles Motet, Tomasz SZMUC
    DetailsKraków : Uczelniane Wydawnictwa Naukowo-Dydaktyczne, 2002. — 218, [1] s.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

24
  • [referat, 2000]
  • TytułProjektowanie poprawnego oprogramowania czasu rzeczywistego wspomagane formalizmem algebry procesów
    AutorzyTomasz SZMUC, Sylwester Oskwarek
    ŹródłoSystemy 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. — S. 109–123

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

25
  • [referat, 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

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: