Santiago Escobar

163 papers A 6B 6C 20Misc 3Journal 47Unranked 67

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	DM-Check: Verifying invariants of concurrent systems by deductive model checking. J. Log. Algebraic Methods Program. Kyungmin Bae, Santiago Escobar, Raúl López-Rueda, José Meseguer, Julia Sapiña
2026	C	`ed.`	Logic-Based Program Synthesis and Transformation - 35th International Symposium, LOPSTR 2025, Rende, Italy, September 9-10, 2025, Proceedings LOPSTR Santiago Escobar, Laura Titolo
2025	—	`conf`	A Symbolic Analysis of Hash Functions Vulnerabilities in Maude-NPA. ESORICS (2) Arturo Hernández-Sánchez, Santiago Escobar
2025	C	`conf`	Folding Narrowing for the Analysis of Mutual Exclusion Protocols. PPDP Raúl López-Rueda, Duong Dinh Tran, Canh Minh Do, Santiago Escobar, Kazuhiro Ogata
2025	J	`jnl`	Formalization and analysis of the post-quantum signature scheme FALCON with Maude. J. Log. Algebraic Methods Program. Víctor García, Santiago Escobar, Kazuhiro Ogata
2025	J	`jnl`	Parallel Maude-NPA for Cryptographic Protocol Analysis. IEEE Trans. Dependable Secur. Comput. Canh Minh Do, Adrián Riesco, Santiago Escobar, Kazuhiro Ogata
2025	J	`jnl`	Preface to Rewriting Logic and Its Applications (revised selected papers from WRLA 2020). J. Log. Algebraic Methods Program. Santiago Escobar, Narciso Martí-Oliet
2025	J	`jnl`	Protocol Dialects as Formal Patterns: A Composable Theory of Lingos - Technical report. CoRR Víctor García, Santiago Escobar, Catherine Meadows, José Meseguer
2024	J	`jnl`	Formal Analysis of Post-Quantum Hybrid Key Exchange SSH Transport Layer Protocol. IEEE Access Duong Dinh Tran, Kazuhiro Ogata, Santiago Escobar, Sedat Akleylek, Ayoub Otmani
2024	C	`conf`	NuITP: An Inductive Theorem Prover for Equational Program Verification. PPDP Francisco J. Durán, Santiago Escobar, José Meseguer, Julia Sapiña
2024	C	`conf`	Programming Open Distributed Systems in Maude. PPDP Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn L. Talcott
2024	—	`conf`	Verifying Invariants by Deductive Model Checking. WRLA Kyungmin Bae, Santiago Escobar, Raúl López-Rueda, José Meseguer, Julia Sapiña
2023	J	`jnl`	An Efficient Canonical Narrowing Implementation with Irreducibility and SMT Constraints for Generic Symbolic Protocol Analysis. CoRR Raúl López-Rueda, Santiago Escobar, Julia Sapiña
2023	J	`jnl`	An efficient canonical narrowing implementation with irreducibility and SMT constraints for generic symbolic protocol analysis. J. Log. Algebraic Methods Program. Raúl López-Rueda, Santiago Escobar, Julia Sapiña
2023	J	`jnl`	Hybrid post-quantum Transport Layer Security formal analysis in Maude-NPA and its parallel version. PeerJ Comput. Sci. Duong Dinh Tran, Canh Minh Do, Santiago Escobar, Kazuhiro Ogata
2023	C	`ed.`	International Symposium on Principles and Practice of Declarative Programming, PPDP 2023, Lisboa, Portugal, October 22-23, 2023 PPDP Santiago Escobar, Vasco T. Vasconcelos
2023	J	`jnl`	Kyber, Saber, and SK-MLWR Lattice-Based Key Encapsulation Mechanisms Model Checking with Maude. IET Inf. Secur. Duong Dinh Tran, Kazuhiro Ogata, Santiago Escobar, Sedat Akleylek, Ayoub Otmani
2023	J	`jnl`	Modelling and verification of post-quantum key encapsulation mechanisms using Maude. PeerJ Comput. Sci. Víctor García, Santiago Escobar, Kazuhiro Ogata, Sedat Akleylek, Ayoub Otmani
2023	—	`conf`	Optimizing Maude Programs via Program Specialization. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems María Alpuente, Demis Ballis, Santiago Escobar, José Meseguer, Julia Sapiña
2023	—	`conf`	Protocol Dialects as Formal Patterns. ESORICS (2) D. Galán, Víctor García, Santiago Escobar, Catherine A. Meadows, José Meseguer
2023	J	`jnl`	Safety enforcement via programmable strategies in Maude. J. Log. Algebraic Methods Program. María Alpuente, Demis Ballis, Santiago Escobar, D. Galán, Julia Sapiña
2023	—	`conf`	Strand Spaces with Choice via a Process Algebra Semantics. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Fan Yang, Santiago Escobar, Catherine Meadows, José Meseguer, Sonia Santiago
2023	—	`conf`	Symbolic Analysis by Using Folding Narrowing with Irreducibility and SMT Constraints. FTSCS Santiago Escobar, Raúl López-Rueda, Julia Sapiña
2022	—	`conf`	An Efficient Canonical Narrowing Implementation for Protocol Analysis. WRLA Raúl López-Rueda, Santiago Escobar, José Meseguer
2022	C	`conf`	Canonical Narrowing for Variant-Based Conditional Rewrite Theories. ICFEM Raúl López-Rueda, Santiago Escobar
2022	—	`conf`	Canonical Narrowing with Irreducibility and SMT Constraints as a Generic Symbolic Protocol Analysis Method. WRLA Raúl López-Rueda, Santiago Escobar
2022	A	`conf`	Equational Unification and Matching, and Symbolic Reachability Analysis in Maude 3.2 (System Description). IJCAR Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn L. Talcott
2022	C	`conf`	Formal specification and model checking of Saber lattice-based key encapsulation mechanism in Maude. SEKE Duong Dinh Tran, Kazuhiro Ogata, Santiago Escobar, Sedat Akleylek, Ayoub Otmani
2022	—	`conf`	Formal specification and model checking of lattice-based key encapsulation mechanisms in Maude. FAVPQC@ICFEM Duong Dinh Tran, Kazuhiro Ogata, Santiago Escobar, Sedat Akleylek, Ayoub Otmani
2022	—	`conf`	Hybrid Post-Quantum TLS formal specification in Maude-NPA - toward its security analysis. FAVPQC@ICFEM Duong Dinh Tran, Canh Minh Do, Santiago Escobar, Kazuhiro Ogata
2022	—	`conf`	Modeling and verification of the post-quantum key encapsulation mechanism KYBER using Maude. FAVPQC@ICFEM Víctor García, Santiago Escobar, Kazuhiro Ogata
2022	J	`jnl`	Optimization of rewrite theories by equational partial evaluation. J. Log. Algebraic Methods Program. María Alpuente, Demis Ballis, Santiago Escobar, Julia Sapiña
2022	J	`jnl`	Order-sorted equational generalization algorithm revisited. Ann. Math. Artif. Intell. María Alpuente, Santiago Escobar, José Meseguer, Julia Sapiña
2022	—	`conf`	Parallel Maude-NPA for Cryptographic Protocol Analysis. WRLA Canh Minh Do, Adrián Riesco, Santiago Escobar, Kazuhiro Ogata
2022	—	`ed.`	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. FAVPQC@ICFEM Sedat Akleylek, Santiago Escobar, Kazuhiro Ogata, Ayoub Otmani
2022	J	`jnl`	Symbolic Specialization of Rewriting Logic Theories with Presto. Theory Pract. Log. Program. María Alpuente, Santiago Escobar, Julia Sapiña, Demis Ballis
2022	C	`conf`	Variant-Based Equational Anti-unification. LOPSTR María Alpuente, Demis Ballis, Santiago Escobar, Julia Sapiña
2021	—	`conf`	Protocol Analysis with Time and Space. Protocols, Strands, and Logic Damián Aparicio-Sánchez, Santiago Escobar, Catherine Meadows, José Meseguer, Julia Sapiña
2021	J	`jnl`	Symbolic Specialization of Rewriting Logic Theories with Presto. CoRR María Alpuente, Demis Ballis, Santiago Escobar, Julia Sapiña
2020	J	`jnl`	A partial evaluation framework for order-sorted equational programs modulo axioms. J. Log. Algebraic Methods Program. María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer
2020	—	`conf`	An Optimizing Protocol Transformation for Constructor Finite Variant Theories in Maude-NPA. ESORICS (2) Damián Aparicio-Sánchez, Santiago Escobar, Raúl Gutiérrez, Julia Sapiña
2020	J	`jnl`	Order-sorted Homeomorphic Embedding Modulo Combinations of Associativity and/or Commutativity Axioms. Fundam. Informaticae María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer
2020	J	`jnl`	Programming and symbolic computation in Maude. J. Log. Algebraic Methods Program. Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn L. Talcott
2020	Misc	`conf`	Protocol Analysis with Time. INDOCRYPT Damián Aparicio-Sánchez, Santiago Escobar, Catherine Meadows, José Meseguer, Julia Sapiña
2020	J	`jnl`	Protocol Analysis with Time. CoRR Damián Aparicio-Sánchez, Santiago Escobar, Catherine Meadows, José Meseguer, Julia Sapiña
2020	—	`ed.`	Rewriting Logic and Its Applications - 13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers WRLA Santiago Escobar, Narciso Martí-Oliet
2020	—	`conf`	Variant-based Equational Unification under Constructor Symbols. ICLP Technical Communications Damián Aparicio-Sánchez, Santiago Escobar, Julia Sapiña
2019	B	`conf`	ACUOS JELIA María Alpuente, Demis Ballis, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer
2019	—	`conf`	Canonical Narrowing with Irreducibility Constraints as a Symbolic Protocol Analysis Method. Foundations of Security, Protocols, and Equational Reasoning Santiago Escobar, José Meseguer
2019	—	`conf`	Most General Variant Unifiers. ICLP Technical Communications Santiago Escobar, Julia Sapiña
2019	J	`jnl`	Programming and Symbolic Computation in Maude. CoRR Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn L. Talcott
2019	J	`jnl`	Strand Spaces with Choice via a Process Algebra Semantics. CoRR Fan Yang, Santiago Escobar, Catherine Meadows, José Meseguer
2019	J	`jnl`	Symbolic Analysis of Maude Theories with Narval. CoRR María Alpuente, Demis Ballis, Santiago Escobar, Julia Sapiña
2019	J	`jnl`	Symbolic Analysis of Maude Theories with Narval. Theory Pract. Log. Program. María Alpuente, Santiago Escobar, Julia Sapiña, Demis Ballis
2018	—	`conf`	Associative Unification and Symbolic Reasoning Modulo Associativity in Maude. WRLA Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2018	B	`conf`	Formal verification of the YubiKey and YubiHSM APIs in Maude-NPA. LPAR Antonio González-Burgueño, Damián Aparicio-Sánchez, Santiago Escobar, Catherine Meadows, José Meseguer
2018	J	`jnl`	Formal verification of the YubiKey and YubiHSM APIs in Maude-NPA. CoRR Antonio González-Burgueño, Damián Aparicio, Santiago Escobar, Catherine Meadows, José Meseguer
2018	C	`conf`	Homeomorphic Embedding Modulo Combinations of Associativity and Commutativity Axioms. LOPSTR María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer
2018	J	`jnl`	Homeomorphic Embedding modulo Combinations of Associativity and Commutativity Axioms. CoRR María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer
2018	—	`conf`	Modular Verification of Sequential Composition for Private Channels in Maude-NPA. STM Fan Yang, Santiago Escobar, Catherine Meadows, José Meseguer
2018	—	`conf`	Multi-paradigm Programming in Maude. WRLA Santiago Escobar
2017	J	`jnl`	Inspecting Maude Variants with GLINTS. CoRR María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, Julia Sapiña
2017	J	`jnl`	Inspecting Maude variants with GLINTS. Theory Pract. Log. Program. María Alpuente, Santiago Escobar, Julia Sapiña, Angel Cuenca-Ortega
2017	—	`ed.`	Proceedings Third International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE@FSCD 2016, Porto, Portugal, 23rd June 2016. WPTE@FSCD Horatiu Cirstea, Santiago Escobar
2017	J	`jnl`	Rewriting Logic and its Applications (extended selected papers from WRLA 2014). J. Log. Algebraic Methods Program. Santiago Escobar
2016	A	`conf`	Built-in Variant Generation and Unification, and Their Applications in Maude 2.7. IJCAR Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2016	J	`jnl`	Effective Sequential Protocol Composition in Maude-NPA. CoRR Sonia Santiago, Santiago Escobar, Catherine Meadows, José Meseguer
2016	C	`conf`	Partial Evaluation of Order-Sorted Equational Programs Modulo Axioms. LOPSTR María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer
2016	J	`jnl`	Partial Evaluation of Order-sorted Equational Programs modulo Axioms. CoRR María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer
2016	J	`jnl`	Rewriting logic and its applications (extended selected papers from WRLA 2014). J. Log. Algebraic Methods Program. Santiago Escobar
2016	C	`conf`	Strand spaces with choice via a process algebra semantics. PPDP Fan Yang, Santiago Escobar, Catherine Meadows, José Meseguer, Sonia Santiago
2015	—	`ed.`	2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE@RDP 2015, Warsaw, Poland, July 2, 2015 WPTE@RDP Yuki Chiba, Santiago Escobar, Naoki Nishida, David Sabel, Manfred Schmidt-Schauß
2015	—	`conf`	Analysis of the PKCS#11 API Using the Maude-NPA Tool. SSR Antonio González-Burgueño, Sonia Santiago, Santiago Escobar, Catherine Meadows, José Meseguer
2015	J	`jnl`	Constrained narrowing for conditional equational theories modulo axioms. Sci. Comput. Program. Andrew Cholewa, Santiago Escobar, José Meseguer
2015	—	`ed.`	Proceedings XIV Jornadas sobre Programación y Lenguajes, PROLE 2014, Cadiz, Spain, September 16-19, 2014. PROLE Santiago Escobar
2015	—	`conf`	Symbolic Protocol Analysis with Disequality Constraints Modulo Equational Theories. Programming Languages with Applications to Biology and Security Santiago Escobar, Catherine Meadows, José Meseguer, Sonia Santiago
2015	—	`conf`	Two Decades of Maude. Logic, Rewriting, and Concurrency Manuel Clavel, Francisco Durán, Steven Eker, Santiago Escobar, Patrick Lincoln, Narciso Martí-Oliet, Carolyn L. Talcott
2014	—	`conf`	A Formal Definition of Protocol Indistinguishability and Its Verification Using Maude-NPA. STM Sonia Santiago, Santiago Escobar, Catherine Meadows, José Meseguer
2014	J	`jnl`	A modular order-sorted equational generalization algorithm. Inf. Comput. María Alpuente, Santiago Escobar, Javier Espert, José Meseguer
2014	—	`conf`	A rewriting-based forwards semantics for Maude-NPA. HotSoS Santiago Escobar, Catherine Meadows, José Meseguer, Sonia Santiago
2014	B	`conf`	ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance. JELIA María Alpuente, Santiago Escobar, Javier Espert, José Meseguer
2014	—	`conf`	Analysis of the IBM CCA Security API Protocols in Maude-NPA. SSR Antonio González-Burgueño, Sonia Santiago, Santiago Escobar, Catherine Meadows, José Meseguer
2014	—	`conf`	Functional Logic Programming in Maude. Specification, Algebra, and Software Santiago Escobar
2014	J	`jnl`	Functional and (Constraint) Logic Programming. Inf. Comput. Santiago Escobar, Moreno Falaschi
2014	—	`ed.`	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 WRLA Santiago Escobar
2014	J	`jnl`	State space reduction in the Maude-NRL Protocol Analyzer. Inf. Comput. Santiago Escobar, Catherine Meadows, José Meseguer, Sonia Santiago
2014	C	`conf`	Theories of Homomorphic Encryption, Unification, and the Finite Variant Property. PPDP Fan Yang, Santiago Escobar, Catherine Meadows, José Meseguer, Paliath Narendran
2014	—	`ed.`	UNIF 2012 Post-Worskhop Proceedings. The 26th International Workshop on Unification, Manchester, UK, July 1, 2012 UNIF Santiago Escobar, Konstantin Korovin, Vladimir V. Rybakov
2013	—	`conf`	Abstract Logical Model Checking of Infinite-State Systems Using Narrowing. RTA Kyungmin Bae, Santiago Escobar, José Meseguer
2013	A	`conf`	Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis. CADE Serdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine Meadows, José Meseguer, Paliath Narendran, Sonia Santiago, Ralf Sasse
2013	—	`conf`	Detecting Modular ACU Structural Symmetries. UNIF@RTA/TLCA María Alpuente, Santiago Escobar, Javier Espert
2013	—	`conf`	Incremental and Adaptive Software Systems Development of Natural Language Applications. ISD Elena Lloret, Santiago Escobar, Manuel Palomar, Isidro Ramos
2013	—	`conf`	Unification and Anti-unification modulo Equational Theories. UNIF@RTA/TLCA Santiago Escobar
2012	A	`conf`	Effective Symbolic Protocol Analysis via Equational Irreducibility Conditions. ESORICS Serdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine Meadows, José Meseguer, Paliath Narendran, Sonia Santiago, Ralf Sasse
2012	J	`jnl`	Folding variant narrowing and optimal variant termination. J. Log. Algebraic Methods Program. Santiago Escobar, Ralf Sasse, José Meseguer
2012	—	`conf`	The use of types in designing unification algorithms: two case studies. UNIF Serdar Erbatur, Santiago Escobar, Paliath Narendran
2011	—	`conf`	Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis. UNIF Serdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine Meadows, José Meseguer, Paliath Narendran, Ralf Sasse
2011	J	`jnl`	Modular termination of basic narrowing and equational unification. Log. J. IGPL María Alpuente, Santiago Escobar, José Iborra
2011	—	`ed.`	Proceedings 10th International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2011, Novi Sad, Serbia, 29 May 2011. WRS Santiago Escobar
2011	C	`conf`	Protocol analysis in Maude-NPA using unification modulo homomorphic encryption. PPDP Santiago Escobar, Deepak Kapur, Christopher Lynch, Catherine Meadows, José Meseguer, Paliath Narendran, Ralf Sasse
2011	J	`jnl`	State Space Reduction in the Maude-NRL Protocol Analyzer CoRR Santiago Escobar, Catherine Meadows, José Meseguer
2011	—	`conf`	Variants, Unification, Narrowing, and Symbolic Reachability in Maude 2.6. RTA Francisco Durán, Steven Eker, Santiago Escobar, José Meseguer, Carolyn L. Talcott
2010	J	`jnl`	A compact fixpoint semantics for term rewriting systems. Theor. Comput. Sci. María Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, José Iborra
2010	J	`jnl`	Abstract Certification of Global Non-Interference in Rewriting Logic CoRR Mauricio Alba-Castro, María Alpuente, Santiago Escobar
2010	Misc	`conf`	Approximating Non-interference and Erasure in Rewriting Logic. SYNASC Mauricio Alba-Castro, María Alpuente, Santiago Escobar
2010	—	`conf`	Folding Variant Narrowing and Optimal Variant Termination. WRLA Santiago Escobar, Ralf Sasse, José Meseguer
2010	—	`ed.`	Functional and Constraint Logic Programming, 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers WFLP Santiago Escobar
2010	J	`jnl`	On-demand strategy annotations revisited: An improved on-demand evaluation strategy. Theor. Comput. Sci. María Alpuente, Santiago Escobar, Bernhard Gramlich, Salvador Lucas
2010	—	`conf`	Protocol Analysis Modulo Combination of Theories: A Case Study in Maude-NPA. STM Ralf Sasse, Santiago Escobar, Catherine Meadows, José Meseguer
2010	A	`conf`	Sequential Protocol Composition in Maude-NPA. ESORICS Santiago Escobar, Catherine Meadows, José Meseguer, Sonia Santiago
2009	—	`conf`	A Graphical User Interface for Maude-NPA. PROLE Sonia Santiago, Carolyn L. Talcott, Santiago Escobar, Catherine Meadows, José Meseguer
2009	—	`conf`	Abstract Certification of Global Non-interference in Rewriting Logic. FMCO Mauricio Alba-Castro, María Alpuente, Santiago Escobar
2009	—	`ed.`	Proceedings of the 4th International Workshop on Automated Specification and Verification of Web Systems, WWV 2008, Siena, Italy, July 4, 2008 WWV Demis Ballis, Santiago Escobar
2009	—	`ed.`	Proceedings of the Third International Workshop on Security and Rewriting Techniques, SecReT@LICS/CSF 2008, Pittsburgh, PA, USA, June 22, 2008 SecReT@LICS/CSF Daniel J. Dougherty, Santiago Escobar
2009	J	`jnl`	Termination of narrowing revisited. Theor. Comput. Sci. María Alpuente, Santiago Escobar, José Iborra
2009	—	`conf`	Unification and Narrowing in Maude 2.4. RTA Manuel Clavel, Francisco Durán, Steven Eker, Santiago Escobar, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2008	C	`conf`	A Modular Equational Generalization Algorithm. LOPSTR María Alpuente, Santiago Escobar, José Meseguer, Pedro Ojeda
2008	—	`conf`	A Tool for Automated Certification of Java Source Code in Maude. PROLE Mauricio Alba-Castro, María Alpuente, Santiago Escobar, Pedro Ojeda, Daniel Romero
2008	C	`conf`	Automated Certification of Non-Interference in Rewriting Logic. FMICS Mauricio Alba-Castro, María Alpuente, Santiago Escobar
2008	C	`conf`	Directed-Logical Testing for Functional Verification of Microprocessors. MEMOCODE Michael Katelman, José Meseguer, Santiago Escobar
2008	—	`conf`	Effectively Checking the Finite Variant Property. RTA Santiago Escobar, José Meseguer, Ralf Sasse
2008	—	`conf`	Equational Unification by Variant Narrowing (Extended Abstract). UNIF Santiago Escobar, José Meseguer, Ralf Sasse
2008	—	`conf`	Modular Termination of Basic Narrowing. RTA María Alpuente, Santiago Escobar, José Iborra
2008	—	`conf`	Order-Sorted Generalization. WFLP María Alpuente, Santiago Escobar, José Meseguer, Pedro Ojeda
2008	—	`conf`	Preface. WWV Demis Ballis, Santiago Escobar
2008	—	`conf`	Preface. SecReT@LICS/CSF Daniel J. Dougherty, Santiago Escobar
2008	—	`ed.`	Proceedings of the 3rd International Workshop on Automated Specification and Verification of Web Systems, WWV 2007, Venice, Italy, December 14, 2007 WWV Demis Ballis, Santiago Escobar, Massimo Marchiori
2008	A	`conf`	State Space Reduction in the Maude-NRL Protocol Analyzer. ESORICS Santiago Escobar, Catherine Meadows, José Meseguer
2008	B	`conf`	Termination of Narrowing Using Dependency Pairs. ICLP María Alpuente, Santiago Escobar, José Iborra
2008	—	`conf`	Variant Narrowing and Equational Unification. WRLA Santiago Escobar, José Meseguer, Ralf Sasse
2007	C	`conf`	Automatic Certification of Java Source Code in Rewriting Logic. FMICS Mauricio Alba-Castro, María Alpuente, Santiago Escobar
2007	—	`conf`	Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties. FOSAD Santiago Escobar, Catherine Meadows, José Meseguer
2007	—	`conf`	Preface. WWV Demis Ballis, Santiago Escobar, Massimo Marchiori
2007	J	`jnl`	Removing redundant arguments automatically. Theory Pract. Log. Program. María Alpuente, Santiago Escobar, Salvador Lucas
2007	—	`conf`	Symbolic Model Checking of Infinite-State Systems Using Narrowing. RTA Santiago Escobar, José Meseguer
2006	J	`jnl`	A rewriting-based inference system for the NRL Protocol Analyzer and its meta-logical properties. Theor. Comput. Sci. Santiago Escobar, Catherine Meadows, José Meseguer
2006	—	`conf`	Equational Cryptographic Reasoning in the Maude-NRL Protocol Analyzer. SecReT@ICALP Santiago Escobar, Catherine Meadows, José Meseguer
2006	—	`conf`	Narrowing and Rewriting Logic: from Foundations to Applications. WFLP Santiago Escobar, José Meseguer, Prasanna Thati
2006	—	`ed.`	Proceedings of the International Workshop on Automated Specification and Verification of Web Sites, WWV 2005, Valencia, Spain, March 14-15, 2005 WWV María Alpuente, Santiago Escobar, Moreno Falaschi
2006	J	`jnl`	Removing Redundant Arguments Automatically CoRR María Alpuente, Santiago Escobar, Salvador Lucas
2005	—	`conf`	A rewriting-based inference system for the NRL protocol analyzer: grammar generation. FMSE Santiago Escobar, Catherine Meadows, José Meseguer
2005	—	`ed.`	First International Workshop on Automated Specification and Verification of Web Sites (WWV 2005), March 14-15, 2005 Valencia, Spain WWV María Alpuente, Santiago Escobar, Moreno Falaschi
2005	—	`conf`	Natural Narrowing for General Term Rewriting Systems. RTA Santiago Escobar, José Meseguer, Prasanna Thati
2005	—	`conf`	Preface. WWV María Alpuente, Santiago Escobar, Moreno Falaschi
2005	—	`conf`	Preface. WWV María Alpuente, Santiago Escobar, Moreno Falaschi
2004	Misc	`conf`	Implementing Natural Rewriting and Narrowing Efficiently. FLOPS Santiago Escobar
2004	C	`conf`	Natural Rewriting for General Term Rewriting Systems. LOPSTR Santiago Escobar, José Meseguer, Prasanna Thati
2004	—	`conf`	New Evaluation Commands for Maude Within Full Maude. WRLA Francisco Durán, Santiago Escobar, Salvador Lucas
2004	—	`conf`	On-demand Evaluation for Maude. RULE@RDP Francisco Durán, Santiago Escobar, Salvador Lucas
2004	J	`jnl`	Thesis: Strategies and analysis techniques in functional program optimization. AI Commun. Santiago Escobar
2003	—	`conf`	Abstract Correction of OBJ-like Programs. APPIA-GULP-PRODE María Alpuente, Demis Ballis, Santiago Escobar, Moreno Falaschi, Salvador Lucas
2003	—	`conf`	Abstract correction of first-order functional programs. WFLP María Alpuente, Demis Ballis, Santiago Escobar, Moreno Falaschi, Salvador Lucas
2003	—	`conf`	On-demand Evaluation by Program Transformation. RULE@RDP María Alpuente, Santiago Escobar, Salvador Lucas
2003	—	`conf`	OnDemandOBJ: A Laboratory for Strategy Annotations. RULE@RDP María Alpuente, Santiago Escobar, Salvador Lucas
2003	C	`conf`	Refining weakly outermost-needed rewriting and narrowing. PPDP Santiago Escobar
2002	C	`conf`	Abstract Diagnosis of Functional Programs. LOPSTR María Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, Salvador Lucas
2002	—	`conf`	Correct and Complete (Positive) Strategy Annotations for OBJ. WRLA María Alpuente, Santiago Escobar, Salvador Lucas
2002	B	`conf`	Improving On-Demand Strategy Annotations. LPAR María Alpuente, Santiago Escobar, Bernhard Gramlich, Salvador Lucas
2002	—	`conf`	Redundancy of Arguments Reduced to Induction. WFLP María Alpuente, Rachid Echahed, Santiago Escobar, Salvador Lucas
2002	—	`conf`	Removing Redundant Arguments of Functions. AMAST María Alpuente, Santiago Escobar, Salvador Lucas
2000	—	`conf`	Redundancy Analyses in Term Rewriting. WFLP María Alpuente, Santiago Escobar, Salvador Lucas
1999	—	`conf`	An Incremental Needed Narrowing Calculus for Curry. APPIA-GULP-PRODE María Alpuente, Salvador Lucas, Santiago Escobar
1999	B	`conf`	UPV-CURRY: An Incremental CURRY Interpreter. SOFSEM María Alpuente, Santiago Escobar, Salvador Lucas