Artur Niewiadomski
Artur Niewiadomski
Siedlce University
Verified email at uph.edu.pl - Homepage
TitleCited byYear
Verics 2007-a model checker for knowledge and real-time
M Kacprzak, W Nabiałek, A Niewiadomski, W Penczek, A Półrola, ...
Fundamenta Informaticae 85 (1-4), 313-328, 2008
1032008
Comparing BDD and SAT based techniques for model checking Chaum's dining cryptographers protocol
M Kacprzak, A Lomuscio, A Niewiadomski, W Penczek, F Raimondi, ...
Fundamenta Informaticae 72 (1-3), 215-234, 2006
472006
Planics-a web service composition toolset
D Doliwa, W Horzelski, M Jarocki, A Niewiadomski, W Penczek, A Półrola, ...
Fundamenta Informaticae 112 (1), 47-71, 2011
392011
VerICS 2004: A model checker for real time and multi-agent systems
W Nabialek, A Niewiadomski, W Penczek, A Polrola, M Szreter
Proceedings of the International Workshop on Concurrency, Specification and …, 2004
332004
HarmonICS-a Tool for Composing Medical Services.
D Doliwa, W Horzelski, M Jarocki, A Niewiadomski, W Penczek, A Pólrola, ...
ZEUS 847, 25-33, 2012
202012
A new approach to model checking of UML state machines
A Niewiadomski, W Penczek, M Szreter
Fundamenta Informaticae 93 (1-3), 289-303, 2009
202009
Towards SMT-based Abstract Planning in PlanICS Ontology.
A Niewiadomski, W Penczek
KEOD, 123-131, 2013
172013
SMT versus genetic and OpenOpt algorithms: concrete planning in the PlanICS framework
A Niewiadomski, J Skaruz, W Penczek, M Szreter, M Jarocki
Fundamenta Informaticae 135 (4), 451-466, 2014
102014
Automated abstract planning with use of genetic algorithms
J Skaruz, A Niewiadomski, W Penczek
Proceedings of the 15th annual conference companion on Genetic and …, 2013
102013
Towards checking parametric reachability for UML state machines
A Niewiadomski, W Penczek, M Szreter
International Andrei Ershov Memorial Conference on Perspectives of System …, 2009
102009
Web services composition-from ontology to plan by query
D Doliwa, W Horzelski, M Jarocki, A Niewiadomski, W Penczek, A Półrola, ...
Control and Cybernetics 40, 315-336, 2011
92011
Parametric Model Checking with VerICS
M Knapik, A Niewiadomski, W Penczek, A Półrola, M Szreter, A Zbrzezny
Transactions on Petri nets and other models of concurrency IV, 98-120, 2010
92010
A hybrid approach to web service composition problem in the PlanICS framework
A Niewiadomski, W Penczek, J Skaruz
International Conference on Mobile Web and Information Systems, 17-28, 2014
82014
SMT versus Genetic Algorithms: Concrete Planning in the Planics Framework⋆
A Niewiadomski, W Penczek, J Skaruz
CS&P'2013, 309, 2013
82013
Towards automatic composition of web services: Abstract planning phase
M Jarocki, A Niewiadomski, W Penczek, A Półrola, M Szreter
Polish Academy of Sciences [PAS]. Institute of Computer Science, 2010
8*2010
VerICS 2006--a Model Checker for Real-Time and Multi-Agent Systems
M Kacprzak, A Niewiadomski, W Penczek, M Szreter, A Zbrzezny
82008
Evolutionary algorithms for abstract planning
J Skaruz, A Niewiadomski, W Penczek
International Conference on Parallel Processing and Applied Mathematics, 392-401, 2013
72013
Abstract planning in PlanICS ontology. An SMT-based approach
A Niewiadomski, W Penczek, A Półrola
Technical Report 1027, ICS PAS, 2012
62012
Towards automatic composition of web services: SAT-based concretisation of abstract scenarios
A Niewiadomski, W Penczek, M Szreter, A Zbrzezny
Fundamenta Informaticae 120 (2), 181-203, 2012
62012
A formal approach to composing abstract scenarios of web services
M Jarocki, A Niewiadomski, W Penczek, A Półrola, M Szreter
Proc. of the 18th Int. Conf. Intelligent Information Systems (IIS 2010 …, 2010
62010
The system can't perform the operation now. Try again later.
Articles 1–20