Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Journal=Theor.~Comput.~Sci. AND Volume=431
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
An infinite hierarchy of languages defined by dP systems
Gheorghe Pȃun
,
Mario J. Pérez-Jiménez
Theoretical Computer Science
431
, 2012, pp. 4-12
Modeling dependencies and simultaneity in membrane system computations
G. Michele Pinna
,
Andrea Saba
Theoretical Computer Science
431
, 2012, pp. 13-39
Processes in space
Luca Cardelli
,
Philippa Gardner
Theoretical Computer Science
431
, 2012, pp. 40-55
Reachability problems in BioAmbients
Giorgio Delzanno
,
Gianluigi Zavattaro
Theoretical Computer Science
431
, 2012, pp. 56-74
Simulation techniques for the calculus of wrapped compartments
Mario Coppo
,
Ferruccio Damiani
,
Maurizio Drocco
,
Elena Grassi
,
Eva Sciacca
,
Salvatore Spinella
,
Angelo Troina
Theoretical Computer Science
431
, 2012, pp. 75-95
Foundational aspects of multiscale modeling of biological systems with process algebras
Roberto Barbuti
,
Giulio Caravagna
,
Andrea Maggiolo-Schettini
,
Paolo Milazzo
,
Simone Tini
Theoretical Computer Science
431
, 2012, pp. 96-116
Measurable stochastics for Brane Calculus
Giorgio Bacci
,
Marino Miculan
Theoretical Computer Science
431
, 2012, pp. 117-136
Lumpability abstractions of rule-based systems
Jerome Feret
,
Thomas Henzinger
,
Heinz Koeppl
,
Tatjana Petrov
Theoretical Computer Science
431
, 2012, pp. 137-164
Typed stochastic semantics for the calculus of looping sequences
Livio Bioglio
,
Mariangiola Dezani-Ciancaglini
,
Paola Giannini
,
Angelo Troina
Theoretical Computer Science
431
, 2012, pp. 165-180
Stochastic simulation of multiple process calculi for biology
Matthew R. Lakin
,
Loïc Paulevé
,
Andrew Phillips
Theoretical Computer Science
431
, 2012, pp. 181-206
An abstraction theory for qualitative models of biological systems
Richard Banks
,
L.J. Steggles
Theoretical Computer Science
431
, 2012, pp. 207-218
Integrated regulatory networks (IRNs): Spatially organized biochemical modules
Jean-Louis Giavitto
,
Hanna Klaudel
,
Franck Pommereau
Theoretical Computer Science
431
, 2012, pp. 219-234