Wykaz publikacji wybranego autora

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

profesor zwyczajny

Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej
WEAIiIB-kis, Katedra Informatyki Stosowanej


ORCID: 0000-0003-4922-5369
ResearcherID: J-3955-2014



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


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


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

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

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

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

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

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

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

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

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

10
11
  • 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

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

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

14
15
  • Modeling robot behavior with CCL / Konrad KUŁAKOWSKI, Tomasz SZMUC // W: Simulation, modelling, and programming for autonomous robots : third international conference, SIMPAR 2012 : Tsukuba, Japan, November 5–8, 2012 : proceedings / eds. Itsuki Noda, [et al.]. — Berlin ; Heidelberg : Springer-Verlag, cop. 2012. — (Lecture Notes in Computer Science ; ISSN 0302-9743 ; vol. 7628). — ISBN: 978-3-642-34326-1. — S. 40–51

  • brak zdefiniowanych słów kluczowych

16
  • Modeling UML object event handling with Petri Nets : towards improvement of embedded systems analysis and design / Wojciech SZMUC, Tomasz SZMUC // W: MIXDES 2016 [Dokument elektroniczny] : Mixed Design of integrated circuits and systems : Łódź, Poland, June 23–25, 2016 : book of abstracts of 23\textsuperscript{rd} international conference / ed. by Andrzej Napieralski. — Wersja do Windows. — Dane tekstowe. — Łódź : Lodz University of Technology. Department of Microelectronics and Computer Science, cop. 2016. — Dysk Flash. — e-ISBN: 978-8-3635-7808-4. — S. 129. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 129. — Pełny tekst pod adresem {http://wbg2.bg.agh.edu.pl/stamp/stamp.jsp?tp==7529785}. — S.454–457. - Bibliogr. s.457, Abstr.

  • keywords: UML, model, object, formal, Petri, queue, event

17
18
  • Towards efficient application of formal techniques in software development / Rafał MRÓWKA, Tomasz SZMUC // W: Software engineering techniques in progress / eds. Tomáš Hruška, Lech Madeyski, Mirosław Ochodek. — Wrocław : Oficyna Wydawnicza Politechniki Wrocławskiej, 2008. — Prace prezentowane na konferencji: CEE-SET 2008 : the 3rd IFIP TC2 Central and East European Conference on Software Engineering Techniques : Brno, Czech Republic, October 13–15, 2008. — ISBN: 978-83-7493-421-3. — S. 67–80. — Bibliogr. s. 79–80, Abstr.

  • brak zdefiniowanych słów kluczowych

19
  • UML Statecharts compositional semantics in LOTOS / Rafał MRÓWKA, Tomasz SZMUC // W: ISPDC 2008 : proceedings of the 7th International Symposium on Parallel and Distributed Computing : 1–5 July 3008, Krakow, Poland / eds. Marek Tudruj. — Los Alamitos, California ; Washington ; Tokyo : CPS Conference Publishing Services, IEEE Computer Society, cop. 2008. — ISBN: 978-0-7695-3472-5. — S. 459–463. — Bibliogr. s. 463, Abstr.

  • brak zdefiniowanych słów kluczowych

20