Agata Janowska

According to our database, Agata Janowska authored at least 8 papers between 2003 and 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2017

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

Sensors, 2017

2013

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

2008

Translation of Timed Promela to Timed Automata with Discrete Data.

Wojciech Nabialek, Agata Janowska, Pawel Janowski

Fundam. Informaticae, 2008

Translation of Intermediate Language to Timed Automata with Discrete Data.

Agata Janowska, Pawel Janowski, Dobieslaw Wróblewski

Fundam. Informaticae, 2008

2007

Path Compression in Timed Automata.

Agata Janowska, Wojciech Penczek

Fundam. Informaticae, 2007

2006

Slicing of Timed Automata with Discrete Data.

Agata Janowska, Pawel Janowski

Fundam. Informaticae, 2006

2004

Slicing Timed Systems.

Agata Janowska, Pawel Janowski

Fundam. Informaticae, 2004

2003

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003