フォロー
Ali Sinan Köksal
Ali Sinan Köksal
PhD in Computer Science, UC Berkeley
確認したメール アドレス: cs.berkeley.edu - ホームページ
タイトル
引用先
引用先
Satisfiability modulo recursive programs
P Suter, AS Köksal, V Kuncak
International Static Analysis Symposium, 298-315, 2011
1382011
Constraints as control
AS Köksal, V Kuncak, P Suter
Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2012
822012
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
502013
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
502011
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
302018
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
302010
Synthesizing Executable Gene Regulatory Networks from Single-Cell Gene Expression
J Fisher, AS Koksal, N Piterman, S Woodhouse
Computer-Aided Verification, 2015
29*2015
Program synthesis for systems biology
AS Koksal
UC Berkeley, 2018
72018
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–8