Synthesising Executable Gene Regulatory Networks from Single-Cell Gene Expression Data

t). RECOMB/ISCB Conference on Regulatory and Systems Genomics, 2014 POPL 2013 Ali Sinan Köksal, Yewen Pu, Saurabh Srivastava, Rastislav Bodík, Jasmin Fisher, Nir Piterman. Synthesis of Biological Models from Mutation Experiments. ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013 POPL 2012 Ali Sinan Köksal, Viktor Kuncak, Philippe Suter. Constraints as Control. ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012 SAS 2011 Philippe Suter, Ali Sinan Köksal, Viktor Kuncak. Satisfiability Modulo Recursive Programs. International Static Analysis Symposium, 2011 CADE 2011 Ali Sinan Köksal, Viktor Kuncak, Philippe Suter. Scala to the Power of Z3: Integrating SMT and Programming. International Conference on Automated Deduction Tool Demo, 2011 ICFP 2010 Gilad Arnold, Johannes Hölzl, Ali Sinan Köksal, Rastislav Bodík, Mooly Sagiv. Specifying and verifying sparse matrix codes. ACM SIGPLAN International Conference on Functional Programming (ICFP...

• Type: Journal
• Year: 2015
• Where: CAV
• Authors: Jasmin Fisher, Ali Sinan Köksal, Nir Piterman, Steven Woodhouse
• Keywords: CAV 2015, Hardware