| 2014 | FOSSACS | The Complexity of Partial-Observation Stochastic Parity Games with Finite-Memory Strategies. | Krishnendu Chatterjee, Laurent Doyen, Sumit Nain, Moshe Y. Vardi |
| 2013 | LICS | Solving Partial-Information Stochastic Parity Games. | Sumit Nain, Moshe Y. Vardi |
| 2012 | FOSSACS | Synthesizing Probabilistic Composers. | Sumit Nain, Moshe Y. Vardi |
| 2011 | CSL | Synthesis from Probabilistic Components. | Yoad Lustig, Sumit Nain, Moshe Y. Vardi |
| 2009 | LICS | Trace Semantics is Fully Abstract. | Sumit Nain, Moshe Y. Vardi |
| 2007 | ATVA | Branching vs. Linear Time: Semantical Perspective. | Sumit Nain, Moshe Y. Vardi |
| 2006 | FOSSACS | On Finite Alphabets and Infinite Bases II: Completed and Ready Simulation. | Taolue Chen, Wan J. Fokkink, Sumit Nain |
| 2005 | CALCO | Bisimilarity Is Not Finitely Based over BPA with Interrupt. | Luca Aceto, Wan J. Fokkink, Anna Inglfsdttir, Sumit Nain |
| 2005 | ICALP | A Finite Basis for Failure Semantics. | Wan J. Fokkink, Sumit Nain |
| 2004 | FOSSACS | On Finite Alphabets and Infinite Bases: From Ready Pairs to Possible Worlds. | Wan J. Fokkink, Sumit Nain |
| 2003 | ICALP | On the Axiomatizability of Ready Traces, Ready Simulation, and Failure Traces. | Stefan Blom, Wan J. Fokkink, Sumit Nain |