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: Series=LNCS AND Volume=2747

• Distributed quantum computing
  Harry Buhrman, Hein Röhrig
  Lecture Notes in Computer Science 2747, 2003, pp. 1-20
• Selfish routing in non-cooperative networks: A survey
  R. Feldmann, M. Gairing, Thomas Lücking, Burkhard Monien, Manuel Rode
  Lecture Notes in Computer Science 2747, 2003, pp. 21-45
• Process algebraic frameworks for the specification and analysis of cryptographic protocols
  Roberto Gorrieri, Fabio Martinelli
  Lecture Notes in Computer Science 2747, 2003, pp. 46-67
• Semantic and syntactic approaches to simulation relations
  Jo Hannay, Shin-ya Katsumata, Donald Sannella
  Lecture Notes in Computer Science 2747, 2003, pp. 68-91
• On the computational complexity of conservative computing
  Giancarlo Mauri, Alberto Leporati
  Lecture Notes in Computer Science 2747, 2003, pp. 92-112
• Constructing infinite graphs with a decidable MSO-theory
  Wolfgang Thomas
  Lecture Notes in Computer Science 2747, 2003, pp. 113-124
• Towards a theory of randomized search heuristics
  Ingo Wegener
  Lecture Notes in Computer Science 2747, 2003, pp. 125-141
• Adversarial models for priority-based networks
  C. Àlvarez, M. Blesa, J. Díaz, A. Fernández, M. Serna
  Lecture Notes in Computer Science 2747, 2003, pp. 142-151
• On optimal merging networks
  Kazuyuki Amano, Akira Maruoka
  Lecture Notes in Computer Science 2747, 2003, pp. 152-161
• Problems which cannot be reduced to any proper subproblems
  Klaus Ambos-Spies
  Lecture Notes in Computer Science 2747, 2003, pp. 162-168
• ACID-unification is NEXPTIME-decidable
  Siva Anantharaman, Paliath Narendran, Michael Rusinowitch
  Lecture Notes in Computer Science 2747, 2003, pp. 169-178
• Completeness in differential approximation classes
  G. Ausiello, C. Bazgan, M. Demange, V.Th. Paschos
  Lecture Notes in Computer Science 2747, 2003, pp. 179-188
• On the length of the minimum solution of word equations in one variable
  Kensuke Baba, Satoshi Tsuruta, Ayumi Shinohara, Masayuki Takeda
  Lecture Notes in Computer Science 2747, 2003, pp. 189-197
• Smoothed analysis of three combinatorial problems
  Cyril Banderier, René Beier, Kurt Mehlhorn
  Lecture Notes in Computer Science 2747, 2003, pp. 198-207
• Inferring strings from graphs and arrays
  Hideo Bannai, Shunsuke Inenaga, Ayumi Shinohara, Masayuki Takeda
  Lecture Notes in Computer Science 2747, 2003, pp. 208-217
• Faster algorithms for k-medians in trees
  Robert Benkoczi, Binay Bhattacharya, Marek Chrobak, Lawrence L. Larmore, Wojciech Rytter
  Lecture Notes in Computer Science 2747, 2003, pp. 218-227
• Periodicity and transitivity for cellular automata in Besicovitch topologies
  F. Blanchard, J. Cervelle, E. Formenti
  Lecture Notes in Computer Science 2747, 2003, pp. 228-238
• Starting with nondeterminism: The systematic derivation of linear-time graph layout algorithms
  Hans L. Bodlaender, Michael R. Fellows, Dimitrios M. Thilikos
  Lecture Notes in Computer Science 2747, 2003, pp. 239-248
• Error-bounded probabilistic computations between MA and AM
  Elmar Böhler, Christian Glaßer, Daniel Meister
  Lecture Notes in Computer Science 2747, 2003, pp. 249-258
• A faster FPT algorithm for finding spanning trees with many leaves
  Paul S. Bonsma, Tobias Brueggemann, Gerhard J. Woeginger
  Lecture Notes in Computer Science 2747, 2003, pp. 259-268
• Symbolic analysis of crypto-protocols based on modular exponentiation
  Michele Boreale, Maria Grazia Buscemi
  Lecture Notes in Computer Science 2747, 2003, pp. 269-278
• Denotational testing semantics in coinductive form
  Michele Boreale, Fabio Gadducci
  Lecture Notes in Computer Science 2747, 2003, pp. 279-289
• Lower bounds for general graph-driven read-once parity branching programs
  Henrik Brosenne, Matthias Homeister, Stephan Waack
  Lecture Notes in Computer Science 2747, 2003, pp. 290-299
• The minimal graph model of lambda calculus
  Antonio Bucciarelli, Antonino Salibra
  Lecture Notes in Computer Science 2747, 2003, pp. 300-307
• Unambiguous automata on bi-infinite words
  Olivier Carton
  Lecture Notes in Computer Science 2747, 2003, pp. 308-317