Artur Niewiadomski
Artur Niewiadomski
Siedlce University
Verified email at uph.edu.pl - Homepage
Title
Cited by
Cited by
Year
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
1132008
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
482006
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
342004
A new approach to model checking of UML state machines
A Niewiadomski, W Penczek, M Szreter
Fundamenta Informaticae 93 (1-3), 289-303, 2009
232009
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
Towards SMT-based Abstract Planning in PlanICS Ontology.
A Niewiadomski, W Penczek
KEOD, 123-131, 2013
172013
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
112010
Towards checking parametric reachability for UML state machines
A Niewiadomski, W Penczek, M Szreter
International Andrei Ershov Memorial Conference on Perspectives of System …, 2009
112009
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
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
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
Applying modern sat-solvers to solving hard problems
A Niewiadomski, P Switalski, T Sidoruk, W Penczek
Fundamenta Informaticae 165 (3-4), 321-344, 2019
62019
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
The system can't perform the operation now. Try again later.
Articles 1–20