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  22  Go Next Page Last Page
  Sort by:    Results per page: 
1.  Title: Partial evaluation of order-sorted equational programs modulo axioms
 Author(s): Alpuente, M.; Cuenca-Ortega, A.; Escobar, S.; et al.
 Source: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Volume: 10184 LNCS Pages: 3-20 Published: 2017
 DOI: 10.1007/978-3-319-63139-4_1 /  Author-provided URL : https://www.scopus.com/inward/record.uri?eid=2-s2.0-85028350412&doi=10.1007%2f97 ...
added
30-Oct-17
2.  Title: Partial evaluation of order-sorted equational programs modulo axioms
 Author(s): Alpuente, M.; Cuenca-Ortega, A.; Escobar, S.; et al.
 Source: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Volume: 10184 LNCS Pages: 3-20 Published: 2017
 DOI: 10.1007/978-3-319-63139-4_1 /  Author-provided URL : http://www.scopus.com/inward/record.url?eid=2-s2.0-85028350412&partnerID=MN8TOAR ...
added
30-Oct-17
3.  Title: Preface
 Author(s): Cirstea, H.; Escobar, S.
 Source: Electronic Proceedings in Theoretical Computer Science, EPTCS Volume: 235 Published: 2017
 Author-provided URL : https://www.scopus.com/inward/record.uri?eid=2-s2.0-85018927788&partnerID=40&md5 ...
added
30-Oct-17
4.  Title: Preface
 Author(s): Cirstea, H.; Escobar, S.
 Conference: Electronic Proceedings in Theoretical Computer Science, EPTCS Volume: 235 Year: 2017
 Author-provided URL : http://www.scopus.com/inward/record.url?eid=2-s2.0-85018927788&partnerID=MN8TOAR ...
added
30-Oct-17
5.  Title: Rewriting Logic and its Applications (extended selected papers from WRLA 2014)
 Author(s): Escobar, S.
 Source: Journal of Logical and Algebraic Methods in Programming Volume: 86 Issue: 1 Pages: 157-158 Published: 2017
 Times Cited: 0
 DOI: 10.1016/j.jlamp.2016.10.002 /  Author-provided URL : https://www.scopus.com/inward/record.uri?eid=2-s2.0-85010892487&doi=10.1016%2fj. ...
added
30-Oct-17
6.  Title: Built-in variant generation and unification, and their applications in Maude 2.7
 Author(s): Durán, F.; Eker, S.; Escobar, S.; et al.
 Source: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Volume: 9706 Pages: 183-192 Published: 2016
 DOI: 10.1007/978-3-319-40229-1_13 /  Author-provided URL : https://www.scopus.com/inward/record.uri?eid=2-s2.0-84976622013&doi=10.1007%2f97 ...
added
30-Oct-17
7.  Title: Built-in variant generation and unification, and their applications in Maude 2.7
 Author(s): Durán, F.; Eker, S.; Escobar, S.; et al.
 Source: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Volume: 9706 Pages: 183-192 Published: 2016
 DOI: 10.1007/978-3-319-40229-1_13 /  Author-provided URL : http://www.scopus.com/inward/record.url?eid=2-s2.0-84976622013&partnerID=MN8TOAR ...
added
30-Oct-17
8.  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
9.  Title: Rewriting logic and its applications (extended selected papers from WRLA 2014)
 Author(s): Escobar, S.
 Source: Journal of Logical and Algebraic Methods in Programming Volume: 85 Issue: 1 Pages: 1-2 Published: 2016
 Times Cited: 0
 DOI: 10.1016/j.jlamp.2015.10.003 /  Author-provided URL : https://www.scopus.com/inward/record.uri?eid=2-s2.0-84961783339&doi=10.1016%2fj. ...
added
30-Oct-17
10.  Title: Strand spaces with choice via a process Algebra semantics
 Author(s): Yang, F.; Escobar, S.; Meadows, C.; et al.
 Conference: Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, PPDP 2016 Pages: 76-89 Year: 2016
 DOI: 10.1145/2967973.2968609 /  Author-provided URL : https://www.scopus.com/inward/record.uri?eid=2-s2.0-84991107828&doi=10.1145%2f29 ...
added
30-Oct-17
publication(s)  
First Page Previous Page Page   of  22  Go Next Page Last Page
  Sort by:    Results per page: