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.
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.
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.
Edsger W Dijkstra (1959):
A note on two problems in connexion with graphs.
Numerische mathematik 1(1),
pp. 269–271,
doi:10.1007/BF01386390.
Engelfriet, Joost & Heyker, Linda (1992):
Context-free hypergraph grammars have the same term-generating power as attribute grammars.
Acta Informatica,
doi:10.1007/BF01178504.
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.
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.
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.
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.
Jakob Rehof (2013):
Towards Combinatory Logic Synthesis.
In: BEAT 2013, 1st International Workshop on Behavioural Types.
ACM.
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.