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=Inf.~Comput. AND Volume=232
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
A polynomial-time algorithm for computing absolutely normal numbers
Verónica Becher
,
Pablo Ariel Heiber
,
Theodore A. Slaman
Information and Computation
232
, 2013, pp. 1-9
Compressed property suffix trees
Wing-Kai Hon
,
Manish Patil
,
Rahul Shah
,
Sharma V. Thankachan
Information and Computation
232
, 2013, pp. 10-18
Compact binary relation representations with rich functionality
Jérémy Barbay
,
Francisco Claude
,
Gonzalo Navarro
Information and Computation
232
, 2013, pp. 19-37
Compositional probabilistic verification through multi-objective model checking
Marta Kwiatkowska
,
Gethin Norman
,
David Parker
,
Hongyang Qu
Information and Computation
232
, 2013, pp. 38-65
Abstract probabilistic automata
Benoît Delahaye
,
Joost-Pieter Katoen
,
Kim G. Larsen
,
Axel Legay
,
Mikkel L. Pedersen
,
Falak Sher
,
Andrzej Wa̧sowski
Information and Computation
232
, 2013, pp. 66-116