| | |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 178 |       | Santiago Escobar, José Meseguer, Prasanna Thati: Narrowing and Rewriting Logic: from Foundations to Applications. Electr. Notes Theor. Comput. Sci. 177: 5-33 (2007) |
| 176 | | José Meseguer, Prasanna Thati: Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols. Higher-Order and Symbolic Computation 20(1-2): 123-160 (2007) |
| 160 | | Prasanna Thati, José Meseguer: Complete symbolic reachability analysis using back-and-forth narrowing. Theor. Comput. Sci. 366(1-2): 163-179 (2006) |
| 157 | | Prasanna Thati, José Meseguer: Complete Symbolic Reachability Analysis Using Back-and-Forth Narrowing. CALCO 2005: 379-394 |
| 150 | | Santiago Escobar, José Meseguer, Prasanna Thati: Natural Narrowing for General Term Rewriting Systems. RTA 2005: 279-293 |
| 148 | | José Meseguer, Prasanna Thati: Symbolic Reachability Analysis Using Narrowing and its Application to Verification of Cryptographic Protocols. Electr. Notes Theor. Comput. Sci. 117: 153-182 (2005) |
| 136 | | Santiago Escobar, José Meseguer, Prasanna Thati: Natural Rewriting for General Term Rewriting Systems. LOPSTR 2004: 101-116 |
Selection of 7 from 292 records - José Meseguer has 117 coauthors
Last update 2012-09-10 CET by the DBLP Team —
Content released under the ODC-BY 1.0 license — See also our legal information page