1. Abdulla PA, Atig MF, Rezine O, Stenman J (2012) Multi-pushdown systems with budgets. In: Cabodi G, Singh S (eds) FMCAD. IEEE, pp 24–33
2. Atig MF, Bollig B, Habermehl P (2008) Emptiness of multi-pushdown automata is $$2$$ 2 ETIME-complete. In: DLT’08, LNCS, vol 5257. Springer, Berlin, pp 121–133
3. Atig MF, Bouajjani A, Emmi M, Lal A (2012) Detecting fair non-termination in multithreaded programs. In: Madhusudan P, S. A. Seshia (eds) CAV, lecture notes in computer science, vol 7358, pp 210–226
4. Atig MF, Bouajjani A, Kumar KN, Saivasan P (2012) Linear-time model-checking for multithreaded programs under scope-bounding. In: Chakraborty S, Mukund M (eds) ATVA, lecture notes in computer science. Springer, Berlin, pp 152–166
5. Atig MF, Kumar KN, Saivasan P (2013) Adjacent ordered multi-pushdown systems. In: Béal MP, Carton O (eds) Developments in language theory, lecture notes in computer science. Springer, Berlin, pp 58–69