Vineet Gupta

Available identifiers

zbMath Open gupta.vineetMaRDI QIDQ596027

List of research outcomes

Publication	Date of Publication	Type
Models for concurrent constraint programming	2023-06-28	Paper
Truly concurrent constraint programming	2023-06-28	Paper
Probabilistic concurrent constraint programming	2023-05-17	Paper
A generalization of Tokuyama's formula to the Hall-Littlewood polynomials	2015-04-22	Paper
TCC, with History	2014-06-02	Paper
Weak bisimulation is sound and complete for pCTL\(^*\)	2010-02-26	Paper
Approximate reasoning for real-time probabilistic processes	2007-10-11	Paper
Metrics for labelled Markov processes	2004-08-10	Paper
https://portal.mardi4nfdi.de/entity/Q4473027	2004-08-04	Paper
Approximating labelled Markov processes	2003-07-29	Paper
https://portal.mardi4nfdi.de/entity/Q4484498	2003-06-12	Paper
Truly concurrent constraint programming	2002-07-15	Paper
https://portal.mardi4nfdi.de/entity/Q4312468	2000-08-01	Paper
https://portal.mardi4nfdi.de/entity/Q4953400	2000-06-21	Paper
https://portal.mardi4nfdi.de/entity/Q4270063	1999-12-20	Paper
https://portal.mardi4nfdi.de/entity/Q4263677	1999-09-22	Paper
The hierarchical control of ST-finite-state machines	1998-08-13	Paper
Computing with continuous change	1998-07-19	Paper
Timed default concurrent constraint programming	1997-04-22	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Vineet Gupta