The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Prasanna Thati: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Prasanna Thati, Carolyn L. Talcott, Gul Agha
    Techniques for Executing and Reasoning about Specification Diagrams. [Citation Graph (0, 0)][DBLP]
    AMAST, 2004, pp:521-536 [Conf]
  2. Gul Agha, Prasanna Thati
    An Algebraic Theory of Actors and Its Application to a Simple Object-Based Language. [Citation Graph (0, 0)][DBLP]
    Essays in Memory of Ole-Johan Dahl, 2004, pp:26-57 [Conf]
  3. Prasanna Thati, José Meseguer
    Complete Symbolic Reachability Analysis Using Back-and-Forth Narrowing. [Citation Graph (0, 0)][DBLP]
    CALCO, 2005, pp:379-394 [Conf]
  4. Sagar Chaki, Edmund M. Clarke, Nishant Sinha, Prasanna Thati
    Automated Assume-Guarantee Reasoning for Simulation Conformance. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:534-547 [Conf]
  5. Prasad Naldurg, Koushik Sen, Prasanna Thati
    A Temporal Logic Based Framework for Intrusion Detection. [Citation Graph (0, 0)][DBLP]
    FORTE, 2004, pp:359-376 [Conf]
  6. Santiago Escobar, José Meseguer, Prasanna Thati
    Natural Rewriting for General Term Rewriting Systems. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2004, pp:101-116 [Conf]
  7. Santiago Escobar, José Meseguer, Prasanna Thati
    Natural Narrowing for General Term Rewriting Systems. [Citation Graph (0, 0)][DBLP]
    RTA, 2005, pp:279-293 [Conf]
  8. José Meseguer, Prasanna Thati
    Symbolic Reachability Analysis Using Narrowing and its Application to Verification of Cryptographic Protocols. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:117, n:, pp:153-182 [Journal]
  9. Prasanna Thati, Grigore Rosu
    Monitoring Algorithms for Metric Temporal Logic Specifications. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:113, n:, pp:145-162 [Journal]
  10. Prasanna Thati, Koushik Sen, Narciso Martí-Oliet
    An Executable Specification of Asynchronous Pi-Calculus Semantics and May Testing in Maude 2.0. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:71, n:, pp:- [Journal]
  11. Santiago Escobar, José Meseguer, Prasanna Thati
    Narrowing and Rewriting Logic: from Foundations to Applications. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:177, n:, pp:5-33 [Journal]
  12. Prasanna Thati, José Meseguer
    Complete symbolic reachability analysis using back-and-forth narrowing. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:366, n:1-2, pp:163-179 [Journal]
  13. José Meseguer, Prasanna Thati
    Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2007, v:20, n:1-2, pp:123-160 [Journal]

Search in 0.035secs, Finished in 0.035secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002