Çagdas Bozman

According to our database1, Çagdas Bozman authored at least 2 papers between 2014 and 2021.

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

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2021
Formally Documenting Tenderbake (Short Paper).
Proceedings of the 3rd International Workshop on Formal Methods for Blockchains, 2021

2014
Profilage mémoire d'applications OCaml. (Memory profiling of OCaml applications).
PhD thesis, 2014


  Loading...