Roland H. C. Yap

185 papers A* 25A 34B 23C 7Misc 3Journal 46Unranked 44
YearRankTypeTitle / Venue / Authors
2025 A conf
AI Fairness Beyond Complete Demographics: Current Achievements and Future Directions.
ECAI
Zichong Wang, Zhipeng Yin, Roland H. C. Yap, Wenbin Zhang
2025 J jnl
AI Fairness Beyond Complete Demographics: Current Achievements and Future Directions.
CoRR
Zichong Wang, Zhipeng Yin, Roland H. C. Yap, Wenbin Zhang
2025 J jnl
Enhanced Differential Testing in Emerging Database Systems.
CoRR
Yuancheng Jiang, Jianing Wang, Chuqi Zhang, Roland H. C. Yap, Zhenkai Liang, Manuel Rigger
2025 A conf
Evaluating Disassembly Errors With Only Binaries.
AsiaCCS
Lambang Akbar Wijayadi, Yuancheng Jiang, Roland H. C. Yap, Zhenkai Liang, Zhuohao Liu
2025 J jnl
Evaluating Disassembly Errors With Only Binaries.
CoRR
Lambang Akbar Wijayadi, Yuancheng Jiang, Roland H. C. Yap, Zhenkai Liang, Zhuohao Liu
2025 C conf
Fully Randomized Pointers.
ISMM
Sai Dhawal Phaye, Gregory J. Duck, Roland H. C. Yap, Trevor E. Carlson
2025 A* conf
Fuzzing the PHP Interpreter via Dataflow Fusion.
USENIX Security Symposium
Yuancheng Jiang, Chuqi Zhang, Bonan Ruan, Jiahao Liu, Manuel Rigger, Roland H. C. Yap, Zhenkai Liang
2025 J jnl
OSS-Bench: Benchmark Generator for Coding LLMs.
CoRR
Yuancheng Jiang, Roland H. C. Yap, Zhenkai Liang
2025 A* conf
On the Modelling of Constraints with Tractable Logical Operators.
AAAI
Ruiwei Wang, Roland H. C. Yap
2025 — conf
Panini: An Efficient and Flexible Knowledge Compiler.
CAV (3)
Yong Lai, Kuldeep S. Meel, Roland H. C. Yap
2025 — conf
Redefining Fairness: A Multi-dimensional Perspective and Integrated Evaluation Framework.
ECML/PKDD (1)
Zichong Wang, Zhipeng Yin, Zhen Liu, Roland H. C. Yap, Xiaocai Zhang, Shu Hu, Wenbin Zhang
2025 A* conf
ZendDiff: Differential Testing of PHP Interpreter.
ASE
Yuancheng Jiang, Jianing Wang, Qiange Liu, Yeqi Fu, Jian Mao, Roland H. C. Yap, Zhenkai Liang
2024 A* conf
Detecting Logic Bugs in Graph Database Management Systems via Injective and Surjective Graph Query Transformation.
ICSE
Yuancheng Jiang, Jiahao Liu, Jinsheng Ba, Roland H. C. Yap, Zhenkai Liang, Manuel Rigger
2024 J jnl
Fully Randomized Pointers.
CoRR
Gregory J. Duck, Sai Dhawal Phaye, Roland H. C. Yap, Trevor E. Carlson
2024 J jnl
Fuzzing the PHP Interpreter via Dataflow Fusion.
CoRR
Yuancheng Jiang, Chuqi Zhang, Bonan Ruan, Jiahao Liu, Manuel Rigger, Roland H. C. Yap, Zhenkai Liang
2024 A conf
Individual Fairness with Group Constraints in Graph Neural Networks.
ECAI
Zichong Wang, David Ulloa, Tongjia Yu, Raju Rangaswami, Roland H. C. Yap, Wenbin Zhang
2023 A ed.
29th International Conference on Principles and Practice of Constraint Programming, CP 2023, Toronto, Canada, August 27-31, 2023
CP
Roland H. C. Yap
2023 A conf
A Comparison of SAT Encodings for Acyclicity of Directed Graphs.
SAT
Neng-Fa Zhou, Ruiwei Wang, Roland H. C. Yap
2023 A* conf
Fast Converging Anytime Model Counting.
AAAI
Yong Lai, Kuldeep S. Meel, Roland H. C. Yap
2023 J jnl
Real-time passenger bus routing problems with preferences and tradeoffs.
Ann. Math. Artif. Intell.
Suhendry Effendy, Roland H. C. Yap
2023 A* conf
The Expressive Power of Ad-Hoc Constraints for Modelling CSPs.
AAAI
Ruiwei Wang, Roland H. C. Yap
2022 J jnl
Applying Deep Reinforcement Learning to the HP Model for Protein Structure Prediction.
CoRR
Kaiyuan Yang, Houjing Huang, Olafs Vandans, Adithya Murali, Fujia Tian, Roland H. C. Yap, Liang Dai
2022 J jnl
CCDD: A Tractable Representation for Model Counting and Uniform Sampling.
CoRR
Yong Lai, Kuldeep S. Meel, Roland H. C. Yap
2022 A conf
CNF Encodings of Binary Constraint Trees.
CP
Ruiwei Wang, Roland H. C. Yap
2022 A* conf
Encoding Multi-Valued Decision Diagram Constraints as Binary Constraint Trees.
AAAI
Ruiwei Wang, Roland H. C. Yap
2022 — conf
Extensible Virtual Call Integrity.
ESORICS (3)
Yuancheng Jiang, Gregory J. Duck, Roland H. C. Yap, Zhenkai Liang, Pinghai Yuan
2022 J jnl
Fast Converging Anytime Model Counting.
CoRR
Yong Lai, Kuldeep S. Meel, Roland H. C. Yap
2022 A conf
Hardening binaries against more memory errors.
EuroSys
Gregory J. Duck, Yuntong Zhang, Roland H. C. Yap
2022 — ed.
IWSPA@CODASPY 2022: Proceedings of the 2022 ACM on International Workshop on Security and Privacy Analytics, Baltimore, MD, USA, April 27, 2022
IWSPA@CODASPY
Andrew H. Sung, Rakesh M. Verma, Roland H. C. Yap
2022 A conf
RecIPE: Revisiting the Evaluation of Memory Error Defenses.
AsiaCCS
Yuancheng Jiang, Roland H. C. Yap, Zhenkai Liang, Hubert Rosier
2021 — conf
An Efficient Heuristic for Passenger Bus VRP with Preferences and Tradeoffs.
LION
Suhendry Effendy, Ngo Bao Chau, Roland H. C. Yap
2021 A* conf
The Power of Literal Equivalence in Model Counting.
AAAI
Yong Lai, Kuldeep S. Meel, Roland H. C. Yap
2020 B conf
A Hybrid Dynamic Arity Search Heuristic for Constraint Programming.
ICTAI
Wei Xia, Roland H. C. Yap
2020 J jnl
Benchmarking Symbolic Execution Using Constraint Problems - Initial Results.
CoRR
Sahil Verma, Roland H. C. Yap
2020 A* conf
Bipartite Encoding: A New Binary Encoding for Solving Non-Binary CSPs.
IJCAI
Ruiwei Wang, Roland H. C. Yap
2020 A* conf
Generalized Arc Consistency Algorithms for Table Constraints: A Summary of Algorithmic Ideas.
AAAI
Roland H. C. Yap, Wei Xia, Ruiwei Wang
2020 — conf
Towards Certifying Trustworthy Machine Learning Systems.
TAILOR
Roland H. C. Yap
2019 B conf
Arc Consistency Revisited.
CPAIOR
Ruiwei Wang, Roland H. C. Yap
2019 B conf
Benchmarking Symbolic Execution Using Constraint Problems - Initial Results.
ICTAI
Sahil Verma, Roland H. C. Yap
2018 J jnl
An Extended Low Fat Allocator API and Applications.
CoRR
Gregory J. Duck, Roland H. C. Yap
2018 J jnl
Correlation Heuristics for Constraint Programming.
CoRR
Ruiwei Wang, Wei Xia, Roland H. C. Yap
2018 A* conf
EffectiveSan: type and memory error detection using dynamically typed C/C++.
PLDI
Gregory J. Duck, Roland H. C. Yap
2018 A* conf
Learning Robust Search Strategies Using a Bandit-Based Approach.
AAAI
Wei Xia, Roland H. C. Yap
2018 J jnl
Learning Robust Search Strategies Using a Bandit-Based Approach.
CoRR
Wei Xia, Roland H. C. Yap
2018 J jnl
Shape Neutral Analysis of Graph-based Data-structures.
CoRR
Gregory J. Duck, Joxan Jaffar, Roland H. C. Yap
2018 J jnl
Shape Neutral Analysis of Graph-based Data-structures.
Theory Pract. Log. Program.
Gregory J. Duck, Joxan Jaffar, Roland H. C. Yap
2017 — conf
Analysing Trends in Computer Science Research: A Preliminary Study Using The Microsoft Academic Graph.
WWW (Companion Volume)
Suhendry Effendy, Roland H. C. Yap
2017 A conf
Android Database Attacks Revisited.
AsiaCCS
Behnaz Hassanshahi, Roland H. C. Yap
2017 B conf
Correlation Heuristics for Constraint Programming.
ICTAI
Ruiwei Wang, Wei Xia, Roland H. C. Yap
2017 J jnl
EffectiveSan: Type and Memory Error Detection using Dynamically Typed C/C++.
CoRR
Gregory J. Duck, Roland H. C. Yap
2017 J jnl
RoppDroid: Robust permission re-delegation prevention in Android inter-component communication.
Comput. Secur.
Ting Dai, Xiaolei Li, Behnaz Hassanshahi, Roland H. C. Yap, Zhenkai Liang
2017 A* conf
Stack Bounds Protection with Low Fat Pointers.
NDSS
Gregory J. Duck, Roland H. C. Yap, Lorenzo Cavallaro
2017 A conf
The Strong Link Graph for Enhancing Sybil Defenses.
ICDCS
Suhendry Effendy, Roland H. C. Yap
2017 B conf
Using Community Structure to Categorize Computer Science Conferences: Initial Results.
ASONAM
Suhendry Effendy, Roland H. C. Yap
2016 B conf
Detecting Malware Through Anti-analysis Signals - A Preliminary Study.
CANS
Joash W. J. Tan, Roland H. C. Yap
2016 B conf
Heap bounds protection with low fat pointers.
CC
Gregory J. Duck, Roland H. C. Yap
2016 — conf
Inferring the Detection Logic and Evaluating the Effectiveness of Android Anti-Virus Apps.
CODASPY
Zhenquan Cai, Roland H. C. Yap
2016 — conf
Investigations on Rating Computer Sciences Conferences: An Experiment with the Microsoft Academic Graph Dataset.
WWW (Companion Volume)
Suhendry Effendy, Roland H. C. Yap
2016 A* conf
Optimizing Simple Tabular Reduction with a Bitwise Representation.
IJCAI
Ruiwei Wang, Wei Xia, Roland H. C. Yap, Zhanshan Li
2016 B conf
The Problem of Categorizing Conferences in Computer Science.
TPDL
Suhendry Effendy, Roland H. C. Yap
2015 A* conf
Decomposition of the Factor Encoding for CSPs.
IJCAI
Chavalit Likitvivatanavong, Wei Xia, Roland H. C. Yap
2015 J jnl
Improving the lower bound of simple tabular reduction.
Constraints An Int. J.
Christophe Lecoutre, Chavalit Likitvivatanavong, Roland H. C. Yap
2015 J jnl
STR3: A path-optimal filtering algorithm for table constraints.
Artif. Intell.
Christophe Lecoutre, Chavalit Likitvivatanavong, Roland H. C. Yap
2015 — conf
Simple and Practical Integrity Models for Binaries and Files.
IFIPTM
Yongzheng Wu, Roland H. C. Yap
2015 — conf
Web-to-Application Injection Attacks on Android: Characterization and Detection.
ESORICS (2)
Behnaz Hassanshahi, Yaoqi Jia, Roland H. C. Yap, Prateek Saxena, Zhenkai Liang
2014 J jnl
Experiments on Rating Conferences with CORE and DBLP.
D Lib Mag.
Irvan Jahja, Suhendry Effendy, Roland H. C. Yap
2014 A conf
Higher-Order Consistencies through GAC on Factor Variables.
CP
Chavalit Likitvivatanavong, Wei Xia, Roland H. C. Yap
2014 — conf
Relatedness measures between conferences in computer science: a preliminary study based on DBLP.
WWW (Companion Volume)
Suhendry Effendy, Irvan Jahja, Roland H. C. Yap
2014 B conf
Tagged-MapReduce: A General Framework for Secure Computing with Mixed-Sensitivity Data on Hybrid Clouds.
CCGRID
Chunwang Zhang, Ee-Chien Chang, Roland H. C. Yap
2014 B conf
Understanding Complex Binary Loading Behaviors.
ICECCS
Ting Dai, Mingwei Zhang, Roland H. C. Yap, Zhenkai Liang
2013 — conf
JNICodejail: native code isolation for Java programs.
PPPJ
Behnaz Hassanshahi, Roland H. C. Yap
2013 Misc conf
Many-to-many interchangeable sets of values in CSPs.
SAC
Chavalit Likitvivatanavong, Roland H. C. Yap
2013 A conf
Optimizing STR Algorithms with Tuple Compression.
CP
Wei Xia, Roland H. C. Yap
2013 — conf
Towards a general framework for secure MapReduce computation on hybrid clouds.
SoCC
Chunwang Zhang, Ee-Chien Chang, Roland H. C. Yap
2012 A conf
A Path-Optimal GAC Algorithm for Table Constraints.
ECAI
Christophe Lecoutre, Chavalit Likitvivatanavong, Roland H. C. Yap
2012 A conf
Codejail: Application-Transparent Isolation of Libraries with Tight Program Interactions.
ESORICS
Yongzheng Wu, Sai Sathyanarayan, Roland H. C. Yap, Zhenkai Liang
2012 C conf
Detecting and Preventing ActiveX API-Misuse Vulnerabilities in Internet Explorer.
ICICS
Ting Dai, Sai Sathyanarayan, Roland H. C. Yap, Zhenkai Liang
2012 B conf
Experiments with Malware Visualization.
DIMVA
Yongzheng Wu, Roland H. C. Yap
2012 — conf
Revisiting link privacy in social networks.
CODASPY
Suhendry Effendy, Roland H. C. Yap, Felix Halim
2012 A conf
Space-Time Tradeoffs for the Regular Constraint.
CP
Kenil C. K. Cheng, Wei Xia, Roland H. C. Yap
2012 J jnl
Stochastic Database Cracking: Towards Robust Adaptive Indexing in Main-Memory Column-Stores
CoRR
Felix Halim, Stratos Idreos, Panagiotis Karras, Roland H. C. Yap
2012 J jnl
Stochastic Database Cracking: Towards Robust Adaptive Indexing in Main-Memory Column-Stores.
Proc. VLDB Endow.
Felix Halim, Stratos Idreos, Panagiotis Karras, Roland H. C. Yap
2011 A conf
A MapReduce-Based Maximum-Flow Algorithm for Large Small-World Network Graphs.
ICDCS
Felix Halim, Roland H. C. Yap, Yongzheng Wu
2011 J jnl
Enhancing host security using external environment sensors.
Int. J. Inf. Sec.
Ee-Chien Chang, Liming Lu, Yongzheng Wu, Roland H. C. Yap, Jie Yu
2011 C conf
Partial Social Network Disclosure and Crawlers.
DASC
Suhendry Effendy, Felix Halim, Roland H. C. Yap
2011 — conf
Quantifying the Effects of More Timely Certificate Revocation on Lightweight Mobile Devices.
Metrisec@ESEM
Sufatrio, Roland H. C. Yap
2011 J jnl
Set Intersection and Consistency in Constraint Networks
CoRR
Roland H. C. Yap, Yuanlin Zhang
2011 J jnl
Solving functional constraints by variable substitution.
Theory Pract. Log. Program.
Yuanlin Zhang, Roland H. C. Yap
2011 A conf
Towards a binary integrity system for windows.
AsiaCCS
Yongzheng Wu, Roland H. C. Yap
2011 — conf
Trusted Principal-Hosted Certificate Revocation.
IFIPTM
Sufatrio, Roland H. C. Yap
2010 J jnl
An MDD-based generalized arc consistency algorithm for positive and negative table constraints and some global constraints.
Constraints An Int. J.
Kenil C. K. Cheng, Roland H. C. Yap
2010 — conf
Comprehending module dependencies and sharing.
ICSE (2)
Yongzheng Wu, Roland H. C. Yap, Rajiv Ramnath
2010 C conf
Enhancing Host Security Using External Environment Sensors.
SecureComm
Ee-Chien Chang, Liming Lu, Yongzheng Wu, Roland H. C. Yap, Jie Yu
2010 A* conf
Local Search in Histogram Construction.
AAAI
Felix Halim, Panagiotis Karras, Roland H. C. Yap
2010 — conf
Routing in the Watts and Strogatz Small World Networks Revisited.
SASO Workshops
Felix Halim, Yongzheng Wu, Roland H. C. Yap
2010 J jnl
Solving Functional Constraints by Variable Substitution
CoRR
Yuanlin Zhang, Roland H. C. Yap
2010 — conf
The Problem of Usable Binary Authentication.
SSIRI (Companion)
Yongzheng Wu, Roland H. C. Yap
2010 — conf
Visualizing windows system traces.
SOFTVIS
Yongzheng Wu, Roland H. C. Yap, Felix Halim
2009 Misc conf
A Hierarchy of Tractable Subclasses for SAT and Counting SAT Problems.
SYNASC
Stefan Andrei, Gheorghe Grigoras, Martin C. Rinard, Roland H. C. Yap
2009 — conf
An Usability Study of Continuous Biometrics Authentication.
ICB
Geraldine Kwang, Roland H. C. Yap, Terence Sim, Rajiv Ramnath
2009 A conf
Fast and effective histogram construction.
CIKM
Felix Halim, Panagiotis Karras, Roland H. C. Yap
2009 — conf
Wiki credibility enhancement.
Int. Sym. Wikis
Felix Halim, Yongzheng Wu, Roland H. C. Yap
2008 — conf
A Lightweight Binary Authentication System for Windows.
IFIPTM
Felix Halim, Rajiv Ramnath, Sufatrio, Yongzheng Wu, Roland H. C. Yap
2008 — conf
A Refutation Approach to Neighborhood Interchangeability in CSPs.
Australasian Conference on Artificial Intelligence
Chavalit Likitvivatanavong, Roland H. C. Yap
2008 A conf
An Elimination Algorithm for Functional Constraints.
CP
Yuanlin Zhang, Roland H. C. Yap, Chendong Li, Satyanarayana Marisetti
2008 B conf
Efficient Algorithms for Functional Constraints.
ICLP
Yuanlin Zhang, Roland H. C. Yap, Chendong Li, Satyanarayana Marisetti
2008 A conf
Engineering Stochastic Local Search for the Low Autocorrelation Binary Sequence Problem.
CP
Steven Halim, Roland H. C. Yap, Felix Halim
2008 — conf
Extending BAN Logic for Reasoning with Modern PKI-Based Protocols.
NPC Workshops
Sufatrio, Roland H. C. Yap
2008 A conf
Maintaining Generalized Arc Consistency on Ad Hoc r-Ary Constraints.
CP
Kenil C. K. Cheng, Roland H. C. Yap
2008 A conf
Search Space Reduction for Constraint Optimization Problems.
CP
Kenil C. K. Cheng, Roland H. C. Yap
2008 — conf
Security Issues in Small World Network Routing.
SASO
Felix Halim, Yongzheng Wu, Roland H. C. Yap
2008 — conf
Small World Networks as (Semi)-Structured Overlay Networks.
SASO Workshops
Felix Halim, Yongzheng Wu, Roland H. C. Yap
2007 A conf
An Integrated White+Black Box Approach for Designing and Tuning Stochastic Local Search.
CP
Steven Halim, Roland H. C. Yap, Hoong Chuin Lau
2007 Misc conf
Approximate Satisfiability Counting.
SYNASC
Stefan Andrei, Gabriel Manolache, Roland H. C. Yap, Victor Felea
2007 — conf
Designing and Tuning SLS Through Animation and Graphics: An Extended Walk-Through.
SLS
Steven Halim, Roland H. C. Yap
2007 C conf
Generalized Committed Choice.
COORDINATION
Joxan Jaffar, Roland H. C. Yap, Kenny Qili Zhu
2007 A* conf
Search Space Reduction and Russian Doll Search.
AAAI
Kenil C. K. Cheng, Roland H. C. Yap
2007 — conf
Self Management for Large-Scale Distributed Systems: An Overview of the SELFMAN Project.
FMCO
Peter Van Roy, Seif Haridi, Alexander Reinefeld, Jean-Bernard Stefani, Roland H. C. Yap, Thierry Coupaye
2006 J jnl
Applying Ad-hoc Global Constraints with the case Constraint to Still-Life.
Constraints An Int. J.
Kenil C. K. Cheng, Roland H. C. Yap
2006 — conf
Extracting Microstructure in Binary Constraint Networks.
CSCLP
Chavalit Likitvivatanavong, Roland H. C. Yap
2006 A* conf
Indexing for Dynamic Abstract Regions.
ICDE
Joxan Jaffar, Roland H. C. Yap, Kenny Qili Zhu
2006 A conf
Maintaining Generalized Arc Consistency on Ad-Hoc n-Ary Boolean Constraints.
ECAI
Kenil C. K. Cheng, Roland H. C. Yap
2006 B conf
Robust Controllability of Temporal Constraint Networks under Uncertainty.
ICTAI
Hoong Chuin Lau, Jia Li, Roland H. C. Yap
2006 J jnl
Set Intersection and Consistency in Constraint Networks.
J. Artif. Intell. Res.
Yuanlin Zhang, Roland H. C. Yap
2006 J jnl
Towards "Propagation = Logic + Control"
CoRR
Sebastian Brand, Roland H. C. Yap
2006 B conf
Towards "Propagation = Logic + Control".
ICLP
Sebastian Brand, Roland H. C. Yap
2006 A conf
Visualization for Analyzing Trajectory-Based Metaheuristic Search Algorithms.
ECAI
Steven Halim, Roland H. C. Yap, Hoong Chuin Lau
2006 A* conf
Viz: a visual analysis suite for explaining local search behavior.
UIST
Steven Halim, Roland H. C. Yap, Hoong Chuin Lau
2006 — conf
WinResMon: A Tool for Discovering Software Dependencies, Configuration, and Requirements in Microsoft Windows.
LISA
Rajiv Ramnath, Sufatrio, Roland H. C. Yap, Yongzheng Wu
2005 A conf
A User-level Framework for Auditing and Monitoring.
ACSAC
Yongzheng Wu, Roland H. C. Yap
2005 A conf
Ad-hoc Global Constraints for Life.
CP
Kenil C. K. Cheng, Roland H. C. Yap
2005 J jnl
An optimal coarse-grained arc consistency algorithm.
Artif. Intell.
Christian Bessière, Jean-Charles Régin, Roland H. C. Yap, Yuanlin Zhang
2005 A* conf
Constrained Decision Diagrams.
AAAI
Kenil C. K. Cheng, Roland H. C. Yap
2005 B conf
Coordination of Many Agents.
ICLP
Joxan Jaffar, Roland H. C. Yap, Kenny Qili Zhu
2005 A conf
Improving Host-Based IDS with Argument Abstraction to Prevent Mimicry Attacks.
RAID
Sufatrio, Roland H. C. Yap
2004 — conf
A Machine-Oriented Vulnerability Database for Automated Vulnerability Detection and Processing.
LISA
Sufatrio, Roland H. C. Yap, Liming Zhong
2004 J jnl
Book review: Constraint Processing by Rina Dechter, Morgan Kaufmann Publishers, 2003, ISBN 1-55860-890-7.
Theory Pract. Log. Program.
Roland H. C. Yap
2004 B conf
Scalable Distributed Depth-First Search with Greedy Work Stealing.
ICTAI
Joxan Jaffar, Andrew E. Santosa, Roland H. C. Yap, Kenny Qili Zhu
2004 J jnl
Solving Hierarchical Constraints over Finite Domains with Local Search.
Ann. Math. Artif. Intell.
Martin Henz, Roland H. C. Yap, Yun Fong Lim, Lua Seet Chong, J. Paul Walser, Shi Xiao Ping
2004 C conf
Symbolic Execution of Behavioral Requirements.
PADL
Tao Wang, Abhik Roychoudhury, Roland H. C. Yap, S. C. Choudhary
2003 A* conf
Consistency and Set Intersection.
IJCAI
Yuanlin Zhang, Roland H. C. Yap
2003 J jnl
Erratum: P. van Beek and R. Dechter's theorem on constraint looseness and local consistency.
J. ACM
Yuanlin Zhang, Roland H. C. Yap
2003 B conf
Hardware Implementations of Real-Time Reconfigurable WSAT Variants.
FPL
Roland H. C. Yap, Stella Z. Q. Wang, Martin Henz
2002 J jnl
5th Asian Computing Science Conference - Preface.
Int. J. Found. Comput. Sci.
P. S. Thiagarajan, Roland H. C. Yap
2002 — conf
Consistency and Set Intersection.
AAAI/IAAI
Yuanlin Zhang, Roland H. C. Yap
2002 B conf
Implementing CSAT Local Search on FPGAs.
FPL
Martin Henz, Edgar Tan, Roland H. C. Yap
2002 — conf
Incrementally Solving Functional Constraints.
AAAI/IAAI
Yuanlin Zhang, Roland H. C. Yap
2001 A* conf
Automatic Information Extraction from Web Pages.
SIGIR
Roland H. C. Yap, Budi Rahardjo
2001 J jnl
Introduction to the Special Issue on Bioinformatics.
Constraints An Int. J.
David R. Gilbert, Rolf Backofen, Roland H. C. Yap
2001 A* conf
Making AC-3 an Optimal Algorithm.
IJCAI
Yuanlin Zhang, Roland H. C. Yap
2001 A conf
One Flip per Clock Cycle.
CP
Martin Henz, Edgar Tan, Roland H. C. Yap
2001 J jnl
Parametric Sequence Alignment with Constraints.
Constraints An Int. J.
Roland H. C. Yap
2001 C conf
Reactive Web Agents with Open Constraint Programming.
ISADS
Kenny Qili Zhu, Wee-Yeh Tan, Andrew E. Santosa, Roland H. C. Yap
2000 — conf
A Fast Algorithm for Scheduling Instructions with Deadline Constraints on RISC Processors.
IEEE PACT
Hui Wu, Joxan Jaffar, Roland H. C. Yap
2000 A conf
Arc Consistency on
CP
Yuanlin Zhang, Roland H. C. Yap
2000 B conf
Concurrent Programming Made Easy.
ICECCS
Rafael Ramírez, Andrew E. Santosa, Roland H. C. Yap
2000 A conf
Instruction Scheduling with Timing Constraints on a Single RISC Processor with 0/1 Latencies.
CP
Hui Wu, Joxan Jaffar, Roland H. C. Yap
2000 — conf
Solving Hierarchical Constraints over Finite Domains.
AI&M
Martin Henz, Yun Fong Lim, Lua Seet Chong, Shi Xiao Ping, J. Paul Walser, Roland H. C. Yap
1999 — ed.
Advances in Computing Science - ASIAN'99, 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999, Proceedings
ASIAN
P. S. Thiagarajan, Roland H. C. Yap
1999 B conf
Finding Fair Allocations for the Coalition Problem with Constraints.
ICLP
Evan Tick, Roland H. C. Yap, Michael J. Maher
1999 — conf
Functional Elimination and 0/1/All Constraints.
AAAI/IAAI
Yuanlin Zhang, Roland H. C. Yap, Joxan Jaffar
1998 A conf
Early Projection in CLP(R).
CP
Andreas Fordan, Roland H. C. Yap
1998 A conf
Open Constraint Programming.
CP
Joxan Jaffar, Roland H. C. Yap
1998 J jnl
Optimizing Compilation of CLP(R).
ACM Trans. Program. Lang. Syst.
Andrew D. Kelly, Kim Marriott, Andrew D. Macdonald, Peter J. Stuckey, Roland H. C. Yap
1998 — conf
Towards Early Projection in CLP(R).
IJCSLP
Andreas Fordan, Roland H. C. Yap
1997 J jnl
Constraint Programming 2000: A Position Paper.
Constraints An Int. J.
Joxan Jaffar, Roland H. C. Yap
1997 B conf
Forward and Backward Chaining in Constraint Programming (Abstract).
LPNMR
Joxan Jaffar, Bing Liu, Roland H. C. Yap
1997 J jnl
Meta-Programming in CLP(R).
J. Log. Program.
Nevin Heintze, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap
1996 — ed.
Concurrency and Parallelism, Programming, Networking, and Security: Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2-5, 1996, Proceedings
ASIAN
Joxan Jaffar, Roland H. C. Yap
1996 J jnl
Constraint Programming 2000.
ACM Comput. Surv.
Joxan Jaffar, Roland H. C. Yap
1996 — conf
Effectiveness of Optimizing Compilation for CLP(R).
JICSLP
Andrew D. Kelly, Andrew D. Macdonald, Kim Marriott, Peter J. Stuckey, Roland H. C. Yap
1995 A conf
An Optimizing Compiler for CLP(R).
CP
Andrew D. Kelly, Andrew D. Macdonald, Kim Marriott, Harald Søndergaard, Peter J. Stuckey, Roland H. C. Yap
1995 B conf
Linear Equation Solving for Constraint Logic Programming.
ICLP
Jennifer Burg, Peter J. Stuckey, Jason C. H. Tai, Roland H. C. Yap
1995 J jnl
Workshop Report: Constraint languages/systems and their use in problem modelling.
Knowl. Eng. Rev.
Roland H. C. Yap
1994 — conf
Beyond Finite Domains.
PPCP
Joxan Jaffar, Michael J. Maher, Peter J. Stuckey, Roland H. C. Yap
1993 J jnl
Projecting CLP (R) Constraints.
New Gener. Comput.
Joxan Jaffar, Michael J. Maher, Peter J. Stuckey, Roland H. C. Yap
1993 — conf
Redundancy of Variables in CLP (R).
ILPS
Andrew D. Macdonald, Peter J. Stuckey, Roland H. C. Yap
1992 A* conf
An Abstract Machine for CLP(R).
PLDI
Joxan Jaffar, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap
1992 — conf
Output in CLP.
FGCS
Joxan Jaffar, Michael J. Maher, Peter J. Stuckey, Roland H. C. Yap
1992 J jnl
The CLP(R) Language and System.
ACM Trans. Program. Lang. Syst.
Joxan Jaffar, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap
1991 A* conf
A Methodology for Managing Hard Constraints in CLP Systems.
PLDI
Joxan Jaffar, Spiro Michaylov, Roland H. C. Yap
1991 B conf
Restriction Site Mapping in CLP(R).
ICLP
Roland H. C. Yap
1991 — conf
The CLP(R) language and system: an overview.
Compcon
Joxan Jaffar, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap
1989 — conf
On Meta-Programming in CLR(R).
NACLP
Nevin Heintze, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap
1987 J jnl
Constraint Logic Programming and Option Trading.
IEEE Expert
Catherine Lassez, Ken McAloon, Roland H. C. Yap