Ali Sinan Köksal

Publication Activity (10 Years)

Years Active: 2010-2015
Publications (10 Years): 2

Top Topics

Biological Processes

High Dimensionality

Gene Expression

Regulatory Networks

Top Venues

Publications

Jasmin Fisher, Ali Sinan Köksal, Nir Piterman, Steven Woodhouse
Synthesising Executable Gene Regulatory Networks from Single-Cell Gene Expression Data. CAV (1) (2015)
Jasmin Fisher, Ali Sinan Köksal, Nir Piterman, Steven Woodhouse
Synthesising Executable Gene Regulatory Networks from Single-cell Gene Expression Data. CoRR (2015)
Ali Sinan Köksal, Yewen Pu, Saurabh Srivastava, Rastislav Bodík, Jasmin Fisher, Nir Piterman
Synthesis of biological models from mutation experiments. POPL (2013)
Ali Sinan Köksal, Viktor Kuncak, Philippe Suter
Constraints as control. POPL (2012)
Ali Sinan Köksal, Viktor Kuncak, Philippe Suter
Scala to the Power of Z3: Integrating SMT and Programming. CADE (2011)
Philippe Suter, Ali Sinan Köksal, Viktor Kuncak
Satisfiability Modulo Recursive Programs. SAS (2011)
Gilad Arnold, Johannes Hölzl, Ali Sinan Köksal, Rastislav Bodík, Mooly Sagiv
Specifying and verifying sparse matrix codes. ICFP (2010)