Concepedia

Artur Niewiadomski

AN

6

Publications

195

Citations

6

H-Index

2006

Active since

Affiliations

Institute of Computer Science(Current)

University of Łódź

University of Siedlce

Bialystok University of Technology

Jan Długosz University

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

Top concepts

EngineeringComputer ScienceVerificationFormal MethodsAutomated ReasoningFormal VerificationSoftware EngineeringBusinessText MiningCryptography

Publications per year

2006–2014

6

Publications

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

Verics 2007, Engineering, Verification +23

Comparing BDD and SAT Based Techniques for Model Checking Chaum's Dining Cryptographers Protocol

Magdalena Kacprzak, Alessio Lomuscio, Artur Niewiadomski et al. · UCL Discovery (University College London) · 2006 · 46 citations

Anonymity Requirements, Engineering, Information Security +20

PlanICS - a Web Service Composition Toolset

D. Doliwa, Wojciech Horzelski, Mariusz Jarocki et al. · Fundamenta Informaticae · 2011 · 23 citations

Web Service Specification, Engineering, Information Retrieval +13

A New Approach to Model Checking of UML State Machines

Artur Niewiadomski, Wojciech Penczek, Maciej Szreter · Fundamenta Informaticae · 2009 · 15 citations

HarmonICS - a Tool for Composing Medical Services ?

D. Doliwa, Wojciech Horzelski, Mariusz Jarocki et al. · 2012 · 13 citations

Rows per page

1–5 of 6