Search dblp for Publications

export results for "toc:db/conf/qapl/qapl2007.bht:"

 download as .bib file

@inproceedings{DBLP:journals/entcs/AldiniB07,
  author       = {Alessandro Aldini and
                  Franck van Breugel},
  editor       = {Alessandro Aldini and
                  Franck van Breugel},
  title        = {Preface},
  booktitle    = {Proceedings of the Fifth Workshop on Quantitative Aspects of Programming
                  Languages, {QAPL} 2007, Braga, Portugal, March 24-25, 2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {190},
  number       = {3},
  pages        = {1--2},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2007.08.012},
  doi          = {10.1016/J.ENTCS.2007.08.012},
  timestamp    = {Fri, 20 Jan 2023 13:40:20 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/AldiniB07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Argent-KatwalaB07,
  author       = {Ashok Argent{-}Katwala and
                  Jeremy T. Bradley},
  editor       = {Alessandro Aldini and
                  Franck van Breugel},
  title        = {{PEPA} Queues: Capturing Customer Behaviour in Queueing Networks},
  booktitle    = {Proceedings of the Fifth Workshop on Quantitative Aspects of Programming
                  Languages, {QAPL} 2007, Braga, Portugal, March 24-25, 2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {190},
  number       = {3},
  pages        = {3--25},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2007.07.002},
  doi          = {10.1016/J.ENTCS.2007.07.002},
  timestamp    = {Fri, 20 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Argent-KatwalaB07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BaltazarMNP07,
  author       = {Pedro Baltazar and
                  Paulo Mateus and
                  Rajagopal Nagarajan and
                  Nikolaos Papanikolaou},
  editor       = {Alessandro Aldini and
                  Franck van Breugel},
  title        = {Exogenous Probabilistic Computation Tree Logic},
  booktitle    = {Proceedings of the Fifth Workshop on Quantitative Aspects of Programming
                  Languages, {QAPL} 2007, Braga, Portugal, March 24-25, 2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {190},
  number       = {3},
  pages        = {95--110},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2007.07.007},
  doi          = {10.1016/J.ENTCS.2007.07.007},
  timestamp    = {Fri, 20 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BaltazarMNP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BistarelliMRS07,
  author       = {Stefano Bistarelli and
                  Ugo Montanari and
                  Francesca Rossi and
                  Francesco Santini},
  editor       = {Alessandro Aldini and
                  Franck van Breugel},
  title        = {Modelling Multicast QoS Routing by using Best-Tree Search in And-or
                  Graphs and Soft Constraint Logic Programming},
  booktitle    = {Proceedings of the Fifth Workshop on Quantitative Aspects of Programming
                  Languages, {QAPL} 2007, Braga, Portugal, March 24-25, 2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {190},
  number       = {3},
  pages        = {111--127},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2007.07.008},
  doi          = {10.1016/J.ENTCS.2007.07.008},
  timestamp    = {Wed, 24 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BistarelliMRS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BortolussiP07,
  author       = {Luca Bortolussi and
                  Alberto Policriti},
  editor       = {Alessandro Aldini and
                  Franck van Breugel},
  title        = {Stochastic Concurrent Constraint Programming and Differential Equations},
  booktitle    = {Proceedings of the Fifth Workshop on Quantitative Aspects of Programming
                  Languages, {QAPL} 2007, Braga, Portugal, March 24-25, 2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {190},
  number       = {3},
  pages        = {27--42},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2007.07.003},
  doi          = {10.1016/J.ENTCS.2007.07.003},
  timestamp    = {Fri, 20 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BortolussiP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/ChothiaPD07,
  author       = {Tom Chothia and
                  Jun Pang and
                  Muhammad Torabi Dashti},
  editor       = {Alessandro Aldini and
                  Franck van Breugel},
  title        = {Keeping Secrets in Resource Aware Components},
  booktitle    = {Proceedings of the Fifth Workshop on Quantitative Aspects of Programming
                  Languages, {QAPL} 2007, Braga, Portugal, March 24-25, 2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {190},
  number       = {3},
  pages        = {79--94},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2007.07.006},
  doi          = {10.1016/J.ENTCS.2007.07.006},
  timestamp    = {Fri, 20 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/ChothiaPD07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/CianciaF07,
  author       = {Vincenzo Ciancia and
                  Gian{-}Luigi Ferrari},
  editor       = {Alessandro Aldini and
                  Franck van Breugel},
  title        = {Co-Algebraic Models for Quantitative Spatial Logics},
  booktitle    = {Proceedings of the Fifth Workshop on Quantitative Aspects of Programming
                  Languages, {QAPL} 2007, Braga, Portugal, March 24-25, 2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {190},
  number       = {3},
  pages        = {43--58},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2007.07.004},
  doi          = {10.1016/J.ENTCS.2007.07.004},
  timestamp    = {Fri, 23 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/CianciaF07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/DengD07,
  author       = {Yuxin Deng and
                  Wenjie Du},
  editor       = {Alessandro Aldini and
                  Franck van Breugel},
  title        = {Probabilistic Barbed Congruence},
  booktitle    = {Proceedings of the Fifth Workshop on Quantitative Aspects of Programming
                  Languages, {QAPL} 2007, Braga, Portugal, March 24-25, 2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {190},
  number       = {3},
  pages        = {185--203},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2007.07.011},
  doi          = {10.1016/J.ENTCS.2007.07.011},
  timestamp    = {Fri, 20 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/DengD07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/PierroHW07,
  author       = {Alessandra Di Pierro and
                  Chris Hankin and
                  Herbert Wiklicky},
  editor       = {Alessandro Aldini and
                  Franck van Breugel},
  title        = {On Probabilistic Techniques for Data Flow Analysis},
  booktitle    = {Proceedings of the Fifth Workshop on Quantitative Aspects of Programming
                  Languages, {QAPL} 2007, Braga, Portugal, March 24-25, 2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {190},
  number       = {3},
  pages        = {59--77},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2007.07.005},
  doi          = {10.1016/J.ENTCS.2007.07.005},
  timestamp    = {Fri, 20 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/PierroHW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Smith07,
  author       = {Michael J. A. Smith},
  editor       = {Alessandro Aldini and
                  Franck van Breugel},
  title        = {Stochastic Modelling of Communication Protocols from Source Code},
  booktitle    = {Proceedings of the Fifth Workshop on Quantitative Aspects of Programming
                  Languages, {QAPL} 2007, Braga, Portugal, March 24-25, 2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {190},
  number       = {3},
  pages        = {129--145},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2007.08.013},
  doi          = {10.1016/J.ENTCS.2007.08.013},
  timestamp    = {Fri, 20 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Smith07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/VaraccaY07,
  author       = {Daniele Varacca and
                  Nobuko Yoshida},
  editor       = {Alessandro Aldini and
                  Franck van Breugel},
  title        = {Probabilistic pi-Calculus and Event Structures},
  booktitle    = {Proceedings of the Fifth Workshop on Quantitative Aspects of Programming
                  Languages, {QAPL} 2007, Braga, Portugal, March 24-25, 2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {190},
  number       = {3},
  pages        = {147--166},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2007.07.009},
  doi          = {10.1016/J.ENTCS.2007.07.009},
  timestamp    = {Fri, 20 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/VaraccaY07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/YaikhomCGH07,
  author       = {Gagarine Yaikhom and
                  Murray Cole and
                  Stephen Gilmore and
                  Jane Hillston},
  editor       = {Alessandro Aldini and
                  Franck van Breugel},
  title        = {A Structural Approach for Modelling Performance of Systems Using Skeletons},
  booktitle    = {Proceedings of the Fifth Workshop on Quantitative Aspects of Programming
                  Languages, {QAPL} 2007, Braga, Portugal, March 24-25, 2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {190},
  number       = {3},
  pages        = {167--183},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2007.07.010},
  doi          = {10.1016/J.ENTCS.2007.07.010},
  timestamp    = {Fri, 20 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/YaikhomCGH07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/qapl/2007,
  editor       = {Alessandro Aldini and
                  Franck van Breugel},
  title        = {Proceedings of the Fifth Workshop on Quantitative Aspects of Programming
                  Languages, {QAPL} 2007, Braga, Portugal, March 24-25, 2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {190},
  number       = {3},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/190/issue/3},
  timestamp    = {Fri, 20 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qapl/2007.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.