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

• 2015
• 
  Jeremy T. Bradley, William J. Knottenbelt, Nigel Thomas:
  Proceedings of the Seventh International Workshop on the Practical Application of Stochastic Modelling, PASM 2014, Newcastle-upon-Tyne, UK, May 2014. Electronic Notes in Theoretical Computer Science 310, Elsevier 2015 [contents]
• 2014
• 
  Alberto Avritzer, Laura Carnevali, Hamed Ghasemieh, Lucia Happe, Boudewijn R. Haverkort, Anne Koziolek, Daniel S. Menasché, Anne Remke, Sahra Sedigh Sarvestani, Enrico Vicario:
  Survivability Evaluation of Gas, Water and Electricity Infrastructures. PASM 2014: 5-25
• 
  Luca Bortolussi, Jane Hillston, Mirco Tribastone:
  Fluid Performability Analysis of Nested Automata Models. PASM 2014: 27-47
• 
  Jeremy T. Bradley, William J. Knottenbelt, Nigel Thomas:
  Preface. PASM 2014: 1-3
• 
  Davide Cerotti, Marco Gribaudo, Pietro Piazzolla, Giuseppe Serazzi:
  Asymptotic Behavior and Performance Constraints of Replication Policies. PASM 2014: 49-63
• 
  Matthew Forshaw, Andrew Stephen McGough, Nigel Thomas:
  Energy-efficient Checkpointing in High-throughput Cycle-stealing Distributed Systems. PASM 2014: 65-90
• 
  Marco Gribaudo, Mauro Iacono, Stefano Marrone:
  Exploiting Bayesian Networks for the Analysis of Combined Attack Trees. PASM 2014: 91-111
• 
  Leonardo Montecchi, Nicola Nostro, Andrea Ceccarelli, Giuseppe Vella, Antonio Caruso, Andrea Bondavalli:
  Model-based Evaluation of Scalability and Security Tradeoffs: a Case Study on a Multi-Service Platform. PASM 2014: 113-133
• 
  Ronny J. Polansky, Samyukta Sethuraman, Natarajan Gautam:
  Obtaining Optimal Thresholds for Processors with Speed-Scaling. PASM 2014: 135-155
• 
  Daniël Reijsbergen, Stephen Gilmore, Jane Hillston:
  Patch-based Modelling of City-centre Bus Movement with Phase-type Distributions. PASM 2014: 157-177
• 
  Ludovica Luisa Vissat, Allan Clark, Stephen Gilmore:
  Finding Optimal Timetables for Edinburgh Bus Routes. PASM 2014: 179-199