• 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 12 matches

• 1999
• 
  Christel Baier, Michael Huth, Marta Z. Kwiatkowska, Mark Ryan:
  First International Workshop on Probabilistic Methods in Verification, PROBMIV 1998, Indianapolis, Indiana, USA, June 19-20, 1998. Electronic Notes in Theoretical Computer Science 22, Elsevier 1999 [contents]
• 1998
• 
  Luca de Alfaro:
  From Fairness to Chance. PROBMIV 1998: 55-87
• 
  Christel Baier, Edmund M. Clarke, Vasiliki Hartonas-Garmhausen:
  On the Semantic Foundations of Probabilistic Synchronous Reactive Programs. PROBMIV 1998: 3-28
• 
  Christel Baier, Michael Huth, Marta Z. Kwiatkowska, Mark Ryan:
  Preface. PROBMIV 1998: 1-2
• 
  Christel Baier, Marta Z. Kwiatkowska, Gethin Norman:
  Computing Probability Bounds for Linear Time Formulas over Concurrent Probabilistic Systems. PROBMIV 1998: 29
• 
  Pedro R. D'Argenio, Holger Hermanns, Joost-Pieter Katoen:
  On Generative Parallel Composition. PROBMIV 1998: 30-54
• 
  Carlos Gregorio-Rodríguez, Manuel Núñez:
  Denotational Semantics for Probabilistic Refusal Testing. PROBMIV 1998: 111-137
• 
  Jerry den Hartog, Erik P. de Vink:
  Mixing Up Nondeterminism and Probability: a preliminary report. PROBMIV 1998: 88-110
• 
  Annabelle McIver:
  Reasoning about efficiency within a probabilistic µ-calculus. PROBMIV 1998: 138-155
• 
  Christoph Meinel, Harald Sack:
  Parity-OBDDs - a BDD structure for Probabilistic Verification. PROBMIV 1998: 156-170
• 
  Prakash Panangaden:
  The Category of Markov Kernels. PROBMIV 1998: 171-187
• 
  Roberto Segala:
  The Essence of Coin Lemmas. PROBMIV 1998: 188-207