Items where Author is "Lester, Dr Martin"

Sadiq, S. and Lester, M. ORCID: https://orcid.org/0000-0002-2323-1771 (2026) Fault robustness and lightweight error correction for low-precision posit neural networks in safety-critical systems. In: International Conference on Machine Learning and Applications (ICMLA), 2025-12-03 - 2025-12-05, Florida, USA. doi: 10.1109/ICMLA66185.2025.00009

Madgwick, J. and Lester, M. ORCID: https://orcid.org/0000-0002-2323-1771 (2025) SAT-Web: a web-based educational SAT visualisation tool. In: Pragmatics of SAT 2025, 11th Aug 2025, Glasgow, United Kingdom.

Makarova, A., Shahzad, M. ORCID: https://orcid.org/0009-0002-9394-343X, Hong, X. ORCID: https://orcid.org/0000-0002-6832-2298 and Lester, M. ORCID: https://orcid.org/0000-0002-2323-1771 (2024) Learning a strategy for preference elicitation in conversational recommender systems. In: International Joint Conference on Neural Networks (IJCNN), 30 Jun - 5 Jul 2024, Yokohama, Japan. doi: 10.1109/ijcnn60899.2024.10650365

Lester, M. M. ORCID: https://orcid.org/0000-0002-2323-1771 (2024) Cutting the cake into crumbs: verifying envy-free cake cutting protocols using bounded integer arithmetic. In: Gebser, M. and Sergey, I. (eds.) Practical aspects of declarative languages: 26th international symposium, PADL 2024, London, UK, January 15–16, 2024, Proceedings. Lecture Notes in Computer Science (14512). Springer, Cham, pp. 100-115. ISBN 9783031520372 doi: 10.1007/978-3-031-52038-9_7

Lester, M. ORCID: https://orcid.org/0000-0002-2323-1771 (2022) Reprobate at ITC 2021: pseudoboolean optimisation for RobinX sports timetabling. In: 13th International Conference on the Practice and Theory of Automated Timetabling - PATAT 2021, 2022-08-23 - 2022-08-26, Bruges, Belgium, pp. 454-459.

Lester, M. M. ORCID: https://orcid.org/0000-0002-2323-1771 (2021) Scheduling reach mahjong tournaments using pseudoboolean constraints. In: Theory and Applications of Satisfiability Testing – SAT 2021, 5-9 July 2021, Barcelona, Spain. doi: 10.1007/978-3-030-80223-3

Lester, M. ORCID: https://orcid.org/0000-0002-2323-1771 (2020) Program transformations enable verification tools to solve interactive fiction games. In: 7th International Workshop on Rewriting Techniques for Program Transformations and Evaluation, 29th June 2020, Virtual.

Lester, M. ORCID: https://orcid.org/0000-0002-2323-1771, Ong, L. and Schäfer, M. (2016) Information flow analysis for a dynamically typed language with staged metaprogramming. Journal of Computer Security, 24 (5). pp. 541-582. ISSN 0926-227X doi: 10.3233/JCS-160557