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=404
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Bitonal membrane systems - Interactions of biological membranes
Luca Cardelli
Theoretical Computer Science
404
(1-2), 2008, pp. 5-18
Membrane computing and brane calculi. Old, new, and future bridges
Gheorghe Păun
Theoretical Computer Science
404
(1-2), 2008, pp. 19-25
Membrane systems with proteins embedded in membranes
Robert Brijder
,
Matteo Cavaliere
,
Agustín Riscos-Núñez
,
Grzegorz Rozenberg
,
Dragoş Sburlan
Theoretical Computer Science
404
(1-2), 2008, pp. 26-39
Decision problems in membrane systems with peripheral proteins, transport and evolution
Matteo Cavaliere
,
Sean Sedwards
Theoretical Computer Science
404
(1-2), 2008, pp. 40-51
(Mem)brane automata
Erzsébet Csuhaj-Varjú
,
György Vaszil
Theoretical Computer Science
404
(1-2), 2008, pp. 52-60
Computational self-assembly
Pierre-Louis Curien
,
Vincent Danos
,
Jean Krivine
,
Min Zhang
Theoretical Computer Science
404
(1-2), 2008, pp. 61-75
A uniform family of tissue P systems with cell division solving 3-COL in a linear time
Daniel Díaz-Pernil
,
Miguel A. Gutiérrez-Naranjo
,
Mario J. Pérez-Jiménez
,
Agustín Riscos-Núñez
Theoretical Computer Science
404
(1-2), 2008, pp. 76-87
A DNA computing inspired computational model
Giuditta Franco
,
Maurice Margenstern
Theoretical Computer Science
404
(1-2), 2008, pp. 88-96
Relating continuous and discrete PEPA models of signalling pathways
Nil Geisweiller
,
Jane Hillston
,
Marco Stenico
Theoretical Computer Science
404
(1-2), 2008, pp. 97-111
Processes of membrane systems with promoters and inhibitors
Jetty Kleijn
,
Maciej Koutny
Theoretical Computer Science
404
(1-2), 2008, pp. 112-126
A simple calculus for proteins and cells
Cosimo Laneve
,
Fabien Tarissan
Theoretical Computer Science
404
(1-2), 2008, pp. 127-141
The metabolic algorithm for P systems: Principles and applications
Vincenzo Manca
Theoretical Computer Science
404
(1-2), 2008, pp. 142-155
On the decidability and complexity of the structural congruence for beta-binders
A. Romanel
,
C. Priami
Theoretical Computer Science
404
(1-2), 2008, pp. 156-169
Generalized communicating P systems
Sergey Verlan
,
Francesco Bernardini
,
Marian Gheorghe
,
Maurice Margenstern
Theoretical Computer Science
404
(1-2), 2008, pp. 170-184
On model checking multiple hybrid views
Altaf Hussain
,
Michael Huth
Theoretical Computer Science
404
(3), 2008, pp. 186-201
Embedding finite automata within regular expressions
Shoham Ben-David
,
Dana Fisman
,
Sitvanit Ruah
Theoretical Computer Science
404
(3), 2008, pp. 202-218
A probabilistic alternative to regression suites
Shady Copty
,
Shai Fine
,
Shmuel Ur
,
Elad Yom-Tov
,
Avi Ziv
Theoretical Computer Science
404
(3), 2008, pp. 219-234
An automatic abstraction technique for verifying featured, parameterised systems
M. Calder
,
A. Miller
Theoretical Computer Science
404
(3), 2008, pp. 235-255
Efficient SAT-based bounded model checking for software verification
Franjo Ivanc̑ić
,
Zijiang Yang
,
Malay K. Ganai
,
Aarti Gupta
,
Pranav Ashar
Theoretical Computer Science
404
(3), 2008, pp. 256-274
Automatic generation of path conditions for concurrent timed systems
Saddek Bensalem
,
Doron Peled
,
Hongyang Qu
,
Stavros Tripakis
Theoretical Computer Science
404
(3), 2008, pp. 275-292
Semi-formal verification of the steady state behavior of mixed-signal circuits by SAT-based property checking
Jens Schönherr
,
Martin Freibothe
,
Bernd Straube
,
Jörg Bormann
Theoretical Computer Science
404
(3), 2008, pp. 293-307