Volume 270; Issue 1-2

Theoretical Computer Science

Volume 270; Issue 1-2
1

Some permutation routing algorithms for low-dimensional hypercubes

F.K. Hwang, Y.C. Yao, B. Dasgupta
Journal:
Theoretical Computer Science
Year:
2002
Language:
english
File:
PDF, 183 KB
english, 2002
2

Inheritance of workflows: an approach to tackling problems related to change

W.M.P van der Aalst, T Basten
Journal:
Theoretical Computer Science
Year:
2002
Language:
english
File:
PDF, 818 KB
english, 2002
4

Restriction categories I: categories of partial maps

J.R.B. Cockett, Stephen Lack
Journal:
Theoretical Computer Science
Year:
2002
Language:
english
File:
PDF, 306 KB
english, 2002
5

The drawability problem for minimum weight triangulations

William Lenhart, Giuseppe Liotta
Journal:
Theoretical Computer Science
Year:
2002
Language:
english
File:
PDF, 346 KB
english, 2002
6

Control structures in hypothesis spaces: the influence on learning

John Case, Sanjay Jain, Mandayam Suraj
Journal:
Theoretical Computer Science
Year:
2002
Language:
english
File:
PDF, 168 KB
english, 2002
7

Deterministic parallel backtrack search

Kieran T. Herley, Andrea Pietracaprina, Geppino Pucci
Journal:
Theoretical Computer Science
Year:
2002
Language:
english
File:
PDF, 156 KB
english, 2002
8

On-line load balancing of temporary tasks revisited

Tak-Wah Lam, Hing-Fung Ting, Kar-Keung To, Wai-Ha Wong
Journal:
Theoretical Computer Science
Year:
2002
Language:
english
File:
PDF, 158 KB
english, 2002
9

On the design of efficient ATM routing schemes

Luca Becchetti, Paola Bertolazzi, Carlo Gaibisso, Giorgio Gambosi
Journal:
Theoretical Computer Science
Year:
2002
Language:
english
File:
PDF, 214 KB
english, 2002
10

Edge coloring of bipartite graphs with constraints

Ioannis Caragiannis, Christos Kaklamanis, Pino Persiano
Journal:
Theoretical Computer Science
Year:
2002
Language:
english
File:
PDF, 400 KB
english, 2002
11

Partial words and a theorem of Fine and Wilf revisited

F. Blanchet-Sadri, Robert A. Hegstrom
Journal:
Theoretical Computer Science
Year:
2002
Language:
english
File:
PDF, 180 KB
english, 2002
12

Time-minimal paths amidst moving obstacles in three dimensions

Kikuo Fujimura
Journal:
Theoretical Computer Science
Year:
2002
Language:
english
File:
PDF, 204 KB
english, 2002
13

The stack-size of tries: a combinatorial study

Markus E. Nebel
Journal:
Theoretical Computer Science
Year:
2002
Language:
english
File:
PDF, 218 KB
english, 2002
14

Associative language descriptions

Alessandra Cherubini, Stefano Crespi Reghizzi, Pierluigi San Pietro
Journal:
Theoretical Computer Science
Year:
2002
Language:
english
File:
PDF, 241 KB
english, 2002
15

Decision lists and related Boolean functions

Thomas Eiter, Toshihide Ibaraki, Kazuhisa Makino
Journal:
Theoretical Computer Science
Year:
2002
Language:
english
File:
PDF, 358 KB
english, 2002
16

Asymptotic behavior in a heap model with two pieces

Jean Mairesse, Laurent Vuillon
Journal:
Theoretical Computer Science
Year:
2002
Language:
english
File:
PDF, 494 KB
english, 2002
18

The Variance of the height of binary search trees

Michael Drmota
Journal:
Theoretical Computer Science
Year:
2002
Language:
english
File:
PDF, 84 KB
english, 2002
19

Computational complexity of some problems involving congruences on algebras

Clifford Bergman, Giora Slutzki
Journal:
Theoretical Computer Science
Year:
2002
Language:
english
File:
PDF, 156 KB
english, 2002
20

Decision tree approximations of Boolean functions

Dinesh Mehta, Vijay Raghavan
Journal:
Theoretical Computer Science
Year:
2002
Language:
english
File:
PDF, 134 KB
english, 2002
22

Approximating algebraic functions by means of rational ones

E. Pergola, R. Pinzani, S. Rinaldi
Journal:
Theoretical Computer Science
Year:
2002
Language:
english
File:
PDF, 189 KB
english, 2002
23

On two-sided infinite fixed points of morphisms

Jeffrey Shallit, Ming-wei Wang
Journal:
Theoretical Computer Science
Year:
2002
Language:
english
File:
PDF, 162 KB
english, 2002
26

Probabilistic rebound Turing machines

Lan Zhang, Katsushi Inoue, Akira Ito, Yue Wang
Journal:
Theoretical Computer Science
Year:
2002
Language:
english
File:
PDF, 204 KB
english, 2002
27

On canonical number systems

Shigeki Akiyama, Attila Pethő
Journal:
Theoretical Computer Science
Year:
2002
Language:
english
File:
PDF, 124 KB
english, 2002
28

Compact factors of countable state Markov shifts

Doris Fiebig, Ulf-Rainer Fiebig
Journal:
Theoretical Computer Science
Year:
2002
Language:
english
File:
PDF, 135 KB
english, 2002
29

Computing LOGCFL certificates

Georg Gottlob, Nicola Leone, Francesco Scarcello
Journal:
Theoretical Computer Science
Year:
2002
Language:
english
File:
PDF, 140 KB
english, 2002
32

The accelerated k-in-a-row game

András Pluhár
Journal:
Theoretical Computer Science
Year:
2002
Language:
english
File:
PDF, 125 KB
english, 2002
33

Least adaptive optimal search with unreliable tests

Ferdinando Cicalese, Daniele Mundici, Ugo Vaccaro
Journal:
Theoretical Computer Science
Year:
2002
Language:
english
File:
PDF, 171 KB
english, 2002
34

Membrane systems with carriers

Carlos Martı́n-Vide, Gheorghe Păun, Grzegorz Rozenberg
Journal:
Theoretical Computer Science
Year:
2002
Language:
english
File:
PDF, 136 KB
english, 2002
35

The structure of a linear chip firing game and related models

Eric Goles, Michel Morvan, Ha Duong Phan
Journal:
Theoretical Computer Science
Year:
2002
Language:
english
File:
PDF, 189 KB
english, 2002
36

Simple and flexible detection of contiguous repeats using a suffix tree

Jens Stoye, Dan Gusfield
Journal:
Theoretical Computer Science
Year:
2002
Language:
english
File:
PDF, 150 KB
english, 2002
37

An example of a computable absolutely normal number

Verónica Becher, Santiago Figueira
Journal:
Theoretical Computer Science
Year:
2002
Language:
english
File:
PDF, 121 KB
english, 2002
38

A pumping lemma for random permitting context languages

Sigrid Ewert, Andries van der Walt
Journal:
Theoretical Computer Science
Year:
2002
Language:
english
File:
PDF, 111 KB
english, 2002
40

Two undecidability results for chain code picture languages

Changwook Kim
Journal:
Theoretical Computer Science
Year:
2002
Language:
english
File:
PDF, 108 KB
english, 2002
41

Dot-depth, monadic quantifier alternation, and first-order closure over grids and pictures

Oliver Matz
Journal:
Theoretical Computer Science
Year:
2002
Language:
english
File:
PDF, 504 KB
english, 2002
42

The rectangle complexity of functions on two-dimensional lattices

J.W. Sander, R. Tijdeman
Journal:
Theoretical Computer Science
Year:
2002
Language:
english
File:
PDF, 91 KB
english, 2002
43

Searching games with errors—fifty years of coping with liars

Andrzej Pelc
Journal:
Theoretical Computer Science
Year:
2002
Language:
english
File:
PDF, 225 KB
english, 2002
44

Author index

Journal:
Theoretical Computer Science
Year:
2002
Language:
english
File:
PDF, 58 KB
english, 2002
45

Master index

Journal:
Theoretical Computer Science
Year:
2002
Language:
english
File:
PDF, 114 KB
english, 2002