| 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 | 124 | 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 | 56 | 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 | 34 | 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 | 22 | 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 KEOD, 123-131, 2013 | 17 | 2013 |
| 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 | 13 | 2014 |
| 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 | 13 | 2010 |
| Towards checking parametric reachability for UML state machines A Niewiadomski, W Penczek, M Szreter Perspectives of Systems Informatics: 7th International Andrei Ershov …, 2010 | 11 | 2010 |
| 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 |
| Applying modern sat-solvers to solving hard problems A Niewiadomski, P Switalski, T Sidoruk, W Penczek Fundamenta Informaticae 165 (3-4), 321-344, 2019 | 9 | 2019 |
| 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 Mobile Web Information Systems: 11th International Conference, MobiWIS 2014 …, 2014 | 8 | 2014 |
| Evolutionary algorithms for abstract planning J Skaruz, A Niewiadomski, W Penczek Parallel Processing and Applied Mathematics: 10th International Conference …, 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 |
| MsATL: A tool for SAT-based ATL satisfiability checking A Niewiadomski, M Kacprzak, D Kurpiewski, M Knapik, W Penczek, ... Proceedings of 19th International Conference on Autonomous Agents and …, 2020 | 6 | 2020 |
| Abstract planning in PlanICS ontology. An SMT-based approach A Niewiadomski, W Penczek, A Półrola Technical Report 1027, ICS PAS, 2012 | 6 | 2012 |
Wojciech PenczekProfessor of Computer Science, ICS PAS (Warsaw)ipipan.waw.pl의 이메일 확인됨
