Vineet Gupta

From MaRDI portal
Person:596027

Available identifiers

zbMath Open gupta.vineetMaRDI QIDQ596027

List of research outcomes





PublicationDate of PublicationType
Truly concurrent constraint programming2023-06-28Paper
Models for concurrent constraint programming2023-06-28Paper
Probabilistic concurrent constraint programming2023-05-17Paper
A generalization of Tokuyama's formula to the Hall-Littlewood polynomials2015-04-22Paper
TCC, with history2014-06-02Paper
Weak bisimulation is sound and complete for pCTL\(^*\)2010-02-26Paper
Approximate reasoning for real-time probabilistic processes2007-10-11Paper
Metrics for labelled Markov processes2004-08-10Paper
https://portal.mardi4nfdi.de/entity/Q44730272004-08-04Paper
Approximating labelled Markov processes2003-07-29Paper
https://portal.mardi4nfdi.de/entity/Q44844982003-06-12Paper
Truly concurrent constraint programming2002-07-15Paper
https://portal.mardi4nfdi.de/entity/Q43124682000-08-01Paper
https://portal.mardi4nfdi.de/entity/Q49534002000-06-21Paper
https://portal.mardi4nfdi.de/entity/Q42700631999-12-20Paper
https://portal.mardi4nfdi.de/entity/Q42636771999-09-22Paper
The hierarchical control of ST-finite-state machines1998-08-13Paper
Computing with continuous change1998-07-19Paper
Timed default concurrent constraint programming1997-04-22Paper

Research outcomes over time

This page was built for person: Vineet Gupta

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:596027&oldid=10885828"
Powered by MediaWiki