Artur Niewiadomski

Available identifiers

zbMath Open niewiadomski.arturMaRDI QIDQ2309217

List of research outcomes

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 PlanICS Framework by Combining SMT with GEO and Simulated Annealing*	2017-11-09	Paper
SMT-Based Abstract Parametric Temporal Planning	2017-06-20	Paper
https://portal.mardi4nfdi.de/entity/Q5500852	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
https://portal.mardi4nfdi.de/entity/Q5192940	2009-08-10	Paper
https://portal.mardi4nfdi.de/entity/Q5506377	2009-01-28	Paper
https://portal.mardi4nfdi.de/entity/Q5486061	2006-09-06	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Artur Niewiadomski