Ali Sinan Köksal

According to our database1, Ali Sinan Köksal authored at least 7 papers between 2010 and 2018.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2018
Program Synthesis for Systems Biology.
PhD thesis, 2018

2015
Synthesising Executable Gene Regulatory Networks from Single-Cell Gene Expression Data.
Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2013
Synthesis of biological models from mutation experiments.
Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

2012
Constraints as control.
Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

2011
Satisfiability Modulo Recursive Programs.
Proceedings of the Static Analysis - 18th International Symposium, 2011

Scala to the Power of Z3: Integrating SMT and Programming.
Proceedings of the Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31, 2011

2010
Specifying and verifying sparse matrix codes.
Proceedings of the Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, 2010


  Loading...