MacIej Szreter

Available identifiers

zbMath Open szreter.maciejMaRDI QIDQ3066132

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q4992518	2021-06-09	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
https://portal.mardi4nfdi.de/entity/Q3225705	2012-03-22	Paper
https://portal.mardi4nfdi.de/entity/Q3081898	2011-03-09	Paper
Bounded Parametric Model Checking for Elementary Net Systems	2011-01-08	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/Q5192933	2009-08-10	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/Q5506384	2009-01-28	Paper
Automated Technology for Verification and Analysis	2006-10-10	Paper
https://portal.mardi4nfdi.de/entity/Q5486061	2006-09-06	Paper
Formal Modeling and Analysis of Timed Systems	2006-01-10	Paper
https://portal.mardi4nfdi.de/entity/Q4461758	2004-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q4417931	2003-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4507826	2000-10-10	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: MacIej Szreter