Verics: A Tool for Verifying Timed Automata and Estelle Specifications. - Piotr Dembinski; Agata Janowska; Pawel Janowski; Wojciech Penczek; Agata Pólrola; Maciej Szreter; Bozena Wozna; Andrzej Zbrzezny (TACAS, 2003)

Slicing Timed Systems. - Agata Janowska; Pawel Janowski (Fundam. Informaticae, 2004)

Slicing of Timed Automata with Discrete Data. - Agata Janowska; Pawel Janowski (Fundam. Informaticae, 2006)

Translation of Intermediate Language to Timed Automata with Discrete Data. - Agata Janowska; Pawel Janowski; Dobieslaw Wróblewski (Fundam. Informaticae, 2008)

Translation of Timed Promela to Timed Automata with Discrete Data. - Wojciech Nabialek; Agata Janowska; Pawel Janowski (Fundam. Informaticae, 2008)

Enterprise-Level Controlled Experiments at Scale: Challenges and Solutions. - Sophia Liu; Aleksander Fabijan; Michael Furchtgott; Somit Gupta; Pawel Janowski; Wen Qin; Pavel A. Dmitriev (SEAA, 2019)

A/B Testing at Scale: Accelerating Software Innovation. - Somit Gupta; Ronny Kohavi; Alex Deng; Jeff Omhover; Pawel Janowski (WWW (Companion Volume), 2019)

Improving Lesion Detection by exploring bias on Skin Lesion dataset. - Anusua Trivedi; Sreya Muppalla; Shreyaan Pathak; Azadeh Mobasher; Pawel Janowski; Rahul Dodhia; Juan M. Lavista Ferres (CoRR, 2020)