Results from Sistla web retrieved at 09:43 (GMT)

Contact Mailing Address: A. Prasad SistlaDepartment of Computer Science University of Illinois, Chicago 1120 Science Engineering Offices ( MC 152 ) 851 South Morgan...
Education Harvard University, Cambridge, Massachusetts: Ph.D. Computer Science/Applied Mathematics, 1983 Indian Institute of Science, Bangalore, India: M...
Experiance August 2000 onwards: Full Professor, Department of Electrical Engineering and Computer Science, University of Illinois at Chicago. August 1994 July...
Experience August 2000 onwards: Full Professor, Department of Electrical Engineering and Computer Science, University of Illinois at Chicago. August 1994 July...
Links Any additional links go here.
Publications Conference Publications under isolation and the Value problem for hierarchical probabilistic automata (with Rohit Chadha, Mahesh Viswanathan), 20th...
Research Methods in Concurrent and Distributed Systems http://www.cs.uic.edu/~sistla/interest db.html Database Management Systems
Talks the full range of regular properties of Stochastic Systems, VMCAI, 2009 of Randomization in Automata on Finite Strings , UIC, 2009 Temporal Properties...
Teaching A few words about the courses I teach.
Tools Symmetry Based Model Checker @2000 Copyright A.Prasad Sistla and University of Illinois at Chicago SMC is a symmetry based model checker that was developed...
TWiki`s Sistla web The 1 web of TWiki. TWiki is a Web Based Collaboration Platform for the Enterprise.
Professor A. Prasad Sistla
Education Research Publications Experience Talks Tools Contact #91;edit this .` #91; 1 #93; Web...
This is a subscription service to be automatically notified by e mail when topics change in this 1 web. This is a convenient service, so you do not have to come...
Sistla Web Preferences The following settings are web preferences of the Sistla web. These preferences overwrite the site level preferences in . and...
/Sistla The 1 web of TWiki. TWiki is a Web Based Collaboration Platform for the Enterprise.
Statistics for Sistla Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save...
Number of topics: 23

See also the faster WebTopicList

Topic revision: r1 - 2006-11-15 - 19:43:52 - TWikiContributor
 
Copyright 2016 The Board of Trustees
of the University of Illinois.webmaster@cs.uic.edu
WISEST
Helping Women Faculty Advance
Funded by NSF