Theoretical Computer Science, Volume 299
Number 299, Volume 1-3, 18 April 2003
Bruno Courcelle: The monadic second-order logic of graphs XIV: uniformly sparse graphs and edge set quantifications. 1-36- Letizia Magnoni, Massimo Mirolli, Franco Montagna, Giulia Simi: PAC learning of probability distributions over a discrete domain. 37-63
- Julio Aracena, Eric Goles Ch.: Complexity of perceptron recognition for a class of geometric patterns. 65-79
- Marcos A. Kiwi: Algebraic testing and weight distributions of codes. 81-106
- Frank K. Hwang: A survey on multi-loop networks. 107-121
- David R. Wood: Optimal three-dimensional orthogonal graph drawing in the general position model. 151-178
- Miklós Bartha, Miklós Krész: Structuring the elementary components of graphs having a perfect internal matching. 179-210
- Zhi-Zhong Chen, Tao Jiang, Guo-Hui Lin, Jianjun Wen, Dong Xu, Jinbo Xu, Ying Xu: Approximation algorithms for NMR spectral peak assignment. 211-229
- Ricardo A. Baeza-Yates, Joaquim Gabarró, Xavier Messeguer: Fringe analysis of synchronized parallel insertion algorithms in 2-3 Trees. 231-271
- Subhas C. Nandy, Sandip Das, Partha P. Goswami: An efficient k nearest neighbors searching algorithm for a query line. 273-288
- Dahlia Malkhi, Yishay Mansour, Michael K. Reiter: Diffusion without false rumors: on propagating updates in a Byzantine environment. 289-306
- Olivier Finkel: On omega context free languages which are Borel sets of infinite rank. 327-346
- Dietrich Kuske: Towards a language theory for infinite N-free pomsets. 347-386
- Zhe Dang, Pierluigi San Pietro, Richard A. Kemmerer: Presburger liveness verification of discrete timed automata. 413-438
- Michaël Rusinowitch, Mathieu Turuani: Protocol insecurity with a finite number of sessions, composed keys is NP-complete. 451-475
- Francesca Fiorenzi: Cellular automata and strongly irreducible shifts of finite type. 477-493
- Bruce W. Watson: A new regular grammar pattern matching algorithm. 509-521
- Bruno Durand, Enrico Formenti, Zsuzsanna Róka: Number-conserving cellular automata I: decidability. 523-535
- Lars Engebretsen, Jonas Holmerin: Towards optimal lower bounds for clique and chromatic number. 537-584
- Alain Giorgetti: An asymptotic study for path reversal. 585-602
- Marcel Wild: Idempotent and co-idempotent stack filters and min-max operators. 603-631
- Henning Fernau, Markus Holzer, Rudolf Freund: Hybrid modes in cooperating distributed grammar systems: combining the t-mode with the modes le k and =k. 633-662
- Alexander Okhotin: On the closure properties of linear conjunctive languages. 663-685
- Adam L. Buchsbaum, Raffaele Giancarlo, Jeffery Westbrook: On finding common neighborhoods in massive graphs. 707-718
- Michael U. Gerber, Daniel Kobler: Algorithms for vertex-partitioning problems on graphs with fixed clique-width. 719-734
- Pierre-Cyrille Héam: Some complexity results for polynomial rational expressions. 735-741
- Y. J. Liu: Regular component decomposition of regular languages. 743-749
- Andrea E. F. Clementi, Miriam Di Ianni, Riccardo Silvestri: The minimum broadcast range assignment problem on linear multi-hop wireless networks. 751-761
- Wojciech Rytter: On maximal suffixes, constant-space linear-time versions of KMP algorithm. 763-774
- Erzsébet Csuhaj-Varjú, Gheorghe Paun, György Vaszil: PC grammar systems with five context-free components generate all recursively enumerable languages. 785-794
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2014-07-09T210643 by the dblp team