Mutually Accepting Capacitated Automata. - Ravid Alon; Orna Kupferman (J. Autom. Lang. Comb., 2023)

Restricted Flow Games. - Ravid Alon; Orna Kupferman (Taming the Infinities of Concurrency, 2024)

Scalable Memory Recycling for Large Quantum Programs. - Israel Reichental; Ravid Alon; Lior Preminger; Matan Vax; Amir Naveh (CoRR, 2025)