Martin Mariusz Lester

ORCID

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 11

Top Venues

University of Oxford, UK (PHD)

Education History

University of Oxford, UK

PHD

Publications

Martin Mariusz Lester
Cutting the Cake into Crumbs: Verifying Envy-Free Cake-Cutting Protocols Using Bounded Integer Arithmetic. PADL (2024)
David Van Bulck, Dries R. Goossens, Jan-Patrick Clarner, Angelos Dimitsas, George H. G. Fonseca, Carlos Lamas-Fernandez, Martin Mariusz Lester, Jaap Pedersen, Antony E. Phillips, Roberto Maria Rosati
Which algorithm to select in sports timetabling? Eur. J. Oper. Res. 318 (2) (2024)
David Van Bulck, Dries R. Goossens, Jan-Patrick Clarner, Angelos Dimitsas, George H. G. Fonseca, Carlos Lamas-Fernandez, Martin Mariusz Lester, Jaap Pedersen, Antony E. Phillips, Roberto Maria Rosati
Which algorithm to select in sports timetabling? CoRR (2023)
Martin Mariusz Lester
CoPTIC: Constraint Programming Translated Into C. TACAS (2) (2023)
Martin Mariusz Lester
Pseudo-Boolean optimisation for RobinX sports timetabling. J. Sched. 25 (3) (2022)
Martin Mariusz Lester
Scheduling Reach Mahjong Tournaments Using Pseudoboolean Constraints. SAT (2021)
Martin Mariusz Lester
ScAmPER: Generating Test Suites to Maximise Code Coverage in Interactive Fiction Games. TAP@STAF (2020)
Martin Mariusz Lester
Analysis of MiniJava Programs via Translation to ML. CoRR (2020)
Martin Mariusz Lester
Solving Interactive Fiction Games via Partial Evaluation and Bounded Model Checking. CoRR (2020)
Martin Mariusz Lester
Analysis of MiniJava programs via translation to ML. FTfJP@ECOOP (2019)
Martin Mariusz Lester, Luke Ong, Max Schäfer
Information flow analysis for a dynamically typed language with staged metaprogramming. J. Comput. Secur. 24 (5) (2016)
Martin Mariusz Lester
Position paper: the science of boxing. PLAS (2013)

Martin Mariusz Lester.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Martin Mariusz Lester