Roland H. C. Yap

Bing Citeseer DBLP Google Google Scholar Kosmix Wikipedia Yahoo!
Loading Google Thumbnails...
2011
93Towards a binary integrity system for windows. Yongzheng Wu, Roland H. C. Yap. ASIACCS 2011, 503-507. Web SearchBibTeXDownload
92Set Intersection and Consistency in Constraint Networks. Roland H. C. Yap, Yuanlin Zhang. CoRR (abs/1110.2203) (2011). Web SearchBibTeXDownload
91Partial Social Network Disclosure and Crawlers. Suhendry Effendy, Felix Halim, Roland H. C. Yap. DASC 2011, 808-815. Web SearchBibTeXDownload
90A MapReduce-Based Maximum-Flow Algorithm for Large Small-World Network Graphs. Felix Halim, Roland H. C. Yap, Yongzheng Wu. ICDCS 2011, 192-202. Web SearchBibTeXDownload
89Trusted Principal-Hosted Certificate Revocation. Sufatrio, Roland H. C. Yap. IFIPTM 2011, 173-189. Web SearchBibTeXDownload
88Enhancing host security using external environment sensors. Ee-Chien Chang, Liming Lu, Yongzheng Wu, Roland H. C. Yap, Jie Yu. Int. J. Inf. Sec. (10): 285-299 (2011). Web SearchBibTeXDownload
87Solving functional constraints by variable substitution. Yuanlin Zhang, Roland H. C. Yap. TPLP (11): 297-322 (2011). Web SearchBibTeXDownload
2010
86Local Search in Histogram Construction. Felix Halim, Panagiotis Karras, Roland H. C. Yap. AAAI 2010. Web SearchBibTeXDownload
85An MDD-based generalized arc consistency algorithm for positive and negative table constraints and some global constraints. Kenil C. K. Cheng, Roland H. C. Yap. Constraints (15): 265-304 (2010). Web SearchBibTeXDownload
84Solving Functional Constraints by Variable Substitution. Yuanlin Zhang, Roland H. C. Yap. CoRR (abs/1006.3215) (2010). Web SearchBibTeXDownload
83Comprehending module dependencies and sharing. Yongzheng Wu, Roland H. C. Yap, Rajiv Ramnath. ICSE (2) 2010, 89-98. Web SearchBibTeXDownload
82Routing in the Watts and Strogatz Small World Networks Revisited. Felix Halim, Yongzheng Wu, Roland H. C. Yap. SASO Workshops 2010, 247-250. Web SearchBibTeXDownload
81Enhancing Host Security Using External Environment Sensors. Ee-Chien Chang, Liming Lu, Yongzheng Wu, Roland H. C. Yap, Jie Yu. SecureComm 2010, 362-379. Web SearchBibTeXDownload
80Visualizing windows system traces. Yongzheng Wu, Roland H. C. Yap, Felix Halim. SOFTVIS 2010, 123-132. Web SearchBibTeXDownload
2009
79Fast and effective histogram construction. Felix Halim, Panagiotis Karras, Roland H. C. Yap. CIKM 2009, 1167-1176. Web SearchBibTeXDownload
78An Usability Study of Continuous Biometrics Authentication. Geraldine Kwang, Roland H. C. Yap, Terence Sim, Rajiv Ramnath. ICB 2009, 828-837. Web SearchBibTeXDownload
77Wiki credibility enhancement. Felix Halim, Yongzheng Wu, Roland H. C. Yap. Int. Sym. Wikis 2009. Web SearchBibTeXDownload
2008
76A Refutation Approach to Neighborhood Interchangeability in CSPs. Chavalit Likitvivatanavong, Roland H. C. Yap. Australasian Conference on Artificial Intelligence 2008, 93-103. Web SearchBibTeXDownload
75Maintaining Generalized Arc Consistency on Ad Hoc r-Ary Constraints. Kenil C. K. Cheng, Roland H. C. Yap. CP 2008, 509-523. Web SearchBibTeXDownload
74Search Space Reduction for Constraint Optimization Problems. Kenil C. K. Cheng, Roland H. C. Yap. CP 2008, 635-639. Web SearchBibTeXDownload
73Engineering Stochastic Local Search for the Low Autocorrelation Binary Sequence Problem. Steven Halim, Roland H. C. Yap, Felix Halim. CP 2008, 640-645. Cited by 1Web SearchBibTeXDownload
72An Elimination Algorithm for Functional Constraints. Yuanlin Zhang, Roland H. C. Yap, Chendong Li, Satyanarayana Marisetti. CP 2008, 545-549. Web SearchBibTeXDownload
71Efficient Algorithms for Functional Constraints. Yuanlin Zhang, Roland H. C. Yap, Chendong Li, Satyanarayana Marisetti. ICLP 2008, 606-620. Web SearchBibTeXDownload
70Extending BAN Logic for Reasoning with Modern PKI-Based Protocols. Sufatrio, Roland H. C. Yap. NPC Workshops 2008, 190-197. Web SearchBibTeXDownload
69Security Issues in Small World Network Routing. Felix Halim, Yongzheng Wu, Roland H. C. Yap. SASO 2008, 493-494. Cited by 1Web SearchBibTeXDownload
68Small World Networks as (Semi)-Structured Overlay Networks. Felix Halim, Yongzheng Wu, Roland H. C. Yap. SASO Workshops 2008, 214-218. Web SearchBibTeXDownload
2007
67Search Space Reduction and Russian Doll Search. Kenil C. K. Cheng, Roland H. C. Yap. AAAI 2007, 179-184. Web SearchBibTeX
66Generalized Committed Choice. Joxan Jaffar, Roland H. C. Yap, Kenny Qili Zhu. COORDINATION 2007, 191-210. Web SearchBibTeXDownload
65An Integrated White+Black Box Approach for Designing and Tuning Stochastic Local Search. Steven Halim, Roland H. C. Yap, Hoong Chuin Lau. CP 2007, 332-347. Web SearchBibTeXDownload
64Self Management for Large-Scale Distributed Systems: An Overview of the SELFMAN Project. Peter Van Roy, Seif Haridi, Alexander Reinefeld, Jean-Bernard Stefani, Roland H. C. Yap, Thierry Coupaye. FMCO 2007, 153-178. Web SearchBibTeXDownload
63Designing and Tuning SLS Through Animation and Graphics: An Extended Walk-Through. Steven Halim, Roland H. C. Yap. SLS 2007, 16-30. Web SearchBibTeXDownload
62Approximate Satisfiability Counting. Stefan Andrei, Gabriel Manolache, Roland H. C. Yap, Victor Felea. SYNASC 2007, 196-202. Web SearchBibTeXDownload
2006
61Applying Ad-hoc Global Constraints with the case Constraint to Still-Life. Kenil C. K. Cheng, Roland H. C. Yap. Constraints (11): 91-114 (2006). Web SearchBibTeXDownload
60Extracting Microstructure in Binary Constraint Networks. Chavalit Likitvivatanavong, Roland H. C. Yap. CSCLP 2006, 124-138. Web SearchBibTeXDownload
59Visualization for Analyzing Trajectory-Based Metaheuristic Search Algorithms. Steven Halim, Roland H. C. Yap, Hoong Chuin Lau. ECAI 2006, 703-704. Web SearchBibTeX
58Maintaining Generalized Arc Consistency on Ad-Hoc n-Ary Boolean Constraints. Kenil C. K. Cheng, Roland H. C. Yap. ECAI 2006, 78-82. Web SearchBibTeX
57Indexing for Dynamic Abstract Regions. Joxan Jaffar, Roland H. C. Yap, Kenny Qili Zhu. ICDE 2006, 12. Web SearchBibTeXDownload
56Towards "Propagation = Logic + Control". Sebastian Brand, Roland H. C. Yap. ICLP 2006, 102-116. Web SearchBibTeXDownload
55Robust Controllability of Temporal Constraint Networks under Uncertainty. Hoong Chuin Lau, Jia Li, Roland H. C. Yap. ICTAI 2006, 288-296. Web SearchBibTeXDownload
54Set Intersection and Consistency in Constraint Networks. Roland H. C. Yap, Yuanlin Zhang. J. Artif. Intell. Res. (JAIR) (27): 441-464 (2006). Web SearchBibTeXDownload
53WinResMon: A Tool for Discovering Software Dependencies, Configuration, and Requirements in Microsoft Windows. Rajiv Ramnath, Sufatrio, Roland H. C. Yap, Yongzheng Wu. LISA 2006, 175-186. Web SearchBibTeXDownload
52Viz: a visual analysis suite for explaining local search behavior. Steven Halim, Roland H. C. Yap, Hoong Chuin Lau. UIST 2006, 57-66. Web SearchBibTeXDownload
2005
51Constrained Decision Diagrams. Kenil C. K. Cheng, Roland H. C. Yap. AAAI 2005, 366-371. Web SearchBibTeX
50A User-level Framework for Auditing and Monitoring. Yongzheng Wu, Roland H. C. Yap. ACSAC 2005, 95-105. Web SearchBibTeXDownload
49An optimal coarse-grained arc consistency algorithm. Christian Bessière, Jean-Charles Régin, Roland H. C. Yap, Yuanlin Zhang. Artif. Intell. (165): 165-185 (2005). Web SearchBibTeXDownload
48Ad-hoc Global Constraints for Life. Kenil C. K. Cheng, Roland H. C. Yap. CP 2005, 182-195. Web SearchBibTeXDownload
47Coordination of Many Agents. Joxan Jaffar, Roland H. C. Yap, Kenny Qili Zhu. ICLP 2005, 98-112. Web SearchBibTeXDownload
46Improving Host-Based IDS with Argument Abstraction to Prevent Mimicry Attacks. Sufatrio, Roland H. C. Yap. RAID 2005, 146-164. Web SearchBibTeXDownload
2004
45Solving Hierarchical Constraints over Finite Domains with Local Search. Martin Henz, Roland H. C. Yap, Lim Yun Fong, Lua Seet Chong, J. Paul Walser, Shi Xiao Ping. Ann. Math. Artif. Intell. (40): 283-302 (2004). Web SearchBibTeXDownload
44Scalable Distributed Depth-First Search with Greedy Work Stealing. Joxan Jaffar, Andrew E. Santosa, Roland H. C. Yap, Kenny Qili Zhu. ICTAI 2004, 98-103. Web SearchBibTeXDownload
43A Machine-Oriented Vulnerability Database for Automated Vulnerability Detection and Processing. Sufatrio, Roland H. C. Yap, Liming Zhong. LISA 2004, 47-58. Web SearchBibTeXDownload
42Symbolic Execution of Behavioral Requirements. Tao Wang, Abhik Roychoudhury, Roland H. C. Yap, S. C. Choudhary. PADL 2004, 178-192. Web SearchBibTeXDownload
41Book review: Constraint Processing by Rina Dechter, Morgan Kaufmann Publishers, 2003, ISBN 1-55860-890-7. Roland H. C. Yap. TPLP (4): 755-757 (2004). Web SearchBibTeXDownload
2003
40Hardware Implementations of Real-Time Reconfigurable WSAT Variants. Roland H. C. Yap, Stella Z. Q. Wang, Martin Henz. FPL 2003, 488-496. Web SearchBibTeXDownload
39Consistency and Set Intersection. Yuanlin Zhang, Roland H. C. Yap. IJCAI 2003, 263-270. Web SearchBibTeX
38Erratum: P. van Beek and R. Dechter's theorem on constraint looseness and local consistency. Yuanlin Zhang, Roland H. C. Yap. J. ACM (50): 277-279 (2003). Web SearchBibTeXDownload
2002
37Incrementally Solving Functional Constraints. Yuanlin Zhang, Roland H. C. Yap. AAAI/IAAI 2002, 973-974. Web SearchBibTeX
36Consistency and Set Intersection. Yuanlin Zhang, Roland H. C. Yap. AAAI/IAAI 2002, 971-972. Web SearchBibTeX
35Implementing CSAT Local Search on FPGAs. Martin Henz, Edgar Tan, Roland H. C. Yap. FPL 2002, 1156-1159. Web SearchBibTeXDownload
345th Asian Computing Science Conference - Preface. P. S. Thiagarajan, Roland H. C. Yap. Int. J. Found. Comput. Sci. (13): 313-314 (2002). Web SearchBibTeXDownload
2001
33Parametric Sequence Alignment with Constraints. Roland H. C. Yap. Constraints (6): 157-172 (2001). Web SearchBibTeXDownload
32Introduction to the Special Issue on Bioinformatics. Aidong Zhang, Rolf Backofen, Roland H. C. Yap. Constraints (6): 139 (2001). Web SearchBibTeXDownload
31One Flip per Clock Cycle. Martin Henz, Edgar Tan, Roland H. C. Yap. CP 2001, 509-523. Web SearchBibTeXDownload
30Making AC-3 an Optimal Algorithm. Yuanlin Zhang, Roland H. C. Yap. IJCAI 2001, 316-321. Web SearchBibTeX
29Reactive Web Agents with Open Constraint Programming. Kenny Qili Zhu, Wee-Yeh Tan, Andrew E. Santosa, Roland H. C. Yap. ISADS 2001, 251-254. Web SearchBibTeXDownload
28Automatic Information Extraction from Web Pages. Roland H. C. Yap, Budi Rahardjo. SIGIR 2001, 430-431. Web SearchBibTeX
2000
27Solving Hierarchical Constraints over Finite Domains. Martin Henz, Lim Yun Fong, Lua Seet Chong, Shi Xiao Ping, J. Paul Walser, Roland H. C. Yap. AMAI 2000. Web SearchBibTeXDownload
26Arc Consistency on n-ary Monotonic and Linear Constraints. Yuanlin Zhang, Roland H. C. Yap. CP 2000, 470-483. Web SearchBibTeXDownload
25Instruction Scheduling with Timing Constraints on a Single RISC Processor with 0/1 Latencies. Hui Wu, Joxan Jaffar, Roland H. C. Yap. CP 2000, 457-469. Web SearchBibTeXDownload
24Concurrent Programming Made Easy. Rafael Ramirez, Andrew E. Santosa, Roland H. C. Yap. ICECCS 2000, 151. Web SearchBibTeXDownload
23A Fast Algorithm for Scheduling Instructions with Deadline Constraints on RISC Processors. Hui Wu, Joxan Jaffar, Roland H. C. Yap. IEEE PACT 2000, 281-290. Web SearchBibTeXDownload
1999
22Functional Elimination and 0/1/All Constraints. Yuanlin Zhang, Roland H. C. Yap, Joxan Jaffar. AAAI/IAAI 1999, 175-180. Web SearchBibTeX
21Finding Fair Allocations for the Coalition Problem with Constraints. Evan Tick, Roland H. C. Yap, Michael J. Maher. ICLP 1999, 530-544. Web SearchBibTeX
1998
20Optimizing Compilation of CLP(R). Andrew D. Kelly, Kim Marriott, Andrew D. Macdonald, Peter J. Stuckey, Roland H. C. Yap. ACM Trans. Program. Lang. Syst. (20): 1223-1250 (1998). Web SearchBibTeXDownload
19Early Projection in CLP(R). Andreas Fordan, Roland H. C. Yap. CP 1998, 177-191. Web SearchBibTeXDownload
18Open Constraint Programming. Joxan Jaffar, Roland H. C. Yap. CP 1998, 1. Web SearchBibTeXDownload
17Towards Early Projection in CLP(R). Andreas Fordan, Roland H. C. Yap. IJCSLP 1998, 359-360. Web SearchBibTeX
1997
16Constraint Programming 2000: A Position Paper. Joxan Jaffar, Roland H. C. Yap. Constraints (2): 71-73 (1997). Web SearchBibTeXDownload
15Meta-Programming in CLP(R). Nevin Heintze, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap. J. Log. Program. (33): 221-259 (1997). Web SearchBibTeXDownload
14Forward and Backward Chaining in Constraint Programming (Abstract). Joxan Jaffar, Bing Liu, Roland H. C. Yap. LPNMR 1997, 1. Web SearchBibTeXDownload
1996
13Constraint Programming 2000. Joxan Jaffar, Roland H. C. Yap. ACM Comput. Surv. (28): 65 (1996). Web SearchBibTeXDownload
12Effectiveness of Optimizing Compilation for CLP(R). Andrew D. Kelly, Andrew D. Macdonald, Kim Marriott, Peter J. Stuckey, Roland H. C. Yap. JICSLP 1996, 37-51. Web SearchBibTeX
1995
11An Optimizing Compiler for CLP(R). Andrew D. Kelly, Andrew D. Macdonald, Kim Marriott, Harald Søndergaard, Peter J. Stuckey, Roland H. C. Yap. CP 1995, 222-239. Web SearchBibTeXDownload
10Linear Equation Solving for Constraint Logic Programming. Jennifer Burg, Peter J. Stuckey, Jason C. H. Tai, Roland H. C. Yap. ICLP 1995, 33-47. Web SearchBibTeX
1994
9Beyond Finite Domains. Joxan Jaffar, Michael J. Maher, Peter J. Stuckey, Roland H. C. Yap. PPCP 1994, 86-94. Web SearchBibTeXDownload
1993
8Redundancy of Variables in CLP (R). Andrew D. Macdonald, Peter J. Stuckey, Roland H. C. Yap. ILPS 1993, 75-93. Web SearchBibTeX
7Projecting CLP (R) Constraints. Joxan Jaffar, Michael J. Maher, Peter J. Stuckey, Roland H. C. Yap. New Generation Comput. (11): 449-469 (1993). Web SearchBibTeXDownload
1992
6The CLP(R) Language and System. Joxan Jaffar, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap. ACM Trans. Program. Lang. Syst. (14): 339-395 (1992). Web SearchBibTeX
5Output in CLP. Joxan Jaffar, Michael J. Maher, Peter J. Stuckey, Roland H. C. Yap. FGCS 1992, 987-995. Web SearchBibTeX
4An Abstract Machine for CLP(R). Joxan Jaffar, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap. PLDI 1992, 128-139. Web SearchBibTeXDownload
1991
3Restriction Site Mapping in CLP(R). Roland H. C. Yap. ICLP 1991, 521-534. Web SearchBibTeX
2A Methodology for Managing Hard Constraints in CLP Systems. Joxan Jaffar, Spiro Michaylov, Roland H. C. Yap. PLDI 1991, 306-316. Web SearchBibTeXDownload
1989
1On Meta-Programming in CLR(R). Nevin Heintze, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap. NACLP 1989, 52-66. Web SearchBibTeX
from DBLP and Google Scholar
Developed by the Database Group at the University of Wisconsin and Yahoo! Research