Ali Sinan Kksal
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2010–2015
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | CAV | Synthesising Executable Gene Regulatory Networks from Single-Cell Gene Expression Data. | Jasmin Fisher, Ali Sinan Kksal, Nir Piterman, Steven Woodhouse |
| 2013 | POPL | Synthesis of biological models from mutation experiments. | Ali Sinan Kksal, Yewen Pu, Saurabh Srivastava, Rastislav Bodk, Jasmin Fisher, Nir Piterman |
| 2012 | POPL | Constraints as control. | Ali Sinan Kksal, Viktor Kuncak, Philippe Suter |
| 2011 | CADE | Scala to the Power of Z3: Integrating SMT and Programming. | Ali Sinan Kksal, Viktor Kuncak, Philippe Suter |
| 2011 | SAS | Satisfiability Modulo Recursive Programs. | Philippe Suter, Ali Sinan Kksal, Viktor Kuncak |
| 2010 | ICFP | Specifying and verifying sparse matrix codes. | Gilad Arnold, Johannes Hlzl, Ali Sinan Kksal, Rastislav Bodk, Mooly Sagiv |