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 YEAR=2013
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Online selection of intervals and
t
-intervals
Unnar Th. Bachmann
,
Magnús M. Halldórsson
,
Hadas Shachnai
Information and Computation
233
, 2013, pp. 1-11
Computing with infinitely many processes
Michael Merritt
,
Gadi Taubenfeld
Information and Computation
233
, 2013, pp. 12-31
Optimal bit complexity randomised distributed MIS and maximal matching algorithms for anonymous rings
A. Fontaine
,
Y. Métivier
,
J.M. Robson
,
A. Zemmari
Information and Computation
233
, 2013, pp. 32-40
Universal computably enumerable sets and initial segment prefix-free complexity
George Barmpalias
Information and Computation
233
, 2013, pp. 41-59
Beyond bidimensionality: Parameterized subexponential algorithms on directed graphs
Frederic Dorn
,
Fedor V. Fomin
,
Daniel Lokshtanov
,
Venkatesh Raman
,
Saket Saurabh
Information and Computation
233
, 2013, pp. 60-70
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
Object-oriented programming: Some history, and challenges for the next fifty years
Andrew P. Black
Information and Computation
231
, 2013, pp. 3-20
Abstract Hilbertian deductive systems, infon logic, and Datalog
Andreas Blass
,
Yuri Gurevich
Information and Computation
231
, 2013, pp. 21-37
The rewriting logic semantics project: A progress report
José Meseguer
,
Grigore Roşu
Information and Computation
231
, 2013, pp. 38-69
Data reduction for graph coloring problems
Bart M.P. Jansen
,
Stefan Kratsch
Information and Computation
231
, 2013, pp. 70-88
Polynomial kernels for
Proper Interval Completion
and related problems
Stéphane Bessy
,
Anthony Perez
Information and Computation
231
, 2013, pp. 89-108
Fixed-parameter algorithms for
Cochromatic Number
and
Disjoint Rectangle Stabbing
via iterative localization
Pinar Heggernes
,
Dieter Kratsch
,
Daniel Lokshtanov
,
Venkatesh Raman
,
Saket Saurabh
Information and Computation
231
, 2013, pp. 109-116
A new bound for 3-satisfiable MaxSat and its algorithmic application
Gregory Gutin
,
Mark Jones
,
Dominik Scheder
,
Anders Yeo
Information and Computation
231
, 2013, pp. 117-124
Functions that preserve p-randomness
Stephen A. Fenner
Information and Computation
231
, 2013, pp. 125-142
Reactive Turing machines
Jos C.M. Baeten
,
Bas Luttik
,
Paul van Tilburg
Information and Computation
231
, 2013, pp. 143-166
Specification patterns for reasoning about recursion through the store
Nathaniel Charlton
,
Bernhard Reus
Information and Computation
231
, 2013, pp. 167-203
A coinductive calculus for asynchronous side-effecting processes
Sergey Goncharov
,
Lutz Schröder
Information and Computation
231
, 2013, pp. 204-232
A scalable module system
Florian Rabe
,
Michael Kohlhase
Information and Computation
230
, 2013, pp. 1-54
Fault-tolerant embedding of cycles of various lengths in
k
-ary
n
-cubes
Shiying Wang
,
Jing Li
,
Shangwei Lin
,
Ruixia Wang
Information and Computation
230
, 2013, pp. 55-66
Graph access structures with optimal pixel expansion three
S. Arumugam
,
R. Lakshmanan
,
Atulya K. Nagar
Information and Computation
230
, 2013, pp. 67-75
Regular languages and partial commutations
Antonio Cano
,
Giovanna Guaiana
,
Jean-Éric Pin
Information and Computation
230
, 2013, pp. 76-96
Seiten 1
2
3
>