| | Issue Date | Title | Author(s) |
| 181 | 2007 | VERT: A semantic approach for content search and content extraction in XML query processing | Wu, H.; Ling, T.W. ; Chen, B. |
| 182 | 2009 | Verifying stateful timed CSP using implicit clocks and zone abstraction | Sun, J. ; Liu, Y. ; Dong, J.S. ; Zhang, X. |
| 183 | 2005 | Verifying safety policies with size properties and alias controls | Chin, W.-N. ; Khoo, S.-C.; Qin, S.; Popeea, C.; Nguyen, H.H. |
| 184 | 2010 | Verifying pointer safety for programs with unknown calls | Luo, C.; Craciun, F.; Qin, S.; He, G.; Chin, W.-N. |
| 185 | 2005 | Verifying OWL and ORL ontologies in PVS | Dong, J.S. ; Feng, Y.; Li, Y.F. |
| 186 | 2013 | Verifying linearizability via optimized refinement checking | Liu, Y.; Chen, W.; Liu, Y.A.; Sun, J.; Zhang, S.J.; Dong, J.S. |
| 187 | 2010 | Verifying heap-manipulating programs with unknown procedure calls | Qin, S.; Luo, C.; He, G.; Craciun, F.; Chin, W.-N. |
| 188 | 2007 | Verifying feature models using OWL | Wang, H.H.; Li, Y.F. ; Sun, J.; Zhang, H.; Pan, J. |
| 189 | 2004 | Verifying DAML+OIL and beyond in Z/EVES | Dong, J.S. ; Lee, C.H.; Li, Y.F. ; Wang, H. |
| 190 | 2005 | Verifying completeness of relational query results in data publishing | Pang, H.; Jain, A.; Ramamritham, K.; Tan, K.-L. |
| 191 | 2008 | Verifying completeness of relational query answers from online servers | Pang, H.; Tan, K.-L. |
| 192 | 2005 | Verify feature models using protégé-OWL | Wang, H.; Li, Y.F. ; Sun, J.; Zhang, H. |
| 193 | 21-Apr-2011 | Verification of timed process algebra and beyond | ZHANG XIAN |
| 194 | 2013 | Verification of static and dynamic barrier synchronization using bounded permissions | Le, D.-K.; Chin, W.-N. ; Teo, Y.-M. |
| 195 | 2009 | Verification of population ring protocols in PAT | Liu, Y. ; Pang, J.; Sun, J. ; Zhao, J. |
| 196 | 2011 | Verification of orchestration systems using compositional partial order reduction | Tan, T.H.; Liu, Y. ; Sun, J.; Dong, J.S. |
| 197 | 2006 | Verification of computation Orchestration via timed automata | Dong, J.S. ; Liu, Y. ; Sun, J. ; Zhang, X. |
| 198 | 2013 | Venue semantics: Multimedia topic modeling of social media contents | Nie, W.; Wang, X.; Zhao, Y.-L.; Gao, Y.; Su, Y.; Chua, T.-S. |
| 199 | 2003 | Vehicle routing problem with time windows and a limited number of vehicles | Lau, H.C. ; Sim, M.; Teo, K.M. |
| 200 | 2010 | Vector model in support of versatile georeferenced video search | Kim, S.H.; Ay, S.A.; Yu, B.; Zimmermann, R. |