The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Santiago Escobar: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. María Alpuente, Demis Ballis, Santiago Escobar, Moreno Falaschi, Salvador Lucas
    Abstract Correction of OBJ-like Programs. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 2003, pp:422-433 [Conf]
  2. María Alpuente, Salvador Lucas, Santiago Escobar
    An Incremental Needed Narrowing Calculus for Curry. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1999, pp:75-88 [Conf]
  3. María Alpuente, Santiago Escobar, Salvador Lucas
    Removing Redundant Arguments of Functions. [Citation Graph (0, 0)][DBLP]
    AMAST, 2002, pp:117-131 [Conf]
  4. Santiago Escobar, Catherine Meadows, José Meseguer
    A rewriting-based inference system for the NRL protocol analyzer: grammar generation. [Citation Graph (0, 0)][DBLP]
    FMSE, 2005, pp:1-12 [Conf]
  5. Santiago Escobar
    Implementing Natural Rewriting and Narrowing Efficiently. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2004, pp:147-162 [Conf]
  6. María Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, Salvador Lucas
    Abstract Diagnosis of Functional Programs. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2002, pp:1-16 [Conf]
  7. Santiago Escobar, José Meseguer, Prasanna Thati
    Natural Rewriting for General Term Rewriting Systems. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2004, pp:101-116 [Conf]
  8. María Alpuente, Santiago Escobar, Bernhard Gramlich, Salvador Lucas
    Improving On-Demand Strategy Annotations. [Citation Graph (0, 0)][DBLP]
    LPAR, 2002, pp:1-18 [Conf]
  9. Santiago Escobar
    Refining weakly outermost-needed rewriting and narrowing. [Citation Graph (0, 0)][DBLP]
    PPDP, 2003, pp:113-123 [Conf]
  10. Santiago Escobar, José Meseguer, Prasanna Thati
    Natural Narrowing for General Term Rewriting Systems. [Citation Graph (0, 0)][DBLP]
    RTA, 2005, pp:279-293 [Conf]
  11. María Alpuente, Santiago Escobar, Salvador Lucas
    UPV-CURRY: An Incremental CURRY Interpreter. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 1999, pp:331-339 [Conf]
  12. María Alpuente, Santiago Escobar, Salvador Lucas
    Redundancy Analyses in Term Rewriting. [Citation Graph (0, 0)][DBLP]
    WFLP, 2000, pp:309-323 [Conf]
  13. María Alpuente, Santiago Escobar, Moreno Falaschi
    Preface. [Citation Graph (0, 0)][DBLP]
    WWV, 2005, pp:- [Conf]
  14. Santiago Escobar
    Thesis: Strategies and analysis techniques in functional program optimization. [Citation Graph (0, 0)][DBLP]
    AI Commun., 2004, v:17, n:1, pp:35-37 [Journal]
  15. María Alpuente, Demis Ballis, Santiago Escobar, Moreno Falaschi, Salvador Lucas
    Abstract correction of first-order functional programs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:86, n:3, pp:- [Journal]
  16. María Alpuente, Rachid Echahed, Santiago Escobar, Salvador Lucas
    Redundancy of Arguments Reduced to Induction. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:76, n:, pp:- [Journal]
  17. María Alpuente, Santiago Escobar, Moreno Falaschi
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:157, n:2, pp:1-2 [Journal]
  18. María Alpuente, Santiago Escobar, Salvador Lucas
    Correct and Complete (Positive) Strategy Annotations for OBJ. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:71, n:, pp:- [Journal]
  19. María Alpuente, Santiago Escobar, Salvador Lucas
    OnDemandOBJ: A Laboratory for Strategy Annotations. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:86, n:2, pp:- [Journal]
  20. María Alpuente, Santiago Escobar, Salvador Lucas
    On-demand Evaluation by Program Transformation. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:86, n:2, pp:- [Journal]
  21. Francisco Durán, Santiago Escobar, Salvador Lucas
    New Evaluation Commands for Maude Within Full Maude. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:117, n:, pp:263-284 [Journal]
  22. Francisco Durán, Santiago Escobar, Salvador Lucas
    On-demand Evaluation for Maude. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:124, n:1, pp:25-39 [Journal]
  23. Santiago Escobar, José Meseguer, Prasanna Thati
    Narrowing and Rewriting Logic: from Foundations to Applications. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:177, n:, pp:5-33 [Journal]
  24. Santiago Escobar, Catherine Meadows, José Meseguer
    A rewriting-based inference system for the NRL Protocol Analyzer and its meta-logical properties. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:367, n:1-2, pp:162-202 [Journal]
  25. Santiago Escobar, José Meseguer
    Symbolic Model Checking of Infinite-State Systems Using Narrowing. [Citation Graph (0, 0)][DBLP]
    RTA, 2007, pp:153-168 [Conf]
  26. María Alpuente, Santiago Escobar, Salvador Lucas
    Removing Redundant Arguments Automatically [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
  27. Santiago Escobar, Catherine Meadows, José Meseguer
    Equational Cryptographic Reasoning in the Maude-NRL Protocol Analyzer. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:171, n:4, pp:23-36 [Journal]

  28. State Space Reduction in the Maude-NRL Protocol Analyzer. [Citation Graph (, )][DBLP]


  29. Sequential Protocol Composition in Maude-NPA. [Citation Graph (, )][DBLP]


  30. Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties. [Citation Graph (, )][DBLP]


  31. Termination of Narrowing Using Dependency Pairs. [Citation Graph (, )][DBLP]


  32. A Modular Equational Generalization Algorithm. [Citation Graph (, )][DBLP]


  33. Directed-Logical Testing for Functional Verification of Microprocessors. [Citation Graph (, )][DBLP]


  34. Modular Termination of Basic Narrowing. [Citation Graph (, )][DBLP]


  35. Unification and Narrowing in Maude 2.4. [Citation Graph (, )][DBLP]


  36. Effectively Checking the Finite Variant Property. [Citation Graph (, )][DBLP]


  37. Automatic Certification of Java Source Code in Rewriting Logic. [Citation Graph (, )][DBLP]


  38. Automated Certification of Non-Interference in Rewriting Logic. [Citation Graph (, )][DBLP]


  39. Abstract Certification of Global Non-Interference in Rewriting Logic [Citation Graph (, )][DBLP]


  40. Preface. [Citation Graph (, )][DBLP]


  41. Preface. [Citation Graph (, )][DBLP]


  42. Preface. [Citation Graph (, )][DBLP]


  43. Variant Narrowing and Equational Unification. [Citation Graph (, )][DBLP]


  44. Order-Sorted Generalization. [Citation Graph (, )][DBLP]


  45. A Tool for Automated Certification of Java Source Code in Maude. [Citation Graph (, )][DBLP]


Search in 0.006secs, Finished in 0.456secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002