BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Poland
1 × USA
Collaborated with:
J.V.Deshmukh R.Majumdar T.Brihaye T.A.Henzinger J.Raskin
Talks about:
time (2) skorokhod (1) reachabl (1) quantifi (1) minimum (1) conform (1) metric (1) game (1) use (1)

Person: Vinayak S. Prabhu

DBLP DBLP: Prabhu:Vinayak_S=

Contributed to:

CAV 20152015
ICALP 20072007

Wrote 2 papers:

CAV-2015-DeshmukhMP #consistency #metric #using
Quantifying Conformance Using the Skorokhod Metric (JVD, RM, VSP), pp. 234–250.
ICALP-2007-BrihayeHPR #game studies #reachability
Minimum-Time Reachability in Timed Games (TB, TAH, VSP, JFR), pp. 825–837.

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.