Edit Profile Escobar, Santiago Compute Distance To: Compute Author ID: escobar.santiago Published as: Escobar, S.; Escobar, Santiago External Links: MGP · Wikidata · ORCID Documents Indexed: 49 Publications since 2002, including 3 Books all top 5 Co-Authors 7 single-authored 25 Meseguer Guaita, José 21 Alpuente, María 7 Lucas, Salvador 5 Iborra, José 5 Meadows, Catherine A. 5 Sasse, Ralf 4 Durán, Francisco 4 Eker, Steven 4 Falaschi, Moreno 4 Talcott, Carolyn L. 3 Ballis, Demis 3 Cuenca-Ortega, Angel 3 Martí-Oliet, Narciso 3 Santiago, Sonia 3 Thati, Prasanna 2 Comini, Marco 2 Espert, Javier 2 Gramlich, Bernhard 2 Ojeda, Pedro 1 Alba-Castro, Mauricio 1 Bae, Kyungmin 1 Chiba, Yuki 1 Clavel, Manuel 1 Erbatur, Serdar 1 Kapur, Deepak 1 Lincoln, Patrick D. 1 Liu, Zhiqiang 1 Lynch, Christopher A. 1 Narendran, Paliath 1 Nishida, Naoki 1 Rubio, Rubén 1 Sabel, David 1 Sapiña, Julia 1 Schmidt-Schauß, Manfred all top 5 Serials 4 Theoretical Computer Science 4 Journal of Logical and Algebraic Methods in Programming 3 Information and Computation 2 Theory and Practice of Logic Programming 2 Lecture Notes in Computer Science 1 AI Communications 1 Logic Journal of the IGPL 1 The Journal of Logic and Algebraic Programming 1 OASIcs – OpenAccess Series in Informatics Fields 48 Computer science (68-XX) 7 Information and communication theory, circuits (94-XX) 6 General and overarching topics; collections (00-XX) 5 Mathematical logic and foundations (03-XX) 1 History and biography (01-XX) Publications by Year all cited Publications top 5 cited Publications 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.68217Escobar, Santiago; Sasse, Ralf; Meseguer, José 22 2012 Maude-NPA: cryptographic protocol analysis modulo equational properties. Zbl 1252.94061Escobar, Santiago; Meadows, Catherine; Meseguer, José 22 2009 Symbolic model checking of infinite-state systems using narrowing. Zbl 1203.68097Escobar, Santiago; Meseguer, José 17 2007 A rewriting-based inference system for the NRL protocol analyzer and its meta-logical properties. Zbl 1153.94375Escobar, Santiago; Meadows, Catherine; Meseguer, José 16 2006 Abstract logical model checking of infinite-state systems using narrowing. Zbl 1356.68140Bae, Kyungmin; Escobar, Santiago; Meseguer, José 15 2011 A modular order-sorted equational generalization algorithm. Zbl 1314.68169Alpuente, María; Escobar, Santiago; Espert, Javier; Meseguer, José 10 2014 Variant narrowing and equational unification. Zbl 1347.68194Escobar, Santiago; Meseguer, José; Sasse, Ralf 10 2009 Abstract diagnosis of functional programs. Zbl 1278.68056Alpuente, María; Comini, Marco; Escobar, Santiago; Falaschi, Moreno; Lucas, Salvador 10 2003 Order-sorted generalization. Zbl 1347.68193Alpuente, María; Escobar, Santiago; Meseguer, José; Ojeda, Pedro 8 2009 A modular equational generalization algorithm. Zbl 1185.68219Alpuente, María; Escobar, Santiago; Meseguer, José; Ojeda, Pedro 7 2009 Effectively checking the finite variant property. Zbl 1145.68444Escobar, Santiago; Meseguer, José; Sasse, Ralf 7 2008 Natural narrowing for general term rewriting systems. Zbl 1078.68655Escobar, Santiago; Meseguer, José; Thati, Prasanna 6 2005 Implementing natural rewriting and narrowing efficiently. Zbl 1122.68371Escobar, Santiago 5 2004 State space reduction in the Maude-NRL protocol analyzer. Zbl 1360.94307Escobar, Santiago; Meadows, Catherine; Meseguer, José; Santiago, Sonia 4 2014 Variants, unification, narrowing, and symbolic reachability in Maude 2.6. Zbl 1236.68180Duran, Francisco; Eker, Steven; Escobar, Santiago; Meseguer, Jose; Talcott, Carolyn 4 2011 Abstract certification of global non-interference in rewriting logic. Zbl 1312.68049Alba-Castro, Mauricio; Alpuente, María; Escobar, Santiago 4 2010 Folding variant narrowing and optimal variant termination. Zbl 1306.68069Escobar, Santiago; Sasse, Ralf; Meseguer, José 4 2010 Termination of narrowing revisited. Zbl 1187.68271Alpuente, María; Escobar, Santiago; Iborra, José 4 2009 Partial evaluation of order-sorted equational programs modulo axioms. Zbl 06791216Alpuente, María; Cuenca-Ortega, Angel; Escobar, Santiago; Meseguer, José 3 2017 Termination of narrowing using dependency pairs. Zbl 1185.68218Alpuente, María; Escobar, Santiago; Iborra, José 3 2008 Narrowing and rewriting logic: from foundations to applications. Zbl 1279.68205Escobar, Santiago; Meseguer, José; Thati, Prasanna 3 2007 Removing redundant arguments automatically. Zbl 1112.68068Alpuente, M.; Escobar, S.; Lucas, S. 3 2007 Correct and complete (positive) strategy annotations for OBJ. Zbl 1272.68071Alpuente, María; Escobar, Santiago; Lucas, Salvador 3 2004 Built-in variant generation and unification, and their applications in maude 2.7. Zbl 06623261Durá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.68016Escobar, Santiago (ed.) 2 2014 ACUOS: a system for modular ACU generalization with subtyping and inheritance. Zbl 1432.68422Alpuente, María; Escobar, Santiago; Espert, Javier; Meseguer, José 2 2014 Functional logic programming in Maude. Zbl 1407.68081Escobar, Santiago 2 2014 Asymmetric unification: a new unification paradigm for cryptographic protocol analysis. Zbl 1381.68264Erbatur, 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.68090Alpuente, María; Escobar, Santiago; Iborra, José 2 2011 A compact fixpoint semantics for term rewriting systems. Zbl 1209.68285Alpuente, M.; Comini, M.; Escobar, S.; Falaschi, M.; Iborra, J. 2 2010 On-demand strategy annotations revisited: an improved on-demand evaluation strategy. Zbl 1186.68092Alpuente, M.; Escobar, S.; Gramlich, B.; Lucas, S. 2 2010 Improving on-demand strategy annotations. Zbl 1023.03530Alpuente, 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 07169105Alpuente, María; Ballis, Demis; Cuenca-Ortega, Angel; Escobar, Santiago; Meseguer, José 1 2019 Symbolic protocol analysis with disequality constraints modulo equational theories. Zbl 1437.94060Escobar, Santiago; Meadows, Catherine; Meseguer, José; Santiago, Sonia 1 2015 Two decades of Maude. Zbl 1321.68007Clavel, 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.68006Escobar, Santiago (ed.) 1 2010 Modular termination of basic narrowing. Zbl 1145.68439Alpuente, 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 07169105Alpuente, María; Ballis, Demis; Cuenca-Ortega, Angel; Escobar, Santiago; Meseguer, José 1 2019 Partial evaluation of order-sorted equational programs modulo axioms. Zbl 06791216Alpuente, 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 06623261Durá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.94060Escobar, Santiago; Meadows, Catherine; Meseguer, José; Santiago, Sonia 1 2015 Two decades of Maude. Zbl 1321.68007Clavel, 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.68169Alpuente, María; Escobar, Santiago; Espert, Javier; Meseguer, José 10 2014 State space reduction in the Maude-NRL protocol analyzer. Zbl 1360.94307Escobar, 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.68016Escobar, Santiago (ed.) 2 2014 ACUOS: a system for modular ACU generalization with subtyping and inheritance. Zbl 1432.68422Alpuente, María; Escobar, Santiago; Espert, Javier; Meseguer, José 2 2014 Functional logic programming in Maude. Zbl 1407.68081Escobar, Santiago 2 2014 Asymmetric unification: a new unification paradigm for cryptographic protocol analysis. Zbl 1381.68264Erbatur, 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.68217Escobar, Santiago; Sasse, Ralf; Meseguer, José 22 2012 Abstract logical model checking of infinite-state systems using narrowing. Zbl 1356.68140Bae, Kyungmin; Escobar, Santiago; Meseguer, José 15 2011 Variants, unification, narrowing, and symbolic reachability in Maude 2.6. Zbl 1236.68180Duran, Francisco; Eker, Steven; Escobar, Santiago; Meseguer, Jose; Talcott, Carolyn 4 2011 Modular termination of basic narrowing and equational unification. Zbl 1257.68090Alpuente, María; Escobar, Santiago; Iborra, José 2 2011 Abstract certification of global non-interference in rewriting logic. Zbl 1312.68049Alba-Castro, Mauricio; Alpuente, María; Escobar, Santiago 4 2010 Folding variant narrowing and optimal variant termination. Zbl 1306.68069Escobar, Santiago; Sasse, Ralf; Meseguer, José 4 2010 A compact fixpoint semantics for term rewriting systems. Zbl 1209.68285Alpuente, M.; Comini, M.; Escobar, S.; Falaschi, M.; Iborra, J. 2 2010 On-demand strategy annotations revisited: an improved on-demand evaluation strategy. Zbl 1186.68092Alpuente, 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.68006Escobar, Santiago (ed.) 1 2010 Maude-NPA: cryptographic protocol analysis modulo equational properties. Zbl 1252.94061Escobar, Santiago; Meadows, Catherine; Meseguer, José 22 2009 Variant narrowing and equational unification. Zbl 1347.68194Escobar, Santiago; Meseguer, José; Sasse, Ralf 10 2009 Order-sorted generalization. Zbl 1347.68193Alpuente, María; Escobar, Santiago; Meseguer, José; Ojeda, Pedro 8 2009 A modular equational generalization algorithm. Zbl 1185.68219Alpuente, María; Escobar, Santiago; Meseguer, José; Ojeda, Pedro 7 2009 Termination of narrowing revisited. Zbl 1187.68271Alpuente, María; Escobar, Santiago; Iborra, José 4 2009 Effectively checking the finite variant property. Zbl 1145.68444Escobar, Santiago; Meseguer, José; Sasse, Ralf 7 2008 Termination of narrowing using dependency pairs. Zbl 1185.68218Alpuente, María; Escobar, Santiago; Iborra, José 3 2008 Modular termination of basic narrowing. Zbl 1145.68439Alpuente, María; Escobar, Santiago; Iborra, José 1 2008 Symbolic model checking of infinite-state systems using narrowing. Zbl 1203.68097Escobar, Santiago; Meseguer, José 17 2007 Narrowing and rewriting logic: from foundations to applications. Zbl 1279.68205Escobar, Santiago; Meseguer, José; Thati, Prasanna 3 2007 Removing redundant arguments automatically. Zbl 1112.68068Alpuente, M.; Escobar, S.; Lucas, S. 3 2007 A rewriting-based inference system for the NRL protocol analyzer and its meta-logical properties. Zbl 1153.94375Escobar, Santiago; Meadows, Catherine; Meseguer, José 16 2006 Natural narrowing for general term rewriting systems. Zbl 1078.68655Escobar, Santiago; Meseguer, José; Thati, Prasanna 6 2005 Implementing natural rewriting and narrowing efficiently. Zbl 1122.68371Escobar, Santiago 5 2004 Correct and complete (positive) strategy annotations for OBJ. Zbl 1272.68071Alpuente, María; Escobar, Santiago; Lucas, Salvador 3 2004 Abstract diagnosis of functional programs. Zbl 1278.68056Alpuente, María; Comini, Marco; Escobar, Santiago; Falaschi, Moreno; Lucas, Salvador 10 2003 Improving on-demand strategy annotations. Zbl 1023.03530Alpuente, M.; Escobar, S.; Gramlich, B.; Lucas, S. 2 2002 all cited Publications top 5 cited Publications 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 all top 5 Cited in 17 Serials 11 Theoretical Computer Science 9 Journal of Logical and Algebraic Methods in Programming 8 Information and Computation 4 Journal of Automated Reasoning 4 Formal Aspects of Computing 3 MSCS. Mathematical Structures in Computer Science 3 Theory and Practice of Logic Programming 2 Higher-Order and Symbolic Computation 2 The Journal of Logic and Algebraic Programming 2 ACM Transactions on Computational Logic 1 Artificial Intelligence 1 Information Processing Letters 1 Journal of Symbolic Computation 1 Applicable Algebra in Engineering, Communication and Computing 1 Computer Languages, Systems & Structures 1 Mathematics in Computer Science 1 Logical Methods in Computer Science Cited in 5 Fields 95 Computer science (68-XX) 24 Mathematical logic and foundations (03-XX) 14 Information and communication theory, circuits (94-XX) 3 Category theory; homological algebra (18-XX) 2 History and biography (01-XX) 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.