default search action

combined dblp search
author search
venue search
publication search

ask others

2nd QAPL 2004: Barcelona, Spain

> Home > Conferences and Workshops > QAPL

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  - electronic edition @ sciencedirect.com
  - details & citations
- export record
  dblp key:
  - conf/qapl/2004
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qapl/2004
Antonio Cerone, Alessandra Di Pierro:
Proceedings of the Second Workshop on Quantitative Aspects of Programming Languages, QAPL 2004, Barcelona, Spain, March 27-28, 2004. Electronic Notes in Theoretical Computer Science 112, Elsevier 2005
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/CeroneP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/CeroneP05
Antonio Cerone, Alessandra Di Pierro:
Preface. 1-3
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/HankinW05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/HankinW05
Chris Hankin, Herbert Wiklicky:
lambda-calculus and Quantitative Program Analysis: (Extended Abstract). 5-18
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/AlpuenteGPV05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/AlpuenteGPV05
María Alpuente, María-del-Mar Gallardo, Ernesto Pimentel, Alicia Villanueva:
Abstract Model Checking of tccp programs. 19-36
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Lluch-LafuenteM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Lluch-LafuenteM05
Alberto Lluch-Lafuente, Ugo Montanari:
Quantitative ?-calculus and CTL Based on Constraint Semirings. 37-59
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Huth05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Huth05
Michael Huth:
Abstraction and Probabilities for Hybrid Logics. 61-76
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Tuosto05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Tuosto05
Emilio Tuosto:
Tarzan: Communicating and Moving in Wireless Jungles. 77-94
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/HurdMM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/HurdMM05
Joe Hurd, Annabelle McIver, Carroll Morgan:
Probabilistic Guarded Commands Mechanized in HOL. 95-111
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/LanotteMT05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/LanotteMT05
Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina:
Automatic Analysis of a Non-Repudiation Protocol. 113-129
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/AldiniP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/AldiniP05
Alessandro Aldini, Alessandra Di Pierro:
On Quantitative Analysis of Probabilistic Protocols. 131-148
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/ClarkHM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/ClarkHM05
David Clark, Sebastian Hunt, Pasquale Malacaria:
Quantified Interference for a While Language. 149-166
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BodeiCDBNNP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BodeiCDBNNP05
Chiara Bodei, Michele Curti, Pierpaolo Degano, Mikael Buchholtz, Flemming Nielson, Hanne Riis Nielson, Corrado Priami:
Performance Evaluation of Security Protocols Specified in LySa. 167-189

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.