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)

Path Compression in Timed Automata. - Agata Janowska; Wojciech Penczek (Fundam. Informaticae, 2007)

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)

Using Integer Time Steps for Checking Branching Time Properties of Time Petri Nets. - Agata Janowska; Wojciech Penczek; Agata Pólrola; Andrzej Zbrzezny (Trans. Petri Nets Other Model. Concurr., 2013)

Sensors and Biosensors for C-Reactive Protein, Temperature and pH, and Their Applications for Monitoring Wound Healing: A Review. - Pietro Salvo; Valentina Dini; Arno Kirchhain; Agata Janowska; Teresa Oranges; Andrea Chiricozzi; Tommaso Lomonaco; Fabio Di Francesco; Marco Romanelli 001 (Sensors, 2017)