Fadil Kallat

According to our database, Fadil Kallat authored at least 3 papers between 2019 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

Komponentenbasierte Synthese von Simulationsmodellen

Fadil Kallat

PhD thesis, 2022

Automatic Component-Based Synthesis of User-Configured Manufacturing Simulation Models.

Alexander Mages, Carina Mieth, Jens Hetzler, Fadil Kallat, Jakob Rehof, Christian Riest, Tristan Schäfer

Proceedings of the Winter Simulation Conference, 2022

2019

CLS-SMT: Bringing Together Combinatory Logic Synthesis and Satisfiability Modulo Theories.

Fadil Kallat, Tristan Schäfer, Anna Vasileva

Proceedings of the Proceedings Sixth Workshop on Proof eXchange for Theorem Proving, 2019