Agata Janowska

Publication Activity (10 Years)

Years Active: 2003-2017
Publications (10 Years): 1

Top Topics

Top Venues

Trans. Petri Nets Other Model. Concurr.

Publications

Pietro Salvo, Valentina Dini, Arno Kirchhain, Agata Janowska, Teresa Oranges, Andrea Chiricozzi, Tommaso Lomonaco, Fabio Di Francesco, Marco Romanelli
Sensors and Biosensors for C-Reactive Protein, Temperature and pH, and Their Applications for Monitoring Wound Healing: A Review. Sensors 17 (12) (2017)
Agata Janowska, Wojciech Penczek, Agata Pólrola, Andrzej Zbrzezny
Using Integer Time Steps for Checking Branching Time Properties of Time Petri Nets. Trans. Petri Nets Other Model. Concurr. 8 (2013)
Agata Janowska, Wojciech Penczek, Agata Pólrola, Andrzej Zbrzezny
Using Integer Time Steps for Checking Branching Time Properties of Time Petri Nets. PNSE (2012)
Agata Janowska, Pawel Janowski, Dobieslaw Wróblewski
Translation of Intermediate Language to Timed Automata with Discrete Data. Fundam. Informaticae 85 (1-4) (2008)
Wojciech Nabialek, Agata Janowska, Pawel Janowski
Translation of Timed Promela to Timed Automata with Discrete Data. Fundam. Informaticae 85 (1-4) (2008)
Agata Janowska, Wojciech Penczek
Path Compression in Timed Automata. Fundam. Informaticae 79 (3-4) (2007)
Agata Janowska, Pawel Janowski
Slicing of Timed Automata with Discrete Data. Fundam. Informaticae 72 (1-3) (2006)
Agata Janowska, Pawel Janowski
Slicing Timed Systems. Fundam. Informaticae 60 (1-4) (2004)
Piotr Dembinski, Agata Janowska, Pawel Janowski, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Bozena Wozna, Andrzej Zbrzezny
Verics: A Tool for Verifying Timed Automata and Estelle Specifications. TACAS (2003)