Santosa,Andrew Edward

Collaboration Map View Statistics Email Alert RSS Feed

Full Name

(not current staff)

Variants

Santosa, A.E.
Santosa, A.
Santosa, Andrew E.

Main Affiliation

DEPARTMENT OF COMPUTER SCIENCE

Faculty

SCHOOL OF COMPUTING

dcsaes@nus.edu.sg

Refined By:

Author: Jaffar, J.

Results 1-9 of 9 (Search time: 0.004 seconds).

Refman EndNote Bibtex RefWorks Excel CSV PDF Send via email

	Issue Date	Title	Author(s)
1	2006	A CLP method for compositional and intermittent predicate abstraction	Jaffar, J. ; Santosa, A.E. ; Voicu, R.
2	2004	A CLP proof method for timed automata	Jaffar, J. ; Santosa, A. ; Voicu, R.
3	2008	A coinduction rule for entailment of recursively defined properties	Jaffar, J. ; Santosa, A.E. ; Voicu, R.
4	2009	An interpolation method for CLP traversal	Jaffar, J. ; Santosa, A.E. ; Voicu, R.
5	2008	Efficient memoization for dynamic programming with ad-hoc constraints	Jaffar, J. ; Santosa, A.E. ; Voicu, R.
6	2005	Modeling systems in CLP	Jaffar, J. ; Santosa, A.E. ; Voicu, R.
7	2009	Recursive abstractions for parameterized systems	Jaffar, J. ; Santosa, A.E.
8	2006	Relative safety	Jaffar, J. ; Santosa, A.E. ; Voicu, R.
9	2004	Scalable distributed depth-first search with greedy work stealing	Jaffar, J. ; Santosa, A.E. ; Yap, R.H.C. ; Zhu, K.Q.