Filter
Conference contribution

Search results

  • Using automated state space planning for effective management of visual information and learner’s attention in virtual reality

    Ladeinde, O., Razzaque, M. A. & Han, T. A., 24 Aug 2019, (E-pub ahead of print) Intelligent Systems and Applications - Proceedings of the 2019 Intelligent Systems Conference IntelliSys Volume 2. Bi, Y., Bhatia, R. & Kapoor, S. (eds.). Springer-Verlag, Vol. 1038. p. 24-40 17 p. 231009. (Advances in Intelligent Systems and Computing; vol. 1038).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    85 Downloads (Pure)
  • Verifying BPEL-Like Programs with Hoare Logic

    Luo, C., Qin, S. & Qiu, Z., 2008, Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, TASE 2008, June 17-19, 2008, Nanjing, China. IEEE

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Verifying safety policies with size properties and alias controls

    Chin, W-N., Khoo, S-C., Qin, S., Popeea, C. & Nguyen, H. H., 2005, Proceedings - 27th international conference on software engineering. New York: ACM, p. 186-195

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    158 Downloads (Pure)
  • Verifying Simulink diagrams via a Hybrid Hoare Logic Prover

    Zou, L., Zhany, N., Wang, S., Fränzle, M. & Qin, S., 2013, 2013 Proceedings of the International Conference on Embedded Software (EMSOFT). IEEE

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Where's the story? Forms of interactive narrative in current digital games and other digital forms

    Koenitz, H., Haahr, M., Ferri, G., Sezen, T. I. & Sezen, D., 2012, Interactive Storytelling: ICIDS 2012. Oyarzun, D., Peinado, F., Young, R. M., Elizalde, A. & Méndez, G. (eds.). Springer, p. 214-215 2 p. (Lecture Notes in Computer Science; vol. 7648).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Word Segmentation for Chinese Judicial Documents

    Yao, L., Ge, J., Li, C., Yao, Y., Li, Z., Zeng, J., Luo, B. & Chang, V., 13 Sep 2019, Data Science - 5th International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2019, Proceedings. Cheng, X., Jing, W., Song, X. & Lu, Z. (eds.). Springer-Verlag, p. 466-478 13 p. (Communications in Computer and Information Science; vol. 1058).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution