nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A note on the verification of automata specifications of probabilistic real-time systems
|
Moura, Arnaldo V. |
|
2002 |
82 |
5 |
p. 223-228 6 p. |
artikel |
2 |
Differential approximation results for the traveling salesman and related problems
|
Monnot, Jérôme |
|
2002 |
82 |
5 |
p. 229-235 7 p. |
artikel |
3 |
Digital signature algorithm for securing digital identities
|
Kwon, Taekyoung |
|
2002 |
82 |
5 |
p. 247-252 6 p. |
artikel |
4 |
Online timestamped text indexing
|
Amir, Amihood |
|
2002 |
82 |
5 |
p. 253-259 7 p. |
artikel |
5 |
On the approximability of two tree drawing conventions
|
Penna, Paolo |
|
2002 |
82 |
5 |
p. 237-242 6 p. |
artikel |
6 |
Processing a multimedia join through the method of nearest neighbor search
|
Kosch, Harald |
|
2002 |
82 |
5 |
p. 269-276 8 p. |
artikel |
7 |
Provable security for 13 round Skipjack-like structure
|
Hong, Seokhie |
|
2002 |
82 |
5 |
p. 243-246 4 p. |
artikel |
8 |
Updating ⩽,<-chains
|
Delgrande, James P. |
|
2002 |
82 |
5 |
p. 261-268 8 p. |
artikel |