Parametric sequence alignment with constraints

by Yap, R.H.C.
Published 2013

Designing and tuning SLS through animation and graphics: An extended walk-through

by Halim, S., Yap, R.H.C.
Published 2013

Towards "propagation = logic + control"

by Brand, S., Yap, R.H.C.
Published 2013

Quantifying the effects of more timely certificate revocation on lightweight mobile devices

by Sufatrio, Yap, R.H.C.
Published 2013

Trusted principal-hosted certificate revocation

by Sufatrio, Yap, R.H.C.
Published 2013

Improving host-based IDS with argument abstraction to prevent mimicry attacks

by Sufatrio, Yap, R.H.C.
Published 2013

Extending BAN logic for reasoning with modern PKI-based protocols

by Sufatrio, Yap, R.H.C.
Published 2013

Incrementally solving functional constraints

by Zhang, Y., Yap, R.H.C.
Published 2013

Automatic information extraction from web pages

by Rahardjo, B., Yap, R.H.C.
Published 2013

Consistency and set intersection

by Zhang, Y., Yap, R.H.C.
Published 2013

Experiments with malware visualization

by Wu, Y., Yap, R.H.C.
Published 2013

A user-level framework for auditing and monitoring

by Wu, Y., Yap, R.H.C.
Published 2013

A refutation approach to neighborhood interchangeability in CSPs

by Likitvivatanavong, C., Yap, R.H.C.
Published 2013

Extracting microstructure in binary constraint networks

by Likitvivatanavong, C., Yap, R.H.C.
Published 2013

Erratum: P. van Beek and R. Dechter's theorem on constraint looseness and local consistency (Journal of the ACM)

by Zhang, Y., Yap, R.H.C.
Published 2013

The problem of usable binary authentication

by Wu, Y., Yap, R.H.C.
Published 2013

Towards a binary integrity system for windows

by Wu, Y., Yap, R.H.C.
Published 2013

Constraint Programming 2000: A Position Paper

by Jaffar, J., Yap, R.H.C.
Published 2014

JNICodejail - Native code isolation for Java programs

by Hassanshahi, B., Yap, R.H.C.
Published 2014

Making AC-3 an optimal algorithm

by Zhang, Y., Yap, R.H.C.
Published 2014