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=419
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Probabilistic model checking of biological systems with uncertain kinetic rates
Roberto Barbuti
,
Francesca Levi
,
Paolo Milazzo
,
Guido Scatena
Theoretical Computer Science
419
, 2012, pp. 2-16
Better short-seed quantum-proof extractors
Avraham Ben-Aroya
,
Amnon Ta-Shma
Theoretical Computer Science
419
, 2012, pp. 17-25
Bio-PEPAd: A non-Markovian extension of Bio-PEPA
Giulio Caravagna
,
Jane Hillston
Theoretical Computer Science
419
, 2012, pp. 26-49
Performance analysis of the simultaneous perturbation stochastic approximation algorithm on the noisy sphere model
Steffen Finck
,
Hans-Georg Beyer
Theoretical Computer Science
419
, 2012, pp. 50-72
Characterizations of one-way general quantum finite automata
Lvzhou Li
,
Daowen Qiu
,
Xiangfu Zou
,
Lvjun Li
,
Lihua Wu
,
Paulo Mateus
Theoretical Computer Science
419
, 2012, pp. 73-91