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 25 of 86  
    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
    Santiago Escobar.
    Rewriting logic and its applications (extended selected papers from WRLA 2014).
    J. Log. Algebr. Meth. Program. 2016, Volume 85 (0) 2016
    Journal article
    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
    Manuel Clavel, Francisco Durán, Steven Eker, Santiago Escobar, Patrick Lincoln, Narciso Martí-Oliet, Carolyn L. Talcott.
    Two Decades of Maude.
    Logic, Rewriting, and Concurrency - Essays dedicated to José Meseguer on the Occasion of His 65th Birthday 2015 (0) 2015
    Conference paper
    Santiago Escobar, Catherine A. Meadows, José Meseguer, Sonia Santiago.
    Symbolic Protocol Analysis with Disequality Constraints Modulo Equational Theories.
    Programming Languages with Applications to Biology and Security - Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday 2015 (0) 2015
    Conference paper
    Antonio González-Burgueño, Sonia Santiago, Santiago Escobar, Catherine A. Meadows, José Meseguer.
    Analysis of the PKCS#11 API Using the Maude-NPA Tool.
    Security Standardisation Research - Second International Conference, SSR 2015, Tokyo, Japan, December 15-16, 2015, Proceedings 2015 (0) 2015
    Journal article
    Andrew Cholewa, Santiago Escobar, José Meseguer.
    Constrained narrowing for conditional equational theories modulo axioms.
    Sci. Comput. Program. 2015, Volume 112 (0) 2015
    Conference paper
    Santiago Escobar.
    Functional Logic Programming in Maude.
    Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi 2014 (0) 2014
    Conference paper
    Sonia Santiago, Santiago Escobar, Catherine A. Meadows, José Meseguer.
    A Formal Definition of Protocol Indistinguishability and Its Verification Using Maude-NPA.
    Security and Trust Management - 10th International Workshop, STM 2014, Wroclaw, Poland, September 10-11, 2014. Proceedings 2014 (0) 2014
    Conference paper
    María Alpuente, Santiago Escobar, Javier Espert, José Meseguer.
    ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance.
    Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings 2014 (0) 2014
    Journal article
    María Alpuente, Santiago Escobar, Javier Espert, José Meseguer.
    A modular order-sorted equational generalization algorithm.
    Inf. Comput. 2014, Volume 235 (0) 2014
    Journal article
    Santiago Escobar, Moreno Falaschi.
    Functional and (Constraint) Logic Programming.
    Inf. Comput. 2014, Volume 235 (0) 2014
    Journal article
    Santiago Escobar, Catherine A. Meadows, José Meseguer, Sonia Santiago.
    State space reduction in the Maude-NRL Protocol Analyzer.
    Inf. Comput. 2014, Volume 238 (0) 2014
    Conference paper
    Santiago Escobar, Catherine A. Meadows, José Meseguer, Sonia Santiago.
    A rewriting-based forwards semantics for Maude-NPA.
    Proceedings of the 2014 Symposium and Bootcamp on the Science of Security, HotSoS 2014, Raleigh, NC, USA, April 08 - 09, 2014 2014 (0) 2014
    Conference paper
    Fan Yang, Santiago Escobar, Catherine A. Meadows, José Meseguer, Paliath Narendran.
    Theories of Homomorphic Encryption, Unification, and the Finite Variant Property.
    Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014 2014 (0) 2014
    Conference paper
    Antonio González-Burgueño, Sonia Santiago, Santiago Escobar, Catherine A. Meadows, José Meseguer.
    Analysis of the IBM CCA Security API Protocols in Maude-NPA.
    Security Standardisation Research - First International Conference, SSR 2014, London, UK, December 16-17, 2014. Proceedings 2014 (0) 2014
    Conference paper
    Serdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine A. Meadows, José Meseguer, Paliath Narendran, Sonia Santiago, Ralf Sasse.
    Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis.
    Automated Deduction - CADE-24 - 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings 2013 (0) 2013
    Conference paper
    Kyungmin Bae, Santiago Escobar, José Meseguer.
    Abstract Logical Model Checking of Infinite-State Systems Using Narrowing.
    24th International Conference on Rewriting Techniques and Applications, RTA 2013, June 24-26, 2013, Eindhoven, The Netherlands 2013 (0) 2013
    Conference paper
    Santiago Escobar.
    Unification and Anti-unification modulo Equational Theories.
    27th International Workshop on Unification, UNIF 2013, Eindhoven, Netherlands, June 26, 2013 2013 (0) 2013
    Conference paper
    María Alpuente, Santiago Escobar, Javier Espert.
    Detecting Modular ACU Structural Symmetries.
    27th International Workshop on Unification, UNIF 2013, Eindhoven, Netherlands, June 26, 2013 2013 (0) 2013
    Conference paper
    Elena Lloret, Santiago Escobar, Manuel Palomar, Isidro Ramos.
    Incremental and Adaptive Software Systems Development of Natural Language Applications.
    Information System Development - Improving Enterprise Communication, [Proceedings of the 22nd International Conference on Information Systems Development, ISD 2013, Seville, Spain] 2014 (0) 2013
    Journal article
    Santiago Escobar.
    Proceedings 10th International Workshop on Reduction Strategies in Rewriting and Programming
    CoRR 2012, Volume 0 (0) 2012
    Show item 1 to 25 of 86  

    Your query returned 86 matches in the database.