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=194
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Applicability of fair simulation
Doron Bustan
,
Orna Grumberg
Information and Computation
194
(1), 2004, pp. 1-18
Boolean grammars
Alexander Okhotin
Information and Computation
194
(1), 2004, pp. 19-48
On multi-partition communication complexity
Pavol D̑uris̑
,
Juraj Hromkovic̑
,
Stasys Jukna
,
Martin Sauerhoff
,
Georg Schnitger
Information and Computation
194
(1), 2004, pp. 49-75
Towards an algebraic theory of information integration
Gösta Grahne
,
Victoria Kiricenko
Information and Computation
194
(2), 2004, pp. 79-100
Turing machines, transition systems, and interaction
Dina Q. Goldin
,
Scott A. Smolka
,
Paul C. Attie
,
Elaine L. Sonderegger
Information and Computation
194
(2), 2004, pp. 101-128
On the computational complexity of bisimulation, redux
Faron Moller
,
Scott Smolka
,
Jiȓí Srba
Information and Computation
194
(2), 2004, pp. 129-143
Stack size analysis for interrupt-driven programs
Krishnendu Chatterjee
,
Di Ma
,
Rupak Majumdar
,
Tian Zhao
,
Thomas A. Henzinger
,
Jens Palsberg
Information and Computation
194
(2), 2004, pp. 144-174
A simple and deterministic competitive algorithm for online facility location
Aris Anagnostopoulos
,
Russell Bent
,
Eli Upfal
,
Pascal van Hentenryck
Information and Computation
194
(2), 2004, pp. 175-202
Bounded similarity querying for time-series data
Dina Q. Goldin
,
Todd D. Millstein
,
Ayferi Kutlu
Information and Computation
194
(2), 2004, pp. 203-241