Search dblp for Publications

export results for "toc:db/conf/prole/prole2009.bht:"

 download as .bib file

@inproceedings{DBLP:journals/entcs/AlbertAGGPRRZ09,
  author       = {Elvira Albert and
                  Puri Arenas and
                  Samir Genaim and
                  Miguel G{\'{o}}mez{-}Zamalloa and
                  German Puebla and
                  Diana V. Ram{\'{\i}}rez{-}Deantes and
                  Guillermo Rom{\'{a}}n{-}D{\'{\i}}ez and
                  Damiano Zanardini},
  editor       = {Paqui Lucio and
                  Gin{\'{e}}s Moreno and
                  Ricardo Pe{\~{n}}a},
  title        = {Termination and Cost Analysis with {COSTA} and its User Interfaces},
  booktitle    = {Proceedings of the Ninth Spanish Conference on Programming and Languages,
                  {PROLE} 2009, San Sebasti{\'{a}}n, Spain, September 9-11, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {258},
  number       = {1},
  pages        = {109--121},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2009.12.008},
  doi          = {10.1016/J.ENTCS.2009.12.008},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/AlbertAGGPRRZ09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/ClericiZP09,
  author       = {Silvia Clerici and
                  Cristina Zoltan and
                  Guillermo Prestigiacomo},
  editor       = {Paqui Lucio and
                  Gin{\'{e}}s Moreno and
                  Ricardo Pe{\~{n}}a},
  title        = {NiMoToons: a Totally Graphic Workbench for Program Tuning and Experimentation},
  booktitle    = {Proceedings of the Ninth Spanish Conference on Programming and Languages,
                  {PROLE} 2009, San Sebasti{\'{a}}n, Spain, September 9-11, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {258},
  number       = {1},
  pages        = {93--107},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2009.12.007},
  doi          = {10.1016/J.ENTCS.2009.12.007},
  timestamp    = {Fri, 24 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/ClericiZP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Hidalgo-HerreroO09,
  author       = {Mercedes Hidalgo{-}Herrero and
                  Yolanda Ortega{-}Mall{\'{e}}n},
  editor       = {Paqui Lucio and
                  Gin{\'{e}}s Moreno and
                  Ricardo Pe{\~{n}}a},
  title        = {To be or not to be ...lazy (In a Parallel Context)},
  booktitle    = {Proceedings of the Ninth Spanish Conference on Programming and Languages,
                  {PROLE} 2009, San Sebasti{\'{a}}n, Spain, September 9-11, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {258},
  number       = {1},
  pages        = {21--39},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2009.12.003},
  doi          = {10.1016/J.ENTCS.2009.12.003},
  timestamp    = {Fri, 24 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Hidalgo-HerreroO09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/LescaylleV09a,
  author       = {Alexei Lescaylle and
                  Alicia Villanueva},
  editor       = {Paqui Lucio and
                  Gin{\'{e}}s Moreno and
                  Ricardo Pe{\~{n}}a},
  title        = {The tccp Interpreter},
  booktitle    = {Proceedings of the Ninth Spanish Conference on Programming and Languages,
                  {PROLE} 2009, San Sebasti{\'{a}}n, Spain, September 9-11, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {258},
  number       = {1},
  pages        = {63--77},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2009.12.005},
  doi          = {10.1016/J.ENTCS.2009.12.005},
  timestamp    = {Fri, 24 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/LescaylleV09a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Lucas09,
  author       = {Salvador Lucas},
  editor       = {Paqui Lucio and
                  Gin{\'{e}}s Moreno and
                  Ricardo Pe{\~{n}}a},
  title        = {Automatic Proofs of Termination With Elementary Interpretations},
  booktitle    = {Proceedings of the Ninth Spanish Conference on Programming and Languages,
                  {PROLE} 2009, San Sebasti{\'{a}}n, Spain, September 9-11, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {258},
  number       = {1},
  pages        = {41--61},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2009.12.004},
  doi          = {10.1016/J.ENTCS.2009.12.004},
  timestamp    = {Fri, 24 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Lucas09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/LucioMP09,
  author       = {Paqui Lucio and
                  Gin{\'{e}}s Moreno and
                  Ricardo Pe{\~{n}}a},
  editor       = {Paqui Lucio and
                  Gin{\'{e}}s Moreno and
                  Ricardo Pe{\~{n}}a},
  title        = {Preface},
  booktitle    = {Proceedings of the Ninth Spanish Conference on Programming and Languages,
                  {PROLE} 2009, San Sebasti{\'{a}}n, Spain, September 9-11, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {258},
  number       = {1},
  pages        = {1--2},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2009.12.001},
  doi          = {10.1016/J.ENTCS.2009.12.001},
  timestamp    = {Fri, 24 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/LucioMP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/MartinLS09,
  author       = {Sonia Est{\'{e}}vez Mart{\'{\i}}n and
                  Antonio Jos{\'{e}} Fern{\'{a}}ndez Leiva and
                  Fernando S{\'{a}}enz{-}P{\'{e}}rez},
  editor       = {Paqui Lucio and
                  Gin{\'{e}}s Moreno and
                  Ricardo Pe{\~{n}}a},
  title        = {{TOY:} {A} System for Experimenting with Cooperation of Constraint
                  Domains},
  booktitle    = {Proceedings of the Ninth Spanish Conference on Programming and Languages,
                  {PROLE} 2009, San Sebasti{\'{a}}n, Spain, September 9-11, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {258},
  number       = {1},
  pages        = {79--91},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2009.12.006},
  doi          = {10.1016/J.ENTCS.2009.12.006},
  timestamp    = {Fri, 24 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/MartinLS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/SantiagoTEMM09,
  author       = {Sonia Santiago and
                  Carolyn L. Talcott and
                  Santiago Escobar and
                  Catherine Meadows and
                  Jos{\'{e}} Meseguer},
  editor       = {Paqui Lucio and
                  Gin{\'{e}}s Moreno and
                  Ricardo Pe{\~{n}}a},
  title        = {A Graphical User Interface for Maude-NPA},
  booktitle    = {Proceedings of the Ninth Spanish Conference on Programming and Languages,
                  {PROLE} 2009, San Sebasti{\'{a}}n, Spain, September 9-11, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {258},
  number       = {1},
  pages        = {3--20},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2009.12.002},
  doi          = {10.1016/J.ENTCS.2009.12.002},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/SantiagoTEMM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/prole/2009,
  editor       = {Paqui Lucio and
                  Gin{\'{e}}s Moreno and
                  Ricardo Pe{\~{n}}a},
  title        = {Proceedings of the Ninth Spanish Conference on Programming and Languages,
                  {PROLE} 2009, San Sebasti{\'{a}}n, Spain, September 9-11, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {258},
  number       = {1},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/258/issue/1},
  timestamp    = {Fri, 24 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prole/2009.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.