☰

Prasannaa Thati, Ph.D. - Publications

Affiliations: 
2003 University of Illinois, Urbana-Champaign, Urbana-Champaign, IL 
Area:
Computer Science
Tree Info Similar researchers PubMed Report error

7 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2004 Thati P, Sen K, Martí-Oliet N. An executable specification of asynchronous Pi-calculus semantics and may testing in Maude 2.0 Electronic Notes in Theoretical Computer Science. 71: 242-262. DOI: 10.1016/S1571-0661(05)82539-3  0.546
2004 Agha G, Thati P. An algebraic theory of actors and its application to a simple object-based language Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2635: 26-57.  0.491
2004 Thati P, Talcott C, Agha G. Techniques for executing and reasoning about specification diagrams Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3116: 521-536.  0.533
2002 Thati P, Ziaei R, Agha G. A theory of may testing for actors Ifip Advances in Information and Communication Technology. 81: 147-162.  0.493
2002 Thati P, Ziaei R, Agha G. A theory of may testing for asynchronous calculi with locality and no name matching Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2422: 223-239.  0.564
2001 Thati P, Chang PH, Agha G. Crawlets: Agents for high performance web search engines Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2240: 119-134. DOI: 10.1007/3-540-45647-3_9  0.469
1999 Jamali N, Thati P, Aghu GA. An actor-based architecture for customizing and controlling agent ensembles Ieee Intelligent Systems and Their Applications. 14: 38-44. DOI: 10.1109/5254.757630  0.531
Show low-probability matches.