Obserwuj
Artur Niewiadomski
Artur Niewiadomski
Siedlce University
Zweryfikowany adres z uph.edu.pl - Strona główna
Tytuł
Cytowane przez
Cytowane przez
Rok
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
1232008
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
552006
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
402011
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
352004
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
International Conference on Knowledge Engineering and Ontology Development 2 …, 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
142014
Applying modern sat-solvers to solving hard problems
A Niewiadomski, P Switalski, T Sidoruk, W Penczek
Fundamenta Informaticae 165 (3-4), 321-344, 2019
122019
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
122010
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
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
MsATL: A tool for SAT-based ATL satisfiability checking
A Niewiadomski, M Kacprzak, D Kurpiewski, M Knapik, W Penczek, ...
arXiv preprint arXiv:2310.16519, 2023
92023
Evolutionary algorithms for abstract planning
J Skaruz, A Niewiadomski, W Penczek
International Conference on Parallel Processing and Applied Mathematics, 392-401, 2013
92013
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 (2), 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, W Nabialek, A Niewiadomski, W Penczek, A Polroa, ...
Proc. of the Int. Workshop on Concurrency, Specification and Programming (CS …, 2008
82008
SAT-based ATL satisfiability checking
M Kacprzak, A Niewiadomski, W Penczek
arXiv preprint arXiv:2002.03117, 2020
72020
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20