Statistics
Publications
3
Citations
57
H-Index
3
Active since
2002
Affiliations
University of Warsaw(Current)
Agata Janowska is an author at University of Warsaw specializing in automata theory, computing, and computer science.
Publications per year
2002–2006
3
3
Verics: A Tool for Verifying Timed Automata and Estelle Specifications
Piotr Dembiński, Agata Janowska, Paweł Janowski et al. · 2003 · 25 citations
Slicing of Timed Automata with Discrete Data
Agata Janowska, Paweł Janowski · Fundamenta Informaticae · 2006 · 21 citations
From Specification Languages to Timed Automata
Anna Doros, Agata Janowska, Paweł Janowski · 2002 · 11 citations
1–3 of 3