Search research publications and outputs

  1. 2021
  2. 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

  3. 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

  4. Hybrid Systems Verification with Isabelle/HOL: Simpler Syntax, Better Models, Faster Proofs

    Foster, S. D., Munive, J. H. Y., Struth, G. & Gleirscher, M., 16 Jul 2021, (Accepted/In press) 24th International Symposium on Formal Methods. 18 p.

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

  5. 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

  6. Detection and Mitigation of Rare Subclasses in Deep Neural Network Classifiers

    Paterson, C., Calinescu, R. & Picardi, C., 27 Jun 2021, (Accepted/In press) IEEE AI Test 2021 conference.

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

  7. Neither Grasshopper nor Ant: learning from coding for fun and from gaming [WIP]

    Iacovides, J. & Green, TRG., 10 Jun 2021, (Accepted/In press) Proceedings of the 32nd Psychology of Programming Interest Group. ACM

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

  8. Robot motion planning benchmarking and optimization through motion planning pipeline

    Liu, S. & Liu, P., 2 Jun 2021, (Accepted/In press) The 17th IEEE International Conference on Automation Science and Engineering (CASE 2021). IEEE

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

  9. Probabilistic Program Performance Analysis

    Stephanakos, I., Calinescu, R. & Gerasimou, S., 1 Jun 2021, (Accepted/In press) EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA 2021).

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

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

    Lesage, B. M. J-R. & Alexander, R., 1 Jun 2021, (Accepted/In press) Proceedings of SafeComp 2021.

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

  11. Quality Evolvability ES: Evolving Individuals With a Distribution of Well Performing and Diverse Offspring

    Katona, A., Franks, D. W. & Walker, J. A., 26 Apr 2021, (Accepted/In press) ALIFE 2021: Conference on Artificial Life.

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

Previous 1 2 3 4 5 6 7 8 9 Next