Search dblp for Publications

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

 download as .bib file

@proceedings{DBLP:conf/qapl/2004,
  editor       = {Antonio Cerone and
                  Alessandra Di Pierro},
  title        = {Proceedings of the Second Workshop on Quantitative Aspects of Programming
                  Languages, {QAPL} 2004, Barcelona, Spain, March 27-28, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {112},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/112/suppl/C},
  timestamp    = {Thu, 01 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qapl/2004.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/AldiniP05,
  author       = {Alessandro Aldini and
                  Alessandra Di Pierro},
  editor       = {Antonio Cerone and
                  Alessandra Di Pierro},
  title        = {On Quantitative Analysis of Probabilistic Protocols},
  booktitle    = {Proceedings of the Second Workshop on Quantitative Aspects of Programming
                  Languages, {QAPL} 2004, Barcelona, Spain, March 27-28, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {112},
  pages        = {131--148},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.01.019},
  doi          = {10.1016/J.ENTCS.2004.01.019},
  timestamp    = {Thu, 01 Dec 2022 16:35:06 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/AldiniP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/AlpuenteGPV05,
  author       = {Mar{\'{\i}}a Alpuente and
                  Mar{\'{\i}}a{-}del{-}Mar Gallardo and
                  Ernesto Pimentel and
                  Alicia Villanueva},
  editor       = {Antonio Cerone and
                  Alessandra Di Pierro},
  title        = {Abstract Model Checking of tccp programs},
  booktitle    = {Proceedings of the Second Workshop on Quantitative Aspects of Programming
                  Languages, {QAPL} 2004, Barcelona, Spain, March 27-28, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {112},
  pages        = {19--36},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.01.024},
  doi          = {10.1016/J.ENTCS.2004.01.024},
  timestamp    = {Thu, 01 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/AlpuenteGPV05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BodeiCDBNNP05,
  author       = {Chiara Bodei and
                  Michele Curti and
                  Pierpaolo Degano and
                  Mikael Buchholtz and
                  Flemming Nielson and
                  Hanne Riis Nielson and
                  Corrado Priami},
  editor       = {Antonio Cerone and
                  Alessandra Di Pierro},
  title        = {Performance Evaluation of Security Protocols Specified in LySa},
  booktitle    = {Proceedings of the Second Workshop on Quantitative Aspects of Programming
                  Languages, {QAPL} 2004, Barcelona, Spain, March 27-28, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {112},
  pages        = {167--189},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.01.017},
  doi          = {10.1016/J.ENTCS.2004.01.017},
  timestamp    = {Thu, 01 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BodeiCDBNNP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/CeroneP05,
  author       = {Antonio Cerone and
                  Alessandra Di Pierro},
  editor       = {Antonio Cerone and
                  Alessandra Di Pierro},
  title        = {Preface},
  booktitle    = {Proceedings of the Second Workshop on Quantitative Aspects of Programming
                  Languages, {QAPL} 2004, Barcelona, Spain, March 27-28, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {112},
  pages        = {1--3},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.05.011},
  doi          = {10.1016/J.ENTCS.2004.05.011},
  timestamp    = {Thu, 01 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/CeroneP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/ClarkHM05,
  author       = {David Clark and
                  Sebastian Hunt and
                  Pasquale Malacaria},
  editor       = {Antonio Cerone and
                  Alessandra Di Pierro},
  title        = {Quantified Interference for a While Language},
  booktitle    = {Proceedings of the Second Workshop on Quantitative Aspects of Programming
                  Languages, {QAPL} 2004, Barcelona, Spain, March 27-28, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {112},
  pages        = {149--166},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.01.018},
  doi          = {10.1016/J.ENTCS.2004.01.018},
  timestamp    = {Thu, 29 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/ClarkHM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/HankinW05,
  author       = {Chris Hankin and
                  Herbert Wiklicky},
  editor       = {Antonio Cerone and
                  Alessandra Di Pierro},
  title        = {lambda-calculus and Quantitative Program Analysis: (Extended Abstract)},
  booktitle    = {Proceedings of the Second Workshop on Quantitative Aspects of Programming
                  Languages, {QAPL} 2004, Barcelona, Spain, March 27-28, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {112},
  pages        = {5--18},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.01.016},
  doi          = {10.1016/J.ENTCS.2004.01.016},
  timestamp    = {Thu, 01 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/HankinW05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/HurdMM05,
  author       = {Joe Hurd and
                  Annabelle McIver and
                  Carroll Morgan},
  editor       = {Antonio Cerone and
                  Alessandra Di Pierro},
  title        = {Probabilistic Guarded Commands Mechanized in \emph{HOL}},
  booktitle    = {Proceedings of the Second Workshop on Quantitative Aspects of Programming
                  Languages, {QAPL} 2004, Barcelona, Spain, March 27-28, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {112},
  pages        = {95--111},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.01.021},
  doi          = {10.1016/J.ENTCS.2004.01.021},
  timestamp    = {Thu, 01 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/HurdMM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Huth05,
  author       = {Michael Huth},
  editor       = {Antonio Cerone and
                  Alessandra Di Pierro},
  title        = {Abstraction and Probabilities for Hybrid Logics},
  booktitle    = {Proceedings of the Second Workshop on Quantitative Aspects of Programming
                  Languages, {QAPL} 2004, Barcelona, Spain, March 27-28, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {112},
  pages        = {61--76},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.01.023},
  doi          = {10.1016/J.ENTCS.2004.01.023},
  timestamp    = {Mon, 11 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/Huth05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/LanotteMT05,
  author       = {Ruggero Lanotte and
                  Andrea Maggiolo{-}Schettini and
                  Angelo Troina},
  editor       = {Antonio Cerone and
                  Alessandra Di Pierro},
  title        = {Automatic Analysis of a Non-Repudiation Protocol},
  booktitle    = {Proceedings of the Second Workshop on Quantitative Aspects of Programming
                  Languages, {QAPL} 2004, Barcelona, Spain, March 27-28, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {112},
  pages        = {113--129},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.01.020},
  doi          = {10.1016/J.ENTCS.2004.01.020},
  timestamp    = {Thu, 01 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/LanotteMT05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Lluch-LafuenteM05,
  author       = {Alberto Lluch{-}Lafuente and
                  Ugo Montanari},
  editor       = {Antonio Cerone and
                  Alessandra Di Pierro},
  title        = {Quantitative ?-calculus and {CTL} Based on Constraint Semirings},
  booktitle    = {Proceedings of the Second Workshop on Quantitative Aspects of Programming
                  Languages, {QAPL} 2004, Barcelona, Spain, March 27-28, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {112},
  pages        = {37--59},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.02.063},
  doi          = {10.1016/J.ENTCS.2004.02.063},
  timestamp    = {Thu, 01 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Lluch-LafuenteM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Tuosto05,
  author       = {Emilio Tuosto},
  editor       = {Antonio Cerone and
                  Alessandra Di Pierro},
  title        = {Tarzan: Communicating and Moving in Wireless Jungles},
  booktitle    = {Proceedings of the Second Workshop on Quantitative Aspects of Programming
                  Languages, {QAPL} 2004, Barcelona, Spain, March 27-28, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {112},
  pages        = {77--94},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.01.022},
  doi          = {10.1016/J.ENTCS.2004.01.022},
  timestamp    = {Thu, 01 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Tuosto05.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.