SCEAS

The SCEAS System

Search the dblp DataBase

Title:
Author:

Andrew E. Santosa: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

Search in 0.002secs, Finished in 0.003secs

NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades

NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP