• 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

• 2008
• 
  Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini:
  The Calculus of Looping Sequences. SFM 2008: 387-423
• 
  Luca Bortolussi, Alberto Policriti:
  Hybrid Systems and Biology. SFM 2008: 424-448
• 
  Davide Chiarugi, Pierpaolo Degano, Jan Bert Van Klinken, Roberto Marangoni:
  Cells in Silico: A Holistic Approach. SFM 2008: 366-386
• 
  Federica Ciocchetta, Jane Hillston:
  Process Algebras in Systems Biology. SFM 2008: 265-312
• 
  Andrea Degasperi, Stephen Gilmore:
  Sensitivity Analysis of Stochastic Models of Bistable Biochemical Reactions. SFM 2008: 1-20
• 
  Lorenzo Dematté, Corrado Priami, Alessandro Romanel:
  The BlenX Language: A Tutorial. SFM 2008: 313-365
• 
  François Fages, Sylvain Soliman:
  Formal Cell Biology in Biocham. SFM 2008: 54-80
• 
  Daniel T. Gillespie:
  Simulation Methods in Systems Biology. SFM 2008: 125-167
• 
  Monika Heiner, David R. Gilbert, Robin Donaldson:
  Petri Nets for Systems and Synthetic Biology. SFM 2008: 215-264
• 
  Carsten Maus, Mathias John, Mathias Röhl, Adelinde M. Uhrmacher:
  Hierarchical Modeling for Computational Biology. SFM 2008: 81-124
• 
  Gheorghe Paun, Francisco José Romero-Campero:
  Membrane Computing as a Modeling Framework. Cellular Systems Case Studies. SFM 2008: 168-214
• 
  Carolyn L. Talcott:
  Pathway Logic. SFM 2008: 21-53
• 
  Cristian Versari, Roberto Gorrieri:
  pi@: A pi-Based Process Calculus for the Implementation of Compartmentalised Bio-inspired Calculi. SFM 2008: 449-506
• 
  Gianluigi Zavattaro:
  A Gentle Introduction to Stochastic (Poly)Automata Collectives and the (Bio)Chemical Ground Form. SFM 2008: 507-523
• 
  Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro:
  Formal Methods for Computational Systems Biology, 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2-7, 2008, Advanced Lectures. Lecture Notes in Computer Science 5016, Springer 2008, ISBN 978-3-540-68892-1 [contents]