Agata Janowska - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 9 from 9

2017

Sensors and Biosensors for C-Reactive Protein, Temperature and pH, and Their Applications for Monitoring Wound Healing: A ReviewPietro Salvo, Valentina Dini, Arno Kirchhain, Agata Janowska, Teresa Oranges, Andrea Chiricozzi, Tommaso Lomonaco, Fabio Di Francesco, Marco Romanelli. sensors, 17(12):2952, 2017. [doi]

2013

Using Integer Time Steps for Checking Branching Time Properties of Time Petri NetsAgata Janowska, Wojciech Penczek, Agata Pólrola, Andrzej Zbrzezny. topnoc, 8:89-105, 2013. [doi]

2012

Using Integer Time Steps for Checking Branching Time Properties of Time Petri NetsAgata Janowska, Wojciech Penczek, Agata Pólrola, Andrzej Zbrzezny. apn 2012: 15-31 [doi]

2008

Translation of Intermediate Language to Timed Automata with Discrete DataAgata Janowska, Pawel Janowski, Dobieslaw Wróblewski. FUIN, 85(1-4):235-248, 2008. [doi]

Translation of Timed Promela to Timed Automata with Discrete DataWojciech Nabialek, Agata Janowska, Pawel Janowski. FUIN, 85(1-4):409-424, 2008. [doi]

2007

Path Compression in Timed AutomataAgata Janowska, Wojciech Penczek. FUIN, 79(3-4):379-399, 2007. [doi]

2006

Slicing of Timed Automata with Discrete DataAgata Janowska, Pawel Janowski. FUIN, 72(1-3):181-195, 2006. [doi]

2004

Slicing Timed SystemsAgata Janowska, Pawel Janowski. FUIN, 60(1-4):187-210, 2004. [doi]

2003

Verics: A Tool for Verifying Timed Automata and Estelle SpecificationsPiotr Dembinski, Agata Janowska, Pawel Janowski, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Bozena Wozna, Andrzej Zbrzezny. TACAS 2003: 278-283 [doi]

Sign in or sign up to see more results.

runs on WebDSL