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 × Denmark
1 × France
3 × USA
Collaborated with:
R.Jagadeesan P.Panangaden V.A.Saraswat J.Desharnais
Talks about:
constraint (3) program (3) process (3) concurr (3) time (2) probabilist (1) stochast (1) approxim (1) foundat (1) default (1)

Person: Vineet Gupta

DBLP DBLP: Gupta:Vineet

Contributed to:

LICS 20022002
LICS 20002000
POPL 19991999
POPL 19951995
LICS 19941994

Wrote 5 papers:

LICS-2002-DesharnaisJGP #bisimulation #metric #probability #process
The Metric Analogue of Weak Bisimulation for Probabilistic Processes (JD, RJ, VG, PP), pp. 413–422.
LICS-2000-DesharnaisGJP #approximate #markov #process
Approximating Labeled Markov Processes (JD, VG, RJ, PP), pp. 95–106.
POPL-1999-GuptaJP #concurrent #constraints #probability #process #source code
Stochastic Processes as Concurrent Constraint Programs (VG, RJ, PP), pp. 189–202.
POPL-1995-SaraswatJG #concurrent #constraints #programming
Default Timed Concurrent Constraint Programming (VAS, RJ, VG), pp. 272–285.
LICS-1994-SaraswatJG #concurrent #constraints #programming
Foundations of Timed Concurrent Constraint Programming (VAS, RJ, VG), pp. 71–80.

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.