| 2008 |
|---|
| 76 | EE | Chavalit Likitvivatanavong,
Roland H. C. Yap:
A Refutation Approach to Neighborhood Interchangeability in CSPs.
Australasian Conference on Artificial Intelligence 2008: 93-103 |
| 75 | EE | Kenil C. K. Cheng,
Roland H. C. Yap:
Maintaining Generalized Arc Consistency on Ad Hoc r-Ary Constraints.
CP 2008: 509-523 |
| 74 | EE | Yuanlin Zhang,
Roland H. C. Yap,
Chendong Li,
Satyanarayana Marisetti:
An Elimination Algorithm for Functional Constraints.
CP 2008: 545-549 |
| 73 | EE | Kenil C. K. Cheng,
Roland H. C. Yap:
Search Space Reduction for Constraint Optimization Problems.
CP 2008: 635-639 |
| 72 | EE | Steven Halim,
Roland H. C. Yap,
Felix Halim:
Engineering Stochastic Local Search for the Low Autocorrelation Binary Sequence Problem.
CP 2008: 640-645 |
| 71 | EE | Yuanlin Zhang,
Roland H. C. Yap,
Chendong Li,
Satyanarayana Marisetti:
Efficient Algorithms for Functional Constraints.
ICLP 2008: 606-620 |
| 2007 |
|---|
| 70 | | Kenil C. K. Cheng,
Roland H. C. Yap:
Search Space Reduction and Russian Doll Search.
AAAI 2007: 179-184 |
| 69 | EE | Joxan Jaffar,
Roland H. C. Yap,
Kenny Qili Zhu:
Generalized Committed Choice.
COORDINATION 2007: 191-210 |
| 68 | EE | Steven Halim,
Roland H. C. Yap,
Hoong Chuin Lau:
An Integrated White+Black Box Approach for Designing and Tuning Stochastic Local Search.
CP 2007: 332-347 |
| 67 | EE | Peter Van Roy,
Seif Haridi,
Alexander Reinefeld,
Jean-Bernard Stefani,
Roland H. C. Yap,
Thierry Coupaye:
Self Management for Large-Scale Distributed Systems: An Overview of the SELFMAN Project.
FMCO 2007: 153-178 |
| 66 | EE | Steven Halim,
Roland H. C. Yap:
Designing and Tuning SLS Through Animation and Graphics: An Extended Walk-Through.
SLS 2007: 16-30 |
| 65 | EE | Stefan Andrei,
Gabriel Manolache,
Roland H. C. Yap,
Victor Felea:
Approximate Satisfiability Counting.
SYNASC 2007: 196-202 |
| 2006 |
|---|
| 64 | EE | Chavalit Likitvivatanavong,
Roland H. C. Yap:
Extracting Microstructure in Binary Constraint Networks.
CSCLP 2006: 124-138 |
| 63 | | Steven Halim,
Roland H. C. Yap,
Hoong Chuin Lau:
Visualization for Analyzing Trajectory-Based Metaheuristic Search Algorithms.
ECAI 2006: 703-704 |
| 62 | | Kenil C. K. Cheng,
Roland H. C. Yap:
Maintaining Generalized Arc Consistency on Ad-Hoc n-Ary Boolean Constraints.
ECAI 2006: 78-82 |
| 61 | EE | Joxan Jaffar,
Roland H. C. Yap,
Kenny Qili Zhu:
Indexing for Dynamic Abstract Regions.
ICDE 2006: 12 |
| 60 | EE | Sebastian Brand,
Roland H. C. Yap:
Towards "Propagation = Logic + Control".
ICLP 2006: 102-116 |
| 59 | EE | Hoong Chuin Lau,
Jia Li,
Roland H. C. Yap:
Robust Controllability of Temporal Constraint Networks under Uncertainty.
ICTAI 2006: 288-296 |
| 58 | EE | Rajiv Ramnath,
Sufatrio,
Roland H. C. Yap,
Wu Yongzheng:
WinResMon: A Tool for Discovering Software Dependencies, Configuration, and Requirements in Microsoft Windows.
LISA 2006: 175-186 |
| 57 | EE | Steven Halim,
Roland H. C. Yap,
Hoong Chuin Lau:
Viz: a visual analysis suite for explaining local search behavior.
UIST 2006: 57-66 |
| 56 | EE | Sebastian Brand,
Roland H. C. Yap:
Towards "Propagation = Logic + Control"
CoRR abs/cs/0608015: (2006) |
| 55 | EE | Kenil C. K. Cheng,
Roland H. C. Yap:
Applying Ad-hoc Global Constraints with the case Constraint to Still-Life.
Constraints 11(2-3): 91-114 (2006) |
| 54 | EE | Yuanlin Zhang,
Roland H. C. Yap:
Set Intersection and Consistency in Constraint Networks.
J. Artif. Intell. Res. (JAIR) 27: 441-464 (2006) |
| 2005 |
|---|
| 53 | | Kenil C. K. Cheng,
Roland H. C. Yap:
Constrained Decision Diagrams.
AAAI 2005: 366-371 |
| 52 | EE | Wu Yongzheng,
Roland H. C. Yap:
A User-level Framework for Auditing and Monitoring.
ACSAC 2005: 95-105 |
| 51 | EE | Kenil C. K. Cheng,
Roland H. C. Yap:
Ad-hoc Global Constraints for Life.
CP 2005: 182-195 |
| 50 | EE | Joxan Jaffar,
Roland H. C. Yap,
Kenny Qili Zhu:
Coordination of Many Agents.
ICLP 2005: 98-112 |
| 49 | EE | Sufatrio,
Roland H. C. Yap:
Improving Host-Based IDS with Argument Abstraction to Prevent Mimicry Attacks.
RAID 2005: 146-164 |
| 48 | EE | Christian Bessière,
Jean-Charles Régin,
Roland H. C. Yap,
Yuanlin Zhang:
An optimal coarse-grained arc consistency algorithm.
Artif. Intell. 165(2): 165-185 (2005) |
| 2004 |
|---|
| 47 | 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 |
| 46 | EE | Sufatrio,
Roland H. C. Yap,
Liming Zhong:
A Machine-Oriented Vulnerability Database for Automated Vulnerability Detection and Processing.
LISA 2004: 47-58 |
| 45 | EE | Tao Wang,
Abhik Roychoudhury,
Roland H. C. Yap,
S. C. Choudhary:
Symbolic Execution of Behavioral Requirements.
PADL 2004: 178-192 |
| 44 | EE | Martin Henz,
Roland H. C. Yap,
Lim Yun Fong,
Lua Seet Chong,
J. Paul Walser,
Shi Xiao Ping:
Solving Hierarchical Constraints over Finite Domains with Local Search.
Ann. Math. Artif. Intell. 40(3-4): 283-302 (2004) |
| 43 | | Roland H. C. Yap:
Book review: Constraint Processing by Rina Dechter, Morgan Kaufmann Publishers, 2003, ISBN 1-55860-890-7.
TPLP 4(5-6): 755-757 (2004) |
| 2003 |
|---|
| 42 | EE | Roland H. C. Yap,
Stella Z. Q. Wang,
Martin Henz:
Hardware Implementations of Real-Time Reconfigurable WSAT Variants.
FPL 2003: 488-496 |
| 41 | | Yuanlin Zhang,
Roland H. C. Yap:
Consistency and Set Intersection.
IJCAI 2003: 263-270 |
| 40 | EE | Yuanlin Zhang,
Roland H. C. Yap:
Erratum: P. van Beek and R. Dechter's theorem on constraint looseness and local consistency.
J. ACM 50(3): 277-279 (2003) |
| 2002 |
|---|
| 39 | | Yuanlin Zhang,
Roland H. C. Yap:
Consistency and Set Intersection.
AAAI/IAAI 2002: 971-972 |
| 38 | | Yuanlin Zhang,
Roland H. C. Yap:
Incrementally Solving Functional Constraints.
AAAI/IAAI 2002: 973-974 |
| 37 | EE | Martin Henz,
Edgar Tan,
Roland H. C. Yap:
Implementing CSAT Local Search on FPGAs.
FPL 2002: 1156-1159 |
| 36 | EE | P. S. Thiagarajan,
Roland H. C. Yap:
5th Asian Computing Science Conference - Preface.
Int. J. Found. Comput. Sci. 13(3): 313-314 (2002) |
| 2001 |
|---|
| 35 | EE | Martin Henz,
Edgar Tan,
Roland H. C. Yap:
One Flip per Clock Cycle.
CP 2001: 509-523 |
| 34 | | Yuanlin Zhang,
Roland H. C. Yap:
Making AC-3 an Optimal Algorithm.
IJCAI 2001: 316-321 |
| 33 | 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 |
| 32 | | Roland H. C. Yap,
Budi Rahardjo:
Automatic Information Extraction from Web Pages.
SIGIR 2001: 430-431 |
| 31 | | David Gilbert,
Rolf Backofen,
Roland H. C. Yap:
Introduction to the Special Issue on Bioinformatics.
Constraints 6(2/3): 139 (2001) |
| 30 | | Roland H. C. Yap:
Parametric Sequence Alignment with Constraints.
Constraints 6(2/3): 157-172 (2001) |
| 2000 |
|---|
| 29 | EE | Martin Henz,
Lim Yun Fong,
Lua Seet Chong,
Shi Xiao Ping,
J. Paul Walser,
Roland H. C. Yap:
Solving Hierarchical Constraints over Finite Domains.
AMAI 2000 |
| 28 | EE | Hui Wu,
Joxan Jaffar,
Roland H. C. Yap:
Instruction Scheduling with Timing Constraints on a Single RISC Processor with 0/1 Latencies.
CP 2000: 457-469 |
| 27 | EE | Yuanlin Zhang,
Roland H. C. Yap:
Arc Consistency on n-ary Monotonic and Linear Constraints.
CP 2000: 470-483 |
| 26 | EE | Rafael Ramirez,
Andrew E. Santosa,
Roland H. C. Yap:
Concurrent Programming Made Easy.
ICECCS 2000: 151- |
| 25 | EE | Hui Wu,
Joxan Jaffar,
Roland H. C. Yap:
A Fast Algorithm for Scheduling Instructions with Deadline Constraints on RISC Processors.
IEEE PACT 2000: 281-290 |
| 1999 |
|---|
| 24 | | P. S. Thiagarajan,
Roland H. C. Yap:
Advances in Computing Science - ASIAN'99, 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999, Proceedings
Springer 1999 |
| 23 | | Yuanlin Zhang,
Roland H. C. Yap,
Joxan Jaffar:
Functional Elimination and 0/1/All Constraints.
AAAI/IAAI 1999: 175-180 |
| 22 | | Evan Tick,
Roland H. C. Yap,
Michael J. Maher:
Finding Fair Allocations for the Coalition Problem with Constraints.
ICLP 1999: 530-544 |
| 1998 |
|---|
| 21 | EE | Joxan Jaffar,
Roland H. C. Yap:
Open Constraint Programming.
CP 1998: 1 |
| 20 | EE | Andreas Fordan,
Roland H. C. Yap:
Early Projection in CLP(R).
CP 1998: 177-191 |
| 19 | | Andreas Fordan,
Roland H. C. Yap:
Towards Early Projection in CLP(R).
IJCSLP 1998: 359-360 |
| 18 | EE | Andrew D. Kelly,
Kim Marriott,
Andrew D. Macdonald,
Peter J. Stuckey,
Roland H. C. Yap:
Optimizing Compilation of CLP(R).
ACM Trans. Program. Lang. Syst. 20(6): 1223-1250 (1998) |
| 1997 |
|---|
| 17 | | Joxan Jaffar,
Bing Liu,
Roland H. C. Yap:
Forward and Backward Chaining in Constraint Programming (Abstract).
LPNMR 1997: 1 |
| 16 | | Joxan Jaffar,
Roland H. C. Yap:
Constraint Programming 2000: A Position Paper.
Constraints 2(1): 71-73 (1997) |
| 15 | | Nevin Heintze,
Spiro Michaylov,
Peter J. Stuckey,
Roland H. C. Yap:
Meta-Programming in CLP(R).
J. Log. Program. 33(3): 221-259 (1997) |
| 1996 |
|---|
| 14 | | Joxan Jaffar,
Roland H. C. Yap:
Concurrency and Parallelism, Programming, Networking, and Security: Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2-5, 1996, Proceedings
Springer 1996 |
| 13 | | Andrew D. Kelly,
Andrew D. Macdonald,
Kim Marriott,
Peter J. Stuckey,
Roland H. C. Yap:
Effectiveness of Optimizing Compilation for CLP(R).
JICSLP 1996: 37-51 |
| 12 | | Joxan Jaffar,
Roland H. C. Yap:
Constraint Programming 2000.
ACM Comput. Surv. 28(4es): 65 (1996) |
| 1995 |
|---|
| 11 | | Andrew D. Kelly,
Andrew D. Macdonald,
Kim Marriott,
Harald Søndergaard,
Peter J. Stuckey,
Roland H. C. Yap:
An Optimizing Compiler for CLP(R).
CP 1995: 222-239 |
| 10 | | Jennifer Burg,
Peter J. Stuckey,
Jason C. H. Tai,
Roland H. C. Yap:
Linear Equation Solving for Constraint Logic Programming.
ICLP 1995: 33-47 |
| 1994 |
|---|
| 9 | | Joxan Jaffar,
Michael J. Maher,
Peter J. Stuckey,
Roland H. C. Yap:
Beyond Finite Domains.
PPCP 1994: 86-94 |
| 1993 |
|---|
| 8 | | Andrew D. Macdonald,
Peter J. Stuckey,
Roland H. C. Yap:
Redundancy of Variables in CLP (R).
ILPS 1993: 75-93 |
| 7 | | Joxan Jaffar,
Michael J. Maher,
Peter J. Stuckey,
Roland H. C. Yap:
Projecting CLP (R) Constraints.
New Generation Comput. 11(3): 449-469 (1993) |
| 1992 |
|---|
| 6 | | Joxan Jaffar,
Michael J. Maher,
Peter J. Stuckey,
Roland H. C. Yap:
Output in CLP.
FGCS 1992: 987-995 |
| 5 | | Joxan Jaffar,
Spiro Michaylov,
Peter J. Stuckey,
Roland H. C. Yap:
An Abstract Machine for CLP(R).
PLDI 1992: 128-139 |
| 4 | | Joxan Jaffar,
Spiro Michaylov,
Peter J. Stuckey,
Roland H. C. Yap:
The CLP(R) Language and System.
ACM Trans. Program. Lang. Syst. 14(3): 339-395 (1992) |
| 1991 |
|---|
| 3 | | Roland H. C. Yap:
Restriction Site Mapping in CLP(R).
ICLP 1991: 521-534 |
| 2 | | Joxan Jaffar,
Spiro Michaylov,
Roland H. C. Yap:
A Methodology for Managing Hard Constraints in CLP Systems.
PLDI 1991: 306-316 |
| 1989 |
|---|
| 1 | | Nevin Heintze,
Spiro Michaylov,
Peter J. Stuckey,
Roland H. C. Yap:
On Meta-Programming in CLR(R).
NACLP 1989: 52-66 |
