`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:

### Wrote 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.