Volume 262; Issue 1-2

Theoretical Computer Science

Volume 262; Issue 1-2
1

Approximate evaluations of characteristic polynomials of Boolean functions

David Lee, Henryk Woźniakowski
Journal:
Theoretical Computer Science
Year:
2001
Language:
english
File:
PDF, 231 KB
english, 2001
2

Analogies and differences between quantum and stochastic automata

Alberto Bertoni, Marco Carpentieri
Journal:
Theoretical Computer Science
Year:
2001
Language:
english
File:
PDF, 119 KB
english, 2001
3

On the power of Las Vegas II: Two-way finite automata

Juraj Hromkovič, Georg Schnitger
Journal:
Theoretical Computer Science
Year:
2001
Language:
english
File:
PDF, 222 KB
english, 2001
4

Local and global cyclicity in free semigroups

ŠŠtěpán Holub
Journal:
Theoretical Computer Science
Year:
2001
Language:
english
File:
PDF, 117 KB
english, 2001
6

Minimizing roundoff errors of prefix sums via dynamic construction of Huffman trees

Ming-Yang Kao, Jie Wang
Journal:
Theoretical Computer Science
Year:
2001
Language:
english
File:
PDF, 260 KB
english, 2001
7

Formal properties of PA-matching

Satoshi Kobayashi, Victor Mitrana, Gheorghe Păun, Grzegorz Rozenberg
Journal:
Theoretical Computer Science
Year:
2001
Language:
english
File:
PDF, 140 KB
english, 2001
8

Priority queues with binary priorities

K. Kalorkoti, D.H. Tulley
Journal:
Theoretical Computer Science
Year:
2001
Language:
english
File:
PDF, 107 KB
english, 2001
11

Strong cocycle triviality for Z2 subshifts

Oliver Jenkinson
Journal:
Theoretical Computer Science
Year:
2001
Language:
english
File:
PDF, 172 KB
english, 2001
12

Longest fault-free paths in star graphs with vertex faults

Sun-Yuan Hsieh, Gen-Huey Chen, Chin-Wen Ho
Journal:
Theoretical Computer Science
Year:
2001
Language:
english
File:
PDF, 145 KB
english, 2001
13

The component hierarchy of chain-free cooperating distributed regular tree grammars

G. Dányi, Z. Fülöp
Journal:
Theoretical Computer Science
Year:
2001
Language:
english
File:
PDF, 134 KB
english, 2001
14

Hyper-polynomial hierarchies and the polynomial jump

Stephen Fenner, Steven Homer, Randall Pruim, Marcus Schaefer
Journal:
Theoretical Computer Science
Year:
2001
Language:
english
File:
PDF, 142 KB
english, 2001
15

Wire segmenting for buffer insertion based on RSTP-MSP

Bing Lu, Jun Gu, Xiaodong Hu, Eugene Shragowitz
Journal:
Theoretical Computer Science
Year:
2001
Language:
english
File:
PDF, 155 KB
english, 2001
16

Recurrence and periodicity in infinite words from local periods

J.-P. Duval, F. Mignosi, A. Restivo
Journal:
Theoretical Computer Science
Year:
2001
Language:
english
File:
PDF, 139 KB
english, 2001
17

Algebraic nets with flexible arcs

Ekkart Kindler, Hagen Völzer
Journal:
Theoretical Computer Science
Year:
2001
Language:
english
File:
PDF, 213 KB
english, 2001
18

Implementing conditional term rewriting by graph rewriting

Enno Ohlebusch
Journal:
Theoretical Computer Science
Year:
2001
Language:
english
File:
PDF, 219 KB
english, 2001
19

Finite maximal solid codes

Nguyen Huong Lam
Journal:
Theoretical Computer Science
Year:
2001
Language:
english
File:
PDF, 130 KB
english, 2001
20

Multiplicities of covers for sofic shifts

Doris Fiebig, Ulf-Rainer Fiebig, Nataša Jonoska
Journal:
Theoretical Computer Science
Year:
2001
Language:
english
File:
PDF, 251 KB
english, 2001
21

Tree-based generation of languages of fractals

Frank Drewes
Journal:
Theoretical Computer Science
Year:
2001
Language:
english
File:
PDF, 756 KB
english, 2001
22

Parallel algorithms for red–black trees

Heejin Park, Kunsoo Park
Journal:
Theoretical Computer Science
Year:
2001
Language:
english
File:
PDF, 221 KB
english, 2001
23

Preemptive multiprocessor scheduling with rejection

Steven S. Seiden
Journal:
Theoretical Computer Science
Year:
2001
Language:
english
File:
PDF, 169 KB
english, 2001
24

On β-skeleton as a subgraph of the minimum weight triangulation

Siu-Wing Cheng, Yin-Feng Xu
Journal:
Theoretical Computer Science
Year:
2001
Language:
english
File:
PDF, 187 KB
english, 2001
25

Representations versus numberings: on the relationship of two computability notions

Dieter Spreen
Journal:
Theoretical Computer Science
Year:
2001
Language:
english
File:
PDF, 218 KB
english, 2001
26

Dot operators

Bernd Borchert, Riccardo Silvestri
Journal:
Theoretical Computer Science
Year:
2001
Language:
english
File:
PDF, 187 KB
english, 2001
27

Structure of some sand piles model

Matthieu Latapy, Roberto Mantaci, Michel Morvan, Ha Duong Phan
Journal:
Theoretical Computer Science
Year:
2001
Language:
english
File:
PDF, 349 KB
english, 2001
28

Approximate periods of strings

Jeong Seop Sim, Costas S. Iliopoulos, Kunsoo Park, W.F. Smyth
Journal:
Theoretical Computer Science
Year:
2001
Language:
english
File:
PDF, 168 KB
english, 2001
31

Tree-shellability of Boolean functions

Yasuhiko Takenaga, Kouji Nakajima, Shuzo Yajima
Journal:
Theoretical Computer Science
Year:
2001
Language:
english
File:
PDF, 156 KB
english, 2001
32

Approximation algorithms for channel assignment with constraints

Jeannette Janssen, Lata Narayanan
Journal:
Theoretical Computer Science
Year:
2001
Language:
english
File:
PDF, 177 KB
english, 2001
33

Topological properties of omega context-free languages

Olivier Finkel
Journal:
Theoretical Computer Science
Year:
2001
Language:
english
File:
PDF, 218 KB
english, 2001
34

Author index volume 262 (2001)

Journal:
Theoretical Computer Science
Year:
2001
Language:
english
File:
PDF, 53 KB
english, 2001