Statistics
Publications
5
Citations
173
H-Index
5
Active since
2003
Agata Półrola is an author at Jan Długosz University specializing in computer science, computing, and query processing.
Publications per year
2003–2012
5
5
VerICS 2007 - a Model Checker for Knowledge and Real-Time
Magdalena Kacprzak, Wojciech Nabiałek, Artur Niewiadomski et al. · Fundamenta Informaticae · 2008 · 88 citations
Verics: A Tool for Verifying Timed Automata and Estelle Specifications
Piotr Dembiński, Agata Janowska, Paweł Janowski et al. · 2003 · 25 citations
PlanICS - a Web Service Composition Toolset
D. Doliwa, Wojciech Horzelski, Mariusz Jarocki et al. · Fundamenta Informaticae · 2011 · 23 citations
HarmonICS - a Tool for Composing Medical Services ?
D. Doliwa, Wojciech Horzelski, Mariusz Jarocki et al. · 2012 · 13 citations
1–5 of 5