( en | de | ru )

 

Disambiguation of "Thati, Prasanna"

Author of the publication

copydeleteadd this publication to your clipboard
Complete symbolic reachability analysis using back-and-forth narrowing.

, and . Theor. Comput. Sci., 366 (1-2): 163-179 (2006)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Thati Madhusudhan

Prasanna Rajagopalan

Hara Prasanna Misra

Debi Prasanna Ganguly

Krishna Prasanna Mukerji

 

Other publications of authors with the same name

Complete Symbolic Reachability Analysis Using Back-and-Forth Narrowing., and . CALCO, volume 3629 of Lecture Notes in Computer Science, page 379-394. Springer, (2005)A actor-based architecture for customizing and controlling agent ensembles., , and . IEEE Intell. Syst., 14 (2): 38-44 (1999)An Executable Specification of Asynchronous Pi-Calculus Semantics and May Testing in Maude 2.0., , and . WRLA, volume 71 of Electronic Notes in Theoretical Computer Science, page 261-281. Elsevier, (2002)Automated Assume-Guarantee Reasoning for Simulation Conformance., , , and . CAV, volume 3576 of Lecture Notes in Computer Science, page 534-547. Springer, (2005)Complete symbolic reachability analysis using back-and-forth narrowing., and . Theor. Comput. Sci., 366 (1-2): 163-179 (2006)Monitoring Algorithms for Metric Temporal Logic Specifications., and . RV@ETAPS, volume 113 of Electronic Notes in Theoretical Computer Science, page 145-162. Elsevier, (2004)Narrowing and Rewriting Logic: from Foundations to Applications., , and . WFLP, volume 177 of Electronic Notes in Theoretical Computer Science, page 5-33. Elsevier, (2006)Natural Rewriting for General Term Rewriting Systems., , and . LOPSTR, volume 3573 of Lecture Notes in Computer Science, page 101-116. Springer, (2004)An Algebraic Theory of Actors and Its Application to a Simple Object-Based Language., and . Essays in Memory of Ole-Johan Dahl, volume 2635 of Lecture Notes in Computer Science, page 26-57. Springer, (2004)Techniques for Executing and Reasoning about Specification Diagrams., , and . AMAST, volume 3116 of Lecture Notes in Computer Science, page 521-536. Springer, (2004)