A actor-based architecture for customizing and controlling agent ensembles. - Nadeem Jamali; Prasanna Thati; Gul A. Agha (IEEE Intell. Syst., 1999)

Exploiting Non-Determinism for Reliability of Mobile Agent Systems. - Ajay Mohindra; Apratim Purakayastha; Prasannaa Thati (DSN, 2000)

Crawlets: Agents for High Performance Web Search Engines. - Prasannaa Thati; Po-Hao Chang; Gul Agha (Mobile Agents, 2001)

A Theory of May Testing for Asynchronous Calculi with Locality and No Name Matching. - Prasannaa Thati; Reza Ziaei; Gul Agha (AMAST, 2002)

A Theory of May Testing for Actors. - Prasannaa Thati; Reza Ziaei; Gul Agha (FMOODS, 2002)

An Executable Specification of Asynchronous Pi-Calculus Semantics and May Testing in Maude 2.0. - Prasanna Thati; Koushik Sen; Narciso Martí-Oliet (WRLA, 2002)

A Theory of Testing for Asynchronous Concurrent Systems - Prasannaa Thati (2003)

Techniques for Executing and Reasoning about Specification Diagrams. - Prasanna Thati; Carolyn L. Talcott; Gul Agha (AMAST, 2004)

An Algebraic Theory of Actors and Its Application to a Simple Object-Based Language. - Gul Agha; Prasanna Thati (Essays in Memory of Ole-Johan Dahl, 2004)

A Temporal Logic Based Framework for Intrusion Detection. - Prasad Naldurg; Koushik Sen; Prasanna Thati (FORTE, 2004)

Natural Rewriting for General Term Rewriting Systems. - Santiago Escobar 001; José Meseguer 001; Prasanna Thati (LOPSTR, 2004)

Monitoring Algorithms for Metric Temporal Logic Specifications. - Prasanna Thati; Grigore Rosu (RV@ETAPS, 2004)

Automated Assume-Guarantee Reasoning for Simulation Conformance. - Sagar Chaki; Edmund M. Clarke; Nishant Sinha 001; Prasanna Thati (CAV, 2005)

Natural Narrowing for General Term Rewriting Systems. - Santiago Escobar 001; José Meseguer 001; Prasanna Thati (RTA, 2005)

Narrowing and Rewriting Logic: from Foundations to Applications. - Santiago Escobar 001; José Meseguer 001; Prasanna Thati (WFLP, 2006)

Complete symbolic reachability analysis using back-and-forth narrowing. - Prasanna Thati; José Meseguer 001 (Theor. Comput. Sci., 2006)

Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols. - José Meseguer 001; Prasanna Thati (High. Order Symb. Comput., 2007)