Artur Niewiadomski

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Extremal square-free words The Electronic Journal of Combinatorics	2020-03-30	Paper
Extremal square-free words The Electronic Journal of Combinatorics	2020-03-30	Paper
Applying modern SAT-solvers to solving hard problems Fundamenta Informaticae	2019-05-24	Paper
SMT-Solvers in Action: Encoding and Solving Selected Problems in NP and EXPTIME Scientific Annals of Computer Science	2019-02-08	Paper
Concrete planning in Plan\textsc{ics} framework by combining SMT with GEO and simulated annealing Fundamenta Informaticae	2017-11-09	Paper
SMT-based abstract parametric temporal planning Transactions on Petri Nets and Other Models of Concurrency X	2017-06-20	Paper
Web services composition -- from ontology to plan by query	2015-08-10	Paper
SMT versus genetic and OpenOpt algorithms: concrete planning in the PlanICS framework Fundamenta Informaticae	2015-06-26	Paper
Towards Automatic Composition of Web Services: SAT-Based Concretisation of Abstract Scenarios	2013-01-14	Paper
Parametric model checking with VerICS Transactions on Petri Nets and Other Models of Concurrency IV	2011-01-08	Paper
Towards checking parametric reachability for UML state machines Perspectives of Systems Informatics	2010-02-02	Paper
A new approach to model checking of UML state machines	2009-08-10	Paper
VERICS 2007 -- a model checker for knowledgee and real-time	2009-01-28	Paper
scientific article; zbMATH DE number 5051652 (Why is no real title available?)	2006-09-06	Paper

Research outcomes over time

This page was built for person: Artur Niewiadomski