×

zbMATH — the first resource for mathematics

Escobar, Santiago

Compute Distance To:
Author ID: escobar.santiago Recent zbMATH articles by "Escobar, Santiago"
Published as: Escobar, S.; Escobar, Santiago
External Links: MGP · Wikidata · ORCID
Documents Indexed: 49 Publications since 2002, including 3 Books

Publications by Year

Citations contained in zbMATH

37 Publications have been cited 213 times in 97 Documents Cited by Year
Folding variant narrowing and optimal variant termination. Zbl 1291.68217
Escobar, Santiago; Sasse, Ralf; Meseguer, José
22
2012
Maude-NPA: cryptographic protocol analysis modulo equational properties. Zbl 1252.94061
Escobar, Santiago; Meadows, Catherine; Meseguer, José
22
2009
Symbolic model checking of infinite-state systems using narrowing. Zbl 1203.68097
Escobar, Santiago; Meseguer, José
17
2007
A rewriting-based inference system for the NRL protocol analyzer and its meta-logical properties. Zbl 1153.94375
Escobar, Santiago; Meadows, Catherine; Meseguer, José
16
2006
Abstract logical model checking of infinite-state systems using narrowing. Zbl 1356.68140
Bae, Kyungmin; Escobar, Santiago; Meseguer, José
15
2011
A modular order-sorted equational generalization algorithm. Zbl 1314.68169
Alpuente, María; Escobar, Santiago; Espert, Javier; Meseguer, José
10
2014
Variant narrowing and equational unification. Zbl 1347.68194
Escobar, Santiago; Meseguer, José; Sasse, Ralf
10
2009
Abstract diagnosis of functional programs. Zbl 1278.68056
Alpuente, María; Comini, Marco; Escobar, Santiago; Falaschi, Moreno; Lucas, Salvador
10
2003
Order-sorted generalization. Zbl 1347.68193
Alpuente, María; Escobar, Santiago; Meseguer, José; Ojeda, Pedro
8
2009
A modular equational generalization algorithm. Zbl 1185.68219
Alpuente, María; Escobar, Santiago; Meseguer, José; Ojeda, Pedro
7
2009
Effectively checking the finite variant property. Zbl 1145.68444
Escobar, Santiago; Meseguer, José; Sasse, Ralf
7
2008
Natural narrowing for general term rewriting systems. Zbl 1078.68655
Escobar, Santiago; Meseguer, José; Thati, Prasanna
6
2005
Implementing natural rewriting and narrowing efficiently. Zbl 1122.68371
Escobar, Santiago
5
2004
State space reduction in the Maude-NRL protocol analyzer. Zbl 1360.94307
Escobar, Santiago; Meadows, Catherine; Meseguer, José; Santiago, Sonia
4
2014
Variants, unification, narrowing, and symbolic reachability in Maude 2.6. Zbl 1236.68180
Duran, Francisco; Eker, Steven; Escobar, Santiago; Meseguer, Jose; Talcott, Carolyn
4
2011
Abstract certification of global non-interference in rewriting logic. Zbl 1312.68049
Alba-Castro, Mauricio; Alpuente, María; Escobar, Santiago
4
2010
Folding variant narrowing and optimal variant termination. Zbl 1306.68069
Escobar, Santiago; Sasse, Ralf; Meseguer, José
4
2010
Termination of narrowing revisited. Zbl 1187.68271
Alpuente, María; Escobar, Santiago; Iborra, José
4
2009
Partial evaluation of order-sorted equational programs modulo axioms. Zbl 06791216
Alpuente, María; Cuenca-Ortega, Angel; Escobar, Santiago; Meseguer, José
3
2017
Termination of narrowing using dependency pairs. Zbl 1185.68218
Alpuente, María; Escobar, Santiago; Iborra, José
3
2008
Narrowing and rewriting logic: from foundations to applications. Zbl 1279.68205
Escobar, Santiago; Meseguer, José; Thati, Prasanna
3
2007
Removing redundant arguments automatically. Zbl 1112.68068
Alpuente, M.; Escobar, S.; Lucas, S.
3
2007
Correct and complete (positive) strategy annotations for OBJ. Zbl 1272.68071
Alpuente, María; Escobar, Santiago; Lucas, Salvador
3
2004
Built-in variant generation and unification, and their applications in maude 2.7. Zbl 06623261
Durán, Francisco; Eker, Steven; Escobar, Santiago; Martí-Oliet, Narciso; Meseguer, José; Talcott, Carolyn
2
2016
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. Zbl 1318.68016
Escobar, Santiago (ed.)
2
2014
ACUOS: a system for modular ACU generalization with subtyping and inheritance. Zbl 1432.68422
Alpuente, María; Escobar, Santiago; Espert, Javier; Meseguer, José
2
2014
Functional logic programming in Maude. Zbl 1407.68081
Escobar, Santiago
2
2014
Asymmetric unification: a new unification paradigm for cryptographic protocol analysis. Zbl 1381.68264
Erbatur, Serdar; Escobar, Santiago; Kapur, Deepak; Liu, Zhiqiang; Lynch, Christopher A.; Meadows, Catherine; Meseguer, José; Narendran, Paliath; Santiago, Sonia; Sasse, Ralf
2
2013
Modular termination of basic narrowing and equational unification. Zbl 1257.68090
Alpuente, María; Escobar, Santiago; Iborra, José
2
2011
A compact fixpoint semantics for term rewriting systems. Zbl 1209.68285
Alpuente, M.; Comini, M.; Escobar, S.; Falaschi, M.; Iborra, J.
2
2010
On-demand strategy annotations revisited: an improved on-demand evaluation strategy. Zbl 1186.68092
Alpuente, M.; Escobar, S.; Gramlich, B.; Lucas, S.
2
2010
Improving on-demand strategy annotations. Zbl 1023.03530
Alpuente, M.; Escobar, S.; Gramlich, B.; Lucas, S.
2
2002
\({\mathsf{ACUOS}}^\mathbf{2}\): a high-performance system for modular ACU generalization with subtyping and inheritance. Zbl 07169105
Alpuente, María; Ballis, Demis; Cuenca-Ortega, Angel; Escobar, Santiago; Meseguer, José
1
2019
Symbolic protocol analysis with disequality constraints modulo equational theories. Zbl 1437.94060
Escobar, Santiago; Meadows, Catherine; Meseguer, José; Santiago, Sonia
1
2015
Two decades of Maude. Zbl 1321.68007
Clavel, Manuel; Durán, Francisco; Eker, Steven; Escobar, Santiago; Lincoln, Patrick; Martí-Oliet, Narciso; Talcott, Carolyn
1
2015
Functional and constraint logic programming. 18th international workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009. Revised selected papers. Zbl 1185.68006
Escobar, Santiago (ed.)
1
2010
Modular termination of basic narrowing. Zbl 1145.68439
Alpuente, María; Escobar, Santiago; Iborra, José
1
2008
\({\mathsf{ACUOS}}^\mathbf{2}\): a high-performance system for modular ACU generalization with subtyping and inheritance. Zbl 07169105
Alpuente, María; Ballis, Demis; Cuenca-Ortega, Angel; Escobar, Santiago; Meseguer, José
1
2019
Partial evaluation of order-sorted equational programs modulo axioms. Zbl 06791216
Alpuente, María; Cuenca-Ortega, Angel; Escobar, Santiago; Meseguer, José
3
2017
Built-in variant generation and unification, and their applications in maude 2.7. Zbl 06623261
Durán, Francisco; Eker, Steven; Escobar, Santiago; Martí-Oliet, Narciso; Meseguer, José; Talcott, Carolyn
2
2016
Symbolic protocol analysis with disequality constraints modulo equational theories. Zbl 1437.94060
Escobar, Santiago; Meadows, Catherine; Meseguer, José; Santiago, Sonia
1
2015
Two decades of Maude. Zbl 1321.68007
Clavel, Manuel; Durán, Francisco; Eker, Steven; Escobar, Santiago; Lincoln, Patrick; Martí-Oliet, Narciso; Talcott, Carolyn
1
2015
A modular order-sorted equational generalization algorithm. Zbl 1314.68169
Alpuente, María; Escobar, Santiago; Espert, Javier; Meseguer, José
10
2014
State space reduction in the Maude-NRL protocol analyzer. Zbl 1360.94307
Escobar, Santiago; Meadows, Catherine; Meseguer, José; Santiago, Sonia
4
2014
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. Zbl 1318.68016
Escobar, Santiago (ed.)
2
2014
ACUOS: a system for modular ACU generalization with subtyping and inheritance. Zbl 1432.68422
Alpuente, María; Escobar, Santiago; Espert, Javier; Meseguer, José
2
2014
Functional logic programming in Maude. Zbl 1407.68081
Escobar, Santiago
2
2014
Asymmetric unification: a new unification paradigm for cryptographic protocol analysis. Zbl 1381.68264
Erbatur, Serdar; Escobar, Santiago; Kapur, Deepak; Liu, Zhiqiang; Lynch, Christopher A.; Meadows, Catherine; Meseguer, José; Narendran, Paliath; Santiago, Sonia; Sasse, Ralf
2
2013
Folding variant narrowing and optimal variant termination. Zbl 1291.68217
Escobar, Santiago; Sasse, Ralf; Meseguer, José
22
2012
Abstract logical model checking of infinite-state systems using narrowing. Zbl 1356.68140
Bae, Kyungmin; Escobar, Santiago; Meseguer, José
15
2011
Variants, unification, narrowing, and symbolic reachability in Maude 2.6. Zbl 1236.68180
Duran, Francisco; Eker, Steven; Escobar, Santiago; Meseguer, Jose; Talcott, Carolyn
4
2011
Modular termination of basic narrowing and equational unification. Zbl 1257.68090
Alpuente, María; Escobar, Santiago; Iborra, José
2
2011
Abstract certification of global non-interference in rewriting logic. Zbl 1312.68049
Alba-Castro, Mauricio; Alpuente, María; Escobar, Santiago
4
2010
Folding variant narrowing and optimal variant termination. Zbl 1306.68069
Escobar, Santiago; Sasse, Ralf; Meseguer, José
4
2010
A compact fixpoint semantics for term rewriting systems. Zbl 1209.68285
Alpuente, M.; Comini, M.; Escobar, S.; Falaschi, M.; Iborra, J.
2
2010
On-demand strategy annotations revisited: an improved on-demand evaluation strategy. Zbl 1186.68092
Alpuente, M.; Escobar, S.; Gramlich, B.; Lucas, S.
2
2010
Functional and constraint logic programming. 18th international workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009. Revised selected papers. Zbl 1185.68006
Escobar, Santiago (ed.)
1
2010
Maude-NPA: cryptographic protocol analysis modulo equational properties. Zbl 1252.94061
Escobar, Santiago; Meadows, Catherine; Meseguer, José
22
2009
Variant narrowing and equational unification. Zbl 1347.68194
Escobar, Santiago; Meseguer, José; Sasse, Ralf
10
2009
Order-sorted generalization. Zbl 1347.68193
Alpuente, María; Escobar, Santiago; Meseguer, José; Ojeda, Pedro
8
2009
A modular equational generalization algorithm. Zbl 1185.68219
Alpuente, María; Escobar, Santiago; Meseguer, José; Ojeda, Pedro
7
2009
Termination of narrowing revisited. Zbl 1187.68271
Alpuente, María; Escobar, Santiago; Iborra, José
4
2009
Effectively checking the finite variant property. Zbl 1145.68444
Escobar, Santiago; Meseguer, José; Sasse, Ralf
7
2008
Termination of narrowing using dependency pairs. Zbl 1185.68218
Alpuente, María; Escobar, Santiago; Iborra, José
3
2008
Modular termination of basic narrowing. Zbl 1145.68439
Alpuente, María; Escobar, Santiago; Iborra, José
1
2008
Symbolic model checking of infinite-state systems using narrowing. Zbl 1203.68097
Escobar, Santiago; Meseguer, José
17
2007
Narrowing and rewriting logic: from foundations to applications. Zbl 1279.68205
Escobar, Santiago; Meseguer, José; Thati, Prasanna
3
2007
Removing redundant arguments automatically. Zbl 1112.68068
Alpuente, M.; Escobar, S.; Lucas, S.
3
2007
A rewriting-based inference system for the NRL protocol analyzer and its meta-logical properties. Zbl 1153.94375
Escobar, Santiago; Meadows, Catherine; Meseguer, José
16
2006
Natural narrowing for general term rewriting systems. Zbl 1078.68655
Escobar, Santiago; Meseguer, José; Thati, Prasanna
6
2005
Implementing natural rewriting and narrowing efficiently. Zbl 1122.68371
Escobar, Santiago
5
2004
Correct and complete (positive) strategy annotations for OBJ. Zbl 1272.68071
Alpuente, María; Escobar, Santiago; Lucas, Salvador
3
2004
Abstract diagnosis of functional programs. Zbl 1278.68056
Alpuente, María; Comini, Marco; Escobar, Santiago; Falaschi, Moreno; Lucas, Salvador
10
2003
Improving on-demand strategy annotations. Zbl 1023.03530
Alpuente, M.; Escobar, S.; Gramlich, B.; Lucas, S.
2
2002
all top 5

Cited by 123 Authors

25 Meseguer Guaita, José
18 Escobar, Santiago
14 Alpuente, María
10 Martí-Oliet, Narciso
6 Ballis, Demis
5 Durán, Francisco
5 Meadows, Catherine A.
5 Rusu, Vlad
5 Sapiña, Julia
4 Arusoaie, Andrei
4 Futatsugi, Kokichi
4 Kutsia, Temur
4 Lucanu, Dorel
4 Lucas, Salvador
4 Talcott, Carolyn L.
4 Verdejo, Alberto
3 Eker, Steven
3 Fernández, Maribel
3 Frechina, Francisco
3 Hanus, Michael
3 Iborra, José
3 Lynch, Christopher A.
3 Nishida, Naoki
3 Ogata, Kazuhiro
3 Riesco, Adrián
3 Rocha, Camilo
3 Roşu, Grigore
3 Sasse, Ralf
3 Skeirik, Stephen
3 Thati, Prasanna
2 Aguirre, Luis Antonio
2 Antoy, Sergio
2 Ayala-Rincón, Mauricio
2 Basin, David A.
2 Baumgartner, Alexander
2 Caballero, Rafael E.
2 Cerna, David M.
2 Ciobâcă, Ştefan
2 Comini, Marco
2 Falaschi, Moreno
2 Frohn, Florian
2 Fuhs, Carsten
2 Giesl, Jürgen
2 Gramlich, Bernhard
2 Kremer, Steve
2 Levy, Jordi
2 Liu, Zhiqiang
2 López-Fraguas, Francisco Javier
2 Martín, Óscar
2 Ojeda, Pedro
2 Palomino, Miguel
2 Pita, Isabel
2 Rodríguez-Hortalá, Juan
2 Sánchez-Hernández, Jaime
2 Santiago, Sonia
2 Sobrinho, Daniele Nantes
2 Vidal, Germán
2 Villaret, Mateu
1 Alarcón, Beatriz
1 Aschermann, Cornelius
1 Bacci, Giovanni
1 Belzner, Lenz
1 Bertolissi, Clara
1 Blanchet, Bruno
1 Bonacina, Maria Paola
1 Brockschmidt, Marc
1 Bursuc, Sergiu
1 Cervesato, Iliano
1 Chadha, Rohit
1 Cheval, Vincent
1 Clavel, Manuel
1 Comon-Lundh, Hubert
1 Correa, Francisco José
1 Courbis, Romeo
1 Cremers, Cas J. F.
1 Cuenca-Ortega, Angel
1 de Carvalho-Segundo, Washington
1 Delaune, Stéphanie
1 Dreier, Jannik
1 Duménil, Charles
1 Eeralla, Ajay Kumar
1 Emmes, Fabian
1 Erbatur, Serdar
1 Espert, Javier
1 Furbach, Ulrich
1 Gutiérrez, Raúl
1 Héam, Pierre-Cyrille
1 Hensel, Jera
1 Hirschi, Lucca
1 Keller, Michel
1 Kirchner, Hélène
1 Kop, Cynthia
1 Kouchnarenko, Olga
1 Lincoln, Patrick D.
1 Marshall, Andrew M.
1 Martin-Martin, Enrique
1 Mereuta, Radu
1 Meseguer, José
1 Meseguer, Pedro
1 Moore, Brandon M.
...and 23 more Authors

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.