Refine your results

Easily toggle selected advanced search features:

Search research publications and outputs

  1. 2021
  2. A Small-Step Operational Semantics for GP 2

    Courtehoute, B. & Plump, D., 21 Dec 2021, Graph Computation Models (GCM 2021), Revised Selected Papers. Hofmann, B. & Minas, M. (eds.). p. 89–110 22 p. (Electronic Proceedings in Theoretical Computer Science ; vol. 350).

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

  3. Implementation of Reduced Precision Integer Epigenetic Networks in Hardware

    Walter, A., Bale, S. J. & Tyrrell, A., 6 Dec 2021, IEEE International Conference on Evolvable Systems. Orlando: IEEE

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

  4. Self-Determination Theory in HCI: Shaping a Research Agenda

    Ballou, N., Deterding, C. S., Calvo, R., Peters, D., Tyack, A., Mekler, E. D., Villalobos Zúñiga, G. & Türkay, S., 1 Dec 2021, (Accepted/In press) CHI ’22 Extended Abstracts. Association for Computing Machinery (ACM)

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

  5. Model-Based Generation of Hazard-Driven Arguments and Formal Verification Evidence for Assurance Cases

    Yan, F., Foster, S. D., Habli, I. & Wei, R., 15 Nov 2021, (Accepted/In press) 10th International Conference on Model-Driven Engineering and Software Development. SciTePress, 12 p.

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

  6. Automated Reasoning for Probabilistic Sequential Programs with Theorem Proving

    Ye, K., Foster, S. & Woodcock, J., 22 Oct 2021, Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Proceedings. Fahrenberg, U., Gehrke, M., Santocanale, L. & Winter, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 465-482 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13027 LNCS).

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

  7. Decision-Tree Based Transceiver Selection for Medium Access Control in Wireless Sensor Networks

    Chau, A., Dawson, J. & Mitchell, P. D., 20 Oct 2021, The 12th International Conference on ICT Convergence. Ramada Plaza Hotel, Jeju Island, Korea, 6 p.

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

  8. Brand Post Popularity on Social Media: A Systematic Literature Review

    Robson, S., Banerjee, S. & Kaur, A., 17 Oct 2021, (Accepted/In press) The 16th International Conference on Ubiquitous Information Management and Communication: IMCOM 2022. IEEE

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

  9. Older People’s Online Information Search During the Pandemic

    Banerjee, S., Kapetanaki, A. & Dempsey, L., 17 Oct 2021, (Accepted/In press) The 16th International Conference on Ubiquitous Information Management and Communication: IMCOM 2022. IEEE

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

  10. Heterogeneous Model Query Optimisation

    Ali, Q. U. A., 12 Oct 2021, (Accepted/In press) MODELS 2021: Model-Driven Engineering Languages and Systems, proceedings. IEEE

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

  11. Towards Scalable Validation of Low-Code System Models: Mapping EVL to VIATRA Patterns

    Ali, Q. U. A., Horváth, B., Kolovos, D., Barmpis, K. & Horváth, Á., 12 Oct 2021, (E-pub ahead of print) MODELS 2021: Model-Driven Engineering Languages and Systems, proceedings. IEEE, 5 p.

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

  12. InfoVAEGAN : Learning Joint Interpretable Representations by Information Maximization and Maximum Likelihood

    Ye, F. & Bors, A. G., 20 Sep 2021, Proc. IEEE International Conference on Image Processing. IEEE, 5 p.

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

  13. Lifelong Twin Generative Adversarial Networks

    Ye, F. & Bors, A. G., 20 Sep 2021, Proc. of IEEE International Conference on Image Processing (ICIP). IEEE, 5 p.

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

  14. Ontology Graph Embeddings and ILP for Financial Forecasting

    Erten, C. & Kazakov, D. L., 20 Sep 2021, (Accepted/In press) Inductive Logic Programming, Proceedings of the 30th International Conference. Springer, 14 p. (LNAI).

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

  15. Acoustic Atlas - Auralisation in the Browser

    Van Tonder, C. & Lopez, M. J., 9 Sep 2021, The International Conference on Immersive and 3D Audio: Immersive and 3D Audio: from Architecture to Automotive. IEEE, 5 p.

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

  16. SASSI: Safety Analysis using Simulation-based Situation Coverage for Cobot Systems

    Lesage, B. M. J-R. & Alexander, R., 7 Sep 2021, Proceedings of SafeComp 2021. p. 195-209 (Lecture Notes in Computer Science; vol. 12852).

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

  17. Two-Pathway Style Embedding for Arbitrary Voice Conversion

    Xu, X., Shi, L., Chen, J., Chen, X., Lian, J., Lin, P., Zhang, Z. & Hancock, E. R., 1 Sep 2021, Proc. Interspeech 2021. p. 1364-1368 5 p.

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

  18. Evolutionary-Guided Synthesis of Verified Pareto-Optimal MDP Policies

    Gerasimou, S., Camara Moreno, J., Calinescu, R., Alasmari, N., Alhwikem, F. & Fang, X., 31 Aug 2021, (E-pub ahead of print) 36th IEEE/ACM International Conference on Automated Software Engineering.

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

  19. Generation and Verification of Executable Assurance Case by Model-based Engineering

    Yan, F., 27 Aug 2021, (Accepted/In press) 2021 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW).

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

  20. Not Very Effective: Validity Issues of the Effectance in Games Scale

    Ballou, N., Breitsohl, H., Kao, D., Gerling, K. & Deterding, C. S., 25 Aug 2021, (Accepted/In press) xtended Abstracts of the 2021 Annual Symposium on Computer-Human Interaction in Play (CHI PLAY ’21),. Association for Computing Machinery, Inc, 6 p.

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

  21. Formally Verified Simulations of State-Rich Processes using Interaction Trees in Isabelle/HOL

    Foster, S., Hur, C-K. & Woodcock, J., 13 Aug 2021, International Conference on Concurrency Theory (CONCUR 2021). (LIPIcs).

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

  22. Model-Driven Simulation-Based Analysis for Multi-Robot Systems

    Harbin, J. R., Gerasimou, S., Matragkas, N., Zolotas, A. & Calinescu, R., 1 Aug 2021, (E-pub ahead of print) MODELS 2021: ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS).

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

  23. Cryptanalysis of Semidirect Product Key Exchange Using Matrices Over Non-Commutative Rings

    Battarbee, C., Kahrobaei, D. & Shahandashti, S. F., 26 Jul 2021, (Accepted/In press) MathCrypt 2021.

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

  24. What is a Parasite? Defining reaction and network properties in an open ended automata chemistry

    Stepney, S. & Hickinbotham, S. J., 19 Jul 2021, Artificial Life Conference Proceedings. p. 598-606 9 p.

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

  25. Model-Based Development of Engine Control Systems: Experiences and Lessons Learnt

    Cooper, J., De La Vega, A., Paige, R. F., Kolovos, D., Michael, B., Brown, C., Sanchez Pina, B. A. & Hoyos Rodriguez, H., 11 Jul 2021, (Accepted/In press) ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems.

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

  26. A brief history of short wavelength coherent radiation sources

    Tallents, G. J., 8 Jul 2021, Proceedings: International Conference on X-Ray Lasers 2020. Bleiner, D. (ed.). 7 p. 1188605. (Proceedings of SPIE; vol. 11886).

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

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