| 2008 |
|---|
| 20 | | Joxan Jaffar,
Andrew E. Santosa,
Razvan Voicu:
Efficient Memoization for Dynamic Programming with Ad-Hoc Constraints.
AAAI 2008: 297-303 |
| 19 | EE | Joxan Jaffar,
Andrew E. Santosa,
Razvan Voicu:
A Coinduction Rule for Entailment of Recursively Defined Properties.
CP 2008: 493-508 |
| 2007 |
|---|
| 18 | EE | Rafael Ramirez,
Andrew E. Santosa:
A Framework for Separation of Concerns in Concurrent Programming.
COMPSAC (2) 2007: 619-628 |
| 2006 |
|---|
| 17 | | Rafael Ramirez,
Andrew E. Santosa:
A Constraint-Based Framework for Concurrent and Distributed Programming.
ISCA PDCS 2006: 51-56 |
| 16 | EE | Joxan Jaffar,
Andrew E. Santosa,
Razvan Voicu:
A CLP Method for Compositional and Intermittent Predicate Abstraction.
VMCAI 2006: 17-32 |
| 15 | EE | Joxan Jaffar,
Andrew E. Santosa,
Razvan Voicu:
Relative Safety.
VMCAI 2006: 282-297 |
| 2005 |
|---|
| 14 | EE | Rafael Ramirez,
Andrew E. Santosa:
Formal Verification of Concurrent and Distributed Constraint-Based Java Programs.
ICECCS 2005: 76-84 |
| 13 | EE | Joxan Jaffar,
Andrew E. Santosa,
Razvan Voicu:
Modeling Systems in CLP.
ICLP 2005: 412-413 |
| 2004 |
|---|
| 12 | EE | Joxan Jaffar,
Andrew E. Santosa,
Roland H. C. Yap,
Kenny Qili Zhu:
Scalable Distributed Depth-First Search with Greedy Work Stealing.
ICTAI 2004: 98-103 |
| 11 | EE | Joxan Jaffar,
Andrew E. Santosa,
Razvan Voicu:
A CLP Proof Method for Timed Automata.
RTSS 2004: 175-186 |
| 10 | EE | Rafael Ramirez,
Andrew E. Santosa:
Concurrent and distributed programming using constraint logic programs.
SAC 2004: 508-509 |
| 2003 |
|---|
| 9 | EE | Rafael Ramirez,
Andrew E. Santosa:
A Methodology for Concurrent and Distributed Java Applications.
IPDPS 2003: 137 |
| 2002 |
|---|
| 8 | EE | Kenny Qili Zhu,
Andrew E. Santosa:
A Meeting Scheduling System Based on Open Constraint Programming.
CAiSE 2002: 792-796 |
| 7 | | Rafael Ramirez,
Andrew E. Santosa:
Distributed Programming Using Constraint Logic Programs.
PDPTA 2002: 1400-1406 |
| 2001 |
|---|
| 6 | EE | Kenny Qili Zhu,
Wee-Yeh Tan,
Andrew E. Santosa,
Roland H. C. Yap:
Reactive Web Agents with Open Constraint Programming.
ISADS 2001: 251-254 |
| 5 | EE | Rafael Ramirez,
Andrew E. Santosa:
Event Logic Programming.
PaCT 2001: 314-318 |
| 2000 |
|---|
| 4 | | Rafael Ramirez,
Andrew E. Santosa:
A Declarative Approach to Concurrency in Java.
APLAS 2000: 89-98 |
| 3 | EE | Rafael Ramirez,
Andrew E. Santosa,
Lee Wei Hong:
Implementing Declarative Concurrency in Java.
Euro-Par 2000: 700-708 |
| 2 | EE | Rafael Ramirez,
Andrew E. Santosa,
Roland H. C. Yap:
Concurrent Programming Made Easy.
ICECCS 2000: 151- |
| 1 | EE | Rafael Ramirez,
Andrew E. Santosa:
Declarative Concurrency in Java.
IPDPS Workshops 2000: 332-339 |
