The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Santiago Escobar" ( http://dblp.L3S.de/Authors/Santiago_Escobar )

URL (Homepage):  http://www.dsic.upv.es/~sescobar  Author page on DBLP  Author page in RDF  Community of Santiago Escobar in ASPL-2

Publication years (Num. hits)
1999-2004 (16) 2005-2007 (15) 2008-2009 (17) 2010-2012 (16) 2013-2014 (16) 2015-2017 (16) 2018-2019 (14)
Publication types (Num. hits)
article(44) inproceedings(58) proceedings(8)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 11 occurrences of 9 keywords

Results
Found 111 publication records. Showing 110 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Santiago Escobar, Julia Sapiña Most General Variant Unifiers. Search on Bibsonomy ICLP Technical Communications The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Fan Yang, Santiago Escobar, Catherine A. Meadows, José Meseguer Strand Spaces with Choice via a Process Algebra Semantics. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn L. Talcott Programming and Symbolic Computation in Maude. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1María Alpuente, Demis Ballis, Santiago Escobar, Julia Sapiña Symbolic Analysis of Maude Theories with Narval. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1María Alpuente, Santiago Escobar, Julia Sapiña, Demis Ballis Symbolic Analysis of Maude Theories with Narval. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Santiago Escobar, José Meseguer Canonical Narrowing with Irreducibility Constraints as a Symbolic Protocol Analysis Method. Search on Bibsonomy Foundations of Security, Protocols, and Equational Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1María Alpuente, Demis Ballis, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer ACUOS2: A High-Performance System for Modular ACU Generalization with Subtyping and Inheritance. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer Homeomorphic Embedding modulo Combinations of Associativity and Commutativity Axioms. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Antonio González-Burgueño, Damián Aparicio, Santiago Escobar, Catherine A. Meadows, José Meseguer Formal verification of the YubiKey and YubiHSM APIs in Maude-NPA. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Antonio González-Burgueño, Damián Aparicio-Sánchez, Santiago Escobar, Catherine A. Meadows, José Meseguer Formal verification of the YubiKey and YubiHSM APIs in Maude-NPA. Search on Bibsonomy LPAR The full citation details ... 2018 DBLP  BibTeX  RDF
1Fan Yang, Santiago Escobar, Catherine A. Meadows, José Meseguer Modular Verification of Sequential Composition for Private Channels in Maude-NPA. Search on Bibsonomy STM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Santiago Escobar Multi-paradigm Programming in Maude. Search on Bibsonomy WRLA@ETAPS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott Associative Unification and Symbolic Reasoning Modulo Associativity in Maude. Search on Bibsonomy WRLA@ETAPS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer Homeomorphic Embedding Modulo Combinations of Associativity and Commutativity Axioms. Search on Bibsonomy LOPSTR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Santiago Escobar Rewriting Logic and its Applications (extended selected papers from WRLA 2014). Search on Bibsonomy J. Log. Algebr. Meth. Program. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, Julia Sapiña Inspecting Maude Variants with GLINTS. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Horatiu Cirstea, Santiago Escobar (eds.) Proceedings Third International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE@FSCD 2016, Porto, Portugal, 23rd June 2016. Search on Bibsonomy WPTE@FSCD The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1María Alpuente, Santiago Escobar, Julia Sapiña, Angel Cuenca-Ortega Inspecting Maude variants with GLINTS. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Santiago Escobar Rewriting logic and its applications (extended selected papers from WRLA 2014). Search on Bibsonomy J. Log. Algebr. Meth. Program. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Sonia Santiago, Santiago Escobar, Catherine A. Meadows, José Meseguer Effective Sequential Protocol Composition in Maude-NPA. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer Partial Evaluation of Order-sorted Equational Programs modulo Axioms. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott Built-in Variant Generation and Unification, and Their Applications in Maude 2.7. Search on Bibsonomy IJCAR The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Fan Yang, Santiago Escobar, Catherine A. Meadows, José Meseguer, Sonia Santiago Strand spaces with choice via a process algebra semantics. Search on Bibsonomy PPDP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer Partial Evaluation of Order-Sorted Equational Programs Modulo Axioms. Search on Bibsonomy LOPSTR The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Santiago Escobar (eds.) Proceedings XIV Jornadas sobre Programación y Lenguajes, PROLE 2014, Cadiz, Spain, September 16-19, 2014. Search on Bibsonomy PROLE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Andrew Cholewa, Santiago Escobar, José Meseguer Constrained narrowing for conditional equational theories modulo axioms. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Manuel Clavel, Francisco Durán, Steven Eker, Santiago Escobar, Patrick Lincoln, Narciso Martí-Oliet, Carolyn L. Talcott Two Decades of Maude. Search on Bibsonomy Logic, Rewriting, and Concurrency The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Santiago Escobar, Catherine A. Meadows, José Meseguer, Sonia Santiago Symbolic Protocol Analysis with Disequality Constraints Modulo Equational Theories. Search on Bibsonomy Programming Languages with Applications to Biology and Security The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Antonio González-Burgueño, Sonia Santiago, Santiago Escobar, Catherine A. Meadows, José Meseguer Analysis of the PKCS#11 API Using the Maude-NPA Tool. Search on Bibsonomy SSR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Yuki Chiba, Santiago Escobar, Naoki Nishida 0001, David Sabel, Manfred Schmidt-Schauß (eds.) 2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE 2015, July 2, 2015, Warsaw, Poland Search on Bibsonomy WPTE@RTA/TLCA The full citation details ... 2015 DBLP  BibTeX  RDF
1Santiago Escobar, Catherine A. Meadows, José Meseguer, Sonia Santiago State space reduction in the Maude-NRL Protocol Analyzer. Search on Bibsonomy Inf. Comput. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Santiago Escobar, Moreno Falaschi Functional and (Constraint) Logic Programming. Search on Bibsonomy Inf. Comput. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1María Alpuente, Santiago Escobar, Javier Espert, José Meseguer A modular order-sorted equational generalization algorithm. Search on Bibsonomy Inf. Comput. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Santiago Escobar Functional Logic Programming in Maude. Search on Bibsonomy Specification, Algebra, and Software The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Santiago Escobar, Catherine A. Meadows, José Meseguer, Sonia Santiago A rewriting-based forwards semantics for Maude-NPA. Search on Bibsonomy HotSoS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Sonia Santiago, Santiago Escobar, Catherine A. Meadows, José Meseguer A Formal Definition of Protocol Indistinguishability and Its Verification Using Maude-NPA. Search on Bibsonomy STM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Santiago Escobar, Konstantin Korovin, Vladimir V. Rybakov (eds.) UNIF 2012 Post-Worskhop Proceedings. The 26th International Workshop on Unification, Manchester, UK, July 1, 2012 Search on Bibsonomy UNIF The full citation details ... 2014 DBLP  BibTeX  RDF
1Antonio González-Burgueño, Sonia Santiago, Santiago Escobar, Catherine A. Meadows, José Meseguer Analysis of the IBM CCA Security API Protocols in Maude-NPA. Search on Bibsonomy SSR The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Fan Yang, Santiago Escobar, Catherine A. Meadows, José Meseguer, Paliath Narendran Theories of Homomorphic Encryption, Unification, and the Finite Variant Property. Search on Bibsonomy PPDP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1María Alpuente, Santiago Escobar, Javier Espert, José Meseguer ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Santiago Escobar (eds.) 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 Search on Bibsonomy WRLA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Elena Lloret, Santiago Escobar, Manuel Palomar, Isidro Ramos Incremental and Adaptive Software Systems Development of Natural Language Applications. Search on Bibsonomy ISD The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Serdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine A. Meadows, José Meseguer, Paliath Narendran, Sonia Santiago, Ralf Sasse Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis. Search on Bibsonomy CADE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Santiago Escobar Unification and Anti-unification modulo Equational Theories. Search on Bibsonomy UNIF@RTA/TLCA The full citation details ... 2013 DBLP  BibTeX  RDF
1María Alpuente, Santiago Escobar, Javier Espert Detecting Modular ACU Structural Symmetries. Search on Bibsonomy UNIF@RTA/TLCA The full citation details ... 2013 DBLP  BibTeX  RDF
1Kyungmin Bae, Santiago Escobar, José Meseguer Abstract Logical Model Checking of Infinite-State Systems Using Narrowing. Search on Bibsonomy RTA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Santiago Escobar, Ralf Sasse, José Meseguer Folding variant narrowing and optimal variant termination. Search on Bibsonomy J. Log. Algebr. Program. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Serdar Erbatur, Santiago Escobar, Paliath Narendran The use of types in designing unification algorithms: two case studies. Search on Bibsonomy UNIF The full citation details ... 2012 DBLP  BibTeX  RDF
1Serdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine A. Meadows, José Meseguer, Paliath Narendran, Sonia Santiago, Ralf Sasse Effective Symbolic Protocol Analysis via Equational Irreducibility Conditions. Search on Bibsonomy ESORICS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Santiago Escobar (eds.) Proceedings 10th International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2011, Novi Sad, Serbia, 29 May 2011. Search on Bibsonomy WRS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Santiago Escobar, Catherine A. Meadows, José Meseguer State Space Reduction in the Maude-NRL Protocol Analyzer Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1María Alpuente, Santiago Escobar, José Iborra Modular termination of basic narrowing and equational unification. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Santiago Escobar, Deepak Kapur, Christopher Lynch, Catherine A. Meadows, José Meseguer, Paliath Narendran, Ralf Sasse Protocol analysis in Maude-NPA using unification modulo homomorphic encryption. Search on Bibsonomy PPDP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Francisco Durán, Steven Eker, Santiago Escobar, José Meseguer, Carolyn L. Talcott Variants, Unification, Narrowing, and Symbolic Reachability in Maude 2.6. Search on Bibsonomy RTA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1María Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, José Iborra A compact fixpoint semantics for term rewriting systems. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1María Alpuente, Santiago Escobar, Bernhard Gramlich, Salvador Lucas On-demand strategy annotations revisited: An improved on-demand evaluation strategy. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Mauricio Alba-Castro, María Alpuente, Santiago Escobar Abstract Certification of Global Non-Interference in Rewriting Logic Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Ralf Sasse, Santiago Escobar, Catherine A. Meadows, José Meseguer Protocol Analysis Modulo Combination of Theories: A Case Study in Maude-NPA. Search on Bibsonomy STM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Santiago Escobar (eds.) Functional and Constraint Logic Programming, 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers Search on Bibsonomy WFLP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Mauricio Alba-Castro, María Alpuente, Santiago Escobar Approximating Non-interference and Erasure in Rewriting Logic. Search on Bibsonomy SYNASC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Santiago Escobar, Catherine A. Meadows, José Meseguer, Sonia Santiago Sequential Protocol Composition in Maude-NPA. Search on Bibsonomy ESORICS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Santiago Escobar, Ralf Sasse, José Meseguer Folding Variant Narrowing and Optimal Variant Termination. Search on Bibsonomy WRLA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Sonia Santiago, Carolyn L. Talcott, Santiago Escobar, Catherine A. Meadows, José Meseguer A Graphical User Interface for Maude-NPA. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Santiago Escobar, José Meseguer, Ralf Sasse Variant Narrowing and Equational Unification. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Mauricio Alba-Castro, María Alpuente, Santiago Escobar, Pedro Ojeda, Daniel Romero 0001 A Tool for Automated Certification of Java Source Code in Maude. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Daniel J. Dougherty, Santiago Escobar Preface. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1María Alpuente, Santiago Escobar, José Meseguer, Pedro Ojeda Order-Sorted Generalization. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Demis Ballis, Santiago Escobar Preface. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1María Alpuente, Santiago Escobar, José Iborra Termination of narrowing revisited. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Mauricio Alba-Castro, María Alpuente, Santiago Escobar Abstract Certification of Global Non-interference in Rewriting Logic. Search on Bibsonomy FMCO The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Manuel 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. Search on Bibsonomy RTA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Demis Ballis, Santiago Escobar, Massimo Marchiori Preface. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Michael Katelman, José Meseguer, Santiago Escobar Directed-Logical Testing for Functional Verification of Microprocessors. Search on Bibsonomy MEMOCODE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1María Alpuente, Santiago Escobar, José Iborra Termination of Narrowing Using Dependency Pairs. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Mauricio Alba-Castro, María Alpuente, Santiago Escobar Automated Certification of Non-Interference in Rewriting Logic. Search on Bibsonomy FMICS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1María Alpuente, Santiago Escobar, José Iborra Modular Termination of Basic Narrowing. Search on Bibsonomy RTA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Santiago Escobar, José Meseguer, Ralf Sasse Effectively Checking the Finite Variant Property. Search on Bibsonomy RTA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Santiago Escobar, Catherine A. Meadows, José Meseguer State Space Reduction in the Maude-NRL Protocol Analyzer. Search on Bibsonomy ESORICS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1María Alpuente, Santiago Escobar, José Meseguer, Pedro Ojeda A Modular Equational Generalization Algorithm. Search on Bibsonomy LOPSTR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Santiago Escobar, José Meseguer, Prasanna Thati Narrowing and Rewriting Logic: from Foundations to Applications. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Santiago Escobar, Catherine A. Meadows, José Meseguer Equational Cryptographic Reasoning in the Maude-NRL Protocol Analyzer. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1María Alpuente, Santiago Escobar, Salvador Lucas Removing redundant arguments automatically. Search on Bibsonomy TPLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Mauricio Alba-Castro, María Alpuente, Santiago Escobar Automatic Certification of Java Source Code in Rewriting Logic. Search on Bibsonomy FMICS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Santiago Escobar, José Meseguer Symbolic Model Checking of Infinite-State Systems Using Narrowing. Search on Bibsonomy RTA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Santiago Escobar, Catherine A. Meadows, José Meseguer Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties. Search on Bibsonomy FOSAD The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1María Alpuente, Santiago Escobar, Moreno Falaschi Preface. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Santiago Escobar, Catherine A. Meadows, José Meseguer A rewriting-based inference system for the NRL Protocol Analyzer and its meta-logical properties. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1María Alpuente, Santiago Escobar, Salvador Lucas Removing Redundant Arguments Automatically Search on Bibsonomy CoRR The full citation details ... 2006 DBLP  BibTeX  RDF
1Francisco Durán, Santiago Escobar, Salvador Lucas On-demand Evaluation for Maude. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Francisco Durán, Santiago Escobar, Salvador Lucas New Evaluation Commands for Maude Within Full Maude. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Marí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 Search on Bibsonomy WWV The full citation details ... 2005 DBLP  BibTeX  RDF
1María Alpuente, Santiago Escobar, Moreno Falaschi Preface. Search on Bibsonomy WWV The full citation details ... 2005 DBLP  BibTeX  RDF
1Santiago Escobar, Catherine A. Meadows, José Meseguer A rewriting-based inference system for the NRL protocol analyzer: grammar generation. Search on Bibsonomy FMSE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF formal methods, protocol verification, rewriting logic
1Santiago Escobar, José Meseguer, Prasanna Thati Natural Narrowing for General Term Rewriting Systems. Search on Bibsonomy RTA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Santiago Escobar Thesis: Strategies and analysis techniques in functional program optimization. Search on Bibsonomy AI Commun. The full citation details ... 2004 DBLP  BibTeX  RDF
1Santiago Escobar Implementing Natural Rewriting and Narrowing Efficiently. Search on Bibsonomy FLOPS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Santiago Escobar, José Meseguer, Prasanna Thati Natural Rewriting for General Term Rewriting Systems. Search on Bibsonomy LOPSTR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1María Alpuente, Santiago Escobar, Salvador Lucas On-demand Evaluation by Program Transformation. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1María Alpuente, Santiago Escobar, Salvador Lucas OnDemandOBJ: A Laboratory for Strategy Annotations. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1María Alpuente, Demis Ballis, Santiago Escobar, Moreno Falaschi, Salvador Lucas Abstract correction of first-order functional programs. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 110 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license