| 2026 | ECOOP | Verifying Wait-Freedom for Concurrent Higher-Order Programs. | Egor Namakonov, Lars Birkedal, Amin Timany |
| 2025 | ESOP | Context-Dependent Effects in Guarded Interaction Trees. | Sergei Stepanenko, Emma Nardino, Dan Frumin, Amin Timany, Lars Birkedal |
| 2025 | FSCD | Solving Guarded Domain Equations in Presheaves over Ordinals and Mechanizing It. | Sergei Stepanenko, Amin Timany |
| 2023 | ECOOP | Modular Verification of State-Based CRDTs in Separation Logic. | Abel Nieto, Arnaud Daby-Seesaram, Lon Gondelman, Amin Timany, Lars Birkedal |
| 2021 | CPP | Reasoning about monotonicity in separation logic. | Amin Timany, Lars Birkedal |
| 2020 | ECOOP | A separation logic to verify termination of busy-waiting for abrupt program exit. | Tobias Reinhard, Amin Timany, Bart Jacobs |
| 2020 | ESOP | Aneris: A Mechanised Logic for Modular Reasoning about Distributed Systems. | Morten Krogh-Jespersen, Amin Timany, Marit Edna Ohlenbusch, Simon Oddershede Gregersen, Lars Birkedal |
| 2019 | ECOOP | Specifying I/O using abstract nested hoare triples in separation logic. | Willem Penninckx, Amin Timany, Bart Jacobs |
| 2017 | POPL | Interactive proofs in higher-order concurrent separation logic. | Robbert Krebbers, Amin Timany, Lars Birkedal |
| 2015 | ICTAC | First Steps Towards Cumulative Inductive Types in CIC. | Amin Timany, Bart Jacobs |