Volume 290; Issue 1

Theoretical Computer Science

Volume 290; Issue 1
1

Correctness of substring-preprocessing in Boyer–Moore's pattern matching algorithm

Frank Stomp
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 162 KB
english, 2003
2

On infinite transition graphs having a decidable monadic theory

Didier Caucal
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 277 KB
english, 2003
3

Performance measure sensitive congruences for Markovian process algebras

Marco Bernardo, Mario Bravetti
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 359 KB
english, 2003
4

Trade-off results for connection management

Marios Mavronicolas, Nikos Papadakis
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 845 KB
english, 2003
5

Polarized proof-nets and λμ-calculus

Olivier Laurent
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 272 KB
english, 2003
6

A cartesian closed category in Martin-Löf's intuitionistic type theory

Silvio Valentini
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 235 KB
english, 2003
7

Bounded time-stamping in message-passing systems

Madhavan Mukund, K. Narayan Kumar, Milind Sohoni
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 165 KB
english, 2003
8

Model checking of systems with many identical timed processes

Parosh Aziz Abdulla, Bengt Jonsson
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 202 KB
english, 2003
9

Relaxed models for rewriting logic

Dorel Lucanu
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 229 KB
english, 2003
12

A full continuous model of polymorphism

Franco Barbanera, Stefano Berardi
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 223 KB
english, 2003
13

Confluency and strong normalizability of call-by-value λμ-calculus

Koji Nakazawa
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 292 KB
english, 2003
14

A comparison of Statecharts step semantics

Andrea Maggiolo-Schettini, Adriano Peron, Simone Tini
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 371 KB
english, 2003
16

Parsing as abstract interpretation of grammar semantics

Patrick Cousot, Radhia Cousot
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 153 KB
english, 2003
18

Hybrid diagrams

Luca de Alfaro, Arjun Kapur
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 347 KB
english, 2003
19

A category of compositional domain-models for separable Stone spaces

Fabio Alessi, Paolo Baldan, Furio Honsell
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 463 KB
english, 2003
21

A syntactical proof of the Marriage Lemma

Thierry Coquand
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 96 KB
english, 2003
22

Axiomatization of frequent itemsets

T. Calders, J. Paredaens
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 278 KB
english, 2003
24

A type system for JVM threads

Cosimo Laneve
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 329 KB
english, 2003
25

Understanding the mismatch combinator in chi calculus

Yuxi Fu, Zhenrong Yang
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 376 KB
english, 2003
28

Hybrid action systems

Mauno Rönkkö, Anders P. Ravn, Kaisa Sere
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 285 KB
english, 2003
29

Normalization, approximation, and semantics for combinator systems

Steffen van Bakel, Maribel Fernández
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 400 KB
english, 2003
30

Explicit versus implicit representations of subsets of the Herbrand universe

Reinhard Pichler
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 435 KB
english, 2003
31

Analysis of security protocols as open systems

Fabio Martinelli
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 417 KB
english, 2003
32

Editorial board

Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 55 KB
english, 2003