BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Joshi:Salil

Contributed to:

GCM 20102011
CAV 20082008

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.