Burcu Kulahcioglu

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2012
Using control network programming in teaching nondeterminism.
Proceedings of the 2012 Conference on Computer Systems and Technologies, 2012

2010
Modeling Efficient Multi-chained Stream Signature Protocol Using Communicating Sequential Processes.
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.
Proceedings of the Fourth International Conference on Secure Software Integration and Reliability Improvement, 2010


  Loading...