| Satisfiability modulo recursive programs P Suter, AS Köksal, V Kuncak International Static Analysis Symposium, 298-315, 2011 | 129 | 2011 |
| Constraints as control AS Köksal, V Kuncak, P Suter Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2012 | 80 | 2012 |
| Scala to the Power of Z3: Integrating SMT and Programming AS Köksal, V Kuncak, P Suter International Conference on Automated Deduction, 400-406, 2011 | 47 | 2011 |
| Synthesis of biological models from mutation experiments AS Koksal, Y Pu, S Srivastava, R Bodik, J Fisher, N Piterman Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2013 | 46 | 2013 |
| Synthesizing Executable Gene Regulatory Networks from Single-Cell Gene Expression J Fisher, AS Koksal, N Piterman, S Woodhouse Computer-Aided Verification, 2015 | 27* | 2015 |
| Specifying and verifying sparse matrix codes G Arnold, J Hölzl, AS Köksal, R Bodík, M Sagiv ACM Sigplan Notices 45 (9), 249-260, 2010 | 27 | 2010 |
| Synthesizing Signaling Pathways from Temporal Phosphoproteomic Data AS Köksal, K Beck, DR Cronin, A McKenna, ND Camp, S Srivastava, ... Cell Reports 24 (13), 3607-3618, 2018 | 23 | 2018 |
| Program Synthesis for Systems Biology AS Koksal UC Berkeley, 2018 | 6 | 2018 |
Philippe SuterResearch Staff Member at IBM T.J. WatsonVerified email at us.ibm.com
