dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

José Meseguer (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


178Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSantiago Escobar, José Meseguer, Prasanna Thati: Narrowing and Rewriting Logic: from Foundations to Applications. Electr. Notes Theor. Comput. Sci. 177: 5-33 (2007)
176Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé 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)
160Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPrasanna Thati, José Meseguer: Complete symbolic reachability analysis using back-and-forth narrowing. Theor. Comput. Sci. 366(1-2): 163-179 (2006)
157Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPrasanna Thati, José Meseguer: Complete Symbolic Reachability Analysis Using Back-and-Forth Narrowing. CALCO 2005: 379-394
150Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSantiago Escobar, José Meseguer, Prasanna Thati: Natural Narrowing for General Term Rewriting Systems. RTA 2005: 279-293
148Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé 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)
136Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSantiago 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 TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page