Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Raúl Gutiérrez
@article{DBLP:journals/corr/abs-2306-16330,
author = {Ra{\'{u}}l Guti{\'{e}}rrez and
Salvador Lucas and
Miguel V{\'{\i}}tores},
title = {Proving Confluence in the Confluence Framework with CONFident},
journal = {CoRR},
volume = {abs/2306.16330},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.16330},
doi = {10.48550/ARXIV.2306.16330},
eprinttype = {arXiv},
eprint = {2306.16330},
timestamp = {Mon, 03 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-16330.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/inffus/GutierrezRPLS22,
author = {Ra{\'{u}}l Guti{\'{e}}rrez and
V{\'{\i}}ctor Ramp{\'{e}}rez and
Horacio Paggi and
Juan Alfonso Lara and
Javier Soriano},
title = {On the use of information fusion techniques to improve information
quality: Taxonomy, opportunities and challenges},
journal = {Inf. Fusion},
volume = {78},
pages = {102--137},
year = {2022},
url = {https://doi.org/10.1016/j.inffus.2021.09.017},
doi = {10.1016/J.INFFUS.2021.09.017},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/inffus/GutierrezRPLS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlap/LucasVG22,
author = {Salvador Lucas and
Miguel V{\'{\i}}tores and
Ra{\'{u}}l Guti{\'{e}}rrez},
title = {Proving and disproving confluence of context-sensitive rewriting},
journal = {J. Log. Algebraic Methods Program.},
volume = {126},
pages = {100749},
year = {2022},
url = {https://doi.org/10.1016/j.jlamp.2022.100749},
doi = {10.1016/J.JLAMP.2022.100749},
timestamp = {Fri, 01 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlap/LucasVG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/GutierrezVL22,
author = {Ra{\'{u}}l Guti{\'{e}}rrez and
Miguel V{\'{\i}}tores and
Salvador Lucas},
editor = {Alicia Villanueva},
title = {Confluence Framework: Proving Confluence with CONFident},
booktitle = {Logic-Based Program Synthesis and Transformation - 32nd International
Symposium, {LOPSTR} 2022, Tbilisi, Georgia, September 21-23, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13474},
pages = {24--43},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-16767-6\_2},
doi = {10.1007/978-3-031-16767-6\_2},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/GutierrezVL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ahfe/GutierrezG21,
author = {Ra{\'{u}}l Guti{\'{e}}rrez and
Karla Guerra},
editor = {Tareq Z. Ahram and
Waldemar Karwowski and
Jay Kalra},
title = {Work Accident Investigation Software According to the Legal Requirements
for Ecuadorian Companies},
booktitle = {Advances in Artificial Intelligence, Software and Systems Engineering
- Proceedings of the {AHFE} 2021 Virtual Conferences on Human Factors
in Software and Systems Engineering, Artificial Intelligence and Social
Computing, and Energy, July 25-29, 2021, {USA}},
series = {Lecture Notes in Networks and Systems},
volume = {271},
pages = {403--410},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-80624-8\_50},
doi = {10.1007/978-3-030-80624-8\_50},
timestamp = {Tue, 24 Aug 2021 15:06:18 +0200},
biburl = {https://dblp.org/rec/conf/ahfe/GutierrezG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/GutierrezLV21,
author = {Ra{\'{u}}l Guti{\'{e}}rrez and
Salvador Lucas and
Miguel V{\'{\i}}tores},
editor = {Mikolaj Bojanczyk and
Chandra Chekuri},
title = {Confluence of Conditional Rewriting in Logic Form},
booktitle = {41st {IARCS} Annual Conference on Foundations of Software Technology
and Theoretical Computer Science, {FSTTCS} 2021, December 15-17, 2021,
Virtual Conference},
series = {LIPIcs},
volume = {213},
pages = {44:1--44:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2021.44},
doi = {10.4230/LIPICS.FSTTCS.2021.44},
timestamp = {Tue, 30 Nov 2021 13:59:34 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/GutierrezLV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/LucasMG20,
author = {Salvador Lucas and
Jos{\'{e}} Meseguer and
Ra{\'{u}}l Guti{\'{e}}rrez},
title = {The 2D Dependency Pair Framework for Conditional Rewrite Systems -
Part {II:} Advanced Processors and Implementation Techniques},
journal = {J. Autom. Reason.},
volume = {64},
number = {8},
pages = {1611--1662},
year = {2020},
url = {https://doi.org/10.1007/s10817-020-09542-3},
doi = {10.1007/S10817-020-09542-3},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/LucasMG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/AlbertGGM20,
author = {Elvira Albert and
Samir Genaim and
Ra{\'{u}}l Guti{\'{e}}rrez and
Enrique Martin{-}Martin},
title = {A Transformational Approach to Resource Analysis with Typed-norms
Inference},
journal = {Theory Pract. Log. Program.},
volume = {20},
number = {3},
pages = {310--357},
year = {2020},
url = {https://doi.org/10.1017/S1471068419000401},
doi = {10.1017/S1471068419000401},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/AlbertGGM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/GutierrezL20,
author = {Ra{\'{u}}l Guti{\'{e}}rrez and
Salvador Lucas},
editor = {Nicolas Peltier and
Viorica Sofronie{-}Stokkermans},
title = {Automatically Proving and Disproving Feasibility Conditions},
booktitle = {Automated Reasoning - 10th International Joint Conference, {IJCAR}
2020, Paris, France, July 1-4, 2020, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12167},
pages = {416--435},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-51054-1\_27},
doi = {10.1007/978-3-030-51054-1\_27},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/GutierrezL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/GutierrezL20a,
author = {Ra{\'{u}}l Guti{\'{e}}rrez and
Salvador Lucas},
editor = {Nicolas Peltier and
Viorica Sofronie{-}Stokkermans},
title = {mu-term: Verify Termination Properties Automatically (System Description)},
booktitle = {Automated Reasoning - 10th International Joint Conference, {IJCAR}
2020, Paris, France, July 1-4, 2020, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12167},
pages = {436--447},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-51054-1\_28},
doi = {10.1007/978-3-030-51054-1\_28},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/GutierrezL20a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/Aparicio-Sanchez20,
author = {Dami{\'{a}}n Aparicio{-}S{\'{a}}nchez and
Santiago Escobar and
Ra{\'{u}}l Guti{\'{e}}rrez and
Julia Sapi{\~{n}}a},
editor = {Liqun Chen and
Ninghui Li and
Kaitai Liang and
Steve A. Schneider},
title = {An Optimizing Protocol Transformation for Constructor Finite Variant
Theories in Maude-NPA},
booktitle = {Computer Security - {ESORICS} 2020 - 25th European Symposium on Research
in Computer Security, {ESORICS} 2020, Guildford, UK, September 14-18,
2020, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12309},
pages = {230--250},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-59013-0\_12},
doi = {10.1007/978-3-030-59013-0\_12},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esorics/Aparicio-Sanchez20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/GutierrezL19,
author = {Ra{\'{u}}l Guti{\'{e}}rrez and
Salvador Lucas},
editor = {Pascal Fontaine},
title = {Automatic Generation of Logical Models with {AGES}},
booktitle = {Automated Deduction - {CADE} 27 - 27th International Conference on
Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11716},
pages = {287--299},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29436-6\_17},
doi = {10.1007/978-3-030-29436-6\_17},
timestamp = {Thu, 05 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/GutierrezL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1908-02078,
author = {Elvira Albert and
Samir Genaim and
Ra{\'{u}}l Guti{\'{e}}rrez and
Enrique Martin{-}Martin},
title = {A Transformational Approach to Resource Analysis with Typed-norms
Inference},
journal = {CoRR},
volume = {abs/1908.02078},
year = {2019},
url = {http://arxiv.org/abs/1908.02078},
eprinttype = {arXiv},
eprint = {1908.02078},
timestamp = {Fri, 09 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-02078.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/LucasG18,
author = {Salvador Lucas and
Ra{\'{u}}l Guti{\'{e}}rrez},
title = {Use of logical models for proving infeasibility in term rewriting},
journal = {Inf. Process. Lett.},
volume = {136},
pages = {90--95},
year = {2018},
url = {https://doi.org/10.1016/j.ipl.2018.04.002},
doi = {10.1016/J.IPL.2018.04.002},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ipl/LucasG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/LucasG18,
author = {Salvador Lucas and
Ra{\'{u}}l Guti{\'{e}}rrez},
title = {Automatic Synthesis of Logical Models for Order-Sorted First-Order
Theories},
journal = {J. Autom. Reason.},
volume = {60},
number = {4},
pages = {465--501},
year = {2018},
url = {https://doi.org/10.1007/s10817-017-9419-3},
doi = {10.1007/S10817-017-9419-3},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/LucasG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/LucasMG18,
author = {Salvador Lucas and
Jos{\'{e}} Meseguer and
Ra{\'{u}}l Guti{\'{e}}rrez},
title = {The 2D Dependency Pair Framework for conditional rewrite systems.
Part {I:} Definition and basic processors},
journal = {J. Comput. Syst. Sci.},
volume = {96},
pages = {74--106},
year = {2018},
url = {https://doi.org/10.1016/j.jcss.2018.04.002},
doi = {10.1016/J.JCSS.2018.04.002},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcss/LucasMG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/GutierrezM17,
author = {Ra{\'{u}}l Guti{\'{e}}rrez and
Jos{\'{e}} Meseguer},
editor = {Fabio Fioravanti and
John P. Gallagher},
title = {Variant-Based Decidable Satisfiability in Initial Algebras with Predicates},
booktitle = {Logic-Based Program Synthesis and Transformation - 27th International
Symposium, {LOPSTR} 2017, Namur, Belgium, October 10-12, 2017, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10855},
pages = {306--322},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-94460-9\_18},
doi = {10.1007/978-3-319-94460-9\_18},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/GutierrezM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1709-05203,
author = {Ra{\'{u}}l Guti{\'{e}}rrez and
Jos{\'{e}} Meseguer},
title = {Variant-Based Decidable Satisfiability in Initial Algebras with Predicates},
journal = {CoRR},
volume = {abs/1709.05203},
year = {2017},
url = {http://arxiv.org/abs/1709.05203},
eprinttype = {arXiv},
eprint = {1709.05203},
timestamp = {Thu, 21 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-05203.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/GutierrezMR15,
author = {Ra{\'{u}}l Guti{\'{e}}rrez and
Jos{\'{e}} Meseguer and
Camilo Rocha},
title = {Order-sorted equality enrichments modulo axioms},
journal = {Sci. Comput. Program.},
volume = {99},
pages = {235--261},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2014.07.003},
doi = {10.1016/J.SCICO.2014.07.003},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/GutierrezMR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/GutierrezL15,
author = {Ra{\'{u}}l Guti{\'{e}}rrez and
Salvador Lucas},
editor = {Narciso Mart{\'{\i}}{-}Oliet and
Peter Csaba {\"{O}}lveczky and
Carolyn L. Talcott},
title = {Function Calls at Frozen Positions in Termination of Context-Sensitive
Rewriting},
booktitle = {Logic, Rewriting, and Concurrency - Essays dedicated to Jos{\'{e}}
Meseguer on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9200},
pages = {311--330},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23165-5\_15},
doi = {10.1007/978-3-319-23165-5\_15},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/GutierrezL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/LucasMG14,
author = {Salvador Lucas and
Jos{\'{e}} Meseguer and
Ra{\'{u}}l Guti{\'{e}}rrez},
editor = {Maurizio Proietti and
Hirohisa Seki},
title = {Extending the 2D Dependency Pair Framework for Conditional Term Rewriting
Systems},
booktitle = {Logic-Based Program Synthesis and Transformation - 24th International
Symposium, {LOPSTR} 2014, Canterbury, UK, September 9-11, 2014. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8981},
pages = {113--130},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-17822-6\_7},
doi = {10.1007/978-3-319-17822-6\_7},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/LucasMG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/AlbertGG13,
author = {Elvira Albert and
Samir Genaim and
Ra{\'{u}}l Guti{\'{e}}rrez},
editor = {Gopal Gupta and
Ricardo Pe{\~{n}}a},
title = {A Transformational Approach to Resource Analysis with Typed-Norms},
booktitle = {Logic-Based Program Synthesis and Transformation, 23rd International
Symposium, {LOPSTR} 2013, Madrid, Spain, September 18-19, 2013, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8901},
pages = {38--53},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-14125-1\_3},
doi = {10.1007/978-3-319-14125-1\_3},
timestamp = {Wed, 26 Oct 2022 22:55:46 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/AlbertGG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/GutierrezMR12,
author = {Ra{\'{u}}l Guti{\'{e}}rrez and
Jos{\'{e}} Meseguer and
Camilo Rocha},
editor = {Francisco Dur{\'{a}}n},
title = {Order-Sorted Equality Enrichments Modulo Axioms},
booktitle = {Rewriting Logic and Its Applications - 9th International Workshop,
{WRLA} 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia,
March 24-25, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7571},
pages = {162--181},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34005-5\_9},
doi = {10.1007/978-3-642-34005-5\_9},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wrla/GutierrezMR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/AlarconGL10,
author = {Beatriz Alarc{\'{o}}n and
Ra{\'{u}}l Guti{\'{e}}rrez and
Salvador Lucas},
title = {Context-sensitive dependency pairs},
journal = {Inf. Comput.},
volume = {208},
number = {8},
pages = {922--968},
year = {2010},
url = {https://doi.org/10.1016/j.ic.2010.03.003},
doi = {10.1016/J.IC.2010.03.003},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/AlarconGL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/AlarconGLN10,
author = {Beatriz Alarc{\'{o}}n and
Ra{\'{u}}l Guti{\'{e}}rrez and
Salvador Lucas and
Rafael Navarro{-}Marset},
editor = {Michael Johnson and
Dusko Pavlovic},
title = {Proving Termination Properties with mu-term},
booktitle = {Algebraic Methodology and Software Technology - 13th International
Conference, {AMAST} 2010, Lac-Beauport, QC, Canada, June 23-25, 2010.
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6486},
pages = {201--208},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-17796-5\_12},
doi = {10.1007/978-3-642-17796-5\_12},
timestamp = {Sun, 25 Oct 2020 23:16:25 +0100},
biburl = {https://dblp.org/rec/conf/amast/AlarconGLN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/GutierrezL10,
author = {Ra{\'{u}}l Guti{\'{e}}rrez and
Salvador Lucas},
editor = {Peter Csaba {\"{O}}lveczky},
title = {Proving Termination in the Context-Sensitive Dependency Pair Framework},
booktitle = {Rewriting Logic and Its Applications - 8th International Workshop,
{WRLA} 2010, Held as a Satellite Event of {ETAPS} 2010, Paphos, Cyprus,
March 20-21, 2010, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6381},
pages = {18--34},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16310-4\_3},
doi = {10.1007/978-3-642-16310-4\_3},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/wrla/GutierrezL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/AlarconEFGGLST08,
author = {Beatriz Alarc{\'{o}}n and
Fabian Emmes and
Carsten Fuhs and
J{\"{u}}rgen Giesl and
Ra{\'{u}}l Guti{\'{e}}rrez and
Salvador Lucas and
Peter Schneider{-}Kamp and
Ren{\'{e}} Thiemann},
editor = {Iliano Cervesato and
Helmut Veith and
Andrei Voronkov},
title = {Improving Context-Sensitive Dependency Pairs},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th
International Conference, {LPAR} 2008, Doha, Qatar, November 22-27,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5330},
pages = {636--651},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89439-1\_44},
doi = {10.1007/978-3-540-89439-1\_44},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/AlarconEFGGLST08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/GutierrezLU08,
author = {Ra{\'{u}}l Guti{\'{e}}rrez and
Salvador Lucas and
Xavier Urbain},
editor = {Andrei Voronkov},
title = {Usable Rules for Context-Sensitive Rewrite Systems},
booktitle = {Rewriting Techniques and Applications, 19th International Conference,
{RTA} 2008, Hagenberg, Austria, July 15-17, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5117},
pages = {126--141},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70590-1\_9},
doi = {10.1007/978-3-540-70590-1\_9},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/rta/GutierrezLU08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/AlarconGL06,
author = {Beatriz Alarc{\'{o}}n and
Ra{\'{u}}l Guti{\'{e}}rrez and
Salvador Lucas},
editor = {S. Arun{-}Kumar and
Naveen Garg},
title = {Context-Sensitive Dependency Pairs},
booktitle = {{FSTTCS} 2006: Foundations of Software Technology and Theoretical
Computer Science, 26th International Conference, Kolkata, India, December
13-15, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4337},
pages = {297--308},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11944836\_28},
doi = {10.1007/11944836\_28},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/AlarconGL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AlarconGL07,
author = {Beatriz Alarc{\'{o}}n and
Ra{\'{u}}l Guti{\'{e}}rrez and
Salvador Lucas},
editor = {Paqui Lucio and
Fernando Orejas},
title = {Improving the Context-sensitive Dependency Graph},
booktitle = {Proceedings of the Sixth Spanish Conference on Programming and Languages,
{PROLE} 2006, Sitges, Barcelona, Spain, October 4-6, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {188},
pages = {91--103},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.05.040},
doi = {10.1016/J.ENTCS.2007.05.040},
timestamp = {Tue, 31 Jan 2023 15:25:12 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AlarconGL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AlarconGIL07,
author = {Beatriz Alarc{\'{o}}n and
Ra{\'{u}}l Guti{\'{e}}rrez and
Jos{\'{e}} Iborra and
Salvador Lucas},
editor = {Paqui Lucio and
Fernando Orejas},
title = {Proving Termination of Context-Sensitive Rewriting with {MU-TERM}},
booktitle = {Proceedings of the Sixth Spanish Conference on Programming and Languages,
{PROLE} 2006, Sitges, Barcelona, Spain, October 4-6, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {188},
pages = {105--115},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.05.041},
doi = {10.1016/J.ENTCS.2007.05.041},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AlarconGIL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comcom/GutierrezNR95,
author = {Ra{\'{u}}l Guti{\'{e}}rrez and
J{\o}rgen N{\o}rgaard and
Kjell Randsted},
title = {{IN} and beyond: two approaches to the evolution of INs},
journal = {Comput. Commun.},
volume = {18},
number = {11},
pages = {816--824},
year = {1995},
url = {https://doi.org/10.1016/0140-3664(96)83801-1},
doi = {10.1016/0140-3664(96)83801-1},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/comcom/GutierrezNR95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-21 17:42 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
