Burcu Kulahcioglu

According to our database, Burcu Kulahcioglu authored at least 3 papers between 2010 and 2012.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2012

Using control network programming in teaching nondeterminism.

Kostadin Kratchanov, Emilia Golemanova, Tzanko Golemanov, Burcu Külahçioglu

Proceedings of the 2012 Conference on Computer Systems and Technologies, 2012

2010

Modeling Efficient Multi-chained Stream Signature Protocol Using Communicating Sequential Processes.

Ahmet Koltuksuz, Murat Ozkan, Burcu Kulahcioglu

Proceedings of the Fourth International Conference on Secure Software Integration and Reliability Improvement, 2010

Utilization of Timed Automata as a Verification Tool for Security Protocols.

Ahmet Koltuksuz, Burcu Kulahcioglu, Murat Ozkan

Proceedings of the Fourth International Conference on Secure Software Integration and Reliability Improvement, 2010