Salil Joshi

Affiliations:

According to our database¹, Salil Joshi authored at least 3 papers between 2008 and 2011.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2011

Construction of Pushout Complements in the Category of Hypergraphs.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

2010

An Operational Model for Multiprocessors with Caches.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Computer Science, 2010

2008

Applying the Graph Minor Theorem to the Verification of Graph Transformation Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 20th International Conference, 2008