Stability and Sequentiality in Dataflow Networks. - Prakash Panangaden; Vasant Shanbhogue; Eugene W. Stark (ICALP, 1990)

The Expressiveness of Indeterminate Dataflow Primitives. - Vasant Shanbhogue (1990)

The Expressive Power of Indeterminate Dataflow Primitives - Prakash Panangaden; Vasant Shanbhogue (Inf. Comput., 1992)

Discovery of Geometry Theorems: Avoiding Isomorphic Situation Descriptions. - Rajiv Bagai; Vasant Shanbhogue; Jan M. Zytkow; Shang-Ching Chou (ICCI, 1993)

Automatic Theorem Generation in Plane Geometry. - Rajiv Bagai; Vasant Shanbhogue; Jan M. Zytkow; Shang-Ching Chou (ISMIS, 1993)

Nonexpressibility of Fairness and Signaling. - David A. McAllester; Prakash Panangaden; Vasant Shanbhogue (J. Comput. Syst. Sci., 1993)

Distributed Computing in Asynchronous Networks with Byzantine Edges. - Vasant Shanbhogue; Moti Yung (COCOON, 1996)