The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

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

Publications of Author

  1. 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]
  2. Rafael Ramirez, Andrew E. Santosa
    A Declarative Approach to Concurrency in Java. [Citation Graph (0, 0)][DBLP]
    APLAS, 2000, pp:89-98 [Conf]
  3. 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]
  4. 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]
  5. 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]
  6. Rafael Ramirez, Andrew E. Santosa, Roland H. C. Yap
    Concurrent Programming Made Easy. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2000, pp:151-0 [Conf]
  7. Joxan Jaffar, Andrew E. Santosa, Razvan Voicu
    Modeling Systems in CLP. [Citation Graph (0, 0)][DBLP]
    ICLP, 2005, pp:412-413 [Conf]
  8. 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]
  9. Rafael Ramirez, Andrew E. Santosa
    Declarative Concurrency in Java. [Citation Graph (0, 0)][DBLP]
    IPDPS Workshops, 2000, pp:332-339 [Conf]
  10. Rafael Ramirez, Andrew E. Santosa
    A Methodology for Concurrent and Distributed Java Applications. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2003, pp:137- [Conf]
  11. 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]
  12. Rafael Ramirez, Andrew E. Santosa
    Event Logic Programming. [Citation Graph (0, 0)][DBLP]
    PaCT, 2001, pp:314-318 [Conf]
  13. Rafael Ramirez, Andrew E. Santosa
    Distributed Programming Using Constraint Logic Programs. [Citation Graph (0, 0)][DBLP]
    PDPTA, 2002, pp:1400-1406 [Conf]
  14. 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]
  15. Rafael Ramirez, Andrew E. Santosa
    Concurrent and distributed programming using constraint logic programs. [Citation Graph (0, 0)][DBLP]
    SAC, 2004, pp:508-509 [Conf]
  16. 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]
  17. Joxan Jaffar, Andrew E. Santosa, Razvan Voicu
    Relative Safety. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2006, pp:282-297 [Conf]
  18. 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]

  19. Efficient Memoization for Dynamic Programming with Ad-Hoc Constraints. [Citation Graph (, )][DBLP]


  20. Abstraction Learning. [Citation Graph (, )][DBLP]


  21. A Coinduction Rule for Entailment of Recursively Defined Properties. [Citation Graph (, )][DBLP]


  22. An Interpolation Method for CLP Traversal. [Citation Graph (, )][DBLP]


  23. Recursive Abstractions for Parameterized Systems. [Citation Graph (, )][DBLP]


Search in 0.069secs, Finished in 0.071secs
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002