home
news
Statistics
browse
conferences
journals
series
search
author
CompleteSearch
Faceted Search @ L3S
Free Search @ isearch
about
f.a.q.
team
legal bits
Electronic Notes in Theoretical Computer Science
, Volume 268
Volume 268, December 2010
view
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
journals/entcs/KrivineT10
ask others
Google
Google Scholar
MS Academic Search
PubZone
Jean Krivine
,
Angelo Troina
:
Preface.
1-2
view
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
journals/entcs/AndreiC10
ask others
Google
Google Scholar
MS Academic Search
PubZone
Oana Andrei
,
Muffy Calder
:
A Model and Analysis of the AKAP Scaffold.
3-15
view
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
journals/entcs/ButiCCMTP10
ask others
Google
Google Scholar
MS Academic Search
PubZone
Federico Buti
,
Diletta Cacciagrano
,
Flavio Corradini
,
Emanuela Merelli
,
Luca Tesei
,
M. Pani
:
Bone Remodelling in BioShape.
17-29
view
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
journals/entcs/DegasperiC10
ask others
Google
Google Scholar
MS Academic Search
PubZone
Andrea Degasperi
,
Muffy Calder
:
Process Algebra with Hooks for Models of Pattern Formation.
31-47
view
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
journals/entcs/DegasperiC10a
ask others
Google
Google Scholar
MS Academic Search
PubZone
Andrea Degasperi
,
Muffy Calder
:
Relating PDEs in Cylindrical Coordinates and CTMCs with Levels of Concentration.
49-59
view
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
journals/entcs/DrabikMM10
ask others
Google
Google Scholar
MS Academic Search
PubZone
Peter Drábik
,
Andrea Maggiolo-Schettini
,
Paolo Milazzo
:
Modular Verification of Interactive Systems with an Application to Biology.
61-75
view
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
journals/entcs/Feret10
ask others
Google
Google Scholar
MS Academic Search
PubZone
Jérôme Feret
:
Fragments-based Model Reduction: Some Case Studies.
77-96
view
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
journals/entcs/HartmannJS10
ask others
Google
Google Scholar
MS Academic Search
PubZone
Lars Hartmann
,
Neil D. Jones
,
Jakob Grue Simonsen
:
Programming in Biomolecular Computation.
97-114
view
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
journals/entcs/MontagnaV10
ask others
Google
Google Scholar
MS Academic Search
PubZone
Sara Montagna
,
Mirko Viroli
:
A Framework for Modelling and Simulating Networks of Cells.
115-129