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

  • 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 ; LNCS 7054. Programming and Software Engineering ; ISSN 2945-915X). — Bibliogr. przy rozdz., Index. — ISBN: 978-3-642-28037-5 ; e-ISBN: 978-3-642-28038-2. — tekst: https://link-1springer-1com-1000048es0002.wbg2.bg.agh.edu.pl/content/pdf/10.1007%2F978-3-642-28038-2.pdf

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu: 10.1007/978-3-642-28038-2

2

  • Application of reinforcement learning in decision systems: lift control case study / Mateusz WOJTULEWICZ, Tomasz SZMUC // Applied Sciences (Basel) [Dokument elektroniczny]. — Czasopismo elektroniczne ; ISSN 2076-3417. — 2024 vol. 14 iss. 2 art. no. 569, s. 1–12. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 11–12, Abstr.. — Publikacja dostępna online od: 2024-01-09. — tekst: https://www.mdpi.com/2076-3417/14/2/569/pdf?version=1704793652

    orcid iD

  • keywords: reinforcement learning, artificial intelligence, decision systems, lift control

    Zobacz pełny wykaz publikacji Autora/Autorów: Mateusz Wojtulewicz

    cyfrowy identyfikator dokumentu: 10.3390/app14020569

3
4

  • 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 ; e-ISBN: 978-3-540-73451-2. — S. 648–657. — Bibliogr. s. 657, Abstr.

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

5

  • 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 ; e-ISBN: 978-3-642-30341-8. — S. 539–558. — Bibliogr. s. 558, Abstr.

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

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

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

    cyfrowy identyfikator dokumentu:

7

  • 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 ; LNCS 7054. Programming and Software Engineering ; ISSN 2945-915X). — ISBN: 978-3-642-28037-5. — S. 97–108. — Bibliogr. s. 106–108, Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

8

  • 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

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

    cyfrowy identyfikator dokumentu:

9

  • Modeling and verification of reactive software using LOTOS / Grzegorz ROGUS, Tomasz SZMUC // W: Software engineering : evolution and emerging technologies / eds. Krzysztof Zieliński, Tomasz Szmuc. — Amsterdam, [etc.] : IOS Press, 2005. — (Frontiers in Artificial Intelligence and Applications ; ISSN 0922-6389 ; vol. 130). — ISBN: 978-1-58603-559-4. — S. 365–377. — Bibliogr. s. 377, Abstr.

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Grzegorz Rogus

    cyfrowy identyfikator dokumentu:

10

  • 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 ; LNCS 7628. Lecture Notes in Artificial Intelligence). — ISBN: 978-3-642-34326-1. — S. 40–51

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

11

  • Modelling and simulation of embedded systems with RTCP-nets / Marcin SZPYRKA, Tomasz SZMUC // W: Proceedings of the IASTED international conference on Applied simulation and modelling : June 28–30, 2004, Rhodes, Greece / ed. M. H. Hamza. — Anaheim ; Calgary ; Zurich : ACTA Press, 2004. — (A Publication of the International Association of Science and Technology for Development). — S. 504–509. — Bibliogr. s. 509, Abstr.

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

12

  • New time model and design method for RTCP-nets / Marcin SZPYRKA, Tomasz SZMUC // W: Real-Time Programming 2004 (WRTP 2004) : a proceedings volume from the 28\textsuperscript{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. — (Elsevier IFAC Publications). — Opis częśc. wg okł.. — S. 121–126. — Bibliogr. s. 126, Abstr.

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

13

  • RTCP-nets as a tool for real-time systems modelling and analysis / Marcin SZPYRKA, Tomasz SZMUC // W: WRTP'03 : 27th IFAC/IFIP/IEEE Workshop on Real-Time Programming : May 14–17, 2003, Łagów (Poland): preprints / eds. Matjaž Colnarič, Marian Adamski, Marek Węgrzyn ; University of Zielona Góra. Institute of Computer Engineering and Electronics, IFAC. — [Poland : IFAC], [cop. 2003]. — Opis częśc. wg okł.. — S. 25–30. — Bibliogr. s. 29, Abstr.

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

14

  • Software engineering : evolution and emerging technologies / eds. Krzysztof ZIELIŃSKI, Tomasz SZMUC. — Amsterdam [etc.] : IOS Press, 2005. — X, 431 s.. — (Frontiers in Artificial Intelligence and Applications ; ISSN 0922-6389 ; vol. 130). — Bibliogr. przy rozdz.. — ISBN10: 1-58603-559-2

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Krzysztof Zieliński

    cyfrowy identyfikator dokumentu:

15

  • TCPN-based tool for timing constraints modelling and validation / Sławomir Samolej, Tomasz SZMUC // W: Software engineering : evolution and emerging technologies / eds. Krzysztof Zieliński, Tomasz Szmuc. — Amsterdam, [etc.] : IOS Press, 2005. — (Frontiers in Artificial Intelligence and Applications ; ISSN 0922-6389 ; vol. 130). — ISBN: 978-1-58603-559-4. — S. 194–205. — Bibliogr. s. 205, Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

16

  • 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

    Zobacz pełny wykaz publikacji Autora/Autorów: Rafał Mrówka

    cyfrowy identyfikator dokumentu: 10.1109/ISPDC.2008.60

17

  • Verification of automatic train protection systems with RTCP-nets / Marcin SZPYRKA, Tomasz SZMUC // W: Computer Safetyty, reliability and security : 25th international conference, SAFECOMP 2006 : Gdansk, Poland, September 27–29, 2006 : proceedings / ed. Janusz Górski. — Berlin ; Heidelberg : Springer-Verlag, 2006. — (Lecture Notes in Computer Science ; ISSN 0302-9743 ; LNCS 4166. Programming and Software Engineering ; ISSN 2945-915X). — ISBN10: 3-540-45762-3. — S. 344–357. — Bibliogr. s. 357, Abstr.

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu: