Duration Calculus for Analysis of Fault Trees with Time Dependencies. - Pawel Gluchowski (DepCoS-RELCOMEX, 2007)

Languages of CTL and RTCTL Calculi in Real-Time Analysis of a System Described by a Fault Tree with Time Dependencies. - Pawel Gluchowski (DepCoS-RELCOMEX, 2009)

NuSMV Model Verification of an Airport Traffic Control System with Deontic Rules. - Pawel Gluchowski (DepCoS-RELCOMEX, 2016)

Up-conversion luminescence and µ-Raman investigations of KGd(WO4)2 crystalline powders doped with rare earth ions. - Dobroslawa Kasprowicz; Pawel Gluchowski; K. Jaroszewski; Maciej Chrunik; Andrzej Majchrowski (ICTON, 2016)

SiO2-SnO2 Photonic Glass-Ceramics. - Lam Thi Ngoc Tran; Damiano Massella; Rolindes Balda; Simone Berneschi; Wilfried Blanc; Brigitte Boulard; Andrea Chiappini; Alessandro Chiasera; Paola Dentella; Shane Eaton; Joaquín Fernández; Maurizio Ferrari; et al. (ICTON, 2019)