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=551
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Compositional semantics and behavioural equivalences for reaction systems with restriction
Giovanni Pardini
,
Roberto Barbuti
,
Andrea Maggiolo-Schettini
,
Paolo Milazzo
,
Simone Tini
Theoretical Computer Science
551
, 2014, pp. 1-21
Fitting truncated geometric distributions in large scale real world networks
Swarup Chattopadhyay
,
C.A. Murthy
,
Sankar K. Pal
Theoretical Computer Science
551
, 2014, pp. 22-38
Accelerated execution of P systems with active membranes to solve the
N
-queens problem
Ali Maroosi
,
Ravie Chandren Muniyandi
Theoretical Computer Science
551
, 2014, pp. 39-54
On the equality constraints tolerance of Constrained Optimization Problems
Chengyong Si
,
Jing An
,
Tian Lan
,
Thomas Ußmüller
,
Lei Wang
,
Qidi Wu
Theoretical Computer Science
551
, 2014, pp. 55-65
Analysis of speedups in parallel evolutionary algorithms and
(1+\lambda)
EAs for combinatorial optimization
Jörg Lässig
,
Dirk Sudholt
Theoretical Computer Science
551
, 2014, pp. 66-83
Recent advances in unfolding technique
Blai Bonet
,
Patrik Haslum
,
Victor Khomenko
,
Sylvie Thiébaux
,
Walter Vogler
Theoretical Computer Science
551
, 2014, pp. 84-101
Size lower bounds for quantum automata
Maria Paola Bianchi
,
Carlo Mereghetti
,
Beatrice Palano
Theoretical Computer Science
551
, 2014, pp. 102-115
Universal computation is ``almost surely'' chaotic
Nabarun Mondal
,
Partha Pratim Ghosh
Theoretical Computer Science
551
, 2014, pp. 116-131