Skip navigation
IVLE
Email
Library
Map
Calendar
Home
Research Outputs
View research outputs
Deposit publication / dataset
Researchers
Help
FAQs
Contact us
Guidelines
Log in
ScholarBank@NUS
Research Outputs
Browsing by Author
SANTOSA,ANDREW EDWARD
Enter a last name
Select a letter below to browse by last name or type
0-9
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
Or
Results/Page
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Showing results 6 to 14 of 14
< previous
Refman
EndNote
Bibtex
RefWorks
Excel
CSV
PDF
Send via email
Issue Date
Title
Author(s)
2004
Concurrent and distributed programming using constraint logic programs
Ramirez, R.
;
Santosa, A.
2000
Concurrent programming made easy
Ramirez, Rafael
;
Santosa, Andrew E.
;
Yap, Roland H.C.
2000
Declarative concurrency in Java
Ramirez, R.
;
Santosa, A.E.
2008
Efficient memoization for dynamic programming with ad-hoc constraints
Jaffar, J.
;
Santosa, A.E.
;
Voicu, R.
2005
Formal verification of concurrent and distributed constraint-based java programs
Ramirez, R.
;
Santosa, A.E.
2005
Modeling systems in CLP
Jaffar, J.
;
Santosa, A.E.
;
Voicu, R.
2009
Recursive abstractions for parameterized systems
Jaffar, J.
;
Santosa, A.E.
2006
Relative safety
Jaffar, J.
;
Santosa, A.E.
;
Voicu, R.
2004
Scalable distributed depth-first search with greedy work stealing
Jaffar, J.
;
Santosa, A.E.
;
Yap, R.H.C.
;
Zhu, K.Q.