Statistics
Publications
3
Citations
57
H-Index
3
Active since
2002
Affiliations
University of Warsaw(Current)
Paweł Janowski is an author at University of Warsaw specializing in computer science, temporal logic, and real-time systems.
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