Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Ali Sinan Köksal" ( http://dblp.L3S.de/Authors/Ali_Sinan_Köksal )

  Author page on DBLP  Author page in RDF  Community of Ali Sinan Köksal in ASPL-2

Publication years (Num. hits)
2010 (1) 2011 (2) 2012 (1)
Publication types (Num. hits)
inproceedings(4)
Venues (Conferences, Journals, ...)
CADE(1) ICFP(1) POPL(1) SAS(1)
Authors
Ali Sinan Köksal(4) Philippe Suter(3) Viktor Kuncak(3) Gilad Arnold(1) Johannes Hölzl(1) Mooly Sagiv(1) Rastislav Bodík(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 4 publication records. Showing 4 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Ali Sinan Köksal, Viktor Kuncak, Philippe Suter Constraints as control. Search on Bibsonomy POPL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Ali Sinan Köksal, Viktor Kuncak, Philippe Suter Scala to the Power of Z3: Integrating SMT and Programming. Search on Bibsonomy CADE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Philippe Suter, Ali Sinan Köksal, Viktor Kuncak Satisfiability Modulo Recursive Programs. Search on Bibsonomy SAS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Gilad Arnold, Johannes Hölzl, Ali Sinan Köksal, Rastislav Bodík, Mooly Sagiv Specifying and verifying sparse matrix codes. Search on Bibsonomy ICFP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #4 of 4 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.