Publications

(See also DBLP or ELP Publications)

Classified by:
  • Books (and Chapters)
  • International Journals
  • Conference & Workshop Papers
  • Technical Reports
  • PhD Thesis
  • Other

  • Books (and Chapters)


    2023

  • Santiago Escobar (Ed.)
    International Symposium on Principles and Practice of Declarative Programming, PPDP 2023, Lisboa, Portugal, October 22-23, 2023..
    ACM 2023.
  • ACM Association for Coomputing Machinery

  • Santiago Escobar
    Extensions of Logic Programming in Maude.
    Feature Article of the Association for Logic Programming.
    February 2023.
  • Association for Logic Programming

  • Santiago Escobar, Narciso Martí-Oliet (Ed.)
    Rewriting Logic and Its Applications. 13th International Workshop, WRLA 2020, Revised Selected Papers.
    Special Issue of Journal of Logical and Algebraic Methods in Programming.
    Volume 130, January 2023.
    © Elsevier Science
  • Journal of Logical and Algebraic Methods in Programming

    2022

  • Sedat Akleylek, Santiago Escobar, Kazuhiro Ogata, Ayoub Otmani:
    Proceedings of the International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols,
    co-located with the 23rd International Conference on Formal Engineering Methods (ICFEM 2022),
    Madrid, Spain, October 24, 2022.
    CEUR Workshop Proceedings, volume 3280. CEUR-WS.org 2022
  • CEUR Workshop Proceedings

  • Santiago Escobar, Narciso Martí-Oliet (Ed.)
    Rewriting Logic and Its Applications. 13th International Workshop, WRLA 2020, Revised Selected Papers.
    Special Issue of Journal of Logical and Algebraic Methods in Programming.
    Volume 124, January 2022.
    Volume 126, April 2022.
    © Elsevier Science
  • Journal of Logical and Algebraic Methods in Programming

    2021

  • Santiago Escobar, Narciso Martí-Oliet (Ed.)
    Rewriting Logic and Its Applications. 13th International Workshop, WRLA 2020, Revised Selected Papers.
    Special Issue of Journal of Logical and Algebraic Methods in Programming.
    Volume 123, November 2021.
    © Elsevier Science
  • Journal of Logical and Algebraic Methods in Programming

    2020

  • Santiago Escobar and Narciso Martí-Oliet
    Rewriting Logic and Its Applications,
    13th International Workshop, WRLA 2020, Virtual Event,
    October 20-22, 2020, Revised Selected Papers.
    Lecture Notes in Computer Science, volume 12328, 215 pages.
    © Springer-Verlag
    Available: DOI
  • WRLA 2020 LNCS

    2019

  • Catherine Meadows, Santiago Escobar, Jose Meseguer.
    Maude-NPA and Formal Analysis of Protocols with Equational Theories.
    NATO Science for Peace and Security Series - D: Information and Communication Security.
    Volume 53: Engineering Secure and Dependable Software Systems, pages 163-188, 2019.
    © IOS Press
    Available: IOS link- DOI
  • IOS Press

    2017

  • Horatiu Cirstea and Santiago Escobar.
    3rd International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2016), Porto, Portugal, 23rd June 2016.
    Electronic Proceedings in Theoretical Computer Science, volume 235.
    Available: DOI
  • Santiago Escobar (Ed.)
    Rewriting logic and its applications (extended selected papers from WRLA 2014).
    Special Issue of Journal of Logical and Algebraic Methods in Programming.
    Volume 86, Issue 1, Part 2, Pages 157-297 (January 2017).
    © Elsevier Science
  • Journal of Logical and Algebraic Methods in Programming

    2016

  • Santiago Escobar (Ed.)
    Rewriting logic and its applications (extended selected papers from WRLA 2014).
    Special Issue of Journal of Logical and Algebraic Methods in Programming.
    Volume 85, Issue 1, Part 1, Pages 1-120 (January 2016).
    © Elsevier Science
  • Journal of Logical and Algebraic Methods in Programming

    2015

  • Yuki Chiba, Santiago Escobar, Naoki Nishida, David Sabel, Manfred Schmidt-Schauß.
    2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2015), July 2, 2015, Warsaw, Poland.
    Open Access Series in Informatics (OASICS), volume 46, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik.
    Available: DOI
  • Santiago Escobar
    XIV Jornadas sobre Programación y Lenguajes (PROLE'2014), Cádiz, Spain. Revised Selected Papers.
    Electronic Proceedings in Theoretical Computer Science, volume 173.
    Available: DOI
  • 2014

  • Santiago Escobar
    Rewriting Logic and Its Applications,
    10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS,
    Grenoble, France, April 5-6, 2014, Revised Selected Papers.
    Lecture Notes in Computer Science, volume 8663, 296 pages.
    © Springer-Verlag
    Available: DOI
  • WRLA 2014 LNCS

  • Santiago Escobar, Konstantin Korovin, Vladimir V. Rybakov (Eds.)
    UNIF 2012 Post-Worskhop Proceedings.
    The 26th International Workshop on Unification, Manchester, UK, July 1, 2012.
    EPiC Series 24, EasyChair 2014.
    Available: Preface
  • Santiago Escobar (Ed.)
    Functional and (Constraint) Logic Programming, Special Issue of Information and Computation.
    Information and Computation. Volume 235, pages 1-136, 2014
    © Elsevier Science
  • Information and Computation

    2012

  • Santiago Escobar
    Reduction Strategies in Rewriting and Programming,
    10th International Workshop, WRS 2011, Novi Sad, Serbia, May 29,2011, Revised Selected Papers
    .
    Electronic Proceedings in Theoretical Computer Science.
    Available: EPTCS DOI
  • 2010

  • Santiago Escobar
    Functional and Constraint Logic Programming,
    18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers
    .
    Lecture Notes in Computer Science, volume 5979, 180 pages.
    © Springer-Verlag
    Available: DOI
  • WFLP 2009 LNCS

    2009

  • Santiago Escobar, Catherine Meadows, José Meseguer.
    Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties.
    FOSAD 2007/2008/2009 Tutorial Lectures, LNCS 5705, pages 1-50.
    © Springer-Verlag
  • Available: PDF

  • Dan Dougherty, Santiago Escobar,
    Security and Rewriting Techniques, 3rd Int'l Workshop
    Electronic Notes in Theoretical Computer Science, Volume 234, pages 1-114.
    © Elsevier Science
  • SecReT 2008 ENTCS

  • Demis Ballis, Santiago Escobar,
    Automated Specification and Verification of Web Sites, 4th Int'l Workshop
    Electronic Notes in Theoretical Computer Science, Volume 235, pages 1-152.
    © Elsevier Science
  • WWV 2008 ENTCS

    2008

  • Demis Ballis, Santiago Escobar, Massimo Marchiori.
    Automated Specification and Verification of Web Sites, 3rd Int'l Workshop
    Electronic Notes in Theoretical Computer Science Volume 200, Issue 3, Pages 1-188.
    © Elsevier Science
  • WWV 2007 ENTCS

    2007

  • María Alpuente, Santiago Escobar, Moreno Falaschi.
    Automated Specification and Verification of Web Systems, 2nd Int'l Workshop, May 2007
    © IEEE Press
    Available: IEEE Xplore link
  • 2006

  • María Alpuente, Santiago Escobar, Moreno Falaschi.
    Automated Specification and Verification of Web Sites, 1st Int'l Workshop
    Electronic Notes in Theoretical Computer Science Volume 157, Issue 2, Pages 1-212, 22 May 2006
    © Elsevier Science
    Available: Online Pre-proceedings
  • WWV 2005 ENTCS


    International Journals


    2024

  • Duong Dinh Tran, Kazuhiro Ogata, Santiago Escobar, Sedat Akleylek, Ayoub Otmani.
    Formal Analysis of Post-Quantum Hybrid Key Exchange SSH Transport Layer Protocol.
    IEEE Access 12: 1672-1687 (2024)
    Available:
    DOI
  • 2023

  • Duong Dinh Tran, Canh Minh Do, Santiago Escobar, Kazuhiro Ogata.
    Hybrid post-quantum Transport Layer Security formal analysis in Maude-NPA and its parallel version.
    PeerJ Computer Science, volume 9, e1556, 2023.
    Available: DOI
  • Víctor García, Santiago Escobar, Kazuhiro Ogata, Sedat Akleylek, Ayoub Otmani.
    Modelling and verification of post-quantum key encapsulation mechanisms using Maude.
    PeerJ Computer Science, volume 9, e1547, 2023.
    Available: DOI
  • Raúl López, Santiago Escobar, Julia Sapiña
    An Efficient Canonical Narrowing Implementation with Irreducibility and SMT Constraints for Generic Symbolic Protocol Analysis.
    Journal of Logical and Algebraic Methods in Programming, Volume 135, July 2023. 2023
    © Elsevier Science
    Available: DOI
  • María Alpuente, Demis Ballis, Santiago Escobar, Daniel Galán, Julia Sapiña
    Safety enforcement via programmable strategies in Maude.
    Journal of Logical and Algebraic Methods in Programming, Volume 132, January 2023.
    © Elsevier Science
    Available: DOI
  • 2022

  • María Alpuente, Demis Ballis, Santiago Escobar, Julia Sapiña
    Symbolic Specialization of Rewriting Logic Theories with Presto.
    Theory and Practice of Logic Programming, volume 22, number 3, pages 444--495 (2022).
    © Cambridge University Press
    Available: DOI
  • María Alpuente, Demis Ballis, Santiago Escobar, Julia Sapiña
    Optimization of Rewrite Theories by Equational Partial Evaluation.
    Journal of Logical and Algebraic Methods in Programming, Volume 124, January 2022.
    © Elsevier Science
    Available: DOI
  • María Alpuente, Santiago Escobar, José Meseguer, Julia Sapiña
    Order-sorted equational generalization algorithm revisited.
    Annals of Mathematics and Artificial Intelligence, volume 90, number 5, pages 499--522 (2022).
    © Springer
    Available: DOI
  • 2020

  • María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer
    Order-sorted Homeomorphic Embedding modulo Combinations of Associativity and/or Commutativity Axioms.
    Fundamenta Informaticae, 177 (2020) 297-329.
    © IOS Press
    Available: DOI
  • María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer
    A Partial Evaluation Framework for Order-sorted Equational Programs modulo Axioms.
    Journal of Logical and Algebraic Methods in Programming, volume 110, 2020.
    © Elsevier Science
    Available: DOI
  • Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn Talcott
    Programming and Symbolic Computation in Maude.
    Journal of Logical and Algebraic Methods in Programming, volume 110, 2020.
    © Elsevier Science
    Available: DOI
  • 2019

  • María Alpuente, Demis Ballis, Santiago Escobar, Julia Sapiña.
    Symbolic Analysis of Maude Theories with Narval.
    Theory and Practice of Logic Programming, 19(5-6): 874-890 (2019).
    © Cambridge University Press
    Available: DOI
  • 2017

  • María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, Julia Sapiña.
    Inspecting Maude Variants with GLINTS.
    Theory and Practice of Logic Programming, Volume 17, Issue 5-6, pages 689-707, September 2017.
    © Cambridge University Press
    Available: DOI
  • 2015

  • Andrew Cholewa, Santiago Escobar, José Meseguer
    Constrained narrowing for conditional equational theories modulo axioms.
    Science of Computer Programming, volume 112, part 1, pages 24-57, 2015.
    © Elsevier
    Available: DOI
  • 2014

  • Santiago Escobar, Catherine Meadows, José Meseguer, Sonia Santiago
    State Space Reduction in the Maude-NRL Protocol Analyzer.
    Information and Computation, Volume 238, November 2014, Pages 157-186.
    © Elsevier
    Available: Preliminary version DOI
  • María Alpuente, Santiago Escobar, Javier Espert, José Meseguer.
    A Modular Order-sorted Equational Generalization Algorithm.
    Information and Computation, Volume 235, April 2014, Pages 98-136.
    © Elsevier
    Available: Preliminary version DOI
  • 2012

  • Santiago Escobar, Ralf Sasse, José Meseguer.
    Folding variant narrowing and optimal variant termination.
    The Journal of Logic and Algebraic Programming, Volume 81, Issues 7-8, pages 898-928, 2012.
    © Elsevier
    Available: Preliminary version DOI link
  • 2010

  • María Alpuente, Santiago Escobar, José Iborra.
    Modular Termination of Basic Narrowing and Equational Unification.
    Logic Journal of the IGPL, Volume 19, Issue 6, pages 731-762. 2010.
    © Oxford Journals
    Available: DOI link Preliminary version
  • María Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, José Iborra.
    A Compact Fixpoint Semantics for Term Rewriting Systems
    Theoretical Computer Science, Volume 411, Issue 37, 7 August 2010, Pages 3348-3371.
    © Elsevier
    Available: DOI link Preliminary version
  • María Alpuente, Santiago Escobar, Bernhard Gramlich, Salvador Lucas.
    On-Demand Strategy Annotations Revisited: An Improved On-Demand Evaluation Strategy
    Theoretical Computer Science, Volume 411, Issue 2, 2 January 2010, Pages 504-541.
    © Elsevier
    Available: DOI link Preliminary version
  • 2009

  • María Alpuente, Santiago Escobar, José Iborra.
    Termination of Narrowing Revisited
    Theoretical Computer Science, Volume 410, Issue 46, 1 November 2009, Pages 4608-4625.
    Abstract Interpretation and Logic Programming: In honor of professor Giorgio Levi.
    © Elsevier
    Available: DOI link Preliminary version
  • 2007

  • María Alpuente, Santiago Escobar, Salvador Lucas.
    Removing Redundant Arguments Automatically
    Theory and Practice of Logic Programming, Volume 7, Issues 1-2, pages 3-35, 2007.
    © Cambridge University Press
    Available: DOI link Online version (CoRR)
  • 2006

  • Santiago Escobar, Catherine Meadows, José Meseguer.
    A Rewriting-Based Inference System for the NRL Protocol Analyzer and its Meta-Logical Properties
    Theoretical Computer Science, Volume 367, Issues 1-2, pages 162-202, 2006.
    © Elsevier
    Available: DOI link Preliminary version
  • 2004

  • Santiago Escobar.
    Strategies and Analysis Techniques in Functional Program Optimization
    AI Communications, 17(1):35 - 37.
    IOS Press, 2004
    © IOS Press
    Available: ACM link PDF

  • Conference & Workshop Papers

    (Select year: 2024 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 2000 1999 )


    2024

  • Kyungmin Bae, Santiago Escobar, Raúl López-Rueda, Jose Meseguer, Julia Sapiña.
    Verifying Invariants by Deductive Model Checking.
    In Kazuhiro Ogata (ed),
    15th International Workshop on Rewriting Logic and Its Applications, WRLA 2024.
    Lecture Notes in Computer Science, to appear.
    © Springer-Verlag
  • Santiago Escobar, Narciso Martí-Oliet, Rubén Rubio.
    Towards a strategy language for narrowing in Maude.
    In Kazuhiro Ogata (ed),
    15th International Workshop on Rewriting Logic and Its Applications, WRLA 2024.
    Lecture Notes in Computer Science, to appear.
    © Springer-Verlag
  • 2023

  • Santiago Escobar, Raul López, Julia Sapiña.
    Symbolic analysis by using folding narrowing with irreducibility and SMT constraints.
    In Proceedings of
    9th ACM International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2023), Cascais, Portugal, October 22, 2023.
    © ACM Press
  • Daniel Galán, Víctor García, Santiago Escobar, Catherine Meadows, and Jose Meseguer.
    Protocol Dialects as Formal Patterns.
    In Proceedings of
    28th European Symposium on Research in Computer Security (ESORICS 2023), September 25-29, 2023, The Hague, The Netherlands.
    Lecture Notes in Computer Science, volume 14345, pages 42-61.
    © Springer-Verlag
    Available: DOI
  • María Alpuente, Demis Ballis, Santiago Escobar, José Meseguer, Julia Sapiña
    Optimizing Maude Programs via Program Specialization.
    In Proceedings of Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday, Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems.
    Lecture Notes in Computer Science, volume 13160, pages 21-50.
    ©
    Springer-Verlag
    Available: DOI
  • Fan Yang, Santiago Escobar, Catherine A. Meadows, José Meseguer, Sonia Santiago
    Strand Spaces with Choice via a Process Algebra Semantics.
    In Proceedings of Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday, Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems.
    Lecture Notes in Computer Science, volume 13160, pages 307-350.
    ©
    Springer-Verlag
    Available: DOI
  • Santiago Escobar
    Extensions of Logic Programming in Maude
    Feature Article of Association for Logic Programming. February 2023
    Available:
    Online
  • 2022

  • Duong Dinh Tran, Kazuhiro Ogata, Santiago Escobar, Sedat Akleylek, Ayoub Otmani
    Formal specification and model checking of lattice-based key encapsulation mechanisms in Maude.
    In Proceedings of the
    International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols,
    co-located with the 23rd International Conference on Formal Engineering Methods (ICFEM 2022), Madrid, Spain, October 24, 2022.
    CEUR Workshop Proceedings, volume 3280, pages 16-31, CEUR-WS.org 2022
    Available: DOI
  • Víctor García, Santiago Escobar, Kazuhiro Ogata
    Modeling and verification of the post-quantum key encapsulation mechanism KYBER using Maude.
    In Proceedings of the
    International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols,
    co-located with the 23rd International Conference on Formal Engineering Methods (ICFEM 2022), Madrid, Spain, October 24, 2022.
    CEUR Workshop Proceedings, volume 3280, pages 32-49, CEUR-WS.org 2022
    Available: DOI
  • Duong Dinh Tran, Canh Minh Do, Santiago Escobar, Kazuhiro Ogata
    Hybrid Post-Quantum TLS formal specification in Maude-NPA - toward its security analysis.
    In Proceedings of the
    International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols,
    co-located with the 23rd International Conference on Formal Engineering Methods (ICFEM 2022), Madrid, Spain, October 24, 2022.
    CEUR Workshop Proceedings, volume 3280, pages 50-64, CEUR-WS.org 2022
    Available: DOI
  • Raúl López-Rueda, Santiago Escobar.
    Canonical Narrowing for Variant-based Conditional Rewrite Theories.
    In Adrián Riesco and Min Zhang (ed),
    The 23rd International Conference on Formal Engineering Methods (ICFEM 2022).
    Lecture Notes in Computer Science, volume 13478, pages 20-35.
    © Springer-Verlag
    Available: DOI
  • María Alpuente, Demis Ballis, Santiago Escobar and Julia Sapiña.
    Variant-based equational anti-unification. .
    In proceedings of
    32nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2022).
    Lecture Notes in Computer Science, volume 13474, pages 44-60. Springer 2022.
    © Springer-Verlag
    Available: DOI
  • Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, and Carolyn Talcott.
    Equational Unification and Matching, and Symbolic Reachability Analysis in Maude 3.2.
    In proceedings of
    International Joint Conference on Automated Reasoning (IJCAR).
    Lecture Notes in Computer Science, volume 13385, pages 529-540.
    © Springer-Verlag
    Available: DOI
  • Raúl López-Rueda, Santiago Escobar.
    Canonical Narrowing with Irreducibility and SMT Constraints as a Generic Symbolic Protocol Analysis Method.
    In Kyungmin Bae (ed),
    14th International Workshop on Rewriting Logic and Its Applications, WRLA 2022.
    Lecture Notes in Computer Science, volume 13252, pages 45--64.
    © Springer-Verlag
    Available: DOI
  • Raúl López-Rueda, Santiago Escobar, Jose Meseguer.
    An Efficient Canonical Narrowing Implementation for Protocol Analysis.
    In Kyungmin Bae (ed),
    14th International Workshop on Rewriting Logic and Its Applications, WRLA 2022.
    Lecture Notes in Computer Science, volume 13252, pages 151--170.
    © Springer-Verlag
    Available: DOI
  • Canh Minh Do, Adrián Riesco, Santiago Escobar, and Kazuhiro Ogata.
    Parallel Maude-NPA for Cryptographic Protocol Analysis.
    In Kyungmin Bae (ed),
    14th International Workshop on Rewriting Logic and Its Applications, WRLA 2022.
    Lecture Notes in Computer Science, volume 13252, pages 253--273.
    © Springer-Verlag
    Available: DOI
  • Duong Dinh Tran, Kazuhiro Ogata, Santiago Escobar, Sedat Akleylek, and Ayoub Otmani.
    Formal specification and model checking of lattice-based key encapsulation mechanisms in Maude.
    In Kyungmin Bae (ed),
    14th International Workshop on Rewriting Logic and Its Applications, WRLA 2022.
  • Duong Dinh Tran, Kazuhiro Ogata, Santiago Escobar, Sedat Akleylek, and Ayoub Otmani.
    Formal specification and model checking of Saber lattice-based key encapsulation mechanism in Maude.
    In
    34th International Conference on Software Engineering & Knowledge Engineering (SEKE 2022).
    KSIR Virtual Conference Center, Pittsburgh, USA.
    Available: DOI
  • 2021

  • Damián Aparicio-Sánchez, Santiago Escobar, Catherine Meadows, Jose Meseguer, Julia Sapiña.
    Protocol Analysis with Time and Space.
    In: Dougherty D., Meseguer J., Mödersheim S.A., Rowe P. (eds) Protocols, Strands, and Logic
    .
    Lecture Notes in Computer Science, vol 13066, pp 22-49, 2021.
    © Springer-Verlag
    Available: DOI
  • 2020

  • Damián Aparicio-Sánchez, Santiago Escobar, Catherine Meadows, Jose Meseguer, Julia Sapiña.
    Protocol Analysis with Time.
    In proceedings of
    21st International Conference on Cryptology in India.
    Lecture Notes in Computer Science, volume 12578, pages 128-150. 2020
    © Springer-Verlag
    Available: DOI
  • Damián Aparicio-Sánchez, Santiago Escobar, Julia Sapiña.
    Variant-based Equational Unification under Constructor Symbols.
    In proceedings of
    the 36th International Conference on Logic Programming (ICLP 2020).
    ICLP Technical Communications 2020. Electronic Proceedings in Theoretical Computer Science, volume 325, pages 38-51. 2020.
    Available: DOI
  • Damián Aparicio-Sánchez, Santiago Escobar, Raúl Gutiérrez, Julia Sapiña.
    An Optimizing Protocol Transformation for Constructor Finite Variant Theories in Maude-NPA.
    In proceedings of
    25th European Symposium on Research in Computer Security (ESORICS) 2020.
    Lecture Notes in Computer Science, volume 12309, pages 230-250. 2020
    © Springer-Verlag
    Available: DOI
  • 2019

  • Santiago Escobar, Julia Sapiña.
    Most General Variant Unifiers.
    In proceedings of
    the 35rd International Conference on Logic Programming (ICLP 2019).
    ICLP Technical Communications 2019: 154-167, Electronic Proceedings in Theoretical Computer Science, 2019.
    Available: DOI
  • Santiago Escobar, José Meseguer.
    Canonical Narrowing with Irreducibility Constraints as a Symbolic Protocol Analysis Method.
    In proceedings of Foundations of Security, Protocols, and Equational Reasoning - Essays Dedicated to Catherine A. Meadows
    .
    Lecture Notes in Computer Science, volume 11565, pages 15-38.
    © Springer-Verlag
    Available: DOI
  • María Alpuente, Demis Ballis, Angel Cuenca-Ortega, Santiago Escobar, and José Meseguer.
    ACUOS2: A High-performance System for Modular ACU Generalization with Subtyping and Inheritance.
    In proceedings of
    16th edition of the European Conference on Logics in Artificial Intelligence (JELIA 2019), May 8-10, 2019, Rende, Italy
    Lecture Notes in Computer Science, volume 11468, pages 171-181.
    © Springer-Verlag
    Available: DOI
  • 2018

  • Antonio González-Burgueño, Damián Aparicio-Sánchez, Santiago Escobar, Catherine Meadows, and José Meseguer.
    Formal verification of the YubiKey and YUbiHSM APIs in Maude-NPA.
    In proceedings of
    22th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR18), Awassa Ethiopia, 16-21 November 2018.
    EPiC Series in Computing, volume 57, pages 400-417.
    Available: DOI EPiC Series in Computing CoRR
  • Fan Yang, Santiago Escobar, Catherine Meadows, José Meseguer.
    Modular Verification of Sequential Composition for Private Channels in Maude-NPA.
    In proceedings of
    14th International Workshop on Security and Trust Management (STM 2018).
    Lecture Notes in Computer Science, volume 11091, pages 20-36.
    © Springer-Verlag
    Available: DOI
  • María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, Jose Meseguer.
    Homeomorphic Embedding modulo Combinations of Associativity and Commutativity Axioms.
    In proceedings of
    28th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2018).
    Lecture Notes in Computer Science, volume 11408, pages 38-44.
    © Springer-Verlag
    Available: DOI
  • Santiago Escobar.
    Multiparadigm programming in Maude.
    In proceedings of
    12th International Workshop on Rewriting Logic and its Applications (WRLA 2018).
    Lecture Notes in Computer Science, volume 11152, pages 26-44.
    © Springer-Verlag
    Available: DOI
  • Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, and Carolyn Talcott.
    Associative Unification and Symbolic Reasoning Modulo Associativity in Maude.
    In proceedings of
    12th International Workshop on Rewriting Logic and its Applications (WRLA 2018).
    Lecture Notes in Computer Science, volume 11152, pages 98-114.
    © Springer-Verlag
    Available: DOI
  • 2017

  • María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, Julia Sapiña.
    Inspecting Maude Variants with GLINTS.
    In proceedings of
    the 33rd International Conference on Logic Programming (ICLP 2017).
    Available: CoRR
  • María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer.
    Partial Evaluation of Order-sorted Equational Programs modulo Axioms.
    In proceedings of
    26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016).
    © Springer-Verlag
  • 2016

  • Fan Yang, Santiago Escobar, Catherine Meadows, José Meseguer, and Sonia Santiago.
    Strand Spaces with Choice via a Process Algebra Semantics.
    In proceedings of
    18th International Symposium on Principles and Practice of Declarative Programming (PPDP 2016).
    © ACM Press
    Available: DOI
  • Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, and Carolyn Talcott.
    Built-in Variant Generation and Unification, and their Applications in Maude 2.7.
    In proceedings of
    International Joint Conference on Automated Reasoning (IJCAR).
    Lecture Notes in Computer Science, volume 9706, pages 183-192. Springer 2016.
    © Springer-Verlag
    Available: DOI
  • 2015

  • Santiago Escobar, Catherine Meadows, José Meseguer, Sonia Santiago.
    Symbolic Protocol Analysis with Disequality Constraints Modulo Equational Theories.
    In proceedings of
    Programming Languages with Applications to Biology and Security - Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday.
    Lecture Notes in Computer Science, volume 9465, pages 238-261. Springer 2015.
    © Springer-Verlag
    Available: DOI
  • Manuel Clavel, Francisco Durán, Steven Eker, Santiago Escobar, Patrick Lincoln, Narciso Martí-Oliet, Carolyn L. Talcott.
    Two Decades of Maude.
    In proceedings of
    Logic, Rewriting, and Concurrency - Essays dedicated to José Meseguer on the Occasion of His 65th Birthday.
    Lecture Notes in Computer Science, volume 9200, pages 232-254. Springer 2015.
    © Springer-Verlag
    Available: DOI
  • Antonio González-Burgueño, Sonia Santiago, Santiago Escobar, Catherine Meadows, and José Meseguer.
    Analysis of the PKCS#11 API using the Maude-NPA tool.
    In proceedings of
    2nd International Conference on Research in Security Standardisation (SSR 2015).
    Lecture Notes in Computer Science, volume 9497, pages 86-106. Springer 2015.
    © Springer-Verlag
    Available: DOI
  • 2014

  • Antonio González-Burgueño, Sonia Santiago, Santiago Escobar, Catherine Meadows, and José Meseguer.
    Analysis of the IBM CCA Security API Protocols in Maude-NPA.
    In proceedings of
    1st International Conference on Research in Security Standardisation (SSR 2014), Royal Holloway, London, UK - December 16-17, 2014
    Lecture Notes in Computer Science, volume 8893, pages 111-130, Springer 2014.
    © Springer-Verlag
    Available: Preliminary version DOI
  • Elena Lloret, Santiago Escobar, Manuel Palomar, and Isidro Ramos.
    Incremental and Adaptive Software Systems Development of Natural Language Applications.
    In proceedings of 22nd International Conference on Information Systems Development (ISD 2013), Sevilla, Spain, September 2-4, 2013.
    ISBN 978-3-319-07214-2, pages 511-523, 2014.
    © Springer-Verlag
    Available: Preliminary version DOI
  • Sonia Santiago, Santiago Escobar, Catherine Meadows, and José Meseguer.
    A Formal Definition of Protocol Indistinguishability and its Verification Using Maude-NPA.
    In proceedings of
    10th International Workshop on Security and Trust Management (STM 2014) in conjunction with ESORICS 2014., Wrocław, Poland - September 10-11, 2014
    Lecture Notes in Computer Science, volume 8743, pages 162-177, Springer 2014.
    © Springer-Verlag
    Available: Preliminary version DOI
  • María Alpuente, Santiago Escobar, Javier Espert, and José Meseguer.
    ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance.
    In proceedings of
    14th European Confernece on Logics in Artificial Intelligence (JELIA 2014), September 24th - 26th, Madeira, Portugal
    Lecture Notes in Computer Science, volume 8761, pages 573--581, Springer 2014.
    © Springer-Verlag
    Available: Preliminary version DOI
  • Fan Yang, Santiago Escobar, Catherine Meadows, José Meseguer, and Paliath Narendran.
    Theories of Homomorphic Encryption, Unification, and the Finite Variant Property.
    In proceedings of
    16th International Symposium on Principles and Practice of Declarative Programming (PPDP 2014), September 8-10, 2014, Canterbury, UK
    © ACM Press
    Available: Preliminary version
  • Sonia Santiago, Santiago Escobar, Catherine Meadows, and José Meseguer.
    A Rewriting-based Forwards Semantics for Maude-NPA.
    In proceedings of
    Symposium and Bootcamp on the Science of Security (HotSoS 2014), April 8-9, 2014, Raleigh, NC, USA.
    ACM Digital Library, 2014.
    © ACM Press
    Available: DOI Preliminary version
  • Santiago Escobar.
    Functional Logic Programming in Maude.
    In proceedings of
    Specification, Algebra, and Software: A Festschrift Symposium in Honor of Kokichi Futatsugit (SAS 2014), Kanazawa, Japan, 2014.
    Lecture Notes in Computer Science, volume 8373, pages 315-336, Springer 2014.
    © Springer-Verlag
    Available: Preliminary version DOI
  • 2013

  • Santiago Escobar.
    Unification and Anti-unification modulo Equational Theories.
    The 27th International Workshop on Unification (UNIF 2013), EPiC - EasyChair Proceedings in Computing, volume 19, page 1, 2013.
    Available: Online
  • María Alpuente, Santiago Escobar, Javier Espert.
    Detecting ACU Structural Symmetries.
    The 27th International Workshop on Unification (UNIF 2013), EPiC - EasyChair Proceedings in Computing, volume 19, page 3-7, 2013.
    Available: Online
  • Kyungmin Bae, Santiago Escobar, and José Meseguer.
    Abstract Logical Model Checking of Infinite-State Systems Using Narrowing.
    In proceedings of
    24th International Conference on Rewriting Techniques and Applications (RTA 2013),
    LIPIcs-Leibniz International Proceedings in Informatics, volume 21, pages 81-96, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
    Available: DOI
  • Serdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine Meadows, José Meseguer, Paliath Narendran, Sonia Santiago, and Ralf Sasse.
    Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis
    In proceedings of
    CADE-24 - the 24th International Conference on Automated Deduction,
    Lecture Notes in Computer Science, volume 7898, pages 231-248, Springer 2013.
    © Springer-Verlag
    Available: Preliminary version DOI
  • 2012

  • Serdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine Meadows, José Meseguer, Paliath Narendran, Sonia Santiago, and Ralf Sasse.
    Effective Symbolic Protocol Analysis via Equational Irreducibility Conditions
    In proceedings of
    17th European Symposium on Research in Computer Security (ESORICS 2012).,
    Lecture Notes in Computer Science, volume 7459, pages 73-90, 2012.
    © Springer-Verlag
    Available: DOI
  • Serdar Erbatur, Santiago Escobar, and Paliath Narendran.
    Unification modulo a property of the El Gamal Encryption Scheme.
    In proceedings of
    The International Workshop on Unification (UNIF 2012).
    Available: Preliminary version
  • 2011

  • Serdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine Meadows, Jose Meseguer, Paliath Narendran and Ralf Sasse.
    Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis
    In proceedings of
    The International Workshop on Unification (UNIF 2011).
  • Santiago Escobar, Deepak Kapur, Christophe Lynch, Catherine Meadows, José Meseguer, Paliath Narendran, and Ralf Sasse.
    Protocol Analysis in Maude-NPA Using Unification Modulo Homomorphic Encryption
    In proceedings of 13th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP'2011).
    © ACM Press
    Available: DOI
  • Francisco Durán, Steven Eker, Santiago Escobar, José Meseguer and Carolyn Talcott.
    Variants, Unification, Narrowing, and Symbolic Reachability in Maude 2.6 (system description)
    In proceedings of 22nd International Conference on Rewriting Techniques and Applications (RTA 2011),
    LIPIcs-Leibniz International Proceedings in Informatics, volume 10, pages 31-40, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
    Available: DOI
  • Ralf Sasse, Santiago Escobar, Catherine Meadows, José Meseguer.
    Protocol Analysis Modulo Combination of Theories: A Case Study in Maude-NPA.
    In proceedings of 6th International Workshop on Security and Trust Management (STM'10),
    Lecture Notes in Computer Science, Volume 6710, pages 163-178, 2011.
    © Springer-Verlag
    Available: DOI PDF
  • 2010

  • Mauricio Alba-Castro, María Alpuente, Santiago Escobar.
    Confidentiality Certification of source Java code in JavaPCC.
    In proceedings of 10th International Workshop on Automated Verification of Critical Systems (AVOCS 2010).
  • Mauricio Alba-Castro, María Alpuente, Santiago Escobar.
    Approximating Non-interference and Erasure in Rewriting Logic.
    In proceedings of 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2010).
    © IEEE Press
  • M. Alba-Castro, M. Alpuente, S. Escobar.
    Abstract Certification of Global Non-Interference in Rewriting Logic (Invited paper)
    In proceedings of Software Technologies Concertation on Formal Methods for Components and Objects (FMCO'09),
    Lecture Notes in Computer Science, Volume 6286, pages 105-124, 2010.
    © Springer-Verlag
    Available: DOI PDF CoRR with proofs
  • S. Escobar, C. Meadows, J. Meseguer S. Santiago
    Sequential Protocol Composition in Maude-NPA
    In proceedings of European Symposium on Research in Computer Security (ESORICS 2010),
    LNCS 6345, pages 303-318. 2010.
    © Springer-Verlag
    Available: DOI
  • Santiago Escobar, José Meseguer, Ralf Sasse.
    Folding Variant Narrowing and Optimal Variant Termination
    In proceedings of 8th International Workshop on Rewriting Logic and its Applications (WRLA 2010),
    LNCS 6381, pages 52-68. 2010.
    © Springer-Verlag
    Available: PDF DOI
  • 2009

  • S. Santiago, C. Talcott, S. Escobar, C. Meadows, J. Meseguer
    A Graphical User Interface for Maude-NPA.
    In IX Jornadas sobre Programación y Lenguajes (PROLE 2009).
    Electronic Notes in Theoretical Computer Science, volume 258, number 1, pages 3-20. Elsevier, 2009.
    © Elsevier
  • Available: DOI

  • Manuel Clavel, Francisco Durán, Steven Eker, Santiago Escobar, Pat Lincoln, Narciso Marti-Oliet, José Meseguer and Carolyn Talcott.
    Unification and Narrowing in Maude 2.4 (system description)
    In proceedings of 20th International Conference on Rewriting Techniques and Applications (RTA'09), LNCS 5595, pages 380-390, 2009.
    © Springer-Verlag
    Available: DOI PDF
  • 2008

  • Santiago Escobar, Catherine Meadows, José Meseguer.
    The Maude-NRL Protocol Analyzer (short paper)
    In proceedings of 15th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR08), Doha, Qatar.
  • María Alpuente, Santiago Escobar, José Iborra.
    Termination of Narrowing using Dependency Pairs
    In proceedings of 24th International Conference on Logic Programming (ICLP 2008),
    LNCS 5366, pages 317-331, 2008.
    © Springer-Verlag
    Available: DOI PDF
  • Mauricio Alba-Castro, María Alpuente, Santiago Escobar.
    Automated Certification of Non-Interference in Rewriting Logic
    In proceedings of 13th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2008),
    LNCS 5596, pages 182-198, 2008.
    © Springer-Verlag
    Available: DOI PDF
  • Santiago Escobar, Catherine Meadows, José Meseguer.
    State Space Reduction in the Maude-NRL Protocol Analyzer
    In proceedings of 13th European Symposium on Research in Computer Security (ESORICS08),
    LNCS 5283, pages 548-562, 2008.
    © Springer-Verlag
    Available: DOI PDF
  • María Alpuente, Santiago Escobar, José Meseguer, Pedro Ojeda.
    A Modular Equational Generalization Algorithm
    In proceedings of 18th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR08),
    LNCS 5438, pages 24-39, 2008.
    © Springer-Verlag
    Available: DOI PDF
  • María Alpuente, Santiago Escobar, José Meseguer, Pedro Ojeda.
    Order-Sorted Generalization
    In proceedings of 17th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP'08),
    Electronic Notes in Theoretical Computer Science, volume 246, pages 27-38, 2008.
    © Elsevier
    Available: DOI link PDF
  • Santiago Escobar, José Meseguer
    Symbolic Model Checking of Infinite-State Systems Using Narrowing
    In proceedings of 8th Jornadas sobre Programación y Lenguajes (PROLE'08),
    short paper, 2008
  • Mauricio Alba-Castro, María Alpuente, Santiago Escobar, Pedro Ojeda and Daniel Romero
    A Tool for Automated Certification of Java Source Code in Maude
    In proceedings of 8th Jornadas sobre Programación y Lenguajes (PROLE'08),
    Electronic Notes in Theoretical Computer Science, volume 248, pages 19-29, 2008.
    © Elsevier
    Available: DOI link PDF
  • Santiago Escobar, José Meseguer, Ralf Sasse.
    Effectively Checking or Disproving the Finite Variant Property
    In proceedings of 19th International Conference on Rewriting Techniques and Applications (RTA 2008),
    LNCS 5117, pages 79-93. 2008.
    © Springer-Verlag
    Available: DOI PDF
  • María Alpuente, Santiago Escobar, José Iborra.
    Modular Termination of Basic Narrowing
    In proceedings of 19th International Conference on Rewriting Techniques and Applications (RTA 2008),
    LNCS 5117, pages 1-16. 2008.
    © Springer-Verlag
    Available: DOI PDF
  • Santiago Escobar, Catherine Meadows, José Meseguer.
    The Maude-NRL Protocol Analyzer (short paper)
    In LICS-CSF short papers 21st IEEE Computer Security Foundations Symposium (CSF) and 23rd IEEE Symposium on Logic in Computer Science (LICS). , Pittsburgh, USA.
  • Mike Katelman, José Meseguer, Santiago Escobar.
    Directed-Logical Testing for Functional Verification of Microprocessors
    In proceedings of 6th ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE'2008),
    pages 89-100, ISBN 978-1-4244-2417-7. ACM Press, 2008
    © ACM Press
    Available: DOI
  • Santiago Escobar, José Meseguer, Ralf Sasse.
    Equational Unification by Variant Narrowing
    In proceedings of 22nd International Workshop on Unification,
    short paper, 2008
  • Santiago Escobar, José Meseguer, Ralf Sasse.
    Variant Narrowing and Equational Unification
    In proceedings of 7th International Workshop on Rewriting Logic and its Applications (WRLA08),
    Electronic Notes in Theoretical Computer Science, volume 238, issue 3, pages 103-119, 2009
    © Elsevier
    Available: DOI PDF
  • 2007

  • Santiago Escobar, Joe Hendrix, Catherine Meadows, José Meseguer.
    Diffie-Hellman Cryptographic Reasoning in the Maude-NRL Protocol Analyzer
    In informal proceedings of 2nd International Workshop on Security and Rewriting Techniques (SecReT 2007), 2007.
    Available: PDF
  • Mauricio Alba-Castro, María Alpuente, Santiago Escobar.
    Automatic Certification of Java Source Code in Rewriting Logic
    In proceedings of 12th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2007),
    LNCS 4916, pages 200-217, 2008.
    © Springer-Verlag
    Available: DOI
  • Santiago Escobar, José Meseguer
    Symbolic Model Checking of Infinite-State Systems Using Narrowing
    In proceedings of 18th International Conference on Rewriting Techniques and Applications (RTA 2007),
    LNCS volume 4533, pages 153-168, 2007.
    © Springer-Verlag
    Available: PDF
  • Santiago Escobar, Catherine Meadows, José Meseguer.
    Equational Cryptographic Reasoning in the Maude-NRL Protocol Analyzer
    In proceedings of 1st International Workshop on Security and Rewriting Techniques (SecReT 2006),
    Electronic Notes in Theoretical Computer Science, volume 171, pages 23-36, 2007.
    © Elsevier
    Available: DOI link PDF
  • 2006

  • Santiago Escobar, José Meseguer, Prasanna Thati.
    Narrowing and Rewriting Logic: from Foundations to Applications (invited paper)
    In proceedings of 15th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP'06),
    Electronic Notes in Theoretical Computer Science, volume 177, pages 5-33, 2007.
    © Elsevier
    Available: DOI link PDF
  • Santiago Escobar, Catherine Meadows, José Meseguer.
    The Maude-NRL Protocol Analyzer: A Rewriting-Based Inference System for Equational Cryptographic Reasoning (extended abstract)
    In proceedings of Midwest Security Workshop (MSW'2006), Urbana, IL, USA. 2006.
  • Santiago Escobar, Catherine Meadows, José Meseguer.
    The Maude-NRL Protocol Analyzer: A Rewriting-Based Inference System for Equational Cryptographic Reasoning (extended abstract)
    In proceedings of VI Jornadas sobre Programación y Lenguajes (PROLE'2006), Sitges, Spain. 2006.
  • 2005

  • Santiago Escobar, Catherine Meadows, José Meseguer.
    A Rewriting-Based Inference System for the NRL Protocol Analyzer: Grammar Generation
    In proceedings of 3rd ACM Workshop on Formal Methods in Security Engineering: From Specifications to Code (FMSE'05),
    pages 1-12, 2005.
    © ACM Press
    Superseded by this journal publication.
    Available: DOI link PDF
  • María Alpuente, Santiago Escobar, Salvador Lucas.
    A Note on Syntactic Annotations for Narrowing
    In proceedings of Quintas Jornadas sobre Programación y Lenguajes, PROLE'05, 2005.
    © Thomson
    Available: Abstract PDF
  • Santiago Escobar, José Meseguer, Prasanna Thati.
    Natural Narrowing for General Term Rewriting Systems
    In proceedings of 16th International Conference on Rewriting Techniques and Applications (RTA 2005).
    LNCS 3467:279-293, 2005.
    © Springer-Verlag
    Available: DOI link PDF
  • Santiago Escobar, José Meseguer, Prasanna Thati.
    Natural Rewriting for General Term Rewriting Systems
    In proceedings of International Symposium on Logic Based Program Synthesis and Tranformation (LOPSTR 2004).
    LNCS 3573:101-116, 2005.
    © Springer-Verlag
    Available: DOI link PDF
  • Francisco Durán, Santiago Escobar, Salvador Lucas.
    On-demand Evaluation for Maude
    Proc. of 5th International Workshop on Rule-Based Programming, RULE'04.
    Electronic Notes in Theoretical Computer Science, 124:25-39, 2005.
    © Elsevier
    Available: DOI link PDF
  • Francisco Durán, Santiago Escobar, Salvador Lucas.
    New evaluation commands for Maude within Full Maude
    Proc. of 5th International Workshop on Rewriting Logic and its Applications, WRLA'04,
    Electronic Notes in Theoretical Computer Science, 117:263-284. 2005.
    © Elsevier
    Available: DOI link Abstract PDF
  • 2004

  • Francisco Durán, Santiago Escobar, Salvador Lucas.
    Towards (constructor) normal forms for Maude within Full Maude (extended abstract)
    In Proceedings of the IV Jornadas sobre Programación y Lenguajes (PROLE'04), pages 125-136, 2004.
    Available: PDF
  • Santiago Escobar, José Meseguer, Prasanna Thati.
    A General Natural Rewriting Strategy (extended abstract)
    In Proceedings of the IV Jornadas sobre Programación y Lenguajes (PROLE'04), pages 97-100, 2004.
    Available: PDF
  • Santiago Escobar, José Meseguer, Prasanna Thati.
    Natural Rewriting for General Term Rewriting Systems
    Pre-proceedings of International Symposium on Logic Based Program Synthesis and Tranformation (LOPSTR), 2004.
    Superseded by this LNCS publication
  • María Alpuente, Santiago Escobar, Salvador Lucas.
    Correct and Complete (Positive) Strategy Annotations for OBJ
    4th Int'l Workshop on Rewriting Logic and its Applications (WRLA 2002), Pisa (Italy).
    Electronic Notes in Theoretical Computer Science, Vol. 71, 2004.
    © Elsevier
  • Santiago Escobar.
    Implementing Natural Rewriting and Narrowing Efficiently
    In Y. Kameyama and P. Stuckey, editors, Proc. of the 7th International Symposium on Functional and Logic Programming (FLOPS'2004).
    LNCS 2998, pages 147 - 162, 2004.
    © Springer-Verlag
    Available: Springer link / Abstract / Postscript / PDF
  • 2003

  • María Alpuente, Demis Ballis, Santiago Escobar, Moreno Falaschi, Salvador Lucas.
    Abstract Correction of OBJ-like Programs
    In L. Palopoli, editor, Proc. of the APPIA-GULP-PRODE 2003 Joint Conference on Declarative Programming (AGP'03).
    2003.
  • Santiago Escobar.
    Refining Weakly Outermost-Needed Rewriting and Narrowing
    In Proc. of the Fifth ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP'03), pages 113-123, 2003.
    ©
    ACM Press
    Available: DOI link PDF BibTeX entry
  • María Alpuente, Santiago Escobar, Salvador Lucas.
    On-Demand evaluation by program transformation
    In Proc. of the 4th International Workshop on Rule-Based Programming (RULE'03).
    Electronic Notes on Theoretical Computer Science, volume 86, issue 2. 2003
    © Elsevier
    Available: Abstract PDF
  • María Alpuente, Santiago Escobar, Salvador Lucas.
    OnDemandOBJ: A Laboratory for Strategy Annotations
    In Proc. of the 4th International Workshop on Rule-Based Programming (RULE'03).
    Electronic Notes on Theoretical Computer Science, volume 86, issue 2. 2003
    © Elsevier
    Available: Abstract PDF
  • Santiago Escobar.
    Improving (Weakly) Outermost-Needed Narrowing: Natural Narrowing
    In G. Vidal, editor, Pre-proceedings of the 12th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP'03).
    2003.
    Superseded by
    this ACM publication.
  • María Alpuente, Demis Ballis, Santiago Escobar, Moreno Falaschi, Salvador Lucas.
    Automated Correction of Functional Programs
    In G. Vidal, editor, Proceedings of the 12th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP'03).
    Electronic Notes in Theoretical Computer Science, volume 86, issue 3. 2003.
    © Elsevier
    Available: Abstract PDF
  • María Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, Salvador Lucas.
    Abstract Diagnosis of Functional Programs
    In M. Leuschel, editor, Proc. of Logic-Based Program Synthesis and Transformation (LOPSTR'02),
    LNCS 2664, pages 1-16, 2003.
    © Springer-Verlag
    Available: Abstract Postscript PDF
  • 2002

  • María Alpuente, Rachid Echahed, Santiago Escobar, Salvador Lucas.
    Redundancy of Arguments Reduced to Induction
    In Proc. of the 11th International Workshop on Functional and (constraint) Logic Programming (WFLP'2002), Grado (Italy).
    Electronic Notes in Theoretical Computer Science, Vol. 76.
    © Elsevier
    Available: Abstract Postscript PDF
  • María Alpuente, Santiago Escobar, Salvador Lucas.
    A transformation for implementing on-demand strategy annotations
    Proc. of 3rd International Workshop on the Implementation of Logics. Tbilisi, Georgia, October 2002.
    Superseded by this ENTCS publication
  • María Alpuente, Santiago Escobar, Salvador Lucas.
    A program transformation for implementing on-demand strategy annotations
    Proc. of 14th International Workshop on the Implementation of Functional Languages, IFL'02, Madrid (Spain).
    Superseded by this ENTCS publication
  • María Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, Salvador Lucas.
    A Declarative Debugging Scheme for Functional Programs
    Proc. of the 12th Int'l Workshop on Logic-Based Program Synthesis and Transformation (LOPSTR 2002), Madrid (Spain).
    Superseded by this LNCS publication
  • María Alpuente, Santiago Escobar, Bernhard Gramlich, Salvador Lucas.
    Improving On-demand Rewriting Annotations
    9th Int'l Conf. on Logic for Programming Artificial Intelligence and Reasoning (LPAR 2002), Tbilisi (Georgia),
    LNAI 2514, pages 1-18, Springer-Verlag, Berlin, 2002
    © Springer-Verlag
    Available: Abstract Postscript PDF
  • María Alpuente, Santiago Escobar, Salvador Lucas.
    Correct and Complete (Positive) Strategy Annotations for OBJ
    In Proc. of the 4th Int'l Workshop on Rewriting Logic and its Applications (WRLA 2002), Pisa (Italy).
    Superseded by this ENTCS publication
  • María Alpuente, Rachid Echahed, Santiago Escobar, Salvador Lucas.
    Redundancy of Arguments Reduced to Induction
    In Proc. of the 11th International Workshop on Functional and (constraint) Logic Programming (WFLP'2002), Grado (Italy).
    Research Report UDMI/18/2002/RR, pages 255-268. July 2002.
    Superseded by this ENTCS publication
  • María Alpuente, Santiago Escobar, Salvador Lucas.
    Removing Redundant Arguments of Functions
    In Proc. of the 9th International Conference on Algebraic Methodology And Software Technology (AMAST'2002),
    LNCS 2422, pages 117-131, 2002.
    © Springer-Verlag
    Superseded by this journal publication
  • 2000

  • María Alpuente, Santiago Escobar, Salvador Lucas.
    Redundancy Analyses in Term Rewriting
    In Proc. of the 9th Int'l Workshop on Functional and Logic Programming (WFLP2000),
    SPUPV 2000.2039, pages 309-323. Benicassim (Spain), September 2000.
    Available: Abstract PostScript BibTeX entry
  • 1999

  • María Alpuente, Santiago Escobar, Salvador Lucas.
    UPV-Curry: An Incremental Curry Interpreter
    In J. Pavelka, G. Tel, and M. Bartosek, editors, Proc. of 26th Seminar on Current Trends in Theory and Practice of Informatics, SOFSEM'99,
    LNCS 1725, pages 331-339, Milovy, Czech Republic, November 1999.
    © Springer-Verlag
    Available: Abstract / DVI / PostScript / BibTeX entry
  • María Alpuente, Santiago Escobar, Salvador Lucas.
    Incremental Needed Narrowing
    In P. Tarau and K. Sagonas, editors, Proc of the Int'l Workshop on Implementation of Declarative Languages, IDL'99, 1999.
    Available: Abstract / DVI / PostScript / HTML / BibTeX entry
  • María Alpuente, Santiago Escobar, Salvador Lucas.
    An Incremental Needed Narrowing Calculus for Curry
    In M.C. Meo and M. Vilares, editors, Proc of the 1999 Joint Conference on Declarative Programming, AGP'99, L'Acquila (Italy), 1999.
    Available: BibTeX entry
  • María Alpuente, Santiago Escobar, Salvador Lucas.
    An Incremental Curry Interpreter
    In Proc. of the 8th International Workshop on Functional and Logic Programming WFLP'99, Grenoble (France), 1999.
    Available: BibTeX entry

  • Technical Reports


    2007

  • Santiago Escobar, José Meseguer
    Symbolic Model Checking of Infinite-State Systems Using Narrowing
    Technical Report DSIC-II/05/07, 24 pages,
    Departamento de Sistemas Informáticos y Computacóón, UPV, 2007.
    Available: PDF

  • 2004

  • María Alpuente, Santiago Escobar, Salvador Lucas.
    Removing Redundant Arguments Automatically
    Technical Report DSIC-II/1/04, 39 pages,
    Departamento de Sistemas Informáticos y Computacóón, UPV, 2004.
    Superseded by this journal publication
  • María Alpuente, Santiago Escobar, Salvador Lucas.
    On-demand Evaluation by Program Transformation
    Technical Report DSIC-II/2/04, 38 pages,
    Departamento de Sistemas Informáticos y Computación, UPV, 2004.
    Available: PDF
  • 2003

  • María Alpuente, Santiago Escobar, Bernhard Gramlich, Salvador Lucas.
    On-Demand Strategy Annotations Revisited
    Technical Report DSIC-II/18/03, 51 pages,
    Departamento de Sistemas Informáticos y Computación, UPV, 2003.
    Available: PDF
  • 2002

  • María Alpuente, Santiago Escobar, Salvador Lucas.
    Correct and complete (positive) strategy annotatios for OBJ
    Technical report DSIC, DSIC-II/9/02, 2002, 19 pp.
    Superseded by this ENTCS publication
  • 1999

  • María Alpuente, Santiago Escobar, Salvador Lucas.
    UPV-Curry: An Incremental Curry Interpreter with Polymorphic Types and Monadic I/O.
    Technical report DSIC-II/12/99, UPV, 1999.
    Available: Abstract / DVI / PostScript / BibTeX entry.
  • 1998

  • Santiago Escobar, María Alpuente, Salvador Lucas.
    UPV-Curry User's Manual.
    Technical report DSIC-II/38/98, UPV, 1998.
    Available: Abstract / DVI / PostScript / BibTeX entry.
  • Santiago Escobar, María Alpuente, Salvador Lucas.
    Modelización conceptual declarativa en un lenguaje lógico-funcional avanzado.
    Technical report DSIC-II/39/98, UPV, 1998.
    Available: Abstract / DVI / PostScript / BibTeX entry.
  • Santiago Escobar, María Alpuente, Salvador Lucas, Germán Vidal.
    UPV-Curry: Un intérprete de Curry con tipos polimórficos y E/S monádica.
    Technical report DSIC-II/40/98, UPV, 1998.
    Available: Abstract / DVI / PostScript / BibTeX entry.

  • PhD Thesis


  • Santiago Escobar.
    Strategies and Analysis Techniques for Functional Program Optimization
    Ph.D. Thesis, Departamento de Sistemas Informáticos y Computación, Universidad Politécnica de Valencia, October 2003. (In English)
    PhD advisors:
    María Alpuente and Salvador Lucas.
    Examiners: Hélène Kirchner, Francisco López-Fraguas, José Meseguer, Isidro Ramos, and Albert Rubio.
    Available: Abstract / Gzipped PostScript / PDF / BibTeX entry.

  • Other


  • Santiago Escobar.
    Cookies
    À Punt Televisió.
    Feb 2024. (In Spanish/Catalan)
    Available: Original / Video.
  • Santiago Escobar.
    Introducción a los protocolos pos-cuánticos
    Sociedad de Ingeniería de Software y Tecnologías de Desarrollo de Software (SISTEDES).
    Dic 2023. (In Spanish)
    Available: Seminario / Video
  • Santiago Escobar.
    Jornada para Estudiantes de Grado Universitario y Formación Profesional
    ISACA Valencia.
    Dic 2023. (In Spanish)
    Available: Original
  • Santiago Escobar.
    Cátedra INCIBE-UPV
    Las Provincias.
    Dic 2023. (In Spanish)
    Available: Original / PDF.
  • Santiago Escobar.
    Crecen las crisis de ciberseguridad en la Comunitat Valenciana y cada vez se dirigen más a empresas y particulares
    Cadena SER Valencia.
    Dic 2023. (In Spanish)
    Available: Original / PDF.
  • Santiago Escobar.
    Tik Tok en Perill
    À Punt Televisió.
    Mar 2023. (In Spanish/Catalan)
    Available: Original / Video.
  • Santiago Escobar.
    Aplicaciones de citas
    RTVE.
    Feb 2023. (In Spanish)
    Available: Original / Video.
  • Santiago Escobar.
    La carpeta ciutadana
    À Punt Televisió.
    Feb 2023. (In Spanish/Catalan)
    Available: Original / Video.
  • Santiago Escobar.
    ¿Es posible un colapso global en Internet?
    La Razón.
    Nov 2022. (In Spanish)
    Available: Original / PDF.
  • Santiago Escobar.
    La nueva vida en el metaverso
    Periódico Levante.
    May 2022. (In Spanish)
    Available: Original / PDF.
  • Santiago Escobar.
    Màfies Bots
    À Punt Televisió.
    May 2022. (In Spanish/Catalan)
    Available: Original / Video.
  • Santiago Escobar.
    El espionaje que amenaza a todos
    Periódico Levante.
    May 2022. (In Spanish)
    Available: Original / PDF.
  • Santiago Escobar.
    ¿Qué nos depara el futuro en el mundo virtual?
    Agencia SINC (Servicio de Información y Noticias Científicas) de la Fundación Española para la Ciencia y la Tecnología.
    Feb 2022. (In Spanish)
    Available: Original / PDF.
  • Santiago Escobar.
    Pròxima parada - Mon digital
    À Punt Radio.
    Jan 2022. (In Spanish)
    Available: Original / Audio.
  • Santiago Escobar.
    La paradoja de los ciberataques: así se aprovechan los hackers de los avances para proteger la seguridad
    Crónicas del Intangible, Periódico El País.
    May 2021. (In Spanish)
    Available: Original / PDF.
  • Santiago Escobar.
    ¿Cómo nos protegeremos ante los ordenadores cuánticos?
    Revista Economía3.
    Apr 2021. (In Spanish)
  • Santiago Escobar.
    A prueba de ataques de ordenadores cuánticos
    Noticias Universitat Politècnica de València.
    Feb 2021. (In Spanish)
  • Santiago Escobar.
    Análisis de protocolos de seguridad criptográficos.
    CCN-CERT. Centro Criptológico Nacional.
    Diciembre 2018. (In Spanish)
    Available: Youtube / PDF
  • Santiago Escobar.
    ¿En qué se basa nuestra moderna sociedad digital?
    Crónicas del Intangible, Periódico El País.
    May 2016. (In Spanish)
    Available: Original / PDF.

  • Last modified: Feb 26 2024