Utilization of Timed Automata as a Verification Tool for Security Protocols. - Ahmet Koltuksuz; Burcu Kulahcioglu; Murat Ozkan (SSIRI (Companion), 2010)

Modeling Efficient Multi-chained Stream Signature Protocol Using Communicating Sequential Processes. - Ahmet Koltuksuz; Murat Ozkan; Burcu Kulahcioglu (SSIRI (Companion), 2010)

Using control network programming in teaching nondeterminism. - Kostadin Kratchanov; Emilia Golemanova; Tzanko Golemanov; Burcu Külahçioglu (CompSysTech, 2012)