Publikacje

Tytuł publikacji:Autor/ Autorzy:Rok publikacjiPublikacjaStronyKopia lokalna
Towards Automatic Composition of Web Services: SAT-Based Concretisation of Abstract ScenariosArtur Niewiadomski, Wojciech Penczek Agata Połrola, Maciej Szreter,Andrzej Zbrzezny2012Fundamenta Informaticae181-203PDF
Visualisation of concurrent processesŁukasz Mikulski, Marcin Piątkowski2013Control and Cybernetics699-725 PDF
BDD-versus SAT-based bounded model checking for the existential fragment of linear temporal logic with knowledge: algorithms and their performanceArtur Męski, Wojciech Penczek, Maciej Szreter, Bożena Woźna-Szcześniak, Andrzej Zbrzezny2013Journal of Autonomous Agents and Multi-Agent Systems, Springer US558-604PDF
SMT versus Genetic and OpenOpt Algorithms: Concrete Planning in the PlanICS FrameworkArtur Niewiadomski, Jaroslaw Skaruz, Wojciech Penczek, Maciej Szreter, Mariusz Jarocki2014Fundamenta Informaticae451-466PDF
Folded Hasse diagrams of combined tracesŁukasz Mikulski, Maciej Koutny2014Int. Journal On Advances in Software 114208-216PDF
Combining Genetic Algorithm and SMT into Hybrid Approaches to Web Service Composition ProblemArtur Niewiadomski, Wojciech Penczek, Jaroslaw Skaruz2014Int. Journal On Advances in Software675 - 685PDF
Group Synthesis for Parametric Temporal-Epistemic LogicAndrew V. Jones, Michał Knapik, Alessio Lomuscio, Wojciech Penczek2012AAMAS '12 Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems 1107-1114PDF
Symbolic Model Checking for Temporal-Epistemic LogicAlessio Lomuscio, Wojciech Penczek2012Logic Programs, Norms and Action, Springer-Verlag172-195PDF
HarmonICS - a Tool for Composing Medical ServicesDariusz Doliwa, Wojciech Horzelski, Mariusz Jarocki, Artur Niewiadomski, Wojciech Penczek, Agata Półrola, Jarosław Skaruz2012Central European Workshop on Services and their Composition25-33PDF
Automated Abstract Planning with Use of Genetic AlgorithmsJarosław Skaruz, Artur Niewiadomski, Wojciech Penczek2013The Genetic and Evolutionary Computation Conference129-130PDF
Towards SMT-based Abstract Planning in PlanICS OntologyArtur Niewiadomski, Wojciech Penczek20135th International Conference on Knowledge Engineering and Ontology Development 123-131PDF
Evolutionary Algorithms for Abstract PlanningJarosław Skaruz, Artur Niewiadomski, Wojciech Penczek2013Parallel Processing and Applied Mathematics392-401PDF
SMT versus Genetic Algorithms: Concrete Planning in the Planics FrameworkArtur Niewiadomski, Wojciech Penczek, Jarosław Skaruz2013The Concurrency, Specification, and Programming309-321PDF
PlanICS 2.0 - a web service composition systemMariusz Jarocki, Agata Półrola, Artur Niewiadomski, Wojciech Penczek, Maciej Szreter2013XV Krajowa Konferencja Inżynierii Oprogramowania-PDF
SMT-based Abstract Temporal PlanningArtur Niewiadomski, Wojciech Penczek2014Petri Nets and Software Engineering55-74PDF
Planics 2.0 - A Tool for Composing ServicesArtur Niewiadomski, Wojciech Penczek2014Petri Nets and Software Engineering93 - 102PDF
Generating CA-Plans from Multisets of ServicesŁukasz Mikulski, Artur Niewiadomski ,Marcin Piątkowski, Sebastian Smyczyński2014Petri Nets and Software Engineering347-348PDF
A Hybrid Approach to Web Service Composition Problem in the PlanICS Framework (a)Artur Niewiadomski, Wojciech Penczek, Jarosław Skaruz2014Mobile Web Information Systems17-28PDF
A Hybrid Approach to Web Service Composition Problem in the PlanICS Framework (b)Artur Niewiadomski, Wojciech Penczek, Jarosław Skaruz2014Mobile Web Information Systems 17-28PDF
Genetic Algorithm to the Power of SMT: a Hybrid Approach to Web Service Composition ProblemArtur Niewiadomski, Wojciech Penczek, Jarosław Skaruz2014Service Computation 44-48PDF
On Generation of Context-Abstract PlansŁukasz Mikulski, Artur Niewiadomski, Marcin Piątkowski, Sebastian Smyczyński2014WorkShop on Formal Methods in the Development of Software376-388PDF
Hybrid Approach to Abstract Planning of Web ServicesJarosław Skaruz, Artur Niewiadomski, Wojciech Penczek2015Service Computation35-40PDF
Towards Automated Abstract Planning Based on a Genetic AlgorithmJarosław Skaruz, Artur Niewiadomski, Wojciech Penczek2012ICS PAS Tech. Report -PDF
SMT-based Abstract Planning in PlanICS OntologyArtur Niewiadomski, Wojciech Penczek, Agata Półtora2012ICS PAS Tech Report 1027123-131PDF