default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSantiago Escobar 0001
Person information
- affiliation: Polytechnic University of Valencia, Spain
Other persons with the same name
- Santiago Escobar 0002
![[0000-0001-7049-2563]](https://dblp.dagstuhl.de/img/orcid-mark.12x12.png "0000-0001-7049-2563")
— Universidad de San Buenaventura sede Bogotá, Bogotá, Colombia
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j27]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)- [c96]Kyungmin Bae, Santiago Escobar, Raúl López-Rueda, José Meseguer, Julia Sapiña:
Verifying Invariants by Deductive Model Checking. WRLA 2024: 3-21 - 2023
- [j26]María Alpuente, Demis Ballis, Santiago Escobar, D. Galán, Julia Sapiña:
Safety enforcement via programmable strategies in Maude. J. Log. Algebraic Methods Program. 132: 100849 (2023) - [j25]Raúl López-Rueda, Santiago Escobar, Julia Sapiña:
An efficient canonical narrowing implementation with irreducibility and SMT constraints for generic symbolic protocol analysis. J. Log. Algebraic Methods Program. 135: 100895 (2023) - [j24]Víctor García, Santiago Escobar, Kazuhiro Ogata, Sedat Akleylek, Ayoub Otmani:
Modelling and verification of post-quantum key encapsulation mechanisms using Maude. PeerJ Comput. Sci. 9: e1547 (2023) - [j23]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 Comput. Sci. 9: e1556 (2023) - [c95]María Alpuente, Demis Ballis, Santiago Escobar, José Meseguer, Julia Sapiña:
Optimizing Maude Programs via Program Specialization. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems 2023: 21-50 - [c94]Fan Yang, Santiago Escobar, Catherine Meadows, José Meseguer, Sonia Santiago:
Strand Spaces with Choice via a Process Algebra Semantics. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems 2023: 307-350 - [c93]D. Galán, Víctor García, Santiago Escobar, Catherine A. Meadows, José Meseguer:
Protocol Dialects as Formal Patterns. ESORICS (2) 2023: 42-61 - [c92]Santiago Escobar, Raúl López-Rueda, Julia Sapiña:
Symbolic Analysis by Using Folding Narrowing with Irreducibility and SMT Constraints. FTSCS 2023: 14-25 - [e15]Santiago Escobar, Vasco T. Vasconcelos:
International Symposium on Principles and Practice of Declarative Programming, PPDP 2023, Lisboa, Portugal, October 22-23, 2023. ACM 2023 [contents] - [i14]Raúl López-Rueda, Santiago Escobar, Julia Sapiña:
An Efficient Canonical Narrowing Implementation with Irreducibility and SMT Constraints for Generic Symbolic Protocol Analysis. CoRR abs/2307.06348 (2023) - 2022
- [j22]María Alpuente, Santiago Escobar, José Meseguer, Julia Sapiña:
Order-sorted equational generalization algorithm revisited. Ann. Math. Artif. Intell. 90(5): 499-522 (2022) - [j21]María Alpuente, Demis Ballis, Santiago Escobar, Julia Sapiña:
Optimization of rewrite theories by equational partial evaluation. J. Log. Algebraic Methods Program. 124: 100729 (2022) - [j20]María Alpuente, Santiago Escobar, Julia Sapiña, Demis Ballis:
Symbolic Specialization of Rewriting Logic Theories with Presto. Theory Pract. Log. Program. 22(3): 444-495 (2022) - [c91]Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn L. Talcott:
Equational Unification and Matching, and Symbolic Reachability Analysis in Maude 3.2 (System Description). IJCAR 2022: 529-540 - [c90]Duong Dinh Tran, Kazuhiro Ogata, Santiago Escobar, Sedat Akleylek, Ayoub Otmani:
Formal specification and model checking of lattice-based key encapsulation mechanisms in Maude. FAVPQC@ICFEM 2022: 16-31 - [c89]Raúl López-Rueda, Santiago Escobar:
Canonical Narrowing for Variant-Based Conditional Rewrite Theories. ICFEM 2022: 20-35 - [c88]Víctor García, Santiago Escobar, Kazuhiro Ogata:
Modeling and verification of the post-quantum key encapsulation mechanism KYBER using Maude. FAVPQC@ICFEM 2022: 32-49 - [c87]Duong Dinh Tran, Canh Minh Do, Santiago Escobar, Kazuhiro Ogata:
Hybrid Post-Quantum TLS formal specification in Maude-NPA - toward its security analysis. FAVPQC@ICFEM 2022: 50-64 - [c86]María Alpuente, Demis Ballis, Santiago Escobar, Julia Sapiña:
Variant-Based Equational Anti-unification. LOPSTR 2022: 44-60 - [c85]Duong Dinh Tran, Kazuhiro Ogata, Santiago Escobar, Sedat Akleylek, Ayoub Otmani:
Formal specification and model checking of Saber lattice-based key encapsulation mechanism in Maude. SEKE 2022: 382-387 - [c84]Raúl López-Rueda, Santiago Escobar:
Canonical Narrowing with Irreducibility and SMT Constraints as a Generic Symbolic Protocol Analysis Method. WRLA@ETAPS 2022: 45-64 - [c83]Raúl López-Rueda, Santiago Escobar, José Meseguer:
An Efficient Canonical Narrowing Implementation for Protocol Analysis. WRLA@ETAPS 2022: 151-170 - [c82]Canh Minh Do, Adrián Riesco, Santiago Escobar, Kazuhiro Ogata:
Parallel Maude-NPA for Cryptographic Protocol Analysis. WRLA@ETAPS 2022: 253-273 - [e14]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 3280, CEUR-WS.org 2022 [contents] - 2021
- [c81]Damián Aparicio-Sánchez, Santiago Escobar, Catherine Meadows, José Meseguer, Julia Sapiña:
Protocol Analysis with Time and Space. Protocols, Strands, and Logic 2021: 22-49 - [i13]María Alpuente, Demis Ballis, Santiago Escobar, Julia Sapiña:
Symbolic Specialization of Rewriting Logic Theories with Presto. CoRR abs/2112.10201 (2021) - 2020
- [j19]María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer:
Order-sorted Homeomorphic Embedding Modulo Combinations of Associativity and/or Commutativity Axioms. Fundam. Informaticae 177(3-4): 297-329 (2020) - [j18]María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer:
A partial evaluation framework for order-sorted equational programs modulo axioms. J. Log. Algebraic Methods Program. 110 (2020) - [j17]Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn L. Talcott:
Programming and symbolic computation in Maude. J. Log. Algebraic Methods Program. 110 (2020) - [c80]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. ESORICS (2) 2020: 230-250 - [c79]Damián Aparicio-Sánchez, Santiago Escobar, Catherine Meadows, José Meseguer, Julia Sapiña:
Protocol Analysis with Time. INDOCRYPT 2020: 128-150 - [c78]Damián Aparicio-Sánchez, Santiago Escobar, Julia Sapiña:
Variant-based Equational Unification under Constructor Symbols. ICLP Technical Communications 2020: 38-51 - [e13]Santiago Escobar, 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 12328, Springer 2020, ISBN 978-3-030-63594-7 [contents] - [i12]Damián Aparicio-Sánchez, Santiago Escobar, Catherine Meadows, José Meseguer, Julia Sapiña:
Protocol Analysis with Time. CoRR abs/2010.13707 (2020)
2010 – 2019
- 2019
- [j16]María Alpuente, Santiago Escobar, Julia Sapiña, Demis Ballis:
Symbolic Analysis of Maude Theories with Narval. Theory Pract. Log. Program. 19(5-6): 874-890 (2019) - [c77]Santiago Escobar, José Meseguer:
Canonical Narrowing with Irreducibility Constraints as a Symbolic Protocol Analysis Method. Foundations of Security, Protocols, and Equational Reasoning 2019: 15-38 - [c76]María Alpuente, Demis Ballis, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer:
ACUOS2: A High-Performance System for Modular ACU Generalization with Subtyping and Inheritance. JELIA 2019: 171-181 - [c75]Santiago Escobar, Julia Sapiña:
Most General Variant Unifiers. ICLP Technical Communications 2019: 154-167 - [i11]Fan Yang, Santiago Escobar, Catherine Meadows, José Meseguer:
Strand Spaces with Choice via a Process Algebra Semantics. CoRR abs/1904.09946 (2019) - [i10]María Alpuente, Demis Ballis, Santiago Escobar, Julia Sapiña:
Symbolic Analysis of Maude Theories with Narval. CoRR abs/1907.10919 (2019) - [i9]Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn L. Talcott:
Programming and Symbolic Computation in Maude. CoRR abs/1910.08416 (2019) - 2018
- [c74]María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer:
Homeomorphic Embedding Modulo Combinations of Associativity and Commutativity Axioms. LOPSTR 2018: 38-55 - [c73]Antonio González-Burgueño, Damián Aparicio-Sánchez, Santiago Escobar, Catherine Meadows, José Meseguer:
Formal verification of the YubiKey and YubiHSM APIs in Maude-NPA. LPAR 2018: 400-417 - [c72]Fan Yang, Santiago Escobar, Catherine Meadows, José Meseguer:
Modular Verification of Sequential Composition for Private Channels in Maude-NPA. STM 2018: 20-36 - [c71]Santiago Escobar:
Multi-paradigm Programming in Maude. WRLA@ETAPS 2018: 26-44 - [c70]Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Associative Unification and Symbolic Reasoning Modulo Associativity in Maude. WRLA@ETAPS 2018: 98-114 - [i8]Antonio González-Burgueño, Damián Aparicio, Santiago Escobar, Catherine Meadows, José Meseguer:
Formal verification of the YubiKey and YubiHSM APIs in Maude-NPA. CoRR abs/1806.07209 (2018) - [i7]María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer:
Homeomorphic Embedding modulo Combinations of Associativity and Commutativity Axioms. CoRR abs/1808.05097 (2018) - 2017
- [j15]Santiago Escobar:
Rewriting Logic and its Applications (extended selected papers from WRLA 2014). J. Log. Algebraic Methods Program. 86(1): 157-158 (2017) - [j14]María Alpuente, Santiago Escobar, Julia Sapiña, Angel Cuenca-Ortega:
Inspecting Maude variants with GLINTS. Theory Pract. Log. Program. 17(5-6): 689-707 (2017) - [e12]Horatiu Cirstea, Santiago Escobar:
Proceedings Third International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE@FSCD 2016, Porto, Portugal, 23rd June 2016. EPTCS 235, 2017 [contents] - [i6]María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, Julia Sapiña:
Inspecting Maude Variants with GLINTS. CoRR abs/1707.05599 (2017) - 2016
- [j13]Santiago Escobar:
Rewriting logic and its applications (extended selected papers from WRLA 2014). J. Log. Algebraic Methods Program. 85(1): 1-2 (2016) - [c69]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. IJCAR 2016: 183-192 - [c68]María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer:
Partial Evaluation of Order-Sorted Equational Programs Modulo Axioms. LOPSTR 2016: 3-20 - [c67]Fan Yang, Santiago Escobar, Catherine Meadows, José Meseguer, Sonia Santiago:
Strand spaces with choice via a process algebra semantics. PPDP 2016: 76-89 - [i5]Sonia Santiago, Santiago Escobar, Catherine Meadows, José Meseguer:
Effective Sequential Protocol Composition in Maude-NPA. CoRR abs/1603.00087 (2016) - [i4]María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer:
Partial Evaluation of Order-sorted Equational Programs modulo Axioms. CoRR abs/1608.03424 (2016) - 2015
- [j12]Andrew Cholewa, Santiago Escobar, José Meseguer:
Constrained narrowing for conditional equational theories modulo axioms. Sci. Comput. Program. 112: 24-57 (2015) - [c66]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 2015: 232-254 - [c65]Santiago Escobar, Catherine Meadows, José Meseguer, Sonia Santiago:
Symbolic Protocol Analysis with Disequality Constraints Modulo Equational Theories. Programming Languages with Applications to Biology and Security 2015: 238-261 - [c64]Antonio González-Burgueño, Sonia Santiago, Santiago Escobar, Catherine Meadows, José Meseguer:
Analysis of the PKCS#11 API Using the Maude-NPA Tool. SSR 2015: 86-106 - [e11]Yuki Chiba, Santiago Escobar, Naoki Nishida, David Sabel, Manfred Schmidt-Schauß:
2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE@RDP 2015, July 2, 2015, Warsaw, Poland. OASIcs 46, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2015, ISBN 978-3-939897-94-1 [contents] - [e10]Santiago Escobar:
Proceedings XIV Jornadas sobre Programación y Lenguajes, PROLE 2014, Cadiz, Spain, September 16-19, 2014. EPTCS 173, 2015 [contents] - 2014
- [j11]Santiago Escobar, Moreno Falaschi:
Functional and (Constraint) Logic Programming. Inf. Comput. 235: 1-2 (2014) - [j10]María Alpuente, Santiago Escobar, Javier Espert, José Meseguer:
A modular order-sorted equational generalization algorithm. Inf. Comput. 235: 98-136 (2014) - [j9]Santiago Escobar, Catherine Meadows, José Meseguer, Sonia Santiago:
State space reduction in the Maude-NRL Protocol Analyzer. Inf. Comput. 238: 157-186 (2014) - [c63]Santiago Escobar:
Functional Logic Programming in Maude. Specification, Algebra, and Software 2014: 315-336 - [c62]Santiago Escobar, Catherine Meadows, José Meseguer, Sonia Santiago:
A rewriting-based forwards semantics for Maude-NPA. HotSoS 2014: 3 - [c61]María Alpuente, Santiago Escobar, Javier Espert, José Meseguer:
ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance. JELIA 2014: 573-581 - [c60]Fan Yang, Santiago Escobar, Catherine Meadows, José Meseguer, Paliath Narendran:
Theories of Homomorphic Encryption, Unification, and the Finite Variant Property. PPDP 2014: 123-133 - [c59]Antonio González-Burgueño, Sonia Santiago, Santiago Escobar, Catherine Meadows, José Meseguer:
Analysis of the IBM CCA Security API Protocols in Maude-NPA. SSR 2014: 111-130 - [c58]Sonia Santiago, Santiago Escobar, Catherine Meadows, José Meseguer:
A Formal Definition of Protocol Indistinguishability and Its Verification Using Maude-NPA. STM 2014: 162-177 - [e9]Santiago Escobar, Konstantin Korovin, Vladimir V. Rybakov:
UNIF 2012 Post-Worskhop Proceedings. The 26th International Workshop on Unification, Manchester, UK, July 1, 2012. EPiC Series in Computing 24, EasyChair 2014 [contents] - [e8]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 8663, Springer 2014, ISBN 978-3-319-12903-7 [contents] - 2013
- [c57]Serdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine Meadows, José Meseguer, Paliath Narendran, Sonia Santiago, Ralf Sasse:
Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis. CADE 2013: 231-248 - [c56]Elena Lloret, Santiago Escobar, Manuel Palomar, Isidro Ramos:
Incremental and Adaptive Software Systems Development of Natural Language Applications. ISD 2013: 511-523 - [c55]Santiago Escobar:
Unification and Anti-unification modulo Equational Theories. UNIF@RTA/TLCA 2013: 1 - [c54]María Alpuente, Santiago Escobar, Javier Espert:
Detecting Modular ACU Structural Symmetries. UNIF@RTA/TLCA 2013: 3-7 - [c53]Kyungmin Bae, Santiago Escobar, José Meseguer:
Abstract Logical Model Checking of Infinite-State Systems Using Narrowing. RTA 2013: 81-96 - 2012
- [j8]Santiago Escobar, Ralf Sasse, José Meseguer:
Folding variant narrowing and optimal variant termination. J. Log. Algebraic Methods Program. 81(7-8): 898-928 (2012) - [c52]Serdar Erbatur, Santiago Escobar, Paliath Narendran:
The use of types in designing unification algorithms: two case studies. UNIF 2012: 7-16 - [c51]Serdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine Meadows, José Meseguer, Paliath Narendran, Sonia Santiago, Ralf Sasse:
Effective Symbolic Protocol Analysis via Equational Irreducibility Conditions. ESORICS 2012: 73-90 - 2011
- [j7]María Alpuente, Santiago Escobar, José Iborra:
Modular termination of basic narrowing and equational unification. Log. J. IGPL 19(6): 731-762 (2011) - [c50]Santiago Escobar, Deepak Kapur, Christopher Lynch, Catherine Meadows, José Meseguer, Paliath Narendran, Ralf Sasse:
Protocol analysis in Maude-NPA using unification modulo homomorphic encryption. PPDP 2011: 65-76 - [c49]Francisco Durán, Steven Eker, Santiago Escobar, José Meseguer, Carolyn L. Talcott:
Variants, Unification, Narrowing, and Symbolic Reachability in Maude 2.6. RTA 2011: 31-40 - [c48]Serdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine Meadows, José Meseguer, Paliath Narendran, Ralf Sasse:
Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis. UNIF 2011: 59-64 - [e7]Santiago Escobar:
Proceedings 10th International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2011, Novi Sad, Serbia, 29 May 2011. EPTCS 82, 2011 [contents] - [i3]Santiago Escobar, Catherine Meadows, José Meseguer:
State Space Reduction in the Maude-NRL Protocol Analyzer. CoRR abs/1105.5282 (2011) - 2010
- [j6]María Alpuente, Santiago Escobar, Bernhard Gramlich, Salvador Lucas:
On-demand strategy annotations revisited: An improved on-demand evaluation strategy. Theor. Comput. Sci. 411(2): 504-541 (2010) - [j5]María Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, José Iborra:
A compact fixpoint semantics for term rewriting systems. Theor. Comput. Sci. 411(37): 3348-3371 (2010) - [c47]Santiago Escobar, Catherine Meadows, José Meseguer, Sonia Santiago:
Sequential Protocol Composition in Maude-NPA. ESORICS 2010: 303-318 - [c46]Ralf Sasse, Santiago Escobar, Catherine Meadows, José Meseguer:
Protocol Analysis Modulo Combination of Theories: A Case Study in Maude-NPA. STM 2010: 163-178 - [c45]Mauricio Alba-Castro, María Alpuente, Santiago Escobar:
Approximating Non-interference and Erasure in Rewriting Logic. SYNASC 2010: 124-132 - [c44]Santiago Escobar, Ralf Sasse, José Meseguer:
Folding Variant Narrowing and Optimal Variant Termination. WRLA 2010: 52-68 - [e6]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 5979, Springer 2010, ISBN 978-3-642-11998-9 [contents] - [i2]Mauricio Alba-Castro, María Alpuente, Santiago Escobar:
Abstract Certification of Global Non-Interference in Rewriting Logic. CoRR abs/1006.4304 (2010)
2000 – 2009
- 2009
- [j4]María Alpuente, Santiago Escobar, José Iborra:
Termination of narrowing revisited. Theor. Comput. Sci. 410(46): 4608-4625 (2009) - [c43]Mauricio Alba-Castro, María Alpuente, Santiago Escobar:
Abstract Certification of Global Non-interference in Rewriting Logic. FMCO 2009: 105-124 - [c42]Manuel Clavel, Francisco Durán, Steven Eker, Santiago Escobar, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Unification and Narrowing in Maude 2.4. RTA 2009: 380-390 - [c41]Sonia Santiago, Carolyn L. Talcott, Santiago Escobar, Catherine Meadows, José Meseguer:
A Graphical User Interface for Maude-NPA. PROLE 2009: 3-20 - [e5]Daniel J. Dougherty, Santiago Escobar:
Proceedings of the Third International Workshop on Security and Rewriting Techniques, SecReT@LICS/CSF 2008, Pittsburgh, PA, USA, June 22, 2008. Electronic Notes in Theoretical Computer Science 234, Elsevier 2009 [contents] - [e4]Demis Ballis, Santiago Escobar:
Proceedings of the 4th International Workshop on Automated Specification and Verification of Web Systems, WWV 2008, Siena, Italy, July 4, 2008. Electronic Notes in Theoretical Computer Science 235, Elsevier 2009 [contents] - 2008
- [c40]Santiago Escobar, Catherine Meadows, José Meseguer:
State Space Reduction in the Maude-NRL Protocol Analyzer. ESORICS 2008: 548-562 - [c39]Mauricio Alba-Castro, María Alpuente, Santiago Escobar:
Automated Certification of Non-Interference in Rewriting Logic. FMICS 2008: 182-198 - [c38]María Alpuente, Santiago Escobar, José Iborra:
Termination of Narrowing Using Dependency Pairs. ICLP 2008: 317-331 - [c37]María Alpuente, Santiago Escobar, José Meseguer, Pedro Ojeda:
A Modular Equational Generalization Algorithm. LOPSTR 2008: 24-39 - [c36]Michael Katelman, José Meseguer, Santiago Escobar:
Directed-Logical Testing for Functional Verification of Microprocessors. MEMOCODE 2008: 89-100 - [c35]María Alpuente, Santiago Escobar, José Iborra:
Modular Termination of Basic Narrowing. RTA 2008: 1-16 - [c34]Santiago Escobar, José Meseguer, Ralf Sasse:
Effectively Checking the Finite Variant Property. RTA 2008: 79-93 - [c33]Santiago Escobar, José Meseguer, Ralf Sasse:
Equational Unification by Variant Narrowing (Extended Abstract). UNIF 2008: 35-39 - [c32]Demis Ballis, Santiago Escobar:
Preface. WWV 2008: 1-2