| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A New Machine-checked Proof of Strong Normalisation for Display Logic
|
Dawson, Jeremy E.
|
|
2003
|
78 |
C |
p. 20-39
20 p.
|
artikel
|
| 2 |
An Optimal Family of Directed, Bounded-Degree Broadcast Networks
|
Dinneen, Michael J.
|
|
2003
|
78 |
C |
p. 196-208
13 p.
|
artikel
|
| 3 |
Approximation and Computation of Arbitrage in Frictional Foreign Exchange Market (Extended Abstract)
|
Cai, Mao-cheng
|
|
2003
|
78 |
C |
p. 293-302
10 p.
|
artikel
|
| 4 |
Characterising polynomial time computable functions using theories with weak set existence principles
|
Ignjatovic, Aleksander
|
|
2003
|
78 |
C |
p. 112-122
11 p.
|
artikel
|
| 5 |
Cutting Up Is Hard To Do
|
G. Downey, Rodney
|
|
2003
|
78 |
C |
p. 209-222
14 p.
|
artikel
|
| 6 |
Flow Analytic Type System for Array Bound Checks
|
Yutaka, MATSUNO
|
|
2003
|
78 |
C |
p. 178-195
18 p.
|
artikel
|
| 7 |
Formal Semantics for Program Paths
|
Lermer, Karl
|
|
2003
|
78 |
C |
p. 58-81
24 p.
|
artikel
|
| 8 |
Hierarchical automata and P-systems
|
Sabadini, N.
|
|
2003
|
78 |
C |
p. 5-19
15 p.
|
artikel
|
| 9 |
Information Leakage Detection in Boundary Ambients 1 1 Partially supported by MIUR Projects “Interpretazione Astratta, Type Systems e Analisi Control-Flow” and “Modelli formali per la sicurezza”, and the EU Contract IST-2001-32617 “Models and Types for Security in Mobile Distributed Systems”.
|
Braghin, Chiara
|
|
2003
|
78 |
C |
p. 123-143
21 p.
|
artikel
|
| 10 |
Large 2-Independent Sets of Regular Graphs
|
Duckworth, W.
|
|
2003
|
78 |
C |
p. 223-235
13 p.
|
artikel
|
| 11 |
Linearity and Passivity
|
Wright, David A.
|
|
2003
|
78 |
C |
p. 100-111
12 p.
|
artikel
|
| 12 |
M3
|
Coppo, Mario
|
|
2003
|
78 |
C |
p. 144-177
34 p.
|
artikel
|
| 13 |
Minimum Augmentation of Edge-Connectivity between Vertices and Sets of Vertices in Undirected Graphs
|
Ishii, Toshimasa
|
|
2003
|
78 |
C |
p. 236-259
24 p.
|
artikel
|
| 14 |
On the complexity of the extended euclidean algorithm (Extended Abstract)
|
Havas, George
|
|
2003
|
78 |
C |
p. 1-4
4 p.
|
artikel
|
| 15 |
On the Relative Complexity of Labelled Modal Tableaux
|
Governatori, Guido
|
|
2003
|
78 |
C |
p. 40-57
18 p.
|
artikel
|
| 16 |
Preface
|
Harland, James
|
|
2003
|
78 |
C |
p. 303-304
2 p.
|
artikel
|
| 17 |
Space- and Time-adaptive Nonblocking Algorithms
|
Herlihy, Maurice
|
|
2003
|
78 |
C |
p. 260-280
21 p.
|
artikel
|
| 18 |
The Reverse Problem of Range Query
|
Takaoka, Tadao
|
|
2003
|
78 |
C |
p. 281-292
12 p.
|
artikel
|
| 19 |
Three approaches to partiality in the sketch data model 1 1 Research partially supported by the Australian Research Council and NSERC Canada.
|
Johnson, Michael
|
|
2003
|
78 |
C |
p. 82-99
18 p.
|
artikel
|
Tijdschrift beschrijving