Bounded model checking for weighted interpreted systems and for flat weighted epistemic computation tree logic / Bożena Woźna-Szcześniak, Ireneusz SZCZEŚNIAK, Agnieszka M. Zbrzezny, Andrzej Zbrzezny // W: PRIMA 2014: Principles and Practice of Multi-Agent Systems : 17th international conference : Gold Coast, QLD, Australia, December 1-5, 2014 : proceedings / eds. Hoa Khanh Dam, [et al.]. — Cham [etc.] : Springer, cop. 2014. — (Lecture Notes in Computer Science ; ISSN 0302-9743 ; LNCS 8861. Lecture Notes in Artificial Intelligence). — ISBN: 978-3-319-13190-0 ; e-ISBN: 978-3-319-13191-7. — S. 107–115. — Bibliogr. s. 107, Abstr.

Mobile routing in elastic optical networks / Ireneusz SZCZEŚNIAK, Andrzej JAJSZCZYK, Andrzej PACH // W: 2014 IEEE/CIC International Conference on Communications in China (ICCC) [Dokument elektroniczny] : October 13–15, 2014, Shanghai, China / IEEE. — Wersja do Windows. — Dane tekstowe. — Piscataway, NY : IEEE, cop. 2014. — ISBN: 978-1-4799-4146-9. — S. 107–111. — Wymagania systemowe: Adobe Reader. — Tryb dostępu: http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=7008252 [2015-01-20]. — Bibliogr. s. 111, Abstr.