Roland H. C. Yap

According to our database, Roland H. C. Yap authored at least 154 papers between 1987 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Detecting Logic Bugs in Graph Database Management Systems via Injective and Surjective Graph Query Transformation.

Yuancheng Jiang, Jiahao Liu, Jinsheng Ba, Roland H. C. Yap, Zhenkai Liang, Manuel Rigger

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

2023

Real-time passenger bus routing problems with preferences and tradeoffs.

Suhendry Effendy, Roland H. C. Yap

Ann. Math. Artif. Intell., June, 2023

A Comparison of SAT Encodings for Acyclicity of Directed Graphs.

Neng-Fa Zhou, Ruiwei Wang, Roland H. C. Yap

Proceedings of the 26th International Conference on Theory and Applications of Satisfiability Testing, 2023

The Expressive Power of Ad-Hoc Constraints for Modelling CSPs.

Ruiwei Wang, Roland H. C. Yap

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

Fast Converging Anytime Model Counting.

Yong Lai, Kuldeep S. Meel, Roland H. C. Yap

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Applying Deep Reinforcement Learning to the HP Model for Protein Structure Prediction.

Kaiyuan Yang, Houjing Huang, Olafs Vandans, Adithya Murali, Fujia Tian, Roland H. C. Yap, Liang Dai

CoRR, 2022

CCDD: A Tractable Representation for Model Counting and Uniform Sampling.

Yong Lai, Kuldeep S. Meel, Roland H. C. Yap

CoRR, 2022

Hardening binaries against more memory errors.

Gregory J. Duck, Yuntong Zhang, Roland H. C. Yap

Proceedings of the EuroSys '22: Seventeenth European Conference on Computer Systems, Rennes, France, April 5, 2022

Extensible Virtual Call Integrity.

Yuancheng Jiang, Gregory J. Duck, Roland H. C. Yap, Zhenkai Liang, Pinghai Yuan

Proceedings of the Computer Security - ESORICS 2022, 2022

CNF Encodings of Binary Constraint Trees.

Ruiwei Wang, Roland H. C. Yap

Proceedings of the 28th International Conference on Principles and Practice of Constraint Programming, 2022

RecIPE: Revisiting the Evaluation of Memory Error Defenses.

Yuancheng Jiang, Roland H. C. Yap, Zhenkai Liang, Hubert Rosier

Proceedings of the ASIA CCS '22: ACM Asia Conference on Computer and Communications Security, Nagasaki, Japan, 30 May 2022, 2022

Encoding Multi-Valued Decision Diagram Constraints as Binary Constraint Trees.

Ruiwei Wang, Roland H. C. Yap

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

An Efficient Heuristic for Passenger Bus VRP with Preferences and Tradeoffs.

Suhendry Effendy, Ngo Bao Chau, Roland H. C. Yap

Proceedings of the Learning and Intelligent Optimization - 15th International Conference, 2021

The Power of Literal Equivalence in Model Counting.

Yong Lai, Kuldeep S. Meel, Roland H. C. Yap

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Towards Certifying Trustworthy Machine Learning Systems.

Roland H. C. Yap

Proceedings of the Trustworthy AI - Integrating Learning, Optimization and Reasoning, 2020

Bipartite Encoding: A New Binary Encoding for Solving Non-Binary CSPs.

Ruiwei Wang, Roland H. C. Yap

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

A Hybrid Dynamic Arity Search Heuristic for Constraint Programming.

Wei Xia, Roland H. C. Yap

Proceedings of the 32nd IEEE International Conference on Tools with Artificial Intelligence, 2020

Generalized Arc Consistency Algorithms for Table Constraints: A Summary of Algorithmic Ideas.

Roland H. C. Yap, Wei Xia, Ruiwei Wang

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Benchmarking Symbolic Execution Using Constraint Problems - Initial Results.

Sahil Verma, Roland H. C. Yap

Proceedings of the 31st IEEE International Conference on Tools with Artificial Intelligence, 2019

Arc Consistency Revisited.

Ruiwei Wang, Roland H. C. Yap

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2019

2018

Shape Neutral Analysis of Graph-based Data-structures.

Gregory J. Duck, Joxan Jaffar, Roland H. C. Yap

Theory Pract. Log. Program., 2018

An Extended Low Fat Allocator API and Applications.

Gregory J. Duck, Roland H. C. Yap

CoRR, 2018

EffectiveSan: type and memory error detection using dynamically typed C/C++.

Gregory J. Duck, Roland H. C. Yap

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

Learning Robust Search Strategies Using a Bandit-Based Approach.

Wei Xia, Roland H. C. Yap

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017

RoppDroid: Robust permission re-delegation prevention in Android inter-component communication.

Ting Dai, Xiaolei Li, Behnaz Hassanshahi, Roland H. C. Yap, Zhenkai Liang

Comput. Secur., 2017

Analysing Trends in Computer Science Research: A Preliminary Study Using The Microsoft Academic Graph.

Suhendry Effendy, Roland H. C. Yap

Proceedings of the 26th International Conference on World Wide Web Companion, 2017

Stack Bounds Protection with Low Fat Pointers.

Gregory J. Duck, Roland H. C. Yap, Lorenzo Cavallaro

Proceedings of the 24th Annual Network and Distributed System Security Symposium, 2017

Correlation Heuristics for Constraint Programming.

Ruiwei Wang, Wei Xia, Roland H. C. Yap

Proceedings of the 29th IEEE International Conference on Tools with Artificial Intelligence, 2017

The Strong Link Graph for Enhancing Sybil Defenses.

Suhendry Effendy, Roland H. C. Yap

Proceedings of the 37th IEEE International Conference on Distributed Computing Systems, 2017

Android Database Attacks Revisited.

Behnaz Hassanshahi, Roland H. C. Yap

Proceedings of the 2017 ACM on Asia Conference on Computer and Communications Security, 2017

Using Community Structure to Categorize Computer Science Conferences: Initial Results.

Suhendry Effendy, Roland H. C. Yap

Proceedings of the 2017 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining 2017, Sydney, Australia, July 31, 2017

2016

Investigations on Rating Computer Sciences Conferences: An Experiment with the Microsoft Academic Graph Dataset.

Suhendry Effendy, Roland H. C. Yap

Proceedings of the 25th International Conference on World Wide Web, 2016

Optimizing Simple Tabular Reduction with a Bitwise Representation.

Ruiwei Wang, Wei Xia, Roland H. C. Yap, Zhanshan Li

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

The Problem of Categorizing Conferences in Computer Science.

Suhendry Effendy, Roland H. C. Yap

Proceedings of the Research and Advanced Technology for Digital Libraries, 2016

Inferring the Detection Logic and Evaluating the Effectiveness of Android Anti-Virus Apps.

Zhenquan Cai, Roland H. C. Yap

Proceedings of the Sixth ACM on Conference on Data and Application Security and Privacy, 2016

Heap bounds protection with low fat pointers.

Gregory J. Duck, Roland H. C. Yap

Proceedings of the 25th International Conference on Compiler Construction, 2016

Detecting Malware Through Anti-analysis Signals - A Preliminary Study.

Joash W. J. Tan, Roland H. C. Yap

Proceedings of the Cryptology and Network Security - 15th International Conference, 2016

2015

Improving the lower bound of simple tabular reduction.

Christophe Lecoutre, Chavalit Likitvivatanavong, Roland H. C. Yap

Constraints An Int. J., 2015

STR3: A path-optimal filtering algorithm for table constraints.

Christophe Lecoutre, Chavalit Likitvivatanavong, Roland H. C. Yap

Artif. Intell., 2015

Decomposition of the Factor Encoding for CSPs.

Chavalit Likitvivatanavong, Wei Xia, Roland H. C. Yap

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Simple and Practical Integrity Models for Binaries and Files.

Yongzheng Wu, Roland H. C. Yap

Proceedings of the Trust Management IX - 9th IFIP WG 11.11 International Conference, 2015

Web-to-Application Injection Attacks on Android: Characterization and Detection.

Behnaz Hassanshahi, Yaoqi Jia, Roland H. C. Yap, Prateek Saxena, Zhenkai Liang

Proceedings of the Computer Security - ESORICS 2015, 2015

2014

Experiments on Rating Conferences with CORE and DBLP.

Irvan Jahja, Suhendry Effendy, Roland H. C. Yap

D Lib Mag., 2014

Relatedness measures between conferences in computer science: a preliminary study based on DBLP.

Suhendry Effendy, Irvan Jahja, Roland H. C. Yap

Proceedings of the 23rd International World Wide Web Conference, 2014

Understanding Complex Binary Loading Behaviors.

Ting Dai, Mingwei Zhang, Roland H. C. Yap, Zhenkai Liang

Proceedings of the 2014 19th International Conference on Engineering of Complex Computer Systems, 2014

Higher-Order Consistencies through GAC on Factor Variables.

Chavalit Likitvivatanavong, Wei Xia, Roland H. C. Yap

Proceedings of the Principles and Practice of Constraint Programming, 2014

Tagged-MapReduce: A General Framework for Secure Computing with Mixed-Sensitivity Data on Hybrid Clouds.

Chunwang Zhang, Ee-Chien Chang, Roland H. C. Yap

Proceedings of the 14th IEEE/ACM International Symposium on Cluster, 2014

2013

Many-to-many interchangeable sets of values in CSPs.

Chavalit Likitvivatanavong, Roland H. C. Yap

Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

JNICodejail: native code isolation for Java programs.

Behnaz Hassanshahi, Roland H. C. Yap

Proceedings of the 2013 International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, 2013

Optimizing STR Algorithms with Tuple Compression.

Wei Xia, Roland H. C. Yap

Proceedings of the Principles and Practice of Constraint Programming, 2013

Towards a general framework for secure MapReduce computation on hybrid clouds.

Chunwang Zhang, Ee-Chien Chang, Roland H. C. Yap

Proceedings of the ACM Symposium on Cloud Computing, SOCC '13, 2013

2012

Stochastic Database Cracking: Towards Robust Adaptive Indexing in Main-Memory Column-Stores.

Felix Halim, Stratos Idreos, Panagiotis Karras, Roland H. C. Yap

Proc. VLDB Endow., 2012

Detecting and Preventing ActiveX API-Misuse Vulnerabilities in Internet Explorer.

Ting Dai, Sai Sathyanarayan, Roland H. C. Yap, Zhenkai Liang

Proceedings of the Information and Communications Security - 14th International Conference, 2012

Codejail: Application-Transparent Isolation of Libraries with Tight Program Interactions.

Yongzheng Wu, Sai Sathyanarayan, Roland H. C. Yap, Zhenkai Liang

Proceedings of the Computer Security - ESORICS 2012, 2012

A Path-Optimal GAC Algorithm for Table Constraints.

Christophe Lecoutre, Chavalit Likitvivatanavong, Roland H. C. Yap

Proceedings of the ECAI 2012, 2012

Experiments with Malware Visualization.

Yongzheng Wu, Roland H. C. Yap

Proceedings of the Detection of Intrusions and Malware, and Vulnerability Assessment, 2012

Space-Time Tradeoffs for the Regular Constraint.

Kenil C. K. Cheng, Wei Xia, Roland H. C. Yap

Proceedings of the Principles and Practice of Constraint Programming, 2012

Revisiting link privacy in social networks.

Suhendry Effendy, Roland H. C. Yap, Felix Halim

Proceedings of the Second ACM Conference on Data and Application Security and Privacy, 2012

2011

Solving functional constraints by variable substitution.

Yuanlin Zhang, Roland H. C. Yap

Theory Pract. Log. Program., 2011

Enhancing host security using external environment sensors.

Ee-Chien Chang, Liming Lu, Yongzheng Wu, Roland H. C. Yap, Jie Yu

Int. J. Inf. Sec., 2011

Trusted Principal-Hosted Certificate Revocation.

Sufatrio, Roland H. C. Yap

Proceedings of the Trust Management V, 5th IFIP WG 11.11 International Conference, 2011

A MapReduce-Based Maximum-Flow Algorithm for Large Small-World Network Graphs.

Felix Halim, Roland H. C. Yap, Yongzheng Wu

Proceedings of the 2011 International Conference on Distributed Computing Systems, 2011

Quantifying the Effects of More Timely Certificate Revocation on Lightweight Mobile Devices.

Sufatrio, Roland H. C. Yap

Proceedings of the Third International Workshop on Security Measurements and Metrics, 2011

Partial Social Network Disclosure and Crawlers.

Suhendry Effendy, Felix Halim, Roland H. C. Yap

Proceedings of the IEEE Ninth International Conference on Dependable, 2011

Towards a binary integrity system for windows.

Yongzheng Wu, Roland H. C. Yap

Proceedings of the 6th ACM Symposium on Information, Computer and Communications Security, 2011

2010

An 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 An Int. J., 2010

The Problem of Usable Binary Authentication.

Yongzheng Wu, Roland H. C. Yap

Proceedings of the Fourth International Conference on Secure Software Integration and Reliability Improvement, 2010

Visualizing windows system traces.

Yongzheng Wu, Roland H. C. Yap, Felix Halim

Proceedings of the ACM 2010 Symposium on Software Visualization, 2010

Routing in the Watts and Strogatz Small World Networks Revisited.

Felix Halim, Yongzheng Wu, Roland H. C. Yap

Proceedings of the Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2010

Comprehending module dependencies and sharing.

Yongzheng Wu, Roland H. C. Yap, Rajiv Ramnath

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

Local Search in Histogram Construction.

Felix Halim, Panagiotis Karras, Roland H. C. Yap

Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010

2009

Wiki credibility enhancement.

Felix Halim, Yongzheng Wu, Roland H. C. Yap

Proceedings of the 2009 International Symposium on Wikis, 2009

A Hierarchy of Tractable Subclasses for SAT and Counting SAT Problems.

Stefan Andrei, Gheorghe Grigoras, Martin C. Rinard, Roland H. C. Yap

Proceedings of the 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2009

An Usability Study of Continuous Biometrics Authentication.

Geraldine Kwang, Roland H. C. Yap, Terence Sim, Rajiv Ramnath

Proceedings of the Advances in Biometrics, Third International Conference, 2009

Fast and effective histogram construction.

Felix Halim, Panagiotis Karras, Roland H. C. Yap

Proceedings of the 18th ACM Conference on Information and Knowledge Management, 2009

2008

Small World Networks as (Semi)-Structured Overlay Networks.

Felix Halim, Yongzheng Wu, Roland H. C. Yap

Proceedings of the Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2008

Security Issues in Small World Network Routing.

Felix Halim, Yongzheng Wu, Roland H. C. Yap

Proceedings of the Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2008

Extending BAN Logic for Reasoning with Modern PKI-Based Protocols.

Sufatrio, Roland H. C. Yap

Proceedings of the IFIP International Conference on Network and Parallel Computing, 2008

A Lightweight Binary Authentication System for Windows.

Felix Halim, Rajiv Ramnath, Sufatrio, Yongzheng Wu, Roland H. C. Yap

Proceedings of the Trust Management II, 2008

Efficient Algorithms for Functional Constraints.

Yuanlin Zhang, Roland H. C. Yap, Chendong Li, Satyanarayana Marisetti

Proceedings of the Logic Programming, 24th International Conference, 2008

An Elimination Algorithm for Functional Constraints.

Yuanlin Zhang, Roland H. C. Yap, Chendong Li, Satyanarayana Marisetti

Proceedings of the Principles and Practice of Constraint Programming, 2008

Engineering Stochastic Local Search for the Low Autocorrelation Binary Sequence Problem.

Steven Halim, Roland H. C. Yap, Felix Halim

Proceedings of the Principles and Practice of Constraint Programming, 2008

Search Space Reduction for Constraint Optimization Problems.

Kenil C. K. Cheng, Roland H. C. Yap

Proceedings of the Principles and Practice of Constraint Programming, 2008

Maintaining Generalized Arc Consistency on Ad Hoc r-Ary Constraints.

Kenil C. K. Cheng, Roland H. C. Yap

Proceedings of the Principles and Practice of Constraint Programming, 2008

A Refutation Approach to Neighborhood Interchangeability in CSPs.

Chavalit Likitvivatanavong, Roland H. C. Yap

Proceedings of the AI 2008: Advances in Artificial Intelligence, 2008

2007

Approximate Satisfiability Counting.

Stefan Andrei, Gabriel Manolache, Roland H. C. Yap, Victor Felea

Proceedings of the Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2007

Designing and Tuning SLS Through Animation and Graphics: An Extended Walk-Through.

Steven Halim, Roland H. C. Yap

Proceedings of the Engineering Stochastic Local Search Algorithms. Designing, 2007

Self 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

Proceedings of the Formal Methods for Components and Objects, 6th International Symposium, 2007

An Integrated White+Black Box Approach for Designing and Tuning Stochastic Local Search.

Steven Halim, Roland H. C. Yap, Hoong Chuin Lau

Proceedings of the Principles and Practice of Constraint Programming, 2007

Generalized Committed Choice.

Joxan Jaffar, Roland H. C. Yap, Kenny Qili Zhu

Proceedings of the Coordination Models and Languages, 9th International Conference, 2007

Search Space Reduction and Russian Doll Search.

Kenil C. K. Cheng, Roland H. C. Yap

Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006

Set Intersection and Consistency in Constraint Networks.

Yuanlin Zhang, Roland H. C. Yap

J. Artif. Intell. Res., 2006

Applying Ad-hoc Global Constraints with the case Constraint to Still-Life.

Kenil C. K. Cheng, Roland H. C. Yap

Constraints An Int. J., 2006

Viz: a visual analysis suite for explaining local search behavior.

Steven Halim, Roland H. C. Yap, Hoong Chuin Lau

Proceedings of the 19th Annual ACM Symposium on User Interface Software and Technology, 2006

WinResMon: A Tool for Discovering Software Dependencies, Configuration, and Requirements in Microsoft Windows.

Rajiv Ramnath, Sufatrio, Roland H. C. Yap, Yongzheng Wu

Proceedings of the 20th Conference on Systems Administration (LISA 2006), 2006

Robust Controllability of Temporal Constraint Networks under Uncertainty.

Hoong Chuin Lau, Jia Li, Roland H. C. Yap

Proceedings of the 18th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2006), 2006

Towards "Propagation = Logic + Control".

Sebastian Brand, Roland H. C. Yap

Proceedings of the Logic Programming, 22nd International Conference, 2006

Indexing for Dynamic Abstract Regions.

Joxan Jaffar, Roland H. C. Yap, Kenny Qili Zhu

Proceedings of the 22nd International Conference on Data Engineering, 2006

Visualization for Analyzing Trajectory-Based Metaheuristic Search Algorithms.

Steven Halim, Roland H. C. Yap, Hoong Chuin Lau

Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

Maintaining Generalized Arc Consistency on Ad-Hoc n-Ary Boolean Constraints.

Kenil C. K. Cheng, Roland H. C. Yap

Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

Extracting Microstructure in Binary Constraint Networks.

Chavalit Likitvivatanavong, Roland H. C. Yap

Proceedings of the Recent Advances in Constraints, 2006

2005

An optimal coarse-grained arc consistency algorithm.

Christian Bessière, Jean-Charles Régin, Roland H. C. Yap, Yuanlin Zhang

Artif. Intell., 2005

Improving Host-Based IDS with Argument Abstraction to Prevent Mimicry Attacks.

Sufatrio, Roland H. C. Yap

Proceedings of the Recent Advances in Intrusion Detection, 8th International Symposium, 2005

Coordination of Many Agents.

Joxan Jaffar, Roland H. C. Yap, Kenny Qili Zhu

Proceedings of the Logic Programming, 21st International Conference, 2005

Ad-hoc Global Constraints for Life.

Kenil C. K. Cheng, Roland H. C. Yap

Proceedings of the Principles and Practice of Constraint Programming, 2005

A User-level Framework for Auditing and Monitoring.

Yongzheng Wu, Roland H. C. Yap

Proceedings of the 21st Annual Computer Security Applications Conference (ACSAC 2005), 2005

Constrained Decision Diagrams.

Kenil C. K. Cheng, Roland H. C. Yap

Proceedings of the Proceedings, 2005

2004

Book review: Constraint Processing by Rina Dechter, Morgan Kaufmann Publishers, 2003, ISBN 1-55860-890-7.

Roland H. C. Yap

Theory Pract. Log. Program., 2004

Solving Hierarchical Constraints over Finite Domains with Local Search.

Martin Henz, Roland H. C. Yap, Yun Fong Lim, Lua Seet Chong, J. Paul Walser, Shi Xiao Ping

Ann. Math. Artif. Intell., 2004

Symbolic Execution of Behavioral Requirements.

Tao Wang, Abhik Roychoudhury, Roland H. C. Yap, S. C. Choudhary

Proceedings of the Practical Aspects of Declarative Languages, 6th International Symposium, 2004

A Machine-Oriented Vulnerability Database for Automated Vulnerability Detection and Processing.

Sufatrio, Roland H. C. Yap, Liming Zhong

Proceedings of the 18th Conference on Systems Administration (LISA 2004), 2004

Scalable Distributed Depth-First Search with Greedy Work Stealing.

Joxan Jaffar, Andrew E. Santosa, Roland H. C. Yap, Kenny Qili Zhu

Proceedings of the 16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2004), 2004

2003

Erratum: P. van Beek and R. Dechter's theorem on constraint looseness and local consistency.

Yuanlin Zhang, Roland H. C. Yap

J. ACM, 2003

Hardware Implementations of Real-Time Reconfigurable WSAT Variants.

Roland H. C. Yap, Stella Z. Q. Wang, Martin Henz

Proceedings of the Field Programmable Logic and Application, 13th International Conference, 2003

2002

5th Asian Computing Science Conference - Preface.

P. S. Thiagarajan, Roland H. C. Yap

Int. J. Found. Comput. Sci., 2002

Implementing CSAT Local Search on FPGAs.

Martin Henz, Edgar Tan, Roland H. C. Yap

Proceedings of the Field-Programmable Logic and Applications, 2002

Incrementally Solving Functional Constraints.

Yuanlin Zhang, Roland H. C. Yap

Proceedings of the Eighteenth National Conference on Artificial Intelligence and Fourteenth Conference on Innovative Applications of Artificial Intelligence, July 28, 2002

Consistency and Set Intersection.

Yuanlin Zhang, Roland H. C. Yap

Proceedings of the Eighteenth National Conference on Artificial Intelligence and Fourteenth Conference on Innovative Applications of Artificial Intelligence, July 28, 2002

2001

Parametric Sequence Alignment with Constraints.

Roland H. C. Yap

Constraints An Int. J., 2001

Introduction to the Special Issue on Bioinformatics.

David R. Gilbert, Rolf Backofen, Roland H. C. Yap

Constraints An Int. J., 2001

Automatic Information Extraction from Web Pages.

Roland H. C. Yap, Budi Rahardjo

Proceedings of the SIGIR 2001: Proceedings of the 24th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, 2001

Reactive Web Agents with Open Constraint Programming.

Kenny Qili Zhu, Wee-Yeh Tan, Andrew E. Santosa, Roland H. C. Yap

Proceedings of the Fifth International Symposium on Autonomous Decentralized Systems, 2001

Making AC-3 an Optimal Algorithm.

Yuanlin Zhang, Roland H. C. Yap

Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

One Flip per Clock Cycle.

Martin Henz, Edgar Tan, Roland H. C. Yap

Proceedings of the Principles and Practice of Constraint Programming, 2001

2000

Concurrent Programming Made Easy.

Rafael Ramírez, Andrew E. Santosa, Roland H. C. Yap

Proceedings of the 6th International Conference on Engineering of Complex Computer Systems (ICECCS 2000), 2000

Arc Consistency on <i>n</i>-ary Monotonic and Linear Constraints.

Yuanlin Zhang, Roland H. C. Yap

Proceedings of the Principles and Practice of Constraint Programming, 2000

Instruction Scheduling with Timing Constraints on a Single RISC Processor with 0/1 Latencies.

Hui Wu, Joxan Jaffar, Roland H. C. Yap

Proceedings of the Principles and Practice of Constraint Programming, 2000

Solving Hierarchical Constraints over Finite Domains.

Martin Henz, Yun Fong Lim, Lua Seet Chong, Shi Xiao Ping, J. Paul Walser, Roland H. C. Yap

Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2000

A Fast Algorithm for Scheduling Instructions with Deadline Constraints on RISC Processors.

Hui Wu, Joxan Jaffar, Roland H. C. Yap

Proceedings of the 2000 International Conference on Parallel Architectures and Compilation Techniques (PACT'00), 2000

1999

Finding Fair Allocations for the Coalition Problem with Constraints.

Evan Tick, Roland H. C. Yap, Michael J. Maher

Proceedings of the Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29, 1999

Functional Elimination and 0/1/All Constraints.

Yuanlin Zhang, Roland H. C. Yap, Joxan Jaffar

Proceedings of the Sixteenth National Conference on Artificial Intelligence and Eleventh Conference on Innovative Applications of Artificial Intelligence, 1999

1998

Optimizing Compilation of CLP(R).

Andrew D. Kelly, Kim Marriott, Andrew D. Macdonald, Peter J. Stuckey, Roland H. C. Yap

ACM Trans. Program. Lang. Syst., 1998

Towards Early Projection in CLP(R).

Andreas Fordan, Roland H. C. Yap

Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, 1998

Open Constraint Programming.

Joxan Jaffar, Roland H. C. Yap

Proceedings of the Principles and Practice of Constraint Programming, 1998

Early Projection in CLP(R).

Andreas Fordan, Roland H. C. Yap

Proceedings of the Principles and Practice of Constraint Programming, 1998

1997

Meta-Programming in CLP(R).

Nevin Heintze, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap

J. Log. Program., 1997

Constraint Programming 2000: A Position Paper.

Joxan Jaffar, Roland H. C. Yap

Constraints An Int. J., 1997

Forward and Backward Chaining in Constraint Programming (Abstract).

Joxan Jaffar, Bing Liu, Roland H. C. Yap

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1997

1996

Constraint Programming 2000.

Joxan Jaffar, Roland H. C. Yap

ACM Comput. Surv., 1996

Effectiveness of Optimizing Compilation for CLP(R).

Andrew D. Kelly, Andrew D. Macdonald, Kim Marriott, Peter J. Stuckey, Roland H. C. Yap

Proceedings of the Logic Programming, 1996

1995

Workshop Report: Constraint languages/systems and their use in problem modelling.

Roland H. C. Yap

Knowl. Eng. Rev., 1995

Linear Equation Solving for Constraint Logic Programming.

Jennifer Burg, Peter J. Stuckey, Jason C. H. Tai, Roland H. C. Yap

Proceedings of the Logic Programming, 1995

An Optimizing Compiler for CLP(R).

Andrew D. Kelly, Andrew D. Macdonald, Kim Marriott, Harald Søndergaard, Peter J. Stuckey, Roland H. C. Yap

Proceedings of the Principles and Practice of Constraint Programming, 1995

1994

Beyond Finite Domains.

Joxan Jaffar, Michael J. Maher, Peter J. Stuckey, Roland H. C. Yap

Proceedings of the Principles and Practice of Constraint Programming, 1994

1993

Projecting CLP (R) Constraints.

Joxan Jaffar, Michael J. Maher, Peter J. Stuckey, Roland H. C. Yap

New Gener. Comput., 1993

Redundancy of Variables in CLP (R).

Andrew D. Macdonald, Peter J. Stuckey, Roland H. C. Yap

Proceedings of the Logic Programming, 1993

1992

The CLP(R) Language and System.

Joxan Jaffar, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap

ACM Trans. Program. Lang. Syst., 1992

An Abstract Machine for CLP(R).

Joxan Jaffar, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap

Proceedings of the ACM SIGPLAN'92 Conference on Programming Language Design and Implementation (PLDI), 1992

Output in CLP.

Joxan Jaffar, Michael J. Maher, Peter J. Stuckey, Roland H. C. Yap

Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992

1991

A Methodology for Managing Hard Constraints in CLP Systems.

Joxan Jaffar, Spiro Michaylov, Roland H. C. Yap

Proceedings of the ACM SIGPLAN'91 Conference on Programming Language Design and Implementation (PLDI), 1991

Restriction Site Mapping in CLP(R).

Roland H. C. Yap

Proceedings of the Logic Programming, 1991

The CLP(R) language and system: an overview.

Joxan Jaffar, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap

Proceedings of the Compcon Spring '91, San Francisco, 1991

1989

On Meta-Programming in CLR(R).

Nevin Heintze, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap

Proceedings of the Logic Programming, 1989

1987

Constraint Logic Programming and Option Trading.

Catherine Lassez, Ken McAloon, Roland H. C. Yap

IEEE Expert, 1987