1. Unity. Available at
  2. Anna Vasileva & Jan Bessai (06.06.2019): cls-scala-ide. Available at
  3. Anna Vasileva & Moritz Roidl (06.06.2019): Laser Demonstration. Available at
  4. 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.
  5. Jan Bessai, Andrej Dudenhefner, Boris Düdder, Moritz Martens & Jakob Rehof (2016): Combinatory Process Synthesis. In: 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, pp. 266–281, doi:10.1007/978-3-319-47166-2_19.
  6. Jan Bessai & Anna Vasileva (2018): User Support for the Combinator Logic Synthesizer Framework. Electronic Proceedings in Theoretical Computer Science 284, pp. 16–25, doi:10.4204/EPTCS.284.2.
  7. Edsger W Dijkstra (1959): A note on two problems in connexion with graphs. Numerische mathematik 1(1), pp. 269–271, doi:10.1007/BF01386390.
  8. Engelfriet, Joost & Heyker, Linda (1992): Context-free hypergraph grammars have the same term-generating power as attribute grammars. Acta Informatica, doi:10.1007/BF01178504.
  9. Eclipse Foundation (2019): Paho. Available at
  10. George T. Heineman, Jan Bessai, Boris Düdder & Jakob Rehof (2016): A Long and Winding Road Towards Modular Synthesis. In: ISoLA 2016, pp. 303–317, doi:10.1007/978-3-319-47166-2_21.
  11. International Organization for Standardization (ISO) (2016): ISO/IEC 20922:2016: Information technology – Message Queuing Telemetry Transport (MQTT) v3.1.1. ISO: Geneva, Switzerland, pp. 1–73.
  12. 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, doi:10.4204/EPTCS.301.7.
  13. Rudolph Emil Kalman (1960): A new approach to linear filtering and prediction problems. Journal of basic Engineering 82(1), pp. 35–45, doi:10.1115/1.3662552.
  14. Jakob Rehof (2013): Towards Combinatory Logic Synthesis. In: BEAT 2013, 1st International Workshop on Behavioural Types. ACM.
  15. Vicon (05.09.2019): Motion Tracking Devices. Available at
  16. 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. In: ISoLA 2018. Springer, pp. 487–503, doi:10.1007/978-3-030-03427-6_36.

Comments and questions to:
For website issues: