Unity https://docs.unity3d.com/Manual/UnityManual.html Anna Vasileva Jan Bessai 06.06.2019 cls-scala-ide https://github.com/combinators/cls-scala-ide Anna Vasileva Moritz Roidl 06.06.2019 Laser Demonstration https://github.com/combinators/labyrinth Haci Bayhan Aswin Karthik Ramachandran Venkatapathy Johannes Dregger Felix Zeidler Moritz Roidl Michael ten Hompel 2017 A Concept of an Industry 4.0 Research Lab for Future Intralogistics Technologies and Services 3rd Interdisciplinary Conference on Production, Logistics and Traffic, ICPLT Jan Bessai Andrej Dudenhefner Boris Düdder Moritz Martens Jakob Rehof 2016 Combinatory Process Synthesis Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I 266–281 10.1007/978-3-319-47166-2_19 Jan Bessai Anna Vasileva 2018 User Support for the Combinator Logic Synthesizer Framework Electronic Proceedings in Theoretical Computer Science 284 16–25 10.4204/EPTCS.284.2 Edsger W Dijkstra 1959 A note on two problems in connexion with graphs Numerische mathematik 1 1 269–271 10.1007/BF01386390 Engelfriet, Joost Heyker, Linda 1992 Context-free hypergraph grammars have the same term-generating power as attribute grammars Acta Informatica 10.1007/BF01178504 Eclipse Foundation 2019 Paho https://www.eclipse.org/paho/ George T. Heineman Jan Bessai Boris Düdder Jakob Rehof 2016 A Long and Winding Road Towards Modular Synthesis ISoLA 2016 303–317 10.1007/978-3-319-47166-2_21 International Organization for Standardization (ISO) 2016 ISO/IEC 20922:2016: Information technology – Message Queuing Telemetry Transport (MQTT) v3.1.1 ISO: Geneva, Switzerland 1–73 Fadil Kallat Tristan Schaefer Anna Vasileva 2019 CLS-SMT: Bringing Together Combinatory Logic Synthesis and Satisfiability Modulo Theories In Proceedings of the Proof eXchange for Theorem Proving 2019 10.4204/EPTCS.301.7 Rudolph Emil Kalman 1960 A new approach to linear filtering and prediction problems Journal of basic Engineering 82 1 35–45 10.1115/1.3662552 Jakob Rehof 2013 Towards Combinatory Logic Synthesis BEAT 2013, 1st International Workshop on Behavioural Types ACM Vicon 05.09.2019 Motion Tracking Devices https://www.vicon.com/ Jan Winkels Julian Graefenstein Tristan Schäfer David Scholz Jakob Rehof Michael Henke 2018 Automatic composition of rough solution possibilities in the target planning of factory planning projects by means of combinatory logic ISoLA 2018 Springer 487–503 10.1007/978-3-030-03427-6_36