| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | María Alpuente, Santiago Escobar, José Iborra |
Modular termination of basic narrowing and equational unification.  |
Logic Journal of the IGPL  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Santiago Escobar, Catherine Meadows, José Meseguer |
State Space Reduction in the Maude-NRL Protocol Analyzer |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Santiago Escobar (eds.) |
Proceedings 10th International Workshop on Reduction Strategies in Rewriting and Programming |
WRS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Durán, Steven Eker, Santiago Escobar, José Meseguer, Carolyn L. Talcott |
Variants, Unification, Narrowing, and Symbolic Reachability in Maude 2.6. |
RTA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | María Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, José Iborra |
A compact fixpoint semantics for term rewriting systems. |
Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | María Alpuente, Santiago Escobar, Bernhard Gramlich, Salvador Lucas |
On-demand strategy annotations revisited: An improved on-demand evaluation strategy. |
Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauricio Alba-Castro, María Alpuente, Santiago Escobar |
Abstract Certification of Global Non-Interference in Rewriting Logic |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Mauricio Alba-Castro, María Alpuente, Santiago Escobar |
Approximating Non-interference and Erasure in Rewriting Logic. |
SYNASC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralf Sasse, Santiago Escobar, Catherine Meadows, José Meseguer |
Protocol Analysis Modulo Combination of Theories: A Case Study in Maude-NPA. |
STM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Santiago Escobar (eds.) |
Functional and Constraint Logic Programming, 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers |
WFLP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Santiago Escobar, Ralf Sasse, José Meseguer |
Folding Variant Narrowing and Optimal Variant Termination. |
WRLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Santiago Escobar, Catherine Meadows, José Meseguer, Sonia Santiago |
Sequential Protocol Composition in Maude-NPA. |
ESORICS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | María Alpuente, Santiago Escobar, José Iborra |
Termination of narrowing revisited. |
Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Santiago Escobar, José Meseguer, Ralf Sasse |
Variant Narrowing and Equational Unification. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | María Alpuente, Santiago Escobar, José Meseguer, Pedro Ojeda |
Order-Sorted Generalization. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Demis Ballis, Santiago Escobar |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sonia Santiago, Carolyn L. Talcott, Santiago Escobar, Catherine Meadows, José Meseguer |
A Graphical User Interface for Maude-NPA. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel J. Dougherty, Santiago Escobar |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauricio Alba-Castro, María Alpuente, Santiago Escobar, Pedro Ojeda, Daniel Romero |
A Tool for Automated Certification of Java Source Code in Maude. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauricio Alba-Castro, María Alpuente, Santiago Escobar |
Abstract Certification of Global Non-interference in Rewriting Logic. |
FMCO |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Demis Ballis, Santiago Escobar, Massimo Marchiori |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Katelman, José Meseguer, Santiago Escobar |
Directed-Logical Testing for Functional Verification of Microprocessors. |
MEMOCODE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | María Alpuente, Santiago Escobar, José Iborra |
Termination of Narrowing Using Dependency Pairs. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauricio Alba-Castro, María Alpuente, Santiago Escobar |
Automated Certification of Non-Interference in Rewriting Logic. |
FMICS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Santiago Escobar, José Meseguer, Ralf Sasse |
Effectively Checking the Finite Variant Property. |
RTA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | María Alpuente, Santiago Escobar, José Iborra |
Modular Termination of Basic Narrowing. |
RTA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | María Alpuente, Santiago Escobar, José Meseguer, Pedro Ojeda |
A Modular Equational Generalization Algorithm. |
LOPSTR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Santiago Escobar, Catherine Meadows, José Meseguer |
State Space Reduction in the Maude-NRL Protocol Analyzer. |
ESORICS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Santiago Escobar, José Meseguer, Prasanna Thati |
Narrowing and Rewriting Logic: from Foundations to Applications. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Santiago Escobar, Catherine Meadows, José Meseguer |
Equational Cryptographic Reasoning in the Maude-NRL Protocol Analyzer. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | María Alpuente, Santiago Escobar, Salvador Lucas |
Removing redundant arguments automatically. |
TPLP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauricio Alba-Castro, María Alpuente, Santiago Escobar |
Automatic Certification of Java Source Code in Rewriting Logic. |
FMICS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Santiago Escobar, Catherine Meadows, José Meseguer |
Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties. |
FOSAD |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Santiago Escobar, José Meseguer |
Symbolic Model Checking of Infinite-State Systems Using Narrowing. |
RTA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Santiago Escobar, Catherine Meadows, José Meseguer |
A rewriting-based inference system for the NRL Protocol Analyzer and its meta-logical properties. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | María Alpuente, Santiago Escobar, Moreno Falaschi |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | María Alpuente, Santiago Escobar, Salvador Lucas |
Removing Redundant Arguments Automatically |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Francisco Durán, Santiago Escobar, Salvador Lucas |
New Evaluation Commands for Maude Within Full Maude. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Durán, Santiago Escobar, Salvador Lucas |
On-demand Evaluation for Maude. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | María Alpuente, Santiago Escobar, Moreno Falaschi (eds.) |
First International Workshop on Automated Specification and Verification of Web Sites (WWV 2005), March 14-15, 2005 Valencia, Spain |
WWV |
2005 |
DBLP BibTeX RDF |
|
| 1 | María Alpuente, Santiago Escobar, Moreno Falaschi |
Preface. |
WWV |
2005 |
DBLP BibTeX RDF |
|
| 1 | Santiago Escobar, José Meseguer, Prasanna Thati |
Natural Narrowing for General Term Rewriting Systems. |
RTA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Santiago Escobar, Catherine Meadows, José Meseguer |
A rewriting-based inference system for the NRL protocol analyzer: grammar generation. |
FMSE |
2005 |
DBLP DOI BibTeX RDF |
formal methods, protocol verification, rewriting logic |
| 1 | Santiago Escobar |
Thesis: Strategies and analysis techniques in functional program optimization. |
AI Commun. |
2004 |
DBLP BibTeX RDF |
|
| 1 | Santiago Escobar |
Implementing Natural Rewriting and Narrowing Efficiently. |
FLOPS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Santiago Escobar, José Meseguer, Prasanna Thati |
Natural Rewriting for General Term Rewriting Systems. |
LOPSTR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | María Alpuente, Santiago Escobar, Salvador Lucas |
OnDemandOBJ: A Laboratory for Strategy Annotations. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | María Alpuente, Santiago Escobar, Salvador Lucas |
On-demand Evaluation by Program Transformation. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | María Alpuente, Demis Ballis, Santiago Escobar, Moreno Falaschi, Salvador Lucas |
Abstract correction of first-order functional programs. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | María Alpuente, Demis Ballis, Santiago Escobar, Moreno Falaschi, Salvador Lucas |
Abstract Correction of OBJ-like Programs. |
APPIA-GULP-PRODE |
2003 |
DBLP BibTeX RDF |
|
| 1 | Santiago Escobar |
Refining weakly outermost-needed rewriting and narrowing. |
PPDP |
2003 |
DBLP DOI BibTeX RDF |
neededness, term rewriting, lazy evaluation, demandness, parallel evaluation |
| 1 | María Alpuente, Santiago Escobar, Salvador Lucas |
Correct and Complete (Positive) Strategy Annotations for OBJ. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | María Alpuente, Rachid Echahed, Santiago Escobar, Salvador Lucas |
Redundancy of Arguments Reduced to Induction. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | María Alpuente, Santiago Escobar, Bernhard Gramlich, Salvador Lucas |
Improving On-Demand Strategy Annotations. |
LPAR |
2002 |
DBLP DOI BibTeX RDF |
on-demand strategy annotations, lazy evaluation, Declarative programming, demandness, OBJ |
| 1 | María Alpuente, Santiago Escobar, Salvador Lucas |
Removing Redundant Arguments of Functions. |
AMAST |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | María Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, Salvador Lucas |
Abstract Diagnosis of Functional Programs. |
LOPSTR |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | María Alpuente, Santiago Escobar, Salvador Lucas |
Redundancy Analyses in Term Rewriting. |
WFLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | María Alpuente, Salvador Lucas, Santiago Escobar |
An Incremental Needed Narrowing Calculus for Curry. |
APPIA-GULP-PRODE |
1999 |
DBLP BibTeX RDF |
|
| 1 | María Alpuente, Santiago Escobar, Salvador Lucas |
UPV-CURRY: An Incremental CURRY Interpreter. |
SOFSEM |
1999 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")