default search action

combined dblp search
author search
venue search
publication search

ask others

1st FBTC@CONCUR 2007: Lisbon, Portugal

> Home > Conferences and Workshops > FBTC
> Home > Conferences and Workshops > CONCUR

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  - electronic edition @ sciencedirect.com
  - details & citations
- export record
  dblp key:
  - conf/fbtc/2007
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fbtc/2007
Nicola Cannata, Emanuela Merelli:
Proceedings of the First Workshop "From Biology To Concurrency and back", FBTC@CONCUR 2007, Lisbon, Portugal, September 8, 2007. Electronic Notes in Theoretical Computer Science 194(3), Elsevier 2008
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/CannataM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/CannataM08
Nicola Cannata, Emanuela Merelli:
Preface. 1-3
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/AmanC08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/AmanC08
Bogdan Aman, Gabriel Ciobanu:
Describing the Immune System Using Enhanced Mobile Membranes. 5-18
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BarbutiCMM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BarbutiCMM08
Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, Paolo Milazzo:
An Intermediate Language for the Simulation of Biological Systems. 19-34
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BarnatBCDS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BarnatBCDS08
Jiri Barnat, Lubos Brim, Ivana Cerná, Sven Drazan, David Safránek:
Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE. 35-50
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BartocciCBEGS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BartocciCBEGS08
Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emilia Entcheva, Radu Grosu, Scott A. Smolka:
Spatial Networks of Hybrid I/O Automata for Modeling Excitable Tissue. 51-67
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Bodei08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Bodei08
Chiara Bodei:
A Static Analysis for Beta-Binders. 69-85
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/CardelliGK08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/CardelliGK08
Luca Cardelli, Philippa Gardner, Ozan Kahramanogullari:
A Process Model of Rho GTP-binding Proteins in the Context of Phagocytosis. 87-102
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/CiocchettaH08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/CiocchettaH08
Federica Ciocchetta, Jane Hillston:
Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks. 103-117
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/HarelSESC08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/HarelSESC08
David Harel, Yaki Setty, Sol Efroni, Naamah Swerdlin, Irun R. Cohen:
Concurrency in Biological Modeling: Behavior, Execution and Visualization. 119-131
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/JohnEU08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/JohnEU08
Mathias John, Roland Ewald, Adelinde M. Uhrmacher:
A Spatial Extension to the pi Calculus. 133-148
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/TaubnerE08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/TaubnerE08
Claudia Täubner, Silke Eckstein:
Signal Transduction Pathways as Concurrent Reactive Systems: A Modeling and Simulation Approach Using LSCs and the Play-Engine. 149-164
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/VersariB08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/VersariB08
Cristian Versari, Nadia Busi:
Efficient Stochastic Simulation of Biological Systems with Multiple Variable Volumes. 165-180

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.