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

[dyscyplina wiodąca] 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

ResearcherID: J-3955-2014

Scopus: 6602953396

PBN: 909862

OPI Nauka Polska

System Informacyjny AGH (SkOs)




Opisy publikacji wcześniejszych zobacz: bpp.agh.edu.pl/old.


Liczba pozycji spełniających powyższe kryteria selekcji: 55, z ogólnej liczby 56 publikacji Autora


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
  • Advances in software engineering techniques : 4th IFIP TC 2 Central and East European conference on Software Engineering Techniques, CEE-SET 2009 : Krakow, Poland, October 12–14, 2009 : revised selected papers / eds. Tomasz SZMUC, Marcin SZPYRKA, Jaroslav Zendulka. — Heidelberg, [etc.] : Springer, cop. 2012. — XII, 256, [1] s.. — (Lecture Notes in Computer Science ; ISSN 0302-9743). — Bibliogr. przy rozdz., Index. — ISBN: 978-3-642-28037-5

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

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

    cyfrowy identyfikator dokumentu:

4
  • Application of RTCP-nets for design and analysis of embedded systems / M. SZPYRKA, T. SZMUC // W: MIXDES 2005 : MIXed DESign of integrated circuits and systems : proceedings of the 12\textsuperscript{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. — Bibliogr. s. 570, Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

5
6
  • CEE-SET 2009 : preprint of the proceedings of the 4th IFIP TC2 Central and East European conference on Software Engineering Techniques : Kraków, Poland, October 12–14, 2009 / eds. Tomasz SZMUC, Marcin SZPYRKA, Jaroslav Zendulka. — [Kraków : AGH], [2009]. — 297, [1] s.. — Bibliogr. przy rozdz., Indeks

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

7
8
9
  • Decision tables in Petri net models / Marcin SZPYRKA, Tomasz SZMUC // W: Rough sets and intelligent systems paradigms : international conference, RSEISP 2007 : Warsaw, Poland, June 28–30, 2007 : proceedings / eds. Marzena Kryszkiewicz [et al.]. — Berlin ; Heidelberg : Springer-Verlag, cop. 2007. — (Lecture Notes in Computer Science ; ISSN 0302-9743. Lecture Notes in Artificial Intelligence ; 4585). — ISBN: 978-3-540-73450-5. — S. 648–657. — Bibliogr. s. 657, Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

10
  • Design and verification of rule-based systems for Alvis models / Marcin SZPYRKA, Tomasz SZMUC // W: Rough sets and intelligent systems – Profesor Zdzisław Pawlak in memoriam, Vol. 2 / eds. Andrzej Skowron, Zbigniew Suraj. — Berlin ; Heidelberg : Springer-Verlag, 2013. — (Intelligent Systems Reference Library ; ISSN 1868-4394 ; vol. 43). — ISBN: 978-3-642-30340-1. — S. 539–558. — Bibliogr. s. 558, Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

11
  • D-nets – Petri net form of rule-based systems / Marcin SZPYRKA, Tomasz SZMUC // Foundations of Computing and Decision Sciences ; ISSN 0867-6356. — 2006 vol. 31 no. 2, s. 175–190. — Bibliogr. s. 190, Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

12
  • Formal methods - support or scientific decoration in software development / Tomasz SZMUC, Marcin SZPYRKA // W: MIXDES 2015 : mixed design of integrated circuits and systems : Toruń, Poland June 25–27, 2015 : book of abstracts of 22\textsuperscript{nd} international conference / ed. Andrzej Napieralski. — Łódź : Lodz University of Technology. Department of Microelectronics and Computer Science, cop. 2015. — e-ISBN: 978-83-63578-06-0. — S. 19. — Pełny tekst na CD-ROMie. — S. 24–31. — Wymagania systemowe: Adobe Reader ; napęd CD-ROM. — Bibliogr. s. 30–31, Abstr.

  • keywords: temporal logic, Petri nets, embedded systems, software development, process algebra, Alvis language

    cyfrowy identyfikator dokumentu: 10.1109/MIXDES.2015.7208473

13
14
  • General information about the KIC innoenergy Co-Location Center / Rafał MRÓWKA, Tomasz SZMUC // W: Development of coal, biomass and wastes gasification technologies with particular interest in chemical sequestration of $CO_{2}$ : a monograph / sci. ed. Andrzej Strugała. — Kraków : AKNET, 2012. — ISBN: 978-83-931791-1-4. — S. 9–16

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

15
  • Green AGH Campus : [abstract] / Tomasz SZMUC, Leszek KOTULSKI, Bartosz Wojszczyk, Adam SĘDZIWY // W: SMARTGREENS 2012 : 1\textsuperscript{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. — Pełny tekst W: SMARTGREENS 2012 [Dokument elektroniczny] : Porto, Portugal, 19–20 April, 2012. — Wersja do Windows. — Dane tekstowe. — Portugal : SciTePress, 2012. — 1 dysk optyczny. — S. 159–162. — Wymagania systemowe: Adobe Acrobat Reader ; napęd CD-ROM. — Tytuł przejęto ze s. tyt. — Bibliogr. s. 162, Abstr. — ISBN 978-989-8565-09-9

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

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

17
  • HTCPNs-based modelling and evaluation of dynamic computer cluster reconfiguration / Sławomir Samolej, Tomasz SZMUC // W: CEE-SET 2009 : preprint of the proceedings of the 4th IFIP TC2 Central and East European conference on Software Engineering Techniques : Kraków, Poland, October 12–14, 2009 / eds. Tomasz Szmuc, Marcin Szpyrka, Jaroslav Zendulka. — [Kraków : AGH], [2009]. — S. 114–125. — Bibliogr. s. 124–125, Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

18
  • HTCPNs-based modelling and evaluation of dynamic computer cluster reconfiguration / Sławomir Samolej, Tomasz SZMUC // W: Advances in software engineering techniques : 4th IFIP TC 2 Central and East European conference on Software Engineering Techniques, CEE-SET 2009 : Krakow, Poland, October 12–14, 2009 : revised selected papers / eds. Tomasz Szmuc, Marcin Szpyrka, Jaroslav Zendulka. — Heidelberg, [etc.] : Springer, cop. 2012. — (Lecture Notes in Computer Science ; ISSN 0302-9743 ; 7054). — ISBN: 978-3-642-28037-5. — S. 97–108. — Bibliogr. s. 106–108, Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

19
  • HTCPNs – based analysis of priority-based Internet requests schedulingSieci HTCPN w analizie szeregowania priorytetowej obsługi żądań internetowych / Sławomir Samolej, Tomasz SZMUC // Przegląd Elektrotechniczny = Electrical Review / Stowarzyszenie Elektryków Polskich ; ISSN 0033-2097. — 2010 R. 86 nr 9, s. 174–178. — Bibliogr. s. 178, Abstr., Streszcz.

  • keywords: performance evaluation, Hierarchical Timed Coloured Petri Nets, Web-Server Systems, Static and dynamic priority-based scheduling algorithms

    cyfrowy identyfikator dokumentu:

20
  • Improving dependability of automation for free electron laser FLASH / Bogusław Kosęda, Tomasz SZMUC, Wojciech Cichalewski // W: Multiconference proceedings [Dokument elektroniczny] : Workshop on Agent based computing IV ; 2\textsuperscript{nd} International symposium advances in artificial intelligence and applications ; Computer aspects of numerical algorithms ; 7th International multidisciplinary conference on Electronic commerce ; 2nd International workshop on Secure information systems ; International conference on Principles of information technology and applications ; International workshop on Real time software ; Invited papers for the round table discussion on Real time software engineering education ; Workshop on Ad-Hoc wireless networks: urban legends and reality ; 1st Workshop on Advances in programming languages : October 15–17, 2007, Wisła, Poland / PTI Polish Information Processing Society. — Wersja do Windows. — Dane tekstowe. — [Poland?] : PIPS, cop. 2007. — 1 dysk optyczny. — (Proceedings of the International Multiconference on Computer Science and Information Technology ; ISSN 1896-7094 ; vol. 2). — Na CD-ROM-ie dodatkowo: XXIII Jesienne Spotkania PTI. — S. 837–847. — Wymagania systemowe: Adobe Acrobat Reader ; napęd CD-ROM. — Bibliogr. s. 846–847, Abstr.. — Tyt. przejęto z ekranu tytułowego. — Publikacja zaprezentowana w ramach: International workshop on Real time software

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

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

23
  • Integrated approach to modelling and analysis using RTCP-nets / Marcin SZPYRKA, Tomasz SZMUC // W: Software engineering techniques : design for quality / ed. Krzysztof Sacha. — New York, NY, USA : Springer, 2006. — (IFIP International Federation for Information Processing : a Springer Series in Computer Science ; ISSN 1571-5736 ; 227). — Prace prezentowane na konferencji: IFIP working conference on Software Engineering Techniques SET 2006 : October 17–20, 2006, Warsaw. — ISBN10: 0-387-39387-0. — S. 115–120. — Bibliogr. s. 120, Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

24
  • KIC InnoEnergy Innovation in Sustainable Energy / Tomasz SZMUC // Biuletyn Polskiego Stowarzyszenia Wodoru i Ogniw Paliwowych = Bulletin of the Polish Hydrogen and Fuel Cells Association ; ISSN 1896-7205. — 2011 nr 6, S. 123–124. — Smart materials for hydrogen and renewable energy : 3rd Polish forum : set plan satellite conference : 29–30 Nov. 2011 Warsaw. — Kraków : Polskie Stowarzyszenie Wodoru i Ogniw Paliwowych, AGH. Wydział Energetyki i Paliw, 2011

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

25
  • Krakowski Węzeł we Wspólnocie Wiedzy i Innowacji KIC-InnoEnergyKrakow 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: