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

Trusted principal-hosted certificate revocation

by Sufatrio, 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

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

Experiments with malware visualization

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

JNICodejail - Native code isolation for Java programs

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

Optimizing STR algorithms with tuple compression

by Xia, W., Yap, R.H.C.
Published 2014

Making AC-3 an optimal algorithm

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

Many-to-many interchangeable sets of values in CSPs

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

Incrementally solving functional constraints

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

A user-level framework for auditing and monitoring

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

Solving functional constraints by variable substitution

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

A refutation approach to neighborhood interchangeability in CSPs

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

Automatic information extraction from web pages

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

Extracting microstructure in binary constraint networks

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