Home > Research > Publications & Outputs

Research

Publications and Research Outputs

Advanced search »

81031 - 81040 out of 99,457Page size: 10
Sort by: Type
  1. Conference contribution/Paper
  2. Published

    Reliable Many-to-Many Routing in Wireless Sensor Networks Using Ant Colony Optimisation

    Grosso, J., Jhumka, A. & Bradbury, M., 1/09/2019, 15th European Dependable Computing Conference (EDCC). p. 111-118 8 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  3. Published

    Using Threat Analysis Techniques to Guide Formal Verification: A Case Study of Cooperative Awareness Messages

    Farrell, M., Bradbury, M., Fisher, M., Dennis, L. A., Dixon, C., Yuan, H. & Maple, C., 1/09/2019, Software Engineering and Formal Methods: 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings. Ölveczky, P. C. & Salaün, G. (eds.). Cham: Springer International Publishing, p. 471-490 20 p. (Lecture Notes in Computer Science ; vol. 11724).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  4. Published

    The Frenet-Serret framework for aligning geometric curves

    Brunel, N. & Park, J., 31/08/2019, Geometric Science of Information: 4th International Conference, GSI 2019, Toulouse, France, August 27–29, 2019, Proceedings. Nielsen, F. & Barbaresco, F. (eds.). Cham: Springer, p. 608-617 10 p. (Lecture Notes in Computer Science; vol. 11712).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  5. Published

    General Program Synthesis using Guided Corpus Generation and Automatic Refactoring

    Wild, A. & Porter, B., 31/08/2019, Search-Based Software Engineering: 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedings. Nejati, S. & Gay, G. (eds.). Cham: Springer-Verlag, p. 89-104 15 p. (Lecture Notes in Computer Science; vol. 11664).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  6. Published

    Data analytics for trajectory selection and preference-model extrapolation in the European airspace

    Lancia, C., De Giovanni, L. & Lulli, G., 30/08/2019, Operations Research Proceedings 2018: Selected Papers of the Annual International Conference of the German Operations Research Society (GOR), Brussels, Belgium, September 12-14, 2018. Fortz, B. & Labbe', M. (eds.). Cham: Springer, p. 563-570 8 p. (Open Research Proceedings).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  7. Published

    CadaML: A Modeling Language for Multi-Tenant Cloud Application Data Architectures

    Jumagaliyev, A. & Elkhatib, Y., 29/08/2019, 2019 IEEE 12th International Conference on Cloud Computing (CLOUD). IEEE, p. 430-434 5 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  8. Published

    Visual Methods for the Design of Shape-Changing Interfaces

    Sturdee, M., Everitt, A., Lindley, J., Coulton, P. & Alexander, J., 25/08/2019, IFIP Conference on Human-Computer Interaction: INTERACT 2019. Lamas, D., Loizides, F., Nacke, L., Petrie, H., Winckler, M. & Zaphiris, P. (eds.). Springer, p. 337-358 22 p. ( Lecture Notes in Computer Science; vol. 11748).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  9. Published

    On Optimizing Backup Sharing Through Efficient VNF Migration

    Aidi, S., Zhani, M. F. & Elkhatib, Y., 22/08/2019, IEEE Workshop on Approaches, Analyses, and Performance Issues in Virtualized Environments and Software Defined Networking (PVE-SDN). IEEE, p. 60-65 6 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  10. Published

    The socio-net of things modeling framework

    Fayoumi, A., Sutanto, J. & Maamar, Z., 22/08/2019, 21st IEEE Conference on Business Informatics (CBI). IEEE, p. 138-136 9 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  11. Published

    Requirements Engineering as Science in the Small

    Singh, M. P. & Chopra, A. K., 22/08/2019, Proceedings - 2019 IEEE/ACM 41st International Conference on Software Engineering: New Ideas and Emerging Results, ICSE-NIER 2019. IEEE, p. 45-48 4 p. 8805709

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Previous 1...8100 8101 8102 8103 8104 8105 8106 8107 ...9946 Next

Back to top