Ali Sinan Köksal
According to our database1,
Ali Sinan Köksal
authored at least 7 papers
between 2010 and 2018.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2018
2015
Synthesising Executable Gene Regulatory Networks from Single-Cell Gene Expression Data.
Proceedings of the Computer Aided Verification - 27th International Conference, 2015
2013
Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013
2012
Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012
2011
Proceedings of the Static Analysis - 18th International Symposium, 2011
Proceedings of the Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31, 2011
2010
Proceedings of the Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, 2010