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 ACM-SIGPLAN-SIGACT 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 Real-Time 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 1-2, pages 3-50, 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 Model-based Programs: Monitoring Systems with Complex Behavior. Proceedings of the Seventeenth International Conference on Artificial Intelligence (IJCAI-01), pp. 579-590, Morgan Kaufmann Publishers, Inc., August 4-10 2001.

Vineet Gupta, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Xiaowei Jiang, Konstantin Laufer. A Constraint-Based 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 202-217.

Brian Williams, Vineet Gupta. Unifying Model-based and Reactive Programming in a Model-based 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 SS-99-05, 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.

Hao-Chi Wong, Markus Fromherz, Vineet Gupta, Vijay Saraswat. Control-based programming of electro-mechanical 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 1773-1780.

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:5-6, Nov-Dec 1996, pages 475-520. Extended abstract appeared in Proc. of the 22nd Annual ACM-SIGPLAN-SIGACT Symposium on the Principles of Programming Languages, San Francisco, January 1995, pgs 272-285.

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:1-2, May 2002, pages 223-255. 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 STAN-CS-94-1521.

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 93-1369).

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 resource-based 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 25-27, 1997.

Peter Caines, Vineet Gupta, Gang Shen. The Hierarchical Control of ST Finite State Machines IEEE System and Control Letters , Volume 32, pgs 185-192, 1997