ResearcherID.com
ResearcherID Thomson Reuters  

Escobar, Santiago
Create a ResearcherID badge for this researcher View publications analytics for this researcher
Close
ResearcherID: C-9589-2012
URL: http://www.researcherid.com/rid/C-9589-2012
Subject: Computer Science
ORCID: http://orcid.org/0000-0002-3550-4781
My Institutions (more details)
Primary Institution:
Sub-org/Dept:
Role:
Description:
 
 

This list contains papers that I have authored.

publication(s)  
First Page Previous Page Page   of  16  Go Next Page Last Page
  Sort by:    Results per page: 
1. Title: Rewriting logic and its applications (extended selected papers from WRLA 2014)
Author(s): Escobar, Santiago
Source: J. Log. Algebr. Meth. Program. Volume: 85 Issue: 1 Pages: 1-2 Published: 2016
Times Cited: 0
DOI: 10.1016/j.jlamp.2015.10.003 / Author-provided URL : http://dx.doi.org/10.1016/j.jlamp.2015.10.003
added
03-Mar-16
2. Title: 2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE 2015, July 2, 2015, Warsaw, Poland
Author-provided URL : http://www.dagstuhl.de/dagpub/978-3-939897-94-1
added
15-Jul-15
3. Title: Analysis of the PKCS#11 API Using the Maude-NPA Tool
Author(s): González-Burgueño, Antonio; Santiago, Sonia; Escobar, Santiago; et al.
DOI: 10.1007/978-3-319-27152-1_5 / Author-provided URL : http://dx.doi.org/10.1007/978-3-319-27152-1_5
added
03-Mar-16
4. Title: Analysis of the PKCS#11 API using the maude-NPA tool
Author(s): González-Burgueño, A.; Santiago, S.; Escobar, S.; et al.
Source: 2nd International Conference on Security Standardisation Research, SSR 2015 Volume: 9497 Pages: 86-106 Published: 2015
DOI: 10.1007/978-3-319-27152-1_5 / Author-provided URL : http://www.scopus.com/inward/record.url?eid=2-s2.0-84952771395&partnerID=40&md5= ...
added
03-Mar-16
5. Title: Constrained narrowing for conditional equational theories modulo axioms
Author(s): Cholewa, Andrew; Escobar, Santiago; Meseguer, José
Source: Sci. Comput. Program. Volume: 112 Pages: 24-57 Published: 2015
Times Cited: 0
DOI: 10.1016/j.scico.2015.06.001 / Author-provided URL : http://dx.doi.org/10.1016/j.scico.2015.06.001
added
03-Mar-16
6. Title: Constrained narrowing for conditional equational theories modulo axioms
Author(s): Cholewa, A.; Escobar, S.; Meseguer, J.
Source: Science of Computer Programming Volume: 112 Issue: P1 Pages: 24-57 Published: 2015
Times Cited: 0
DOI: 10.1016/j.scico.2015.06.001 / Author-provided URL : http://www.scopus.com/inward/record.url?eid=2-s2.0-84948583698&partnerID=40&md5= ...
added
03-Mar-16
7. Title: Proceedings XIV Jornadas sobre Programación y Lenguajes, PROLE 2015, Cadiz, Spain, September 16-19, 2014
DOI: 10.4204/EPTCS.173 / Author-provided URL : http://dx.doi.org/10.4204/EPTCS.173
added
15-Jul-15
8. Title: Symbolic Protocol Analysis with Disequality Constraints Modulo Equational Theories
Author(s): Escobar, Santiago; Meadows, Catherine; Meseguer, José; et al.
DOI: 10.1007/978-3-319-25527-9_16 / Author-provided URL : http://dx.doi.org/10.1007/978-3-319-25527-9_16
added
03-Mar-16
9. Title: Symbolic protocol analysis with disequality constraints modulo equational theories
Author(s): Escobar, S.; Meadows, C.; Meseguer, J.; et al.
Source: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Volume: 9465 Pages: 238-261 Published: 2015
DOI: 10.1007/978-3-319-25527-9_16 / Author-provided URL : http://www.scopus.com/inward/record.url?eid=2-s2.0-84943633009&partnerID=40&md5= ...
added
03-Mar-16
10. Title: Two Decades of Maude
Author(s): Clavel, Manuel; Durán, Francisco; Eker, Steven; et al.
Times Cited: 0
DOI: 10.1007/978-3-319-23165-5_11 / Author-provided URL : http://dx.doi.org/10.1007/978-3-319-23165-5_11
added
03-Mar-16
publication(s)  
First Page Previous Page Page   of  16  Go Next Page Last Page
  Sort by:    Results per page: