MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named Mahesh Viswanathan – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

35 documents found, showing 1 through 10. Next 10 →

ATOM

Testing extended regular language membership incrementally by rewriting
by Mahesh Viswanathan — 2003 — In Rewriting Techniques and Applications (RTA’03), Lecture Notes in Computer Science
…Testing Extended Regular Language Membership Incrementally by Rewriting Grigore Ro¸su and Mahesh…
Cited by 10 (2 self) – Add To MetaCart

Foundations for Circular Compositional Reasoning
by Mahesh Viswanathan, Ramesh Viswanathan — 2001 — Lecture Notes in Computer Science
…Foundations for Circular Compositional Reasoning Mahesh Viswanathan 1 and Ramesh Viswanathan 2 1…
Cited by 3 (0 self) – Add To MetaCart

A higher order modal fixed point logic
by Mahesh Viswanathan, Ramesh Viswanathan — 2004 — Proc. 15th Int. Conf. on Concurrency Theory, CONCUR’04, volume 3170 of LNCS
…A Higher Order Modal Fixed Point Logic Mahesh Viswanathan 1 and Ramesh Viswanathan 2 1 University…
Cited by 5 (0 self) – Add To MetaCart

Query Automata for Nested Words
by P. Madhusudan, Mahesh Viswanathan
…Query Automata for Nested Words P. Madhusudan Mahesh Viswanathan University of Illinois at Urbana…
Add To MetaCart

Testing Extended Regular Language Membership Incrementally by Rewriting
by Grigore Ro, Mahesh Viswanathan — 2003 — In Rewriting Techniques and Applications, Lecture Notes in Computer Science 2706
… Testing Extended Regular Language Membership Incrementally by Rewriting Grigore Ro,su and Mahesh…
Cited by 3 (1 self) – Add To MetaCart

Learning to verify branching time properties
by Abhay Vardhan, Mahesh Viswanathan — 2005 — In Proc. of the Twentieth IEEE/ACM International Conference on Automated Software Engineering
…Learning to Verify Branching Time Properties Abhay Vardhan and Mahesh Viswanathan ⋆ Dept…
Cited by 2 (1 self) – Add To MetaCart

Minimization, learning, and conformance testing of boolean programs
by Viraj Kumar, P. Madhusudan, Mahesh Viswanathan — 2006 — In CONCUR
…, and Mahesh Viswanathan ⋆⋆ University of Illinois at Urbana-Champaign, Urbana, IL, USA {kumar, madhu, vmahesh…
Cited by 6 (4 self) – Add To MetaCart

Model checking multithreaded programs with asynchronous atomic methods
by Koushik Sen, Mahesh Viswanathan — 2006 — In 18th International Conference on Computer Aided Verification (CAV’06). LNCS
…Model Checking Multithreaded Programs with Asynchronous Atomic Methods Koushik Sen and Mahesh…
Cited by 9 (4 self) – Add To MetaCart

An Approximate L¹-Difference Algorithm for Massive Data Streams
by Joan Feigenbaum, Sampath Kannan, Martin Strauss, Mahesh Viswanathan — 1999
… -- Research 180 Park Avenue Florham Park, NJ 07932 USA mstrauss@(email omitted); Mahesh Viswanathan z…
Add To MetaCart

Learning to Verify Safety Properties
by Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha — 2004 — In LNCS 3308, Proc. of ICFEM’04
…Learning to Verify Safety Properties Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha…
Cited by 9 (4 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB