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: