Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

SFM 2008: Bertinoro, Italy

> Home > Conferences and Workshops > SFM

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/sfm/2008
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfm/2008
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

Regular Lectures

- view
  authority control:
- export record
  dblp key:
  - conf/sfm/DegasperiG08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfm/DegasperiG08
Andrea Degasperi, Stephen Gilmore:
Sensitivity Analysis of Stochastic Models of Bistable Biochemical Reactions. 1-20
- view
  authority control:
- export record
  dblp key:
  - conf/sfm/Talcott08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfm/Talcott08
Carolyn L. Talcott:
Pathway Logic. 21-53
- view
  authority control:
- export record
  dblp key:
  - conf/sfm/FagesS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfm/FagesS08
François Fages, Sylvain Soliman:
Formal Cell Biology in Biocham. 54-80
- view
  authority control:
- export record
  dblp key:
  - conf/sfm/MausJRU08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfm/MausJRU08
Carsten Maus, Mathias John, Mathias Röhl, Adelinde M. Uhrmacher:
Hierarchical Modeling for Computational Biology. 81-124
- view
  authority control:
- export record
  dblp key:
  - conf/sfm/Gillespie08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfm/Gillespie08
Daniel T. Gillespie:
Simulation Methods in Systems Biology. 125-167
- view
  authority control:
- export record
  dblp key:
  - conf/sfm/PaunR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfm/PaunR08
Gheorghe Paun, Francisco José Romero-Campero:
Membrane Computing as a Modeling Framework. Cellular Systems Case Studies. 168-214
- view
  authority control:
- export record
  dblp key:
  - conf/sfm/HeinerGD08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfm/HeinerGD08
Monika Heiner, David R. Gilbert, Robin Donaldson:
Petri Nets for Systems and Synthetic Biology. 215-264
- view
  authority control:
- export record
  dblp key:
  - conf/sfm/CiocchettaH08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfm/CiocchettaH08
Federica Ciocchetta, Jane Hillston:
Process Algebras in Systems Biology. 265-312
- view
  authority control:
- export record
  dblp key:
  - conf/sfm/DemattePR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfm/DemattePR08
Lorenzo Dematté, Corrado Priami, Alessandro Romanel:
The BlenX Language: A Tutorial. 313-365

BISCA Talks

- view
  authority control:
- export record
  dblp key:
  - conf/sfm/ChiarugiDKM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfm/ChiarugiDKM08
Davide Chiarugi, Pierpaolo Degano, Jan Bert Van Klinken, Roberto Marangoni:
Cells in Silico: A Holistic Approach. 366-386
- view
  authority control:
- export record
  dblp key:
  - conf/sfm/BarbutiCMMP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfm/BarbutiCMMP08
Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini:
The Calculus of Looping Sequences. 387-423
- view
  authority control:
- export record
  dblp key:
  - conf/sfm/BortolussiP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfm/BortolussiP08
Luca Bortolussi, Alberto Policriti:
Hybrid Systems and Biology. 424-448
- view
  authority control:
- export record
  dblp key:
  - conf/sfm/VersariG08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfm/VersariG08
Cristian Versari, Roberto Gorrieri:
pi@: A pi-Based Process Calculus for the Implementation of Compartmentalised Bio-inspired Calculi. 449-506
- view
  authority control:
- export record
  dblp key:
  - conf/sfm/Zavattaro08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfm/Zavattaro08
Gianluigi Zavattaro:
A Gentle Introduction to Stochastic (Poly)Automata Collectives and the (Bio)Chemical Ground Form. 507-523

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.