Login / Signup
Tristan Schäfer
Publication Activity (10 Years)
Years Active: 2018-2022
Publications (10 Years): 5
Top Topics
Logic Synthesis
Satisfiability Modulo Theories
Simulation Model
Motion Planning
Top Venues
ISoLA (4)
PxTP
WAFR
WSC
</>
Publications
</>
Alexander Mages
,
Carina Mieth
,
Jens Hetzler
,
Fadil Kallat
,
Jakob Rehof
,
Christian Riest
,
Tristan Schäfer
Automatic Component-Based Synthesis of User-Configured Manufacturing Simulation Models.
WSC
(2022)
Tristan Schäfer
,
Jan Bessai
,
Constantin Chaumet
,
Jakob Rehof
,
Christian Riest
Design Space Exploration for Sampling-Based Motion Planning Programs with Combinatory Logic Synthesis.
WAFR
(2022)
Fadil Kallat
,
Tristan Schäfer
,
Anna Vasileva
CLS-SMT: Bringing Together Combinatory Logic Synthesis and Satisfiability Modulo Theories.
PxTP
(2019)
Tristan Schäfer
,
Frederik Möller
,
Anja Burmann
,
Yevgen Pikus
,
Norbert Weißenberg
,
Marcus Hintze
,
Jakob Rehof
A Methodology for Combinatory Process Synthesis: Process Variability in Clinical Pathways.
ISoLA (4)
(2018)
Jan Winkels
,
Julian Graefenstein
,
Tristan Schäfer
,
David Scholz
,
Jakob Rehof
,
Michael Henke
Automatic Composition of Rough Solution Possibilities in the Target Planning of Factory Planning Projects by Means of Combinatory Logic.
ISoLA (4)
(2018)