Artur Niewiadomski

Artur Niewiadomski

Universitas Pelita Harapan - Tangerang / Indonesia
Others
AD Scientific Index ID: 359460
Pelita Harapan University
person_outline Artur Niewiadomski's MOST POPULAR ARTICLES
1-) Verics 2007-a model checker for knowledge and real-time Fundamenta Informaticae 85 (1-4), 313-328, 2008
2-) Comparing BDD and SAT based techniques for model checking Chaum's dining cryptographers protocol Fundamenta Informaticae 72 (1-3), 215-234, 2006
3-) Planics-a web service composition toolset Fundamenta Informaticae 112 (1), 47-71, 2011
4-) A new approach to model checking of UML state machines Fundamenta Informaticae 93 (1-3), 289-303, 2009
5-) HarmonICS-a Tool for Composing Medical Services. ZEUS 847, 25-33, 2012