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
[1]
Hilfe
Suche: Series=LNCS AND YEAR=2005
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Algorithms for max Hamming exact satisfiability
Vilhelm Dahllöf
Lecture Notes in Computer Science
3827
, 2005, pp. 829-838
Stacking and bundling two convex polygons
Hee-Kap Ahn
,
Otfried Cheong
Lecture Notes in Computer Science
3827
, 2005, pp. 882-891
Approximation algorithms for layered multicast scheduling
Qingbo Cai
,
Vincenzo Liberatore
Lecture Notes in Computer Science
3827
, 2005, pp. 974-983
Shortest paths and Voronoi diagrams with transportation networks under general distances
Sang Won Bae
,
Kyung-Yong Chwa
Lecture Notes in Computer Science
3827
, 2005, pp. 1007-1018
Drawing phylogenetic trees
Christian Bachmaier
,
Ulrik Brandes
,
Barbara Schlieper
Lecture Notes in Computer Science
3827
, 2005, pp. 1110-1121
Localized and compact data-structure for comparability graphs
Fabrice Bazzaro
,
Cyril Gavoille
Lecture Notes in Computer Science
3827
, 2005, pp. 1122-1131
Space-efficient construction of LZ-index
Diego Arroyuelo
,
Gonzalo Navarro
Lecture Notes in Computer Science
3827
, 2005, pp. 1143-1152
Longest increasing subsequences in windows based on canonical antichain partition
Erdong Chen
,
Hao Yuan
,
Linji Yang
Lecture Notes in Computer Science
3827
, 2005, pp. 1153-1162
Pareto optimality in house allocation problems
David J. Abraham
,
Katarína Cechlárová
,
David F. Manlove
,
Kurt Mehlhorn
Lecture Notes in Computer Science
3827
, 2005, pp. 1163-1175
Generalized geometric approaches for leaf sequencing problems in radiation therapy
Danny Z. Chen
,
Xiaobo S. Hu
,
Shuang Luan
,
Shahid A. Naqvi
,
Chao Wang
,
Cedric X. Yu
Lecture Notes in Computer Science
3827
, 2005, pp. 1176-1186
Semiperfect-information games
Krishnendu Chatterjee
,
Thomas Henzinger
Lecture Notes in Computer Science
3821
, 2005, pp. 1-18
Proving lower bounds via pseudo-random generators
Manindra Agrawal
Lecture Notes in Computer Science
3821
, 2005, pp. 92-105
On the bisimulation congruence in
\chi
-calculus
Taolue Chen
,
Tingting Han
,
Jian Lu
Lecture Notes in Computer Science
3821
, 2005, pp. 128-139
Quantitative models and implicit complexity
Ugo Dal Lago
,
Martin Hofmann
Lecture Notes in Computer Science
3821
, 2005, pp. 189-200
The directed planar reachability problem
Eric Allender
,
Samir Datta
,
Sambuddha Roy
Lecture Notes in Computer Science
3821
, 2005, pp. 238-249
When are timed automata weakly timed bisimilar to time Petri nets?
Beatrice Bérard
,
Franck Cassez
,
Serge Haddad
,
Didier Lime
,
Olivier Roux
Lecture Notes in Computer Science
3821
, 2005, pp. 273-284
Eventual timed automata
Deepak D'Souza
,
M. Raj Mohan
Lecture Notes in Computer Science
3821
, 2005, pp. 322-334
Causal closure for MSC languages
Bharat Adsul
,
Madhavan Mukund
,
K. Narayan Kumar
,
Vasumathi Narayanan
Lecture Notes in Computer Science
3821
, 2005, pp. 335-347
Reachability analysis of multithreaded software with asynchronous communication
Ahmed Bouajjani
,
Javier Esparza
,
Stefan Schwoon
,
Jan Strejc̑ek
Lecture Notes in Computer Science
3821
, 2005, pp. 348-359
Probabilistic analysis for a multiple depot vehicle routing problem
Andreas Baltz
,
Devdatt Dubhashi
,
Libertad Tansini
,
Anand Srivastav
,
Sören Werth
Lecture Notes in Computer Science
3821
, 2005, pp. 360-371
Computing the expected accumulated reward and gain for a subclass of infinite Markov chains
Tomás̑ Brázdil
,
Antonín Kuc̑era
Lecture Notes in Computer Science
3821
, 2005, pp. 372-383
On the expressiveness of TPTL and MTL
Patricia Bouyer
,
Fabrice Chevalier
,
Nicolas Markey
Lecture Notes in Computer Science
3821
, 2005, pp. 432-443
Market equilibrium for CES exchange economies: Existence, multiplicity, and computation
Bruno Codenotti
,
Benton McCune
,
Sriram Penumatcha
,
Kasturi Varadarajan
Lecture Notes in Computer Science
3821
, 2005, pp. 505-516
Proofs of termination of rewrite systems for polytime functions
Toshiyasu Arai
,
Georg Moser
Lecture Notes in Computer Science
3821
, 2005, pp. 529-540
Reasoning about quantum knowledge
Ellie D'Hondt
,
Prakash Panangaden
Lecture Notes in Computer Science
3821
, 2005, pp. 553-564
Seiten
<
1
2
3
4
5
6
7
8
9
10
11
12
>