Refine your results

Easily toggle selected advanced search features:

Search research publications and outputs

  1. Conference contribution › Research
  2. A Refinement Based Strategy for Local Deadlock Analysis of Networks of CSP Processes.

    Antonino, P., Sampaio, A. & Woodcock, J., 2014, FM 2014: Formal Methods : 19th International Symposium, Singapore, May 12-16, 2014. Proceedings. Jones, C., Pihlajasaari, P. & Sun, J. (eds.). SPRINGER, Vol. 8442. p. 62-77 (Lecture Notes in Computer Science; vol. 8442).

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

  3. A Study of the Challenges Related to DIY Assistive Technology in the Context of Children with Disabilities

    Hook, J. D., Verbaan, S., Durrant, A., Olivier, P. & Wright, P. C., 21 Jun 2014, DIS '14: Proceedings of the 2014 Conference on Designing Interactive Systems. New York: Association for Computing Machinery (ACM), p. 597-606

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

  4. A Unification Algorithm for GP

    Plump, D. & Hristakiev, I., 2014, Proceedings 5th International Workshop Graph Computation Models (GCM 2014). Echahed, R., Habel, A. & Mosbah, M. (eds.). GCM, p. 60-75 16 p.

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

  5. A Wormhole NoC Protocol for Mixed Criticality Systems

    Burns, A., Harbin, J. & Indrusiak, L. S., 1 Dec 2014, Real-Time Systems Symposium (RTSS), 2014 IEEE. IEEE, p. 184-195 12 p.

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

  6. A digital front-end electronics for the neutron detector NEDA

    Egea, F. J., Houarner, C., Boujrad, A., Gonzalez, V., Tripon, M., Jastrzab, M., Triossi, A., De France, G., Gadea, A., Valiente-Dobon, J. J., Sanchis, E., Barrientos, D., Blaizot, M., Bourgault, P., De Angelis, G., Erduran, M. N., Erturk, S., Huyuk, T., Jaworski, G., Luo, X. L. & 7 others, Modamio, V., Moszynski, M., Di Nitto, A., Nyberg, J., Soderstrom, P. A., Palacz, M. & Wadsworth, R., 1 Jan 2014, 2014 19th IEEE-NPSS Real Time Conference, RT 2014: Conference Records. Institute of Electrical and Electronics Engineers Inc., 2 p. 7097536

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

  7. A graph kernel from the depth-based representation

    Bai, L., Ren, P., Bai, X. & Hancock, E. R., 1 Jan 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Franti, P., Brown, G., Loog, M., Escolano, F. & Pelillo, M. (eds.). Springer-Verlag, Vol. 8621. p. 1-11 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8621 LNCS).

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

  8. A modelling study of limonene oxidation products following cleaning activities

    Carslaw, N., 1 Jan 2014, Indoor Air 2014: 13th International Conference on Indoor Air Quality and Climate. International Society of Indoor Air Quality and Climate, p. 9-13 5 p.

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

  9. A modular theory of object orientation in higher-order UTP

    Zeyda, F., Santos, T. L. V. L., Cavalcanti, A. L. C. & Sampaio, A. C. A., 2014, FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings. SPRINGER, p. 627-642 16 p. (Lecture Notes in Computer Science; vol. 8442).

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

  10. A new front-end high-resolution sampling board for the new-generation electronics of EXOGAM2 and NEDA detectors

    Egea, F. J., Gonzalez, V., Tripon, M., Jastrzab, M., Triossi, A., Gadea, A., De France, G., Valiente-Dobon, J. J., Blasco, J. M., Barrientos, D., Sanchis, E., Boujrad, A., Houarner, C., Blaizot, M., Bourgault, P., De Angelis, G., Erduran, M. N., Erturk, S., Huyuk, T., Jaworski, G. & 8 others, Luo, X. L., Modamio, V., Moszynski, M., Di Nitto, A., Nyberg, J., Soderstrom, P. A., Palacz, M. & Wadsworth, R., 1 Jan 2014, 2014 19th IEEE-NPSS Real Time Conference, RT 2014: Conference Records. Institute of Electrical and Electronics Engineers Inc., 3 p. 7097539

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

  11. A phylogenetic classification of the video-game industry’s business model ecosystem

    Goumagias, N., Cabras, I., Fernandes, K. J., Li, F., Nucciarelli, A., Cowling, P., Devlin, S. & Kudenko, D., 2014, Working Conference on Virtual Enterprises. Camarinha-Matos, L. M. & Afsarmanesh, H. (eds.). Springer Berlin / Heidelberg, p. 285-294 10 p.

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

Previous 1 2 3 4 5 6 7 8 ...27 Next