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