Applying the Graph Minor Theorem to the Verification of Graph Transformation Systems. - Salil Joshi 002; Barbara König 001 (CAV, 2008)

An Operational Model for Multiprocessors with Caches. - Salil Joshi 002; Sanjiva Prasad (IFIP TCS, 2010)

Construction of Pushout Complements in the Category of Hypergraphs. - Marvin Heumüller; Salil Joshi 002; Barbara König 001; Jan Stückrath (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)