Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: María-Inés Fernández-Camacho
@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} }
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.