| no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
| 1 |
Acknowledgement
|
Turski, W.M.
|
|
1995
|
53 |
5 |
p. i-
1 p.
|
article
|
| 2 |
An algorithm for FIFO message delivery among migrating tasks
|
Barbosa, Valmir C
|
|
1995
|
53 |
5 |
p. 261-267
7 p.
|
article
|
| 3 |
An efficient semantic evaluator for warped LC(1) attributed grammars
|
Tokuda, Takehiro
|
|
1995
|
53 |
5 |
p. 269-276
8 p.
|
article
|
| 4 |
A note on recursive properties of the de Bruijn, Kautz and FFT digraphs
|
Heydemann, M.C
|
|
1995
|
53 |
5 |
p. 255-259
5 p.
|
article
|
| 5 |
A pseudo-algorithmic separation of lines from pseudo-lines
|
Steiger, William
|
|
1995
|
53 |
5 |
p. 295-299
5 p.
|
article
|
| 6 |
On the Modularization Theorem for logical specifications
|
Veloso, Paulo A.S
|
|
1995
|
53 |
5 |
p. 287-293
7 p.
|
article
|
| 7 |
On the security of the Lucas function
|
Chi-Sung, Laih
|
|
1995
|
53 |
5 |
p. 243-247
5 p.
|
article
|
| 8 |
Optimal priority assignment for aperiodic tasks with firm deadlines in fixed priority pre-emptive systems
|
Davis, Robert
|
|
1995
|
53 |
5 |
p. 249-254
6 p.
|
article
|
| 9 |
Solvability of word equations modulo finite special and confluent string-rewriting systems is undecidable in general
|
Otto, Friedrich
|
|
1995
|
53 |
5 |
p. 237-242
6 p.
|
article
|
| 10 |
Topological properties of the directional hypercube
|
Hamdi, Mounir
|
|
1995
|
53 |
5 |
p. 277-286
10 p.
|
article
|
Journal description