ask others

Electronic Notes in Theoretical Computer Science, Volume 227

> Home > Journals > Electronic Notes in Theoretical Computer Science

Volume 227, January 2009

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/Ciobanu09
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/entcs/Ciobanu09
Gabriel Ciobanu:
Preface. 1-2
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/BanksKS09
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/entcs/BanksKS09
Richard Banks, Victor Khomenko, L. Jason Steggles:
A Case for Using Signal Transition Graphs for Analysing and Refining Genetic Networks. 3-19
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/BarbutiMMT09
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/entcs/BarbutiMMT09
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Luca Tesei:
Timed P Automata. 21-36
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/BasukiCM09
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/entcs/BasukiCM09
Thomas Anung Basuki, Antonio Cerone, Paolo Milazzo:
Translating Stochastic CLS into Maude. 37-58
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/BodeiBC09
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/entcs/BodeiBC09
Chiara Bodei, Andrea Bracciali, Davide Chiarugi:
Control Flow Analysis for Brane Calculi. 59-75
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/CiocchettaG09
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/entcs/CiocchettaG09
Federica Ciocchetta, Maria Luisa Guerriero:
Modelling Biological Compartments in Bio-PEPA. 77-95
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/AmanDT09
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/entcs/AmanDT09
Bogdan Aman, Mariangiola Dezani-Ciancaglini, Angelo Troina:
Type Disciplines for Analysing Biologically Relevant Properties. 97-111
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/IpateG09
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/entcs/IpateG09
Florentin Ipate, Marian Gheorghe:
Testing Non-deterministic Stream X-machine Models and P systems. 113-126
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/MazzaC09
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/entcs/MazzaC09
Tommaso Mazza, Matteo Cavaliere:
Cell Cycle and Tumor Growth in Membrane Systems with Peripheral Proteins. 127-141
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/Phillips09
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/entcs/Phillips09
Andrew Phillips:
An Abstract Machine for the Stochastic Bioambient calculus. 143-159
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/TedescoP09
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/entcs/TedescoP09
Filippo Del Tedesco, Carla Piazza:
External Control in Process Algebra for Systems Biology. 161-177
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/Zavattaro09
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/entcs/Zavattaro09
Gianluigi Zavattaro:
Reachability Analysis in BioAmbients. 179-193