Real-time passenger bus routing problems with preferences and tradeoffs
Effendy, Suhendry, Yap, Roland H. C.
Published in Annals of mathematics and artificial intelligence (01.06.2023)
Published in Annals of mathematics and artificial intelligence (01.06.2023)
Get full text
Journal Article
Benchmarking Symbolic Execution Using Constraint Problems - Initial Results
Verma, Sahil, Yap, Roland H.C.
Published in 2019 IEEE 31st International Conference on Tools with Artificial Intelligence (ICTAI) (01.11.2019)
Published in 2019 IEEE 31st International Conference on Tools with Artificial Intelligence (ICTAI) (01.11.2019)
Get full text
Conference Proceeding
Applying deep reinforcement learning to the HP model for protein structure prediction
Yang, Kaiyuan, Huang, Houjing, Vandans, Olafs, Murali, Adithya, Tian, Fujia, Yap, Roland H.C., Dai, Liang
Published in Physica A (01.01.2023)
Published in Physica A (01.01.2023)
Get full text
Journal Article
STR3: A path-optimal filtering algorithm for table constraints
Lecoutre, Christophe, Likitvivatanavong, Chavalit, Yap, Roland H.C.
Published in Artificial intelligence (01.03.2015)
Published in Artificial intelligence (01.03.2015)
Get full text
Journal Article
RoppDroid: Robust permission re-delegation prevention in Android inter-component communication
Dai, Ting, Li, Xiaolei, Hassanshahi, Behnaz, Yap, Roland H.C., Liang, Zhenkai
Published in Computers & security (01.07.2017)
Published in Computers & security (01.07.2017)
Get full text
Journal Article
Detecting Logic Bugs in Graph Database Management Systems via Injective and Surjective Graph Query Transformation
Jiang, Yuancheng, Liu, Jiahao, Ba, Jinsheng, Yap, Roland H.C., Liang, Zhenkai, Rigger, Manuel
Published in 2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE) (14.04.2024)
Published in 2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE) (14.04.2024)
Get full text
Conference Proceeding
R opp D roid : Robust permission re-delegation prevention in Android inter-component communication
Dai, Ting, Li, Xiaolei, Hassanshahi, Behnaz, Yap, Roland H.C., Liang, Zhenkai
Published in Computers & security (01.07.2017)
Published in Computers & security (01.07.2017)
Get full text
Journal Article
The Strong Link Graph for Enhancing Sybil Defenses
Effendy, Suhendry, Yap, Roland H. C.
Published in 2017 IEEE 37th International Conference on Distributed Computing Systems (ICDCS) (01.06.2017)
Published in 2017 IEEE 37th International Conference on Distributed Computing Systems (ICDCS) (01.06.2017)
Get full text
Conference Proceeding
Shape Neutral Analysis of Graph-based Data-structures
DUCK, GREGORY J., JAFFAR, JOXAN, YAP, ROLAND H. C.
Published in Theory and practice of logic programming (01.07.2018)
Published in Theory and practice of logic programming (01.07.2018)
Get full text
Journal Article
An optimal coarse-grained arc consistency algorithm
Bessière, Christian, Régin, Jean-Charles, Yap, Roland H.C., Zhang, Yuanlin
Published in Artificial intelligence (01.07.2005)
Published in Artificial intelligence (01.07.2005)
Get full text
Journal Article
Improving the lower bound of simple tabular reduction
Lecoutre, Christophe, Likitvivatanavong, Chavalit, Yap, Roland H. C.
Published in Constraints : an international journal (01.01.2015)
Published in Constraints : an international journal (01.01.2015)
Get full text
Journal Article