Artur Niewiadomski

Available identifiers

Publication	Date of Publication	Type
Extremal square-free words	2020-03-30	Paper
Applying modern SAT-solvers to solving hard problems	2019-05-24	Paper
SMT-Solvers in Action: Encoding and Solving Selected Problems in NP and EXPTIME	2019-02-08	Paper
Concrete planning in Plan\textsc{ics} framework by combining SMT with GEO and simulated annealing	2017-11-09	Paper
SMT-based abstract parametric temporal planning	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	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	2011-01-08	Paper
Towards checking parametric reachability for UML state machines	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
https://portal.mardi4nfdi.de/entity/Q5486061	2006-09-06	Paper

This page was built for person: Artur Niewiadomski