default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRoland H. C. Yap
Person information
- affiliation: National University of Singapore (NUS)
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c126]Yuancheng Jiang
, Jiahao Liu, Jinsheng Ba, Roland H. C. Yap, Zhenkai Liang, Manuel Rigger:
Detecting Logic Bugs in Graph Database Management Systems via Injective and Surjective Graph Query Transformation. ICSE 2024: 46:1-46:12- [i15]Gregory J. Duck, Sai Dhawal Phaye, Roland H. C. Yap, Trevor E. Carlson:
Fully Randomized Pointers. CoRR abs/2405.12513 (2024) - [i14]Yuancheng Jiang, Chuqi Zhang, Bonan Ruan, Jiahao Liu, Manuel Rigger, Roland H. C. Yap, Zhenkai Liang:
Fuzzing the PHP Interpreter via Dataflow Fusion. CoRR abs/2410.21713 (2024) - 2023
- [j27]Suhendry Effendy, Roland H. C. Yap:
Real-time passenger bus routing problems with preferences and tradeoffs. Ann. Math. Artif. Intell. 91(2-3): 287-307 (2023) - [c125]Yong Lai, Kuldeep S. Meel, Roland H. C. Yap:
Fast Converging Anytime Model Counting. AAAI 2023: 4025-4034 - [c124]Ruiwei Wang, Roland H. C. Yap:
The Expressive Power of Ad-Hoc Constraints for Modelling CSPs. AAAI 2023: 4104-4114 - [c123]Neng-Fa Zhou, Ruiwei Wang, Roland H. C. Yap:
A Comparison of SAT Encodings for Acyclicity of Directed Graphs. SAT 2023: 30:1-30:9 - [e4]Roland H. C. Yap:
29th International Conference on Principles and Practice of Constraint Programming, CP 2023, August 27-31, 2023, Toronto, Canada. LIPIcs 280, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2023, ISBN 978-3-95977-300-3 [contents] - 2022
- [c122]Ruiwei Wang, Roland H. C. Yap:
Encoding Multi-Valued Decision Diagram Constraints as Binary Constraint Trees. AAAI 2022: 3850-3858 - [c121]Yuancheng Jiang, Roland H. C. Yap, Zhenkai Liang, Hubert Rosier:
RecIPE: Revisiting the Evaluation of Memory Error Defenses. AsiaCCS 2022: 574-588 - [c120]Ruiwei Wang, Roland H. C. Yap:
CNF Encodings of Binary Constraint Trees. CP 2022: 40:1-40:19 - [c119]Yuancheng Jiang, Gregory J. Duck, Roland H. C. Yap, Zhenkai Liang, Pinghai Yuan:
Extensible Virtual Call Integrity. ESORICS (3) 2022: 723-739 - [c118]Gregory J. Duck, Yuntong Zhang, Roland H. C. Yap:
Hardening binaries against more memory errors. EuroSys 2022: 117-131 - [e3]Andrew H. Sung, Rakesh M. Verma, Roland H. C. Yap:
IWSPA@CODASPY 2022: Proceedings of the 2022 ACM on International Workshop on Security and Privacy Analytics, Baltimore, MD, USA, April 27, 2022. ACM 2022, ISBN 978-1-4503-9230-3 [contents] - [i13]Yong Lai, Kuldeep S. Meel, Roland H. C. Yap:
CCDD: A Tractable Representation for Model Counting and Uniform Sampling. CoRR abs/2202.10025 (2022) - [i12]Kaiyuan Yang, Houjing Huang, Olafs Vandans, Adithya Murali, Fujia Tian, Roland H. C. Yap, Liang Dai:
Applying Deep Reinforcement Learning to the HP Model for Protein Structure Prediction. CoRR abs/2211.14939 (2022) - [i11]Yong Lai, Kuldeep S. Meel, Roland H. C. Yap:
Fast Converging Anytime Model Counting. CoRR abs/2212.09390 (2022) - 2021
- [c117]Yong Lai, Kuldeep S. Meel, Roland H. C. Yap:
The Power of Literal Equivalence in Model Counting. AAAI 2021: 3851-3859 - [c116]Suhendry Effendy, Ngo Bao Chau, Roland H. C. Yap:
An Efficient Heuristic for Passenger Bus VRP with Preferences and Tradeoffs. LION 2021: 121-127 - 2020
- [c115]Roland H. C. Yap, Wei Xia, Ruiwei Wang:
Generalized Arc Consistency Algorithms for Table Constraints: A Summary of Algorithmic Ideas. AAAI 2020: 13590-13597 - [c114]Wei Xia, Roland H. C. Yap:
A Hybrid Dynamic Arity Search Heuristic for Constraint Programming. ICTAI 2020: 126-131 - [c113]Ruiwei Wang, Roland H. C. Yap:
Bipartite Encoding: A New Binary Encoding for Solving Non-Binary CSPs. IJCAI 2020: 1184-1191 - [c112]Roland H. C. Yap:
Towards Certifying Trustworthy Machine Learning Systems. TAILOR 2020: 77-82 - [i10]Sahil Verma, Roland H. C. Yap:
Benchmarking Symbolic Execution Using Constraint Problems - Initial Results. CoRR abs/2001.07914 (2020)
2010 – 2019
- 2019
- [c111]Ruiwei Wang, Roland H. C. Yap:
Arc Consistency Revisited. CPAIOR 2019: 599-615 - [c110]Sahil Verma, Roland H. C. Yap:
Benchmarking Symbolic Execution Using Constraint Problems - Initial Results. ICTAI 2019: 1-9 - 2018
- [j26]Gregory J. Duck, Joxan Jaffar, Roland H. C. Yap:
Shape Neutral Analysis of Graph-based Data-structures. Theory Pract. Log. Program. 18(3-4): 470-483 (2018) - [c109]Wei Xia, Roland H. C. Yap:
Learning Robust Search Strategies Using a Bandit-Based Approach. AAAI 2018: 6657-6665 - [c108]Gregory J. Duck, Roland H. C. Yap:
EffectiveSan: type and memory error detection using dynamically typed C/C++. PLDI 2018: 181-195 - [i9]Gregory J. Duck, Roland H. C. Yap:
An Extended Low Fat Allocator API and Applications. CoRR abs/1804.04812 (2018) - [i8]Gregory J. Duck, Joxan Jaffar, Roland H. C. Yap:
Shape Neutral Analysis of Graph-based Data-structures. CoRR abs/1804.09352 (2018) - [i7]Ruiwei Wang, Wei Xia, Roland H. C. Yap:
Correlation Heuristics for Constraint Programming. CoRR abs/1805.02205 (2018) - [i6]Wei Xia, Roland H. C. Yap:
Learning Robust Search Strategies Using a Bandit-Based Approach. CoRR abs/1805.03876 (2018) - 2017
- [j25]Ting Dai, Xiaolei Li, Behnaz Hassanshahi, Roland H. C. Yap, Zhenkai Liang:
RoppDroid: Robust permission re-delegation prevention in Android inter-component communication. Comput. Secur. 68: 98-111 (2017) - [c107]Suhendry Effendy, Roland H. C. Yap:
Using Community Structure to Categorize Computer Science Conferences: Initial Results. ASONAM 2017: 297-300 - [c106]Behnaz Hassanshahi, Roland H. C. Yap:
Android Database Attacks Revisited. AsiaCCS 2017: 625-639 - [c105]Suhendry Effendy, Roland H. C. Yap:
The Strong Link Graph for Enhancing Sybil Defenses. ICDCS 2017: 944-954 - [c104]Ruiwei Wang, Wei Xia, Roland H. C. Yap:
Correlation Heuristics for Constraint Programming. ICTAI 2017: 1037-1041 - [c103]Gregory J. Duck, Roland H. C. Yap, Lorenzo Cavallaro:
Stack Bounds Protection with Low Fat Pointers. NDSS 2017 - [c102]Suhendry Effendy, Roland H. C. Yap:
Analysing Trends in Computer Science Research: A Preliminary Study Using The Microsoft Academic Graph. WWW (Companion Volume) 2017: 1245-1250 - [i5]Gregory J. Duck, Roland H. C. Yap:
EffectiveSan: Type and Memory Error Detection using Dynamically Typed C/C++. CoRR abs/1710.06125 (2017) - 2016
- [c101]Joash W. J. Tan, Roland H. C. Yap:
Detecting Malware Through Anti-analysis Signals - A Preliminary Study. CANS 2016: 542-551 - [c100]Gregory J. Duck, Roland H. C. Yap:
Heap bounds protection with low fat pointers. CC 2016: 132-142 - [c99]Zhenquan Cai, Roland H. C. Yap:
Inferring the Detection Logic and Evaluating the Effectiveness of Android Anti-Virus Apps. CODASPY 2016: 172-182 - [c98]Suhendry Effendy, Roland H. C. Yap:
The Problem of Categorizing Conferences in Computer Science. TPDL 2016: 447-450 - [c97]Ruiwei Wang, Wei Xia, Roland H. C. Yap, Zhanshan Li:
Optimizing Simple Tabular Reduction with a Bitwise Representation. IJCAI 2016: 787-795 - [c96]Suhendry Effendy, Roland H. C. Yap:
Investigations on Rating Computer Sciences Conferences: An Experiment with the Microsoft Academic Graph Dataset. WWW (Companion Volume) 2016: 425-430 - 2015
- [j24]Christophe Lecoutre, Chavalit Likitvivatanavong, Roland H. C. Yap:
STR3: A path-optimal filtering algorithm for table constraints. Artif. Intell. 220: 1-27 (2015) - [j23]Christophe Lecoutre, Chavalit Likitvivatanavong, Roland H. C. Yap:
Improving the lower bound of simple tabular reduction. Constraints An Int. J. 20(1): 100-108 (2015) - [c95]Behnaz Hassanshahi, Yaoqi Jia, Roland H. C. Yap, Prateek Saxena, Zhenkai Liang:
Web-to-Application Injection Attacks on Android: Characterization and Detection. ESORICS (2) 2015: 577-598 - [c94]Yongzheng Wu, Roland H. C. Yap:
Simple and Practical Integrity Models for Binaries and Files. IFIPTM 2015: 30-46 - [c93]Chavalit Likitvivatanavong, Wei Xia, Roland H. C. Yap:
Decomposition of the Factor Encoding for CSPs. IJCAI 2015: 353-359 - 2014
- [j22]Irvan Jahja, Suhendry Effendy, Roland H. C. Yap:
Experiments on Rating Conferences with CORE and DBLP. D Lib Mag. 20(11/12) (2014) - [c92]Chunwang Zhang, Ee-Chien Chang, Roland H. C. Yap:
Tagged-MapReduce: A General Framework for Secure Computing with Mixed-Sensitivity Data on Hybrid Clouds. CCGRID 2014: 31-40 - [c91]Chavalit Likitvivatanavong, Wei Xia, Roland H. C. Yap:
Higher-Order Consistencies through GAC on Factor Variables. CP 2014: 497-513 - [c90]Ting Dai, Mingwei Zhang, Roland H. C. Yap, Zhenkai Liang:
Understanding Complex Binary Loading Behaviors. ICECCS 2014: 49-58 - [c89]Suhendry Effendy, Irvan Jahja, Roland H. C. Yap:
Relatedness measures between conferences in computer science: a preliminary study based on DBLP. WWW (Companion Volume) 2014: 1215-1220 - 2013
- [c88]Chunwang Zhang, Ee-Chien Chang, Roland H. C. Yap:
Towards a general framework for secure MapReduce computation on hybrid clouds. SoCC 2013: 36:1-36:2 - [c87]Wei Xia, Roland H. C. Yap:
Optimizing STR Algorithms with Tuple Compression. CP 2013: 724-732 - [c86]Behnaz Hassanshahi, Roland H. C. Yap:
JNICodejail: native code isolation for Java programs. PPPJ 2013: 173-176 - [c85]Chavalit Likitvivatanavong, Roland H. C. Yap:
Many-to-many interchangeable sets of values in CSPs. SAC 2013: 86-91 - 2012
- [j21]Felix Halim, Stratos Idreos, Panagiotis Karras, Roland H. C. Yap:
Stochastic Database Cracking: Towards Robust Adaptive Indexing in Main-Memory Column-Stores. Proc. VLDB Endow. 5(6): 502-513 (2012) - [c84]Suhendry Effendy, Roland H. C. Yap, Felix Halim:
Revisiting link privacy in social networks. CODASPY 2012: 61-70 - [c83]Kenil C. K. Cheng, Wei Xia, Roland H. C. Yap:
Space-Time Tradeoffs for the Regular Constraint. CP 2012: 223-237 - [c82]Yongzheng Wu, Roland H. C. Yap:
Experiments with Malware Visualization. DIMVA 2012: 123-133 - [c81]Christophe Lecoutre, Chavalit Likitvivatanavong, Roland H. C. Yap:
A Path-Optimal GAC Algorithm for Table Constraints. ECAI 2012: 510-515 - [c80]Yongzheng Wu, Sai Sathyanarayan, Roland H. C. Yap, Zhenkai Liang:
Codejail: Application-Transparent Isolation of Libraries with Tight Program Interactions. ESORICS 2012: 859-876 - [c79]Ting Dai, Sai Sathyanarayan, Roland H. C. Yap, Zhenkai Liang:
Detecting and Preventing ActiveX API-Misuse Vulnerabilities in Internet Explorer. ICICS 2012: 373-380 - [i4]Felix Halim, Stratos Idreos, Panagiotis Karras, Roland H. C. Yap:
Stochastic Database Cracking: Towards Robust Adaptive Indexing in Main-Memory Column-Stores. CoRR abs/1203.0055 (2012) - 2011
- [j20]Ee-Chien Chang, Liming Lu, Yongzheng Wu, Roland H. C. Yap, Jie Yu:
Enhancing host security using external environment sensors. Int. J. Inf. Sec. 10(5): 285-299 (2011) - [j19]Yuanlin Zhang, Roland H. C. Yap:
Solving functional constraints by variable substitution. Theory Pract. Log. Program. 11(2-3): 297-322 (2011) - [c78]Yongzheng Wu, Roland H. C. Yap:
Towards a binary integrity system for windows. AsiaCCS 2011: 503-507 - [c77]Suhendry Effendy, Felix Halim, Roland H. C. Yap:
Partial Social Network Disclosure and Crawlers. DASC 2011: 808-815 - [c76]Sufatrio, Roland H. C. Yap:
Quantifying the Effects of More Timely Certificate Revocation on Lightweight Mobile Devices. Metrisec@ESEM 2011: 31-40 - [c75]Felix Halim, Roland H. C. Yap, Yongzheng Wu:
A MapReduce-Based Maximum-Flow Algorithm for Large Small-World Network Graphs. ICDCS 2011: 192-202 - [c74]Sufatrio, Roland H. C. Yap:
Trusted Principal-Hosted Certificate Revocation. IFIPTM 2011: 173-189 - [i3]Roland H. C. Yap, Yuanlin Zhang:
Set Intersection and Consistency in Constraint Networks. CoRR abs/1110.2203 (2011) - 2010
- [j18]Kenil C. K. Cheng, Roland H. C. Yap:
An MDD-based generalized arc consistency algorithm for positive and negative table constraints and some global constraints. Constraints An Int. J. 15(2): 265-304 (2010) - [c73]Felix Halim, Panagiotis Karras, Roland H. C. Yap:
Local Search in Histogram Construction. AAAI 2010: 1680-1685 - [c72]Yongzheng Wu, Roland H. C. Yap, Rajiv Ramnath:
Comprehending module dependencies and sharing. ICSE (2) 2010: 89-98 - [c71]Felix Halim, Yongzheng Wu, Roland H. C. Yap:
Routing in the Watts and Strogatz Small World Networks Revisited. SASO Workshops 2010: 247-250 - [c70]Ee-Chien Chang, Liming Lu, Yongzheng Wu, Roland H. C. Yap, Jie Yu:
Enhancing Host Security Using External Environment Sensors. SecureComm 2010: 362-379 - [c69]Yongzheng Wu, Roland H. C. Yap, Felix Halim:
Visualizing windows system traces. SOFTVIS 2010: 123-132 - [c68]Yongzheng Wu, Roland H. C. Yap:
The Problem of Usable Binary Authentication. SSIRI (Companion) 2010: 34-35 - [i2]Yuanlin Zhang, Roland H. C. Yap:
Solving Functional Constraints by Variable Substitution. CoRR abs/1006.3215 (2010)
2000 – 2009
- 2009
- [c67]Felix Halim, Panagiotis Karras, Roland H. C. Yap:
Fast and effective histogram construction. CIKM 2009: 1167-1176 - [c66]Geraldine Kwang, Roland H. C. Yap, Terence Sim, Rajiv Ramnath:
An Usability Study of Continuous Biometrics Authentication. ICB 2009: 828-837 - [c65]Stefan Andrei, Gheorghe Grigoras, Martin C. Rinard, Roland H. C. Yap:
A Hierarchy of Tractable Subclasses for SAT and Counting SAT Problems. SYNASC 2009: 61-68 - [c64]Felix Halim, Yongzheng Wu, Roland H. C. Yap:
Wiki credibility enhancement. Int. Sym. Wikis 2009 - 2008
- [c63]Chavalit Likitvivatanavong, Roland H. C. Yap:
A Refutation Approach to Neighborhood Interchangeability in CSPs. Australasian Conference on Artificial Intelligence 2008: 93-103 - [c62]Kenil C. K. Cheng, Roland H. C. Yap:
Maintaining Generalized Arc Consistency on Ad Hoc r-Ary Constraints. CP 2008: 509-523 - [c61]Yuanlin Zhang, Roland H. C. Yap, Chendong Li, Satyanarayana Marisetti:
An Elimination Algorithm for Functional Constraints. CP 2008: 545-549 - [c60]Kenil C. K. Cheng, Roland H. C. Yap:
Search Space Reduction for Constraint Optimization Problems. CP 2008: 635-639 - [c59]Steven Halim, Roland H. C. Yap, Felix Halim:
Engineering Stochastic Local Search for the Low Autocorrelation Binary Sequence Problem. CP 2008: 640-645 - [c58]Yuanlin Zhang, Roland H. C. Yap, Chendong Li, Satyanarayana Marisetti:
Efficient Algorithms for Functional Constraints. ICLP 2008: 606-620 - [c57]Felix Halim, Rajiv Ramnath, Sufatrio, Yongzheng Wu, Roland H. C. Yap:
A Lightweight Binary Authentication System for Windows. IFIPTM 2008: 295-310 - [c56]Sufatrio, Roland H. C. Yap:
Extending BAN Logic for Reasoning with Modern PKI-Based Protocols. NPC Workshops 2008: 190-197 - [c55]Felix Halim, Yongzheng Wu, Roland H. C. Yap:
Small World Networks as (Semi)-Structured Overlay Networks. SASO Workshops 2008: 214-218 - [c54]Felix Halim, Yongzheng Wu, Roland H. C. Yap:
Security Issues in Small World Network Routing. SASO 2008: 493-494 - 2007
- [c53]Kenil C. K. Cheng, Roland H. C. Yap:
Search Space Reduction and Russian Doll Search. AAAI 2007: 179-184 - [c52]Joxan Jaffar, Roland H. C. Yap, Kenny Qili Zhu:
Generalized Committed Choice. COORDINATION 2007: 191-210 - [c51]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 - [c50]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 - [c49]Steven Halim, Roland H. C. Yap:
Designing and Tuning SLS Through Animation and Graphics: An Extended Walk-Through. SLS 2007: 16-30 - [c48]Stefan Andrei, Gabriel Manolache, Roland H. C. Yap, Victor Felea:
Approximate Satisfiability Counting. SYNASC 2007: 196-202 - 2006
- [j17]Kenil C. K. Cheng, Roland H. C. Yap:
Applying Ad-hoc Global Constraints with the case Constraint to Still-Life. Constraints An Int. J. 11(2-3): 91-114 (2006) - [j16]Yuanlin Zhang, Roland H. C. Yap:
Set Intersection and Consistency in Constraint Networks. J. Artif. Intell. Res. 27: 441-464 (2006) - [c47]Chavalit Likitvivatanavong, Roland H. C. Yap:
Extracting Microstructure in Binary Constraint Networks. CSCLP 2006: 124-138 - [c46]Kenil C. K. Cheng, Roland H. C. Yap:
Maintaining Generalized Arc Consistency on Ad-Hoc n-Ary Boolean Constraints. ECAI 2006: 78-82 - [c45]Steven Halim, Roland H. C. Yap, Hoong Chuin Lau:
Visualization for Analyzing Trajectory-Based Metaheuristic Search Algorithms. ECAI 2006: 703-704 - [c44]Joxan Jaffar, Roland H. C. Yap, Kenny Qili Zhu:
Indexing for Dynamic Abstract Regions. ICDE 2006: 12 - [c43]Sebastian Brand, Roland H. C. Yap:
Towards "Propagation = Logic + Control". ICLP 2006: 102-116 - [c42]Hoong Chuin Lau, Jia Li, Roland H. C. Yap:
Robust Controllability of Temporal Constraint Networks under Uncertainty. ICTAI 2006: 288-296 - [c41]Rajiv Ramnath, Sufatrio, Roland H. C. Yap, Yongzheng Wu:
WinResMon: A Tool for Discovering Software Dependencies, Configuration, and Requirements in Microsoft Windows. LISA 2006: 175-186 - [c40]Steven Halim, Roland H. C. Yap, Hoong Chuin Lau:
Viz: a visual analysis suite for explaining local search behavior. UIST 2006: 57-66 - [i1]Sebastian Brand, Roland H. C. Yap:
Towards "Propagation = Logic + Control". CoRR abs/cs/0608015 (2006) - 2005
- [j15]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) - [c39]Kenil C. K. Cheng, Roland H. C. Yap:
Constrained Decision Diagrams. AAAI 2005: 366-371 - [c38]Yongzheng Wu, Roland H. C. Yap:
A User-level Framework for Auditing and Monitoring. ACSAC 2005: 95-105 - [c37]Kenil C. K. Cheng, Roland H. C. Yap:
Ad-hoc Global Constraints for Life. CP 2005: 182-195 - [c36]Joxan Jaffar, Roland H. C. Yap, Kenny Qili Zhu:
Coordination of Many Agents. ICLP 2005: 98-112 - [c35]Sufatrio, Roland H. C. Yap:
Improving Host-Based IDS with Argument Abstraction to Prevent Mimicry Attacks. RAID 2005: 146-164 - 2004
- [j14]Martin Henz, Roland H. C. Yap, Yun Fong Lim, 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) - [j13]Roland H. C. Yap:
Book review: Constraint Processing by Rina Dechter, Morgan Kaufmann Publishers, 2003, ISBN 1-55860-890-7. Theory Pract. Log. Program. 4(5-6): 755-757 (2004) - [c34]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 - [c33]Sufatrio, Roland H. C. Yap, Liming Zhong:
A Machine-Oriented Vulnerability Database for Automated Vulnerability Detection and Processing. LISA 2004: 47-58 - [c32]Tao Wang, Abhik Roychoudhury, Roland H. C. Yap, S. C. Choudhary:
Symbolic Execution of Behavioral Requirements. PADL 2004: 178-192 - 2003
- [j12]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) - [c31]Roland H. C. Yap, Stella Z. Q. Wang, Martin Henz:
Hardware Implementations of Real-Time Reconfigurable WSAT Variants. FPL 2003: 488-496 - [c30]Yuanlin Zhang, Roland H. C. Yap:
Consistency and Set Intersection. IJCAI 2003: 263-270 - 2002
- [j11]P. S. Thiagarajan, Roland H. C. Yap:
5th Asian Computing Science Conference - Preface. Int. J. Found. Comput. Sci. 13(3): 313-314 (2002) - [c29]Yuanlin Zhang, Roland H. C. Yap:
Consistency and Set Intersection. AAAI/IAAI 2002: 971-972 - [c28]Yuanlin Zhang, Roland H. C. Yap:
Incrementally Solving Functional Constraints. AAAI/IAAI 2002: 973-974 - [c27]Martin Henz, Edgar Tan, Roland H. C. Yap:
Implementing CSAT Local Search on FPGAs. FPL 2002: 1156-1159 - 2001
- [j10]David R. Gilbert, Rolf Backofen, Roland H. C. Yap:
Introduction to the Special Issue on Bioinformatics. Constraints An Int. J. 6(2/3): 139 (2001) - [j9]Roland H. C. Yap:
Parametric Sequence Alignment with Constraints. Constraints An Int. J. 6(2/3): 157-172 (2001) - [c26]Martin Henz, Edgar Tan, Roland H. C. Yap:
One Flip per Clock Cycle. CP 2001: 509-523 - [c25]Yuanlin Zhang, Roland H. C. Yap:
Making AC-3 an Optimal Algorithm. IJCAI 2001: 316-321 - [c24]Kenny Qili Zhu, Wee-Yeh Tan, Andrew E. Santosa, Roland H. C. Yap:
Reactive Web Agents with Open Constraint Programming. ISADS 2001: 251-254 - [c23]Roland H. C. Yap, Budi Rahardjo:
Automatic Information Extraction from Web Pages. SIGIR 2001: 430-431 - 2000
- [c22]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 - [c21]Martin Henz, Yun Fong Lim, Lua Seet Chong, Shi Xiao Ping, J. Paul Walser, Roland H. C. Yap:
Solving Hierarchical Constraints over Finite Domains. AI&M 2000 - [c20]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 - [c19]Yuanlin Zhang, Roland H. C. Yap:
Arc Consistency on n-ary Monotonic and Linear Constraints. CP 2000: 470-483 - [c18]Rafael Ramírez, Andrew E. Santosa, Roland H. C. Yap:
Concurrent Programming Made Easy. ICECCS 2000: 151-
1990 – 1999
- 1999
- [c17]Yuanlin Zhang, Roland H. C. Yap, Joxan Jaffar:
Functional Elimination and 0/1/All Constraints. AAAI/IAAI 1999: 175-180 - [c16]Evan Tick, Roland H. C. Yap, Michael J. Maher:
Finding Fair Allocations for the Coalition Problem with Constraints. ICLP 1999: 530-544 - [e2]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. Lecture Notes in Computer Science 1742, Springer 1999, ISBN 3-540-66856-X [contents] - 1998
- [j8]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) - [c15]Joxan Jaffar, Roland H. C. Yap:
Open Constraint Programming. CP 1998: 1 - [c14]Andreas Fordan, Roland H. C. Yap:
Early Projection in CLP(R). CP 1998: 177-191 - [c13]Andreas Fordan, Roland H. C. Yap:
Towards Early Projection in CLP(R). IJCSLP 1998: 359-360 - 1997
- [j7]Joxan Jaffar, Roland H. C. Yap:
Constraint Programming 2000: A Position Paper. Constraints An Int. J. 2(1): 71-73 (1997) - [j6]Nevin Heintze, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap:
Meta-Programming in CLP(R). J. Log. Program. 33(3): 221-259 (1997) - [c12]Joxan Jaffar, Bing Liu, Roland H. C. Yap:
Forward and Backward Chaining in Constraint Programming (Abstract). LPNMR 1997: 1 - 1996
- [j5]Joxan Jaffar, Roland H. C. Yap:
Constraint Programming 2000. ACM Comput. Surv. 28(4es): 65 (1996) - [c11]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 - [e1]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. Lecture Notes in Computer Science 1179, Springer 1996, ISBN 3-540-62031-1 [contents] - 1995
- [j4]Roland H. C. Yap:
Workshop Report: Constraint languages/systems and their use in problem modelling. Knowl. Eng. Rev. 10(4): 405-410 (1995) - [c10]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 - [c9]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
- [c8]Joxan Jaffar, Michael J. Maher, Peter J. Stuckey, Roland H. C. Yap:
Beyond Finite Domains. PPCP 1994: 86-94 - 1993
- [j3]Joxan Jaffar, Michael J. Maher, Peter J. Stuckey, Roland H. C. Yap:
Projecting CLP (R) Constraints. New Gener. Comput. 11(3): 449-469 (1993) - [c7]Andrew D. Macdonald, Peter J. Stuckey, Roland H. C. Yap:
Redundancy of Variables in CLP (R). ILPS 1993: 75-93 - 1992
- [j2]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) - [c6]Joxan Jaffar, Michael J. Maher, Peter J. Stuckey, Roland H. C. Yap:
Output in CLP. FGCS 1992: 987-995 - [c5]Joxan Jaffar, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap:
An Abstract Machine for CLP(R). PLDI 1992: 128-139 - 1991
- [c4]Joxan Jaffar, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap:
The CLP(R) language and system: an overview. Compcon 1991: 376-381 - [c3]Roland H. C. Yap:
Restriction Site Mapping in CLP(R). ICLP 1991: 521-534 - [c2]Joxan Jaffar, Spiro Michaylov, Roland H. C. Yap:
A Methodology for Managing Hard Constraints in CLP Systems. PLDI 1991: 306-316
1980 – 1989
- 1989
- [c1]Nevin Heintze, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap:
On Meta-Programming in CLR(R). NACLP 1989: 52-66 - 1987
- [j1]Catherine Lassez, Ken McAloon, Roland H. C. Yap:
Constraint Logic Programming and Option Trading. IEEE Expert 2(3): 42-50 (1987)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-21 00:16 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
