Ali Sinan Köksal
Ali Sinan Köksal
PhD in Computer Science, UC Berkeley
Bestätigte E-Mail-Adresse bei cs.berkeley.edu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Satisfiability modulo recursive programs
P Suter, AS Köksal, V Kuncak
International Static Analysis Symposium, 298-315, 2011
1142011
Constraints as control
AS Köksal, V Kuncak, P Suter
Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2012
712012
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
452011
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
392013
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
212010
Synthesizing Executable Gene Regulatory Networks from Single-Cell Gene Expression
J Fisher, AS Koksal, N Piterman, S Woodhouse
Computer-Aided Verification, 2015
18*2015
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
82018
Program Synthesis for Systems Biology
AS Koksal
UC Berkeley, 2018
12018
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–8