Search dblp for Publications

export results for "toc:db/journals/entcs/entcs206.bht:"

 download as .bib file

@proceedings{DBLP:conf/prole/2007,
  editor       = {Ernesto Pimentel},
  title        = {Proceedings of the Seventh Spanish Conference on Programming and Computer
                  Languages, {PROLE} 2007, Zaragoza, Spain, September 12-14, 2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {206},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/206/suppl/C},
  timestamp    = {Mon, 13 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prole/2007.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/AlpuenteGPV08,
  author       = {Mar{\'{\i}}a Alpuente and
                  Mar{\'{\i}}a{-}del{-}Mar Gallardo and
                  Ernesto Pimentel and
                  Alicia Villanueva},
  editor       = {Ernesto Pimentel},
  title        = {An Abstract Analysis Framework for Synchronous Concurrent Languages
                  based on source-to-source Transformation},
  booktitle    = {Proceedings of the Seventh Spanish Conference on Programming and Computer
                  Languages, {PROLE} 2007, Zaragoza, Spain, September 12-14, 2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {206},
  pages        = {3--21},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2008.03.072},
  doi          = {10.1016/J.ENTCS.2008.03.072},
  timestamp    = {Mon, 13 Feb 2023 13:57:26 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/AlpuenteGPV08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/AlvezL08,
  author       = {Javier {\'{A}}lvez and
                  Paqui Lucio},
  editor       = {Ernesto Pimentel},
  title        = {A New Proposal Of Quasi-Solved Form For Equality Constraint Solving},
  booktitle    = {Proceedings of the Seventh Spanish Conference on Programming and Computer
                  Languages, {PROLE} 2007, Zaragoza, Spain, September 12-14, 2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {206},
  pages        = {23--40},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2008.03.073},
  doi          = {10.1016/J.ENTCS.2008.03.073},
  timestamp    = {Mon, 13 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/AlvezL08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Frutos-EscrigG08,
  author       = {David de Frutos{-}Escrig and
                  Carlos Gregorio{-}Rodr{\'{\i}}guez},
  editor       = {Ernesto Pimentel},
  title        = {Constrained Simulations, Nested Simulation Semantics and Counting
                  Bisimulations},
  booktitle    = {Proceedings of the Seventh Spanish Conference on Programming and Computer
                  Languages, {PROLE} 2007, Zaragoza, Spain, September 12-14, 2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {206},
  pages        = {41--58},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2008.03.074},
  doi          = {10.1016/J.ENTCS.2008.03.074},
  timestamp    = {Mon, 13 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Frutos-EscrigG08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/GaintzarainHLN08,
  author       = {Joxe Gaintzarain and
                  Montserrat Hermo and
                  Paqui Lucio and
                  Marisa Navarro},
  editor       = {Ernesto Pimentel},
  title        = {Systematic Semantic Tableaux for {PLTL}},
  booktitle    = {Proceedings of the Seventh Spanish Conference on Programming and Computer
                  Languages, {PROLE} 2007, Zaragoza, Spain, September 12-14, 2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {206},
  pages        = {59--73},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2008.03.075},
  doi          = {10.1016/J.ENTCS.2008.03.075},
  timestamp    = {Mon, 13 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/GaintzarainHLN08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/LucasN08,
  author       = {Salvador Lucas and
                  Rafael Navarro{-}Marset},
  editor       = {Ernesto Pimentel},
  title        = {Comparing {CSP} and {SAT} Solvers for Polynomial Constraints in Termination
                  Provers},
  booktitle    = {Proceedings of the Seventh Spanish Conference on Programming and Computer
                  Languages, {PROLE} 2007, Zaragoza, Spain, September 12-14, 2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {206},
  pages        = {75--90},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2008.03.076},
  doi          = {10.1016/J.ENTCS.2008.03.076},
  timestamp    = {Mon, 13 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/LucasN08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Marti-OlietMP08,
  author       = {Narciso Mart{\'{\i}}{-}Oliet and
                  Jos{\'{e}} Meseguer and
                  Miguel Palomino},
  editor       = {Ernesto Pimentel},
  title        = {Algebraic Stuttering Simulations},
  booktitle    = {Proceedings of the Seventh Spanish Conference on Programming and Computer
                  Languages, {PROLE} 2007, Zaragoza, Spain, September 12-14, 2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {206},
  pages        = {91--110},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2008.03.077},
  doi          = {10.1016/J.ENTCS.2008.03.077},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/Marti-OlietMP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/OrejasP08,
  author       = {Fernando Orejas and
                  Sonia P{\'{e}}rez},
  editor       = {Ernesto Pimentel},
  title        = {Architectural Connectors for Sequence Diagrams},
  booktitle    = {Proceedings of the Seventh Spanish Conference on Programming and Computer
                  Languages, {PROLE} 2007, Zaragoza, Spain, September 12-14, 2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {206},
  pages        = {111--131},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2008.03.078},
  doi          = {10.1016/J.ENTCS.2008.03.078},
  timestamp    = {Mon, 13 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/OrejasP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Pimentel08,
  author       = {Ernesto Pimentel},
  editor       = {Ernesto Pimentel},
  title        = {Preface},
  booktitle    = {Proceedings of the Seventh Spanish Conference on Programming and Computer
                  Languages, {PROLE} 2007, Zaragoza, Spain, September 12-14, 2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {206},
  pages        = {1--2},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2008.03.071},
  doi          = {10.1016/J.ENTCS.2008.03.071},
  timestamp    = {Mon, 13 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Pimentel08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Rodriguez-HortalaS08,
  author       = {Juan Rodr{\'{\i}}guez{-}Hortal{\'{a}} and
                  Jaime S{\'{a}}nchez{-}Hern{\'{a}}ndez},
  editor       = {Ernesto Pimentel},
  title        = {Functions and Lazy Evaluation in Prolog},
  booktitle    = {Proceedings of the Seventh Spanish Conference on Programming and Computer
                  Languages, {PROLE} 2007, Zaragoza, Spain, September 12-14, 2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {206},
  pages        = {153--174},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2008.03.080},
  doi          = {10.1016/J.ENTCS.2008.03.080},
  timestamp    = {Mon, 13 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Rodriguez-HortalaS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/VelascoL08,
  author       = {Pedro Pablo P{\'{e}}rez Velasco and
                  Juan de Lara},
  editor       = {Ernesto Pimentel},
  title        = {Using Matrix Graph Grammars for the Analysis of Behavioural Specifications:
                  Sequential and Parallel Independence},
  booktitle    = {Proceedings of the Seventh Spanish Conference on Programming and Computer
                  Languages, {PROLE} 2007, Zaragoza, Spain, September 12-14, 2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {206},
  pages        = {133--152},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2008.03.079},
  doi          = {10.1016/J.ENTCS.2008.03.079},
  timestamp    = {Mon, 13 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/VelascoL08.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.