Author: "Viswanathan, Mahesh" / Publisher: elsevier b.v. - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"Viswanathan, Mahesh"' showing total 5 results

Start Over Author "Viswanathan, Mahesh" Publisher elsevier b.v.

5 results on '"Viswanathan, Mahesh"'

1. A decidable class of planar linear hybrid systems

Author: Prabhakar, Pavithra, Vladimerou, Vladimeros, Viswanathan, Mahesh, and Dullerud, Geir
Published: 2015
Full Text: View/download PDF

2. Specifications for decidable hybrid games

Author: Vladimerou, Vladimeros, Prabhakar, Pavithra, Viswanathan, Mahesh, and Dullerud, Geir
Published: 2011
Full Text: View/download PDF

3. Deciding branching time properties for asynchronous programs

Author: Chadha, Rohit and Viswanathan, Mahesh
Published: 2009
Full Text: View/download PDF

4. Computational Analysis of Run-time Monitoring: Fundamentals of Java-MaC

Author: Kim, Moonjoo, Kannan, Sampath, Lee, Insup, Sokolsky, Oleg, and Viswanathan, Mahesh
Published: 2002
Full Text: View/download PDF

5. Preface: Volume 89, Issue 2

Author: Sokolsky, Oleg and Viswanathan, Mahesh
Published: 2003
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results