Martin Mariusz Lester
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
8
Active years
2013–2026
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CPAIOR | BaB-PoNN: A Bit-Exact Branch-and-Bound Framework for Verified Robustness of Posit Neural Networks. | Suleiman Junaidu Sadiq, Martin Mariusz Lester |
| 2025 | ICMLA | Fault Robustness and Lightweight Error Correction for Low-Precision Posit Neural Networks in Safety-Critical Systems. | Suleiman Junaidu Sadiq, Martin Mariusz Lester |
| 2024 | PADL | Cutting the Cake into Crumbs: Verifying Envy-Free Cake-Cutting Protocols Using Bounded Integer Arithmetic. | Martin Mariusz Lester |
| 2023 | TACAS | CoPTIC: Constraint Programming Translated Into C. | Martin Mariusz Lester |
| 2021 | SAT | Scheduling Reach Mahjong Tournaments Using Pseudoboolean Constraints. | Martin Mariusz Lester |
| 2020 | TAP | ScAmPER: Generating Test Suites to Maximise Code Coverage in Interactive Fiction Games. | Martin Mariusz Lester |
| 2019 | ECOOP | Analysis of MiniJava programs via translation to ML. | Martin Mariusz Lester |
| 2013 | PLDI | Position paper: the science of boxing. | Martin Mariusz Lester |