List of Publications
My Erdös
Number is 3.

Probabilistic Systems
 Josée Desharnais, Vineet Gupta, Radha Jagadeesan,
Prakash Panangaden.
Weak Bisimulation is Sound and Complete for PCTL*.
Proceedings of CONCUR 2002, edited by Petr
Jancar and Mojmir Kretinsky, LNCS 2421, Springer Verlag, 2002.
 Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden.
The Metric Analogue of Weak Bisimulation for Probabilistic Processes.
Proceedings of The Seventeenth Annual IEEE Symposium on Logic in Computer
Science, Copenhagen, July 2002.
 Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden.
Approximating Continuous Markov Processes. To appear in
Information and Computation.
Extended abstract appeared in
Proceedings of The Fifteenth Annual IEEE Symposium on Logic in Computer
Science, Santa Barbara, July 2000.
 Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden.
Metrics for Labelled Markov Processes.
To appear in Theoretical Computer Science.
Extended abstract appeared
in Proceedings of CONCUR '99, edited by Jos Baeten and
Sjouke Mauw, LNCS 1664, Springer Verlag, 1999.
 Vineet Gupta, Radha Jagadeesan, Prakash Panangaden.
Stochastic Processes as Concurrent Constraint Programs.
Proceedings of the 26th Annual ACMSIGPLANSIGACT Symposium
on the Principles of Programming Languages, San Antonio,
January 1999. Slides for the talk.
 Vineet Gupta, Radha Jagadeesan, Vijay Saraswat.
Probabilistic Concurrent Constraint Programming.
Proceedings of CONCUR '97, edited by A. Mazurkiewicz
and J. Winkowski, LNCS 1243, Springer Verlag, July 1997.

Hybrid Systems
 Bjorn Carlson, Vineet Gupta.
Hybrid CC and interval constraints.
Proceedings of the International Workshop on Hybrid Systems:
Computation and Control (HSCC'98), edited by Tom
Henzinger and Sankar Sastry, LNCS 1386, Springer Verlag, April 1998. Slides for the talk.
 Vineet Gupta, Tom Henzinger, Radha Jagadeesan.
Robust Timed Automata.
Proceedings of Hybrid and RealTime Systems, HART'97,
edited by Oded Maler, LNCS 1201, Springer Verlag, 1997.
 Vineet Gupta, Radha Jagadeesan, Vijay Saraswat.
Hybrid CC,
Hybrid Automata and Program Verification.
Proceedings of Hybrid Systems III, edited by Alur, Henzinger
and Sontag, LNCS 1066, Springer Verlag, 1996.
 Vineet Gupta, Radha Jagadeesan, Vijay Saraswat.
Computing with Continuous Change.
Science of Computer Programming, Vol 30, No 12, pages
350, 1998. Slides for a talk on Hybrid cc.
 Vineet Gupta, Radha Jagadeesan, Vijay Saraswat, Danny Bobrow.
Programming in Hybrid Constraint Languages.
Proceedings of Hybrid Systems II, edited by Antsaklis, Kohn,
Nerode and Sastry, LNCS 999, Springer Verlag 1995.

Modeling physical systems
 Brian C. Williams, Seung Chung, Vineet Gupta.
Mode Estimation of Modelbased Programs: Monitoring Systems
with Complex Behavior.
Proceedings of the Seventeenth International Conference on
Artificial Intelligence (IJCAI01), pp. 579590, Morgan
Kaufmann Publishers, Inc., August 410 2001.
 Vineet Gupta, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan,
Xiaowei Jiang, Konstantin Laufer.
A ConstraintBased Framework for Prototyping Distributed
Virtual Applications.
Proceedings of Principles and Practice of Constraint
Programming, edited by Rina Dechter, Springer Verlag LNCS
vol 1894, October 2000, pages 202217.
 Brian Williams, Vineet Gupta.
Unifying Modelbased and Reactive Programming in a Modelbased
Executive.
Proceedings of the Tenth International Workshop on
Principles of Diagnosis, Scotland, June 1999.
 Adam Sweet, Ted Blackmon, Vineet Gupta.
Simulation of a Rover and Display in a Virtual Environment.
Proceedings of the American Nuclear Society 8th International
Topical Meeting on Robotics and Remote Systems, Pittsburgh,
April 1999.
 Sheila McIlraith, Gautam Biswas, Daniel Clancy, Vineet Gupta.
Towards Diagnosing Hybrid Systems.
Proceedings of the Tenth International Workshop on
Principles of Diagnosis, Scotland, June 1999.
Also in AAAI Spring Symposium on Hybrid Systems and AI:
Modeling, Analysis and Control of Discrete + Continuous
Systems, AAAI Technical Report SS9905, March, 1999.
 Lars Alenius, Vineet Gupta.
Modeling an AERCam: A case study in modeling with concurrent
constraint languages.
Proceedings of the CP'97 Workshop on Modeling and Computation
in the Concurrent Constraint Languages, Pisa, October 1998.
 Bjorn Carlson, Vineet Gupta, Tad Hogg.
Controlling Agents in Smart Matter with Global Constraints.
Proceedings of the AAAI workshop on Constraints
and Agents, July 1997.
 Vineet Gupta, Vijay Saraswat, Peter Struss.
Modeling a Photocopier Paper Path.
Proceedings of the Second IJCAI Workshop on Engineering Problems
for Qualitative Reasoning, Montreal, August 1995.
 HaoChi Wong, Markus Fromherz, Vineet Gupta, Vijay Saraswat.
Controlbased programming of electromechanical controllers
Proceedings of the IJCAI Workshop on Executable Temporal
Logics, Montreal, August 1995.
 Vineet Gupta, Peter Struss.
Modeling a Copier Paper Path: A Case Study in Modeling
Transportation Processes.
Proceedings of the Ninth Qualitative Reasoning Workshop,
Amsterdam, May 1995.
 Y Iwasaki, A Farquhar, D G Bobrow, V Saraswat, Vineet Gupta.
Modeling Time in Hybrid Systems: How fast is "Instantaneous"?.
The Proceedings of The Fourteenth International Joint
Conference on Artificial Intelligence IJCAI'95, Montreal,
August 1995, pgs 17731780.

Reactive systems
 Vijay Saraswat, Radha Jagadeesan, Vineet Gupta.
jcc: Integrating Timed Default Concurrent Constraint
Programming into Java.
Proceedings of the Portuguese Conference on Artificial
Intelligence (EPIA'03), edited by Pires and Abreu, LNAI,
Springer Verlag 2003.
 Vijay Saraswat, Radha Jagadeesan, Vineet Gupta.
Timed Default Concurrent Constraint Programming.
Journal of Symbolic Computation, Vol 22:56, NovDec 1996,
pages 475520. Extended abstract
appeared in Proc. of the 22nd Annual ACMSIGPLANSIGACT Symposium
on the Principles of Programming Languages, San Francisco,
January 1995, pgs 272285.
 Vijay Saraswat, Radha Jagadeesan, Vineet Gupta.
Foundations of Timed Concurrent Constraint Programming.
Proceedings of Ninth Annual IEEE Symposium on Logic in Computer
Science, Paris, July 1994.Slides for the talk.
 Vijay Saraswat, Radha Jagadeesan, Vineet Gupta.
Programming in Timed Concurrent Constraint Languages.
Chapter in Constraint Programming, edited by B Mayoh, E
Tougu and J Penjam, in the NATO Advanced Science Institute Series,
Series F: Computer and System Sciences, Vol 131, Springer Verlag, 1994.

Concurrent Languages and Models
 Vineet Gupta, Radha Jagadeesan, Vijay Saraswat.
Truly Concurrent Constraint Programming.
Theoretical Computer Science, Vol 278:12, May 2002, pages 223255. Extended abstract
appeared in CONCUR'96: Concurrency Theory, edited by Ugo
Montanari and Vladimiro Sassone, LNCS 1119, Springer Verlag,
1996.
 Markus Fromherz, Vineet Gupta, Vijay Saraswat.
cc  A Generic Framework for Domain Specific Languages.
Proceedings of The POPL Workshop on Domain Specific Languages,
Paris, January 1997.
 Vineet Gupta, Radha Jagadeesan, Vijay Saraswat.
Models for Concurrent Constraint Programming.
Proceedings of CONCUR'96: Concurrency Theory, edited by Ugo
Montanari and Vladimiro Sassone, LNCS 1119, Springer Verlag, 1996.

Chu Spaces as a Model of Concurrency.
Ph.D. Thesis, Stanford University, August 1994. Stanford
University Technical Report STANCS941521.
 Vineet Gupta, V R Pratt.
Gates accept concurrent behavior. Proceedings of the 34th
Annual IEEE Symposium on the Foundations of Computer Science
(FOCS), Nov 1993.
 Vineet Gupta.
Concurrent Kripke Structures. Proceedings of the
North American Process Algebra Workshop, Cornell, August 1993.
(Cornell University Technical Report 931369).

Other topics
 Vineet Gupta, John Lamping.
Efficient Linear Logic Meaning Assembly.
Proceedings of the 1998 ACL Conference on Linguistics (COLING
98), Montreal, Cananda, August 1998.
 Mary Dalrymple, Vineet Gupta, John Lamping and Vijay Saraswat.
Relating resourcebased semantics to categorial semantics.
Chapter in
Semantics and Syntax in Lexical Functional Grammar,
edited by Mary Dalrymple, MIT Press, 1999.
Also in the Proceedings of the Fifth Meeting on the
Mathematics of Language, Schloss Dagstuhl, Saarbruecken,
Germany, August 2527, 1997.
 Peter Caines, Vineet Gupta, Gang Shen.
The Hierarchical Control of ST Finite State Machines
IEEE System and Control Letters , Volume 32, pgs
185192, 1997