Vineet Gupta

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Truly concurrent constraint programming CONCUR '96: Concurrency Theory	2023-06-28	Paper
Models for concurrent constraint programming CONCUR '96: Concurrency Theory	2023-06-28	Paper
Probabilistic concurrent constraint programming CONCUR '97: Concurrency Theory	2023-05-17	Paper
A generalization of Tokuyama's formula to the Hall-Littlewood polynomials The Electronic Journal of Combinatorics	2015-04-22	Paper
A generalization of Tokuyama's formula to the Hall-Littlewood polynomials The Electronic Journal of Combinatorics	2015-04-22	Paper
TCC, with history Lecture Notes in Computer Science	2014-06-02	Paper
Weak bisimulation is sound and complete for pCTL\(^\) Information and Computation*	2010-02-26	Paper
Approximate reasoning for real-time probabilistic processes Logical Methods in Computer Science	2007-10-11	Paper
Metrics for labelled Markov processes Theoretical Computer Science	2004-08-10	Paper
scientific article; zbMATH DE number 2080308 (Why is no real title available?)	2004-08-04	Paper
Approximating labelled Markov processes Information and Computation	2003-07-29	Paper
scientific article; zbMATH DE number 1927573 (Why is no real title available?)	2003-06-12	Paper
Truly concurrent constraint programming Theoretical Computer Science	2002-07-15	Paper
scientific article; zbMATH DE number 683349 (Why is no real title available?)	2000-08-01	Paper
scientific article; zbMATH DE number 1444358 (Why is no real title available?)	2000-06-21	Paper
scientific article; zbMATH DE number 1361128 (Why is no real title available?)	1999-12-20	Paper
scientific article; zbMATH DE number 1342102 (Why is no real title available?)	1999-09-22	Paper
The hierarchical control of ST-finite-state machines Systems & Control Letters	1998-08-13	Paper
Computing with continuous change Science of Computer Programming	1998-07-19	Paper
Timed default concurrent constraint programming Journal of Symbolic Computation	1997-04-22	Paper

Research outcomes over time

This page was built for person: Vineet Gupta