Search results

  • 2011

    Compulsion

    Haillay, S., 2011

    Research output: Non-textual formDigital or Visual Products

  • Context-dependent incremental intention recognition through bayesian network model construction

    Anh, H. T. & Pereira, L. M., 14 Jul 2011, In: CEUR Workshop Proceedings. 818, p. 50-58 9 p.

    Research output: Contribution to journalConference articlepeer-review

    8 Citations (Scopus)
  • Games and Education: Reward Mechanisms, Framing Mechanisms, and Identities

    Sturrock, I., Grout, V., Picking, R., Gossman, P. & MacCallum-Stewart, E., 2011, SEIN2011: Proceedings of the Seventh Collaborative Research Symposium on Security, E-learning, Internet and Networking. University of Plymouth Press

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

  • The Beaten: A short film by Simon McKeown

    McKeown, S., 2011

    Research output: Non-textual formDigital or Visual Products

  • Towards an Axiomatic Verification System for JavaScript

    Qin, S., Chawdhary, A., Xiong, W., Munro, M., Qiu, Z. & Zhu, H., 2011, 2011 Fifth International Conference on Theoretical Aspects of Software Engineering. IEEE

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

  • Towards a unified theory for interactive digital storytelling - Classifying artifacts: A workshop at ICIDS 2011

    Koenitz, H., Haahr, M., Ferri, G. & Sezen, T. I., 2011, Interactive Storytelling: ICIDS 2011. Si, M., Thue, D., André, E., Lester, J. C., Tanenbaum, J. & Zammitto, V. (eds.). Springer, p. 360-361 2 p. (Lecture Notes in Computer Science; vol. 7069).

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

  • Transmedia a la Turk

    Sezen, T. & Sezen, D., 2011.

    Research output: Contribution to conferenceAbstractpeer-review

  • 2010

    2PDA: Two-phase data approximation in wireless sensor network

    Kamal, A. R. M., Razzaque, M. A. A. & Nixon, P., 20 Dec 2010, PE-WASUN'10 - Proceedings of the 7th ACM Symposium on Performance Evaluation of Wireless Ad Hoc, Sensor, and Ubiquitous Networks, Co-located with MSWiM'10. p. 1-8 8 p. 1868591. (PE-WASUN'10 - Proceedings of the 7th ACM Symposium on Performance Evaluation of Wireless Ad Hoc, Sensor, and Ubiquitous Networks, Co-located with MSWiM'10).

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

    4 Citations (Scopus)
  • All for Claire

    McKeown, S., 2010

    Research output: Non-textual formDigital or Visual Products

  • Disability, accessibility and adaptive electronic support

    Green, S. J. & Pearson, E. J., 28 Feb 2010, Electronic performance support: : Using technology to enhance human performance. van Schaik, P. & Barker, P. (eds.). Ashgate

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Enhancement of self-organisation in wireless networking through a cross-layer approach

    Razzaque, M. A., Dobson, S. & Nixon, P., 1 Dec 2010, Ad Hoc Networks - First International Conference, ADHOCNETS 2009, Revised Selected Papers. p. 144-159 16 p. (Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering; vol. 28 LNICST).

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

    3 Citations (Scopus)
  • Intention Recognition with Evolution Prospection and Causal Bayesian Networks

    Pereira, L. M. & Han, T. A., 30 Nov 2010, Computational Intelligence for Engineering Systems: Emergent Applications. Madureira, A., Ferreira, J. & Vale, Z. (eds.). Springer, p. 1-33 33 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Probabilistic choice, reversibility, loops, and miracles

    Stoddart, B., Bell, P. & Qin, S. (Editor), 2010, Lecture Notes in Computer Science. Shengchao, Q. (ed.). Springer Verlag, Vol. 6445.

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

    Open Access
    File
    240 Downloads (Pure)
  • Self-Made

    Haillay, S., 2010

    Research output: Non-textual formDigital or Visual Products

  • Towards a shared vocabulary for interactive digital storytelling: A workshop at ICIDS 2010

    Koenitz, H., Haahr, M., Ferri, G. & Sezen, T. I., 2010, Interactive Storytelling: ICIDS 2010. Aylett, R., Lim, M. Y., Louchart, S., Petta, P. & Riedl, M. (eds.). Springer, p. 293-294 2 p. (Lecture Notes in Computer Science; vol. 6432).

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

  • Towards Encoding Background Knowledge with Temporal Extent into Neural Networks

    Anh, H. T. & Marques, N. C., 2010, Knowledge Science, Engineering and Management. KSEM 2010. Bi, Y. & Williams, M. (eds.). Springer, p. 63-75 (Lecture Notes in Computer Science; vol. 6291).

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

  • 2009

    An Interval-Based Inference of Variant Parametric Types

    Craciun, F., Chin, W.-N., He, G. & Qin, S., 2009, Programming Languages and Systems. ESOP 2009. Castagna, G. (ed.). Springer Berlin, p. 112-127 (Lecture Notes in Computer Science; vol. 5502).

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

  • Do we need a new narratology for interactive digital storytelling? A workshop on theory at ICIDS 2009

    Koenitz, H., Haahr, M., Ferri, G. & Sezen, T. I., 2009, Interactive Storytelling: ICIDS 2009. Zagalo, I. A., Zagalo, N. & Petta, P. (eds.). Springer, p. 354=355 2 p. (Lecture Notes in Computer Science; vol. 5915).

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

  • Evolution Prospection in Decision Making

    Pereira, L. M. & Han, T. A., 9 Oct 2009, In: Intelligent Decision Technologies. 3, 3, p. 157-171 15 p.

    Research output: Contribution to journalArticlepeer-review

  • Intention Recognition via Causal Bayes Networks Plus Plan Generation

    Pereira, L. M. & Anh, H. T., 2009, Progress in Artificial Intelligence. EPIA 2009.. Lopes, L., Lau, N., Mariano, P. & Rocha, L. (eds.). Springer, p. 138-149 12 p. (Lecture Notes in Computer Science; vol. 5816).

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

  • Jade

    Haillay, S., 2009

    Research output: Non-textual formDigital or Visual Products

  • Learning Local Components to Understand Large Bayesian Networks

    Zeng, Y., Xiang, Y., H., J. C. & Lin, Y., Dec 2009, p. 1076-1081. 6 p.

    Research output: Contribution to conferencePaperpeer-review

    Open Access
    File
    175 Downloads (Pure)
  • Memory Usage Verification Using Hip/Sleek

    He, G., Qin, S., Luo, C. & Chin, W.-N., 2009, Automated Technology for Verification and Analysis. ATVA 2009. Liu, Z. & Ravn, A. P. (eds.). Springer Berlin, Vol. 5799. p. 166-181 (Lecture Notes in Computer Science; vol. 5799).

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

  • Motion Disabled

    McKeown, S., 24 Jan 2009

    Research output: Non-textual formDigital or Visual Products

  • PTSC: probability, time and shared-variable concurrency

    Zhu, H., Qin, S., He, J. & Bowen, J. P., 11 Aug 2009, In: Innovations in Systems and Software Engineering. 5, 4

    Research output: Contribution to journalArticlepeer-review

  • Sunday

    Haillay, S., 2009

    Research output: Non-textual formDigital or Visual Products

  • 2008

    Analysing memory resource bounds for low-level programs

    Chin, W.-N., Nguyen, H. H., Popeea, C. & Qin, S., 2008, Proceedings of the 7th international symposium on Memory management. ACM, p. 151-160

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

  • An implementation of extended P-log using XASP

    Han, T. A., Ramli, C. K. & Damásio, C. V., 2008, Logic Programming. ICLP 2008. Garcia de la Banda, M. & Pontelli , E. (eds.). Springer, p. 738-743 6 p. ( Lecture Notes in Computer Science; vol. 5366).

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

  • A vision for truly adaptable and accessible learning objects

    Gkatzidou, S. & Pearson, E. J., 2008, Proceedings ASCILITE Australasian Society for Computers in Learning in Tertiary Education. Australasian Society for Computers in Learning and Tertiary Education, p. 340-342

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

    Open Access
    File
    32 Downloads (Pure)
  • Better Things

    Haillay, S., 2008

    Research output: Non-textual formDigital or Visual Products

  • Could PLE's be the future: from institutional control to student control

    Corfield, G., Green, S. J. & Pearson, E. J., 2008, Proceedings of the 9th annual conference of the subject centre for information and computer sciences. HE Academy, Subject Centre for ICS, p. 134-139

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

  • Cross-layer self routing: A self-managed routing approach for MANETs

    Razzaque, M. A., Dobson, S. & Nixon, P., 1 Dec 2008, Proceedings - 4th IEEE International Conference on Wireless and Mobile Computing, Networking and Communication, WiMob 2008. p. 284-290 7 p. 4654250. (Proceedings - 4th IEEE International Conference on Wireless and Mobile Computing, Networking and Communication, WiMob 2008).

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

    6 Citations (Scopus)
  • Enhancing modular OO verification with separation logic

    Chin, W.-N., David, C., Nguyen, H. H. & Qin, S., 2008, Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008, San Francisco, California, USA, January 7-12, 2008. ACM, p. 87-99

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

  • Lamb

    Haillay, S., 2008

    Research output: Non-textual formDigital or Visual Products

  • Separation Logic for Multiple Inheritance

    Qin, S. & Luo, C., 2008, In: Electronic Notes in Theoretical Computer Science. 212, p. 27-40

    Research output: Contribution to journalArticlepeer-review

    Open Access
  • Timed Automata Patterns

    Dong, J. S., Hao, P., Qin, S., Sun, J. & Wang Yi, 2008, In: IEEE Transactions on Software Engineering. 34, 6, p. 844-859

    Research output: Contribution to journalArticlepeer-review

    Open Access
    File
    54 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

  • 2007

    Alice and Her Arse Truck

    Haillay, S., 2007

    Research output: Non-textual formDigital or Visual Products

  • Classification and modeling of the quality of contextual information

    Razzaque, M. A., Dobson, S. & Nixon, P., 2007, In: IEEE TCAAS Letters.

    Research output: Contribution to journalArticlepeer-review

    File
    49 Downloads (Pure)
  • Context awareness through cross-layer network architecture

    Razzaque, M. A., Dobson, S. & Nixon, P., 1 Dec 2007, Proceedings of 16th International Conference on Computer Communications and Networks 2007, ICCCN 2007. p. 1076-1081 6 p. 4317961. (Proceedings - International Conference on Computer Communications and Networks, ICCCN).

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

    3 Citations (Scopus)
  • Cross-layer architectures for autonomic communications

    Razzaque, M. A., Dobson, S. & Nixon, P., 1 Mar 2007, In: Journal of Network and Systems Management. 15, 1, p. 13-27 15 p.

    Research output: Contribution to journalArticlepeer-review

    21 Citations (Scopus)
  • Cross-layer Optimisations for Autonomic Networks

    Razzaque, M. A., Dobson, S. & Nixon, P., 2007, Advanced Autonomic Networking and Communication. Whitestein Series in Software Agent Technologies and Autonomic Computing. . Calisti, M., van der Meer , S. & Strassner, J. (eds.). Birkhauser Verlag Basel, p. 127-148

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • 2006

    A cross-layer architecture for autonomic communications

    Razzaque, M. A., Dobson, S. & Nixon, P., 1 Jan 2006, Autonomic Networking - First International IFIP TC6 Conference, AN 2006, Proceedings. Gaïti, D., Al-Shaer, E., Calvert, K., Pujolle, G., Leduc, G., Martikainen, O. & Dobson, S. (eds.). Springer Verlag, p. 25-35 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4195 LNCS).

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

    10 Citations (Scopus)
  • Demonstrating the feasibility of an autonomic communication- targeted cross-layer architecture

    Razzaque, M. A., Nixon, P. & Dobson, S., 1 Dec 2006, Proceedings - 2006 14th International Conference on Advanced Computing and Communications, ADCOM 2006. p. 67-72 6 p. 4289858. (Proceedings - 2006 14th International Conference on Advanced Computing and Communications, ADCOM 2006).

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

    4 Citations (Scopus)
  • Rabbit Stories

    Haillay, S., 2006

    Research output: Non-textual formDigital or Visual Products

  • The Making of Parts

    Haillay, S., 2006

    Research output: Non-textual formDigital or Visual Products

  • 2005

    Categorisation and modelling of quality in context information

    Razzaque, M. A., Dobson, S. & Nixon, P., 2005, Proceedings of the IJCAI 2005 workshop on AI and Autonomic Communications. 10 p.

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

  • Earliest-Deadline Scheduling Using Discrete Service Bit Rates for CDMA Data Networks

    Mahmoud, A. S. H. & Razzaque, M. A., 2005, International Symposium on Wireless Communications (ISWSN'05) 2005. 5 p.

    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
    219 Downloads (Pure)
  • 2004

    An Automatic Mapping from Statecharts to Verilog

    Tran, V.-A. V., Qin, S. & Chin, W.-N., 2004, Theoretical Aspects of Computing - ICTAC 2004. Liu , Z. & Araki , K. (eds.). Springer Berlin, Vol. 3407. p. 187-203 ( Lecture Notes in Computer Science; vol. 3407).

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