2022
1. SMT-based Unbounded Model Checking for ATL
15th International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS2021), Springer, 2022 S. 43-58, ISBN 978-3-030-98849-4, https://doi.org/10.1007/978-3-030-98850-0
Michał Kański, Artur Niewiadomski, Magdalena Kacprzak, Wojciech Penczek, Wojciech Nabiałek

2021
1. Satisfiability Checking of Strategy Logic with Simple Goals
In Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning — Full Papers — Main Track. Pages 400–410.
Magdalena Kacprzak, Artur Niewiadomski, Wojciech Penczek.
https://doi.org/10.24963/kr.2021/38

2020
1. MsATL: a Tool for SAT-Based ATL Satisfiability Checking.
In Proc. of the 19th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2020), Auckland, New Zealand, May 9–13, 2020, IFAAMAS, pp 2111-2113.
Artur Niewiadomski, Magdalena Kacprzak, Damian Kurpiewski, Michał Knapik, Wojciech Penczek, Wojciech Jamroga.
http://ifaamas.org/Proceedings/aamas2020/pdfs/p2111.pdf

2. SAT-Based ATL Satisfiability Checking.
In Proc. of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR2020), Rhodes, Greece, September 12-18, 2020, IJCAI, pp 539-549.
Magdalena Kacprzak, Artur Niewiadomski, Wojciech Penczek.
doi: 10.24963/kr.2020/54

2019
1. Applying Modern SAT-solvers to Solving Hard Problems.
Fundam. Inform. 165(3-4): 321–344 (2019)
https://doi.org/10.3233/FI-2019-1788
Artur Niewiadomski, Piotr Switalski, Teofil Sidoruk, Wojciech Penczek

2. Object classification with artificial neural networks: A comparative analysis
Studia Informatica: Systems and Information Technology, 2019, nr 1-2 (23), s. 43-56, ISSN 1731-2264, https://doi.org/10.34739/si.2019.23.03
Kornel Domeradzki, Artur Niewiadomski

2018
1. TripICS - a Web Service Composition System for Planning Trips and Travels.
Fundam. Inform. 157(4): 403-425 (2018)
https://doi.org/10.3233/FI-2018-1635
Artur Niewiadomski, Piotr Switalski, Marcin Kowalczyk, Wojciech Penczek

2. SMT-Solvers in Action: Encoding and Solving Selected Problems in NP and EXPTIME.
Sci. Ann. Comp. Sci. 28(2): 269-288 (2018)
Artur Niewiadomski, Piotr Switalski, Teofil Sidoruk, Wojciech Penczek

2017
1. Combining ontology reductions with new approaches to automated abstract planning of PlanICS.
Applied Soft Computing 53 (2017): 352–379
http://dx.doi.org/10.1016/j.asoc.2017.01.007
A. Niewiadomski, W. Penczek, J. Skaruz, M. Szreter, A. Polrola



2016
1. Concrete Planning in PlanICS Framework by Combining SMT with GEO and Simulated Annealing.
Fundam. Inform. 147 (2016): 289–313, IOS Press, 2016.
DOI 10.3233/FI-2016-1409
A. Niewiadomski, J. Skaruz, P. Switalski, and W. Penczek.

2. TripICS - a Web Service Composition System for Planning Trips and Travels (Extended Abstract).
CS&P 2016, CEUR Vol-1698: 171-179   [pdf]
A. Niewiadomski, W. Penczek

3. Applying Artificial Intelligence Algorithms in MOBA Games.
Studia Informatica 1-2 (20) 2016: 53-64, UPH Siedlce 1-2 (20)
http://www.studiainformatica.ii.uph.edu.pl/jsp/publikacje.jsf?id_publikacji=20#
M. Wisniewski, A. Niewiadomski

2015
1. Generating None-Plans in Order to Find Plans.
SEFM 2015: 310-324 (best paper award)
M. Knapik, A. Niewiadomski, W. Penczek

2. Hybrid Approach to Abstract Planning of Web Services.
Service Computation 2015 : 35-40 [pdf]
A. Niewiadomski, W. Penczek, J. Skaruz

3. Hybrid Planning by Combining SMT and Simulated Annealing (Extended Abstract)
CS&P 2015: 173-176
http://ceur-ws.org/Vol-1492/Paper_41.pdf
J. Skaruz, A. Niewiadomski, W. Penczek

4. Combining SMT and Simulated Annealing into a Hybrid Planning Method
Studia Informatica 1-2(19) 2015: 43-48, UPH Siedlce
http://www.studiainformatica.ii.uph.edu.pl/jsp/publikacje.jsf?id_publikacji=19#
J. Skaruz, A. Niewiadomski, W. Penczek

5. SMT-Based Abstract Parametric Temporal Planning.
Transactions onPetri Nets and Other Models of Concurrency 10: 55-83 (2015)
A. Niewiadomski, W. Penczek

2014
1. Genetic Algorithm to the Power of SMT: a Hybrid Approach to Web Service Composition Problem.
Service Computation 2014: 44-48 [pdf]
A. Niewiadomski, W. Penczek, J. Skaruz

2. SMT-based Abstract Temporal Planning.
PNSE 2014, CEUR Vol-1160: 55-74,
http://ceur-ws.org/Vol-1160/paper4.pdf
A. Niewiadomski, W. Penczek

3. PlanICS 2.0 - a Tool for Composing Services.
PNSE 2014, CEUR Vol-1160: 351-352,
http://ceur-ws.org/Vol-1160/paper27.pdf
A. Niewiadomski, W. Penczek

4. LoLA as Abstract Planning Engine of PlanICS.
PNSE 2014, CEUR Vol-1160: 349-350,
http://ceur-ws.org/Vol-1160/paper26.pdf
A. Niewiadomski, K. Wolf

5. Generating CA-Plans from Multisets of Services.
PNSE 2014, CEUR Vol-1160: 347-348,
http://ceur-ws.org/Vol-1160/paper25.pdf
L. Mikulski, A. Niewiadomski, M. Piatkowski, S. Smyczynski

6. A Hybrid Approach to Web Service Composition Problem in the PlanICS Framework.
Mobile Web Information Systems (MobiWIS 2014), LNCS vol. 8640: 17-28
A. Niewiadomski, W. Penczek, J. Skaruz

7. On Generation of Context-Abstract Plans
WorkShop on Formal Methods in the Development of Software (part of SEFM'15),
LNCS vol. 8938: 376-388
L. Mikulski, A. Niewiadomski, M. Piatkowski, S. Smyczynski

8. SMT Versus Genetic and OpenOpt Algorithms: Concrete Planning in the PlanICS Framework.
Fundam. Inform. 135(4): 451-466 (2014)
A. Niewiadomski, J. Skaruz, W. Penczek, M. Szreter, M. Jarocki

9. Combining Genetic Algorithm and SMT into Hybrid Approaches to Web Service Composition Problem. [pdf]
Int. Journal On Advances in Software, vol. 7 (3, 4): 675-685 (2014), ISSN: 1942-2628
A. Niewiadomski, W. Penczek, J. Skaruz

2013
1. Automated abstract planning with use of genetic algorithms.
GECCO (Companion) 2013: 129-130, ACM, DOI 10.1145/2464576.2464640
A. Niewiadomski, W.Penczek, J. Skaruz

2. Towards SMT-based Abstract Planning in PlanICS Ontology. [pdf]
5th International Conference on Knowledge Engineering and Ontology Development (KEOD 2013), pp. 123-131, DOI 10.5220/0004514901230131
A. Niewiadomski, W. Penczek

3. SMT vs Genetic Algorithms: Concrete Planning in PlanICS Framework
CS&P 2013: 309-321
A. Niewiadomski, W. Penczek, J. Skaruz

4. Evolutionary Algorithms for Abstract Planning
PPAM (1) 2013: 392-401,
J. Skaruz, A. Niewiadomski, W. Penczek

5. PlanICS 2.0 - a web service composition system
Advances in Software Development, vol. I, pp. 93 - 102
XV Krajowa Konferencja Inżynierii Oprogramowania (KKIO 2013)
M. Jarocki, A. Niewiadomski, W. Penczek, A. Polrola, M. Szreter

6. Solving the abstract planning problem using genetic algorithms.
Studia Informatica 1-2(17), pp. 29-48, UPH Siedlce, 2013
J. Skaruz, A. Niewiadomski, W. Penczek

2012
1. "HarmonICS - a Tool for Composing Medical Services", ZEUS 2012
D. Doliwa, W. Horzelski, M. Jarocki, A. Niewiadomski, W. Penczek, A. Polrola and J. Skaruz

2. "Towards Automatic Composition of Web Services: SAT-Based Concretisation of Abstract Scenarios", Fundamenta Informaticae 120(2), pp. 181-203, IOS Press, 2012
A. Niewiadomski, W. Penczek and A. Półrola, M. Szreter, A. Zbrzezny

3. "Towards Automated Abstract Planning Based on a Genetic Algorithm",
ICS PAS Tech. Report 1026, Warsaw 2012
A. Niewiadomski, W. Penczek, J. Skaruz

4. "SMT-based Abstract Planning in PlanICS Ontology",
ICS PAS Tech. Report 1027, Warsaw 2012
A. Niewiadomski, W. Penczek, A. Polrola


2011
1. "PlanICS - a Web Service Composition Toolset", Fundamenta Informaticae 112(1) 2011,pp. 47-71
D. Doliwa, W. Horzelski, M. Jarocki, A. Niewiadomski, W. Penczek, A. Polrola, M. Szreter, A. Zbrzezny

2. "Automatyczna weryfikacja systemow specyfikowanych w UML",
PhD thesis (in Polish), Polish Academy of Science, ICS, January 2011
A. Niewiadomski

3. "Web Services Composition - From Ontology To Plan By Query", Control & Cybernetics 40(2) pp. 315-336, 2011
D. Doliwa, W. Horzelski, M. Jarocki, A. Niewiadomski, W. Penczek, A. Półrola, and M. Szreter


2010
1. "Towards Checking Parametric Reachability for UML State Machines",
Perspectives of Systems Informatics, LNCS 5947/2010,
pp. 319-330, Springer, 2010
A. Niewiadomski, W. Penczek, and M. Szreter

2. "Towards Automatic Composition of Web Services: Abstract Planning Phase", SOA Infrastructure Tools. Concepts and Methods. Poznan University of Economics Press 2010, pp. 181-210, ISBN 978-83-7417-544-9
M. Jarocki, A. Niewiadomski, W. Penczek, A. Polrola, M. Szreter

3. "Parametric Model Checking with VerICS",
Transactions on Petri Nets and Other Models of Concurrency IV.
LNCS 6550/2010, pp. 98-120, Springer, 2010, ISBN 978-3-642-18221-1
M. Knapik, A. Niewiadomski, W. Penczek, A. Pólrola, M. Szreter, A. Zbrzezny

4. "Towards Automatic Composition of Web Services: Abstract Planning Phase" [Automatyczna kompozycja uslug sieciowych - faza planowania abstrakcyjnego]
ICS PAS Tech. Report 1017, Warsaw 2010
M. Jarocki, A. Niewiadomski, W. Penczek, A. Polrola, M. Szreter

5. "Parametric Bounded Model Checking for UML",
In Proc. of the International Workshop on Scalable and Usable Model Checking for Petri Nets and other models of Concurrency (SUMo 2010), pp. 112–128,
Univ. of Minho, Braga, Portugal, 2010.
A. Niewiadomski, W. Penczek, and M. Szreter

6. "A Formal Approach to Composing Abstract Scenarios of Web Services",
Intelligent Information Systems (2010), ISBN 978-83-7051-580-5, pp. 3–22,
M. Jarocki, A. Niewiadomski, W. Penczek, A. Polrola and M. Szreter

7. "BMC4UML - a Tool for Parametric Bounded Model Checking for UML",
In Proc. of the Concurrency, Specification and Programming (CS&P'2010),
Informatik-Berichte 237(2), pp. 243-257, Humboldt University, Berlin, 2010.
A. Niewiadomski, W. Penczek, and M. Szreter

8. "Towards Automatic Composition of Web Services: SAT-Based Concretisation of Abstract Scenarios", In Proc. of the Concurrency, Specification and Programming (CS&P'2010), Informatik-Berichte 237(2), pp. 231-242, Humboldt University, Berlin, 2010.
A. Niewiadomski, W. Penczek, A. Polrola, M. Szreter, and A. Zbrzezny

9. "Web Service Composition Toolset",
In Proc. of the Concurrency, Specification and Programming (CS&P'2010),
Informatik-Berichte 237(1), pp. 131-141, Humboldt University, Berlin, 2010.
D. Doliwa, W. Horzelski, M. Jarocki, A. Niewiadomski, W. Penczek, A. Polrola,
M. Szreter, and A. Zbrzezny


2009
1. "A new approach to model checking of UML state machines",
Fundamenta Informaticae, 93 (1-3) 2009, pp. 289-303
A. Niewiadomski, W. Penczek, and M. Szreter

2. "Towards checking parametric reachability for UML state machines",
In Proc. of the 7th Int. Ershov Memorial Conf. Perspective of System Informatics (PSI'09), pp. 229-240, Novosibirsk 2009
A. Niewiadomski, W. Penczek, and M. Szreter

3. "VerICS 2008 - a Model Checker for Time Petri Nets and High-Level
Languages", In Proc. of International Workshop on Petri Nets and Software Engineering (PNSE'09), pp. 119-132, Univ. of Hamburg 2009.
M. Kacprzak, W. Nabialek, A. Niewiadomski, W. Penczek, A. Polrola, M. Szreter,
B. Wozna, and A. Zbrzezny

4. "Ograniczona Weryfikacja Modelowa Maszyn Stanowych UML",
Systemy Czasu Rzeczywistego. Postepy badan i zastosowania.
ISBN 978-83-206-1746-7, sect. 1, pp. 13-22,
Wydawnictwa Komunikacji i Lacznosci, Warszawa 2009
A. Niewiadomski, W. Penczek, M. Szreter (in Polish)

5. "Parametric Model Checking with VerICS",
In Proc. of the International Workshop onConcurrency, Specification, and Programming (CS&P 2009), pp. 443-454, Warsaw University 2009
A. Niewiadomski, W. Penczek, A. Polrola, M. Szreter, and A. Zbrzezny


2008
1. "VerICS 2007 - a Model Checker for Knowledge and Real-Time",
Fundamenta Informaticae 85 (1-4) 2008, pp. 313-328
M. Kacprzak, W. Nabialek, A. Niewiadomski, W. Penczek, A. Polrola, M. Szreter, B. Wozna, A. Zbrzezny

2. "Verics 2008 - a Model Checker for High-Level Languages",
in Artificial Intelligence Studies vol 5 (28)/2008 (proc. of X International Conference on Artificial Intelligence), pp.131-140 , Publishing House of University of Podlasie
M. Kacprzak, W. Nabialek, A. Niewiadomski, W. Penczek, A. Polrola, M. Szreter, B. Wozna, A. Zbrzezny

3. "Towards Bounded Model Checking for UML",
in proc. of CS&P 2008, pp. 386-397
A. Niewiadomski, W.Penczek, M.Szreter

4. "Semantyka operacyjna wybranych diagramow UML",
ICS PAS Tech. Report 1009
A. Niewiadomski, W.Penczek, M.Szreter (in Polish)

5. "Semantyka operacyjna maszyn stanowych UML",
Modele i zastosowania systemow czasu rzeczywistego, sect. 4., pp. 45-54, ISBN 978-83-206-1702-3, wyd. Komunikacji i Lacznosci 2008
A. Niewiadomski, W.Penczek, M.Szreter (in Polish)



2007
1. "Verics 2006 - a Model Checker for Real-Time and Multi-Agent Systems"
In Proceedings of CS&P'2007,
M. Kacprzak, W. Nabialek, A. Niewiadomski, W. Penczek, A. Polrola, M. Szreter, B. Wozna, A. Zbrzezny

2. "UML Verification with Verics"
Studia Informatica, Publishing House of University of Podlasie 2007, A. Niewiadomski, W.Penczek

3. "Verics2006 - weryfikator dla systemow czasowych i wieloagentowych",
Systemy Czasu Rzeczywistego. Metody i Zastosowania, s. 243, Wydawnictwa Komunikacji i Lacznosci 2007,
M. Kacprzak, W. Nabialek, A. Niewiadomski, W. Penczek, A. Polrola, M. Szreter, B. Wozna, A. Zbrzezny (in Polish)



2006
1. "Comparing BDD and SAT based techniques for model checking Chaum's Dining Cryptographers Protocol",
Magdalena Kacprzak, Alessio Lomuscio, Artur Niewiadomski, Wojciech Penczek, Franco Raimondi, Maciej Szreter;
Fundamenta Informaticae 72 (2006) 1-20, IOS Press

2. "Weryfikacja UML z wykorzystaniem systemu Verics",
A. Niewiadomski, W. Penczek, S. Lasota, J. Kowalski;
Systemy Czasu Rzeczywistego 2006, Systemy informatyczne z ograniczeniami czasowymi, p. 79, Wydawnictwa Komunikacji i Lacznosci (in Polish)

2005
"Model Checking Dining Cryptographers with Verics",
A. Niewiadomski, W. Penczek, M. Szreter, M. Kacprzak;
Concurrent Specification and Programming, CS&P'2005, vol. 2, p.359


2004
"VerICS 2004: A model checker for real time and multi-agent systems",
Nabialek W., Niewiadomski A., Penczek W., Polrola A., Szreter M.;
Proceedings of CS&P'04, volume 170(1) of Informatik-Berichte, p. 88, Humboldt University, 2004