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.

Analysis, verification and design of tabular systems : logical, algebraic and graphical methods — Analiza, weryfikacja i projektowanie systemów tablicowych : metody logiczne, algenraiczne i graficzne / Antoni LIGĘZA, Grzegorz J. NALEPA, Tomasz SZMUC, Marcin SZPYRKA, Piotr SZWED, Igor WOJNICKI // Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie ; ISSN 1429-3447. — 2001 t. 5 z. 1/2, s. 345–354. — Bibliogr. s. 353–354, Streszcz., Summ.

Dyskusja panelowa poświęcona zagadnieniom terminologicznym geoinformatyki — Information about a panel discussion on terminology and vocabulary organised by the Geoinformatics Commission PAU / Janusz KOTLARCZYK, Zbigniew SITEK, Michał ODLANICKI-POCZOBUTT, Wojciech Pachelski, Stanisław MULARZ, [et al.], Stefan Witold ALEXANDROWICZ, Zbigniew KASINA, Henryk MARCAK, Józef JACHIMSKI, Andrzej LEŚNIAK, Wojciech MASTEJ, [et al.], Jakub SIEMEK, Andrzej OLAJOSSY, Tomasz SZMUC, [et al.] // Geoinformatica Polonica ; ISSN 1642-2511. — 2001 nr 3, s. 57–79. — Bibliogr. w różnych częściach tekstu, Abstr.

Zastosowanie algebry procesów do wspomagania projektowania poprawnego oprogramowania systemów reaktywnych — Process algebra supporting design of correct software for reactive systems / Tomasz SZMUC, Sylwester Oskwarek // Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie ; ISSN 1429-3447. — 2001 t. 5 z. 1/2, s. 523–533. — Bibliogr. s. 533, Streszcz., Summ.