Travelled to:1 × USA
Collaborated with:B.König M.Heumüller J.Stückrath
Talks about:graph (2) hypergraph (1) complement (1) transform (1) construct (1) categori (1) theorem (1) pushout (1) system (1) verif (1)
Person: Salil Joshi
DBLP: Joshi:Salil
Contributed to:
2011
2008Wrote 2 papers:
- GCM-2010-HeumullerJKS11 #category theory
- Construction of Pushout Complements in the Category of Hypergraphs (MH, SJ, BK, JS).
- CAV-2008-JoshiK #graph transformation #theorem #verification
- Applying the Graph Minor Theorem to the Verification of Graph Transformation Systems (SJ, BK), pp. 214–226.