• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 15 matches

• 2006
• 
  Antonio Cerone, Herbert Wiklicky:
  Proceedings of the Third Workshop on Quantitative Aspects of Programming Languages, QAPL 2005, Edinburgh, UK, April 2-3, 2005. Electronic Notes in Theoretical Computer Science 153(2), Elsevier 2006 [contents]
• 2005
• 
  Gul A. Agha, José Meseguer, Koushik Sen:
  PMaude: Rewrite-based Specification Language for Probabilistic Object Systems. QAPL 2005: 213-239
• 
  Christel Baier, Pedro R. D'Argenio, Marcus Größer:
  Partial Order Reduction for Probabilistic Branching Time. QAPL 2005: 97-116
• 
  Gilles Barthe, Tamara Rezk, Martijn Warnier:
  Preventing Timing Leaks Through Transactional Branching Instructions. QAPL 2005: 33-55
• 
  Walter Binder, Jarle Hulaas:
  Using Bytecode Instruction Counting as Portable CPU Consumption Metric. QAPL 2005: 57-77
• 
  Antonio Cerone, Herbert Wiklicky:
  Preface. QAPL 2005: 1-3
• 
  Yuxin Deng, Tom Chothia, Catuscia Palamidessi, Jun Pang:
  Metrics for Action-labelled Quantitative Transition Systems. QAPL 2005: 79-96
• 
  Volker Gruhn, Ralf Laue:
  Patterns for Timed Property Specifications. QAPL 2005: 117-133
• 
  Dan Hirsch, Alberto Lluch-Lafuente, Emilio Tuosto:
  A Logic for Application Level QoS. QAPL 2005: 135-159
• 
  Marta Z. Kwiatkowska, Gethin Norman, David Parker:
  Quantitative Analysis With the Probabilistic Model Checker PRISM. QAPL 2005: 5-31
• 
  Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina:
  A Classification of Time and/or Probability Dependent Security Properties. QAPL 2005: 177-193
• 
  Annabelle McIver, Carroll Morgan:
  A Novel Stochastic Game Via the Quantitative mu-calculus. QAPL 2005: 195-212
• 
  Rocco De Nicola, Joost-Pieter Katoen, Diego Latella, Mieke Massink:
  Towards a Logic for Performance and Mobility. QAPL 2005: 161-175
• 
  Igor Siveroni:
  Filling Out the Gaps: A Padding Algorithm for Transforming Out Timing Leaks. QAPL 2005: 241-257
• 
  Verena Wolf, Christel Baier, Mila E. Majster-Cederbaum:
  Trace Machines for Observing Continuous-Time Markov Chains. QAPL 2005: 259-277