Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Santiago
    Last name: Escobar
    DBLP: e/SEscobar
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 10 of 90  
    Select a publication
    Show Title Venue Rating Date
    Journal article
    Santiago Escobar.
    Rewriting Logic and its Applications (extended selected papers from WRLA 2014).
    J. Log. Algebr. Meth. Program. 2017, Volume 86 (0) 2017
    Journal article
    Horatiu Cirstea, Santiago Escobar.
    Proceedings Third International Workshop on Rewriting Techniques for Program Transformations and Evaluation.
    CoRR 2017, Volume 0 (0) 2017
    Conference paper
    María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, Julia Sapiña.
    Inspecting Maude Variants with GLINTS.
    CoRR 2017, Volume 0 (0) 2017
    Conference paper
    María Alpuente, Santiago Escobar, Julia Sapiña, Angel Cuenca-Ortega.
    Inspecting Maude variants with GLINTS.
    TPLP 2017, Volume 17 (0) 2017
    Journal article
    Santiago Escobar.
    Rewriting logic and its applications (extended selected papers from WRLA 2014).
    J. Log. Algebr. Meth. Program. 2016, Volume 85 (0) 2016
    Conference paper
    Sonia Santiago, Santiago Escobar, Catherine A. Meadows, José Meseguer.
    Effective Sequential Protocol Composition in Maude-NPA.
    CoRR 2016, Volume 0 (0) 2016
    Conference paper
    Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott.
    Built-in Variant Generation and Unification, and Their Applications in Maude 2.7.
    Automated Reasoning - 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings 2016 (0) 2016
    Conference paper
    María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer.
    Partial Evaluation of Order-sorted Equational Programs modulo Axioms.
    CoRR 2016, Volume 0 (0) 2016
    Conference paper
    Fan Yang, Santiago Escobar, Catherine A. Meadows, José Meseguer, Sonia Santiago.
    Strand spaces with choice via a process algebra semantics.
    Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, Edinburgh, United Kingdom, September 5-7, 2016 2016 (0) 2016
    Conference paper
    María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer.
    Partial Evaluation of Order-Sorted Equational Programs Modulo Axioms.
    Logic-Based Program Synthesis and Transformation - 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers 2017 (0) 2016
    Show item 1 to 10 of 90  

    Your query returned 90 matches in the database.