Artur Niewiadomski - Concepedia

Author

Artur Niewiadomski

Also Known As

Artur Niewiadomski, Niewiadomski, Artur

Publications

308

Citations

H-Index

Concepts

All Affiliations

Artur Niewiadomski is an author at Institute of Computer Science specializing in computer science, engineering, and software engineering.

#	Concept	H-Index	Publications	Citations
1	Engineering	3	3	157
2	Computer Science	3	3	157
3	Business	1	1	88
4	Computer Engineering	1	1	46
5	Data Science	1	1	88

Artur Niewiadomski

Publications

195

Citations

H-Index

Page 1

	Year	Citations
VerICS 2007 - a Model Checker for Knowledge and Real-Time Magdalena Kacprzak, Wojciech Nabiałek, Artur Niewiadomski, Fundamenta Informaticae Verics 2007EngineeringVerificationComputer-aided VerificationSoftware Engineering	2008	88
Comparing BDD and SAT Based Techniques for Model Checking Chaum's Dining Cryptographers Protocol Magdalena Kacprzak, Alessio Lomuscio, Artur Niewiadomski, UCL Discovery (University College London) Anonymity RequirementsEngineeringInformation SecurityDining Cryptographers ProtocolVerification	2006	46
PlanICS - a Web Service Composition Toolset D. Doliwa, Wojciech Horzelski, Mariusz Jarocki, Fundamenta Informaticae Web Service SpecificationEngineeringInformation RetrievalWeb Service ModelingAutomatic Composition	2011	23
A New Approach to Model Checking of UML State Machines Artur Niewiadomski, Wojciech Penczek, Maciej Szreter Fundamenta Informaticae	2009	15
HarmonICS - a Tool for Composing Medical Services ? D. Doliwa, Wojciech Horzelski, Mariusz Jarocki,	2012	13
SMT Versus Genetic and OpenOpt Algorithms: Concrete Planning in the PlanICS Framework Artur Niewiadomski, Jarosław Skaruz, Wojciech Penczek, Fundamenta Informaticae	2014	10

Page 1