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

• 2009
• 
  Rainer Breitling, David Roger Gilbert, Monika Heiner, Corrado Priami:
  Formal Methods in Molecular Biology, 22.02. - 27.02.2009. Dagstuhl Seminar Proceedings 09091, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009 [contents]
• 
  Rainer Breitling, David Roger Gilbert, Monika Heiner, Corrado Priami:
  09091 Abstracts Collection - Formal Methods in Molecular Biology. Formal Methods in Molecular Biology 2009
• 
  Rainer Breitling, David Roger Gilbert, Monika Heiner, Corrado Priami:
  09091 Executive Summary - Formal Methods in Molecular Biology. Formal Methods in Molecular Biology 2009
• 
  Federica Ciocchetta, Andrea Degasperi, John K. Heath, Jane Hillston:
  Modelling and analysis of the NF-$kappa$B pathway in Bio-PEPA. Formal Methods in Molecular Biology 2009
• 
  Attila Csikász-Nagy, Adrien Fauré, Roberto Larcher, Paola Lecca, Ivan Mura, Ferenc Jordán, Alida Palmisano, Alessandro Romanel, Sean Sedwards, Heike Siebert, Sylvain Soliman, Denis Thieffry, Judit Zámborszky, Tommaso Mazza, Paolo Ballarini:
  Analyzing various models of Circadian Clock and Cell Cycle coupling. Formal Methods in Molecular Biology 2009
• 
  David Roger Gilbert, Rainer Breitling, Monika Heiner:
  BioModel Engineering: Its role in Systems Biology and Synthetic Biology. Formal Methods in Molecular Biology 2009
• 
  Céline Kuttler, Cédric Lhoussaine, Mirabelle Nebut:
  Rule-based Modeling of Transcriptional Attenuation at the Tryptophan Operon. Formal Methods in Molecular Biology 2009
• 
  Heike Siebert:
  Symbolic Steady States and Dynamically Essential Subnetworks of Discrete Regulatory Networks. Formal Methods in Molecular Biology 2009
• 
  Cristian Versari:
  Stochastic modelling of cellular growth and division by means of the pi@ calculus. Formal Methods in Molecular Biology 2009