Statistics
Publications
6
Citations
195
H-Index
6
Active since
2006
Artur Niewiadomski is an author at Institute of Computer Science specializing in computing, computer science, and service planning.
Publications per year
2006–2014
6
6
VerICS 2007 - a Model Checker for Knowledge and Real-Time
Magdalena Kacprzak, Wojciech Nabiałek, Artur Niewiadomski et al. · Fundamenta Informaticae · 2008 · 88 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 6