1. ScholarBank@NUS

Santosa,Andrew Edward

rp04141

Collaboration Map View Statistics Email Alert RSS Feed

Profile

Full Name
Santosa,Andrew Edward
(not current staff)
Variants
Santosa, A.E.
Santosa, A.
Santosa, Andrew E.
 
Main Affiliation
 
Faculty
 
Email
dcsaes@nus.edu.sg
 

Publications

Refined By:
Author:  Voicu, R.
Author:  Jaffar, J.
Date Issued:  2008

Results 1-2 of 2 (Search time: 0.006 seconds).

Issue DateTitleAuthor(s)
12008A coinduction rule for entailment of recursively defined propertiesJaffar, J. ; Santosa, A.E. ; Voicu, R. 
22008Efficient memoization for dynamic programming with ad-hoc constraintsJaffar, J. ; Santosa, A.E. ; Voicu, R.