Andrew E. Santosa

	2009
22		Joxan Jaffar, Andrew E. Santosa, Razvan Voicu: An Interpolation Method for CLP Traversal. CP 2009: 454-469
21		Joxan Jaffar, Andrew E. Santosa: Recursive Abstractions for Parameterized Systems. FM 2009: 72-88
	2008
20		Joxan Jaffar, Andrew E. Santosa, Razvan Voicu: Efficient Memoization for Dynamic Programming with Ad-Hoc Constraints. AAAI 2008: 297-303
19		Joxan Jaffar, Andrew E. Santosa, Razvan Voicu: A Coinduction Rule for Entailment of Recursively Defined Properties. CP 2008: 493-508
	2007
18		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		Joxan Jaffar, Andrew E. Santosa, Razvan Voicu: A CLP Method for Compositional and Intermittent Predicate Abstraction. VMCAI 2006: 17-32
15		Joxan Jaffar, Andrew E. Santosa, Razvan Voicu: Relative Safety. VMCAI 2006: 282-297
	2005
14		Rafael Ramirez, Andrew E. Santosa: Formal Verification of Concurrent and Distributed Constraint-Based Java Programs. ICECCS 2005: 76-84
13		Joxan Jaffar, Andrew E. Santosa, Razvan Voicu: Modeling Systems in CLP. ICLP 2005: 412-413
	2004
12		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		Joxan Jaffar, Andrew E. Santosa, Razvan Voicu: A CLP Proof Method for Timed Automata. RTSS 2004: 175-186
10		Rafael Ramirez, Andrew E. Santosa: Concurrent and distributed programming using constraint logic programs. SAC 2004: 508-509
	2003
9		Rafael Ramirez, Andrew E. Santosa: A Methodology for Concurrent and Distributed Java Applications. IPDPS 2003: 137
	2002
8		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		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		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		Rafael Ramirez, Andrew E. Santosa, Lee Wei Hong: Implementing Declarative Concurrency in Java. Euro-Par 2000: 700-708
2		Rafael Ramirez, Andrew E. Santosa, Roland H. C. Yap: Concurrent Programming Made Easy. ICECCS 2000: 151-
1		Rafael Ramirez, Andrew E. Santosa: Declarative Concurrency in Java. IPDPS Workshops 2000: 332-339

Coauthor Index

1	Lee Wei Hong	[3]
2	Joxan Jaffar	[11] [12] [13] [15] [16] [19] [20] [21] [22]
3	Rafael Ramirez	[1] [2] [3] [4] [5] [7] [9] [10] [14] [17] [18]
4	Wee-Yeh Tan	[6]
5	Razvan Voicu	[11] [13] [15] [16] [19] [20] [22]
6	Roland H. C. Yap	[2] [6] [12]
7	Kenny Qili Zhu	[6] [8] [12]