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 | 127 | 2008 |
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 | 57 | 2006 |
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 | 40 | 2011 |
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 | 35 | 2004 |
A new approach to model checking of UML state machines A Niewiadomski, W Penczek, M Szreter Fundamenta Informaticae 93 (1-3), 289-303, 2009 | 23 | 2009 |
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 | 20 | 2012 |
Towards SMT-based abstract planning in PlanICS ontology A Niewiadomski, W Penczek International Conference on Knowledge Engineering and Ontology Development 2 …, 2013 | 17 | 2013 |
Applying modern sat-solvers to solving hard problems A Niewiadomski, P Switalski, T Sidoruk, W Penczek Fundamenta Informaticae 165 (3-4), 321-344, 2019 | 14 | 2019 |
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 | 14 | 2014 |
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 | 12 | 2023 |
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 | 12 | 2010 |
Towards checking parametric reachability for UML state machines A Niewiadomski, W Penczek, M Szreter International Andrei Ershov Memorial Conference on Perspectives of System …, 2009 | 11 | 2009 |
Evolutionary algorithms for abstract planning J Skaruz, A Niewiadomski, W Penczek International Conference on Parallel Processing and Applied Mathematics, 392-401, 2013 | 10 | 2013 |
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 | 10 | 2013 |
SAT-based ATL satisfiability checking M Kacprzak, A Niewiadomski, W Penczek arXiv preprint arXiv:2002.03117, 2020 | 9 | 2020 |
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 | 9 | 2011 |
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 | 8 | 2014 |
SMT versus Genetic Algorithms: Concrete Planning in the Planics Framework A Niewiadomski, W Penczek, J Skaruz CS&P'2013, 309, 2013 | 8 | 2013 |
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 | 8 | 2008 |