BibTeX records: María-Inés Fernández-Camacho

download as .bib file

@article{DBLP:journals/rsa/ChernFHM14,
  author       = {Hua{-}Huai Chern and
                  Mar{\'{\i}}a{-}In{\'{e}}s Fern{\'{a}}ndez{-}Camacho and
                  Hsien{-}Kuei Hwang and
                  Conrado Mart{\'{\i}}nez},
  title        = {Psi-series method for equality of random trees and quadratic convolution
                  recurrences},
  journal      = {Random Struct. Algorithms},
  volume       = {44},
  number       = {1},
  pages        = {67--108},
  year         = {2014},
  url          = {https://doi.org/10.1002/rsa.20428},
  doi          = {10.1002/RSA.20428},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rsa/ChernFHM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/PitaF12,
  author       = {Isabel Pita and
                  Mar{\'{\i}}a{-}In{\'{e}}s Fern{\'{a}}ndez{-}Camacho},
  editor       = {Narciso Mart{\'{\i}}{-}Oliet and
                  Miguel Palomino},
  title        = {Formal Specification of the Kademlia and the Kad Routing Tables in
                  Maude},
  booktitle    = {Recent Trends in Algebraic Development Techniques, 21st International
                  Workshop, {WADT} 2012, Salamanca, Spain, June 7-10, 2012, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7841},
  pages        = {231--247},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-37635-1\_14},
  doi          = {10.1007/978-3-642-37635-1\_14},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/PitaF12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Fernandez-CamachoS07,
  author       = {Mar{\'{\i}}a{-}In{\'{e}}s Fern{\'{a}}ndez{-}Camacho and
                  Jos{\'{e}}{-}Ram{\'{o}}n S{\'{a}}nchez{-}Couso},
  title        = {Binary Search Trees, Recurrent Properties andWave Equations},
  journal      = {Fundam. Informaticae},
  volume       = {81},
  number       = {4},
  pages        = {409--439},
  year         = {2007},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi81-4-03},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Fernandez-CamachoS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Sanchez-CousoF06,
  author       = {Jos{\'{e}}{-}Ram{\'{o}}n S{\'{a}}nchez{-}Couso and
                  Mar{\'{\i}}a{-}In{\'{e}}s Fern{\'{a}}ndez{-}Camacho},
  title        = {Reductions in binary search trees},
  journal      = {Theor. Comput. Sci.},
  volume       = {355},
  number       = {3},
  pages        = {327--353},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.tcs.2005.12.015},
  doi          = {10.1016/J.TCS.2005.12.015},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Sanchez-CousoF06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Sanchez-CousoF94,
  author       = {Jos{\'{e}}{-}Ram{\'{o}}n S{\'{a}}nchez{-}Couso and
                  Mar{\'{\i}}a{-}In{\'{e}}s Fern{\'{a}}ndez{-}Camacho},
  editor       = {Serge Abiteboul and
                  Eli Shamir},
  title        = {Average-Case Analysis of Pattern-Matching in Trees under the {BST}
                  Probability Model},
  booktitle    = {Automata, Languages and Programming, 21st International Colloquium,
                  ICALP94, Jerusalem, Israel, July 11-14, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {820},
  pages        = {178--190},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58201-0\_67},
  doi          = {10.1007/3-540-58201-0\_67},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/Sanchez-CousoF94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/Frutos-EscrigF91,
  author       = {David de Frutos{-}Escrig and
                  Mar{\'{\i}}a{-}In{\'{e}}s Fern{\'{a}}ndez{-}Camacho},
  editor       = {Samson Abramsky and
                  T. S. E. Maibaum},
  title        = {On Narrowing Strategies for Partial Non-Strict Functions},
  booktitle    = {TAPSOFT'91: Proceedings of the International Joint Conference on Theory
                  and Practice of Software Development, Brighton, UK, April 8-12, 1991,
                  Volume 2: Advances in Distributed Computing {(ADC)} and Colloquium
                  on Combining Paradigms for Software Developmemnt {(CCPSD)}},
  series       = {Lecture Notes in Computer Science},
  volume       = {494},
  pages        = {416--437},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/3540539816\_79},
  doi          = {10.1007/3540539816\_79},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/tapsoft/Frutos-EscrigF91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Fernandez-CamachoS90,
  author       = {Mar{\'{\i}}a{-}In{\'{e}}s Fern{\'{a}}ndez{-}Camacho and
                  Jean{-}Marc Steyaert},
  title        = {Algebraic Simplification in Computer Algebra: An Analysis of Bottom-up
                  Algorithms},
  journal      = {Theor. Comput. Sci.},
  volume       = {74},
  number       = {3},
  pages        = {273--298},
  year         = {1990},
  url          = {https://doi.org/10.1016/0304-3975(90)90078-V},
  doi          = {10.1016/0304-3975(90)90078-V},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Fernandez-CamachoS90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics