|
5
|
Tools and Algorithms for The Construction and Analysis of Systems
– S Hune, Kim G Larsen, Paul Pettersson, Judi Romijn, Frits W Vaandrager
- 2001
|
|
5
|
Efficient Guiding Towards Cost-Optimality in UPPAAL
– Paul Pettersson Larsen, Judi Romijn
- 2001
|
|
46
|
Linear Parametric Model Checking of Timed Automata
– Thomas Hune, Judi Romijn, Mariëlle Stoelinga, Frits Vaandrager
- 2002
|
|
2
|
Crépeau, Frédéric Légaré, and Louis Salvail. How to Convert a Flavor of Quantum Bit Commitment
– RS-00-52 Claude
- 2000
|
|
5
|
Alexey Zverovich. Traveling Salesman Should not be Greedy: Domination Analysis of Greedy-Type Heuristics for the TSP
– RS-01-6 Gregory Gutin, Anders Yeo
- 2001
|
|
6
|
TSP tour domination and Hamilton cycle decompositions of regular digraphs
– Gregory Gutin, Anders Yeo
- 1999
|
|
3
|
Casl for CafeOBJ Users
– Peter D. Mosses
- 2000
|
|
25
|
The asymmetric traveling salesman problem: algorithms, instance generators and tests
– Jill Cirasella, David S. Johnson, Lyle A. Mcgeoch, Weixiong Zhang
- 2001
|
|
32
|
The Travelling Salesman Problem: New solvable cases and linkages with the development of approximation algorithms
– F Glover, A P Punnen
- 1997
|
|
3
|
Solution of irreflective relations
– M Richardson
- 1953
|
|
1
|
11 BRICS Report Series Publications RS-01-7 Gregory Gutin, Khee Meng Koh, Eng Guan
– Tay, Anders Yeo
- 2001
|
|
5
|
About quasi-kernels in a digraph, Discrete Math 154
– H Jacob, H Meyniel
- 1996
|
|
3
|
Solution to problem 463
– J W Moon
- 1962
|
|
162
|
Theory, algorithms and applications
– J Bang-Jensen, G Gutin, Digraphs
- 2001
|
|
41
|
XMlambda - A Functional Language for Constructing and Manipulating XML Documents
– Erik Meijer, Mark Shields
- 2000
|
|
3
|
The<bigwig> project. Submitted for publication. Available from http://www.brics.dk/bigwig
– Claus Brabrand, Anders Møller, Michael I Schwartzbach
|
|
1
|
Pemberton et al. XHTML 1.0: The Extensible HyperText Markup Language
– Steven
- 2000
|
|
4
|
On the Number of Quasi-Kernels in Digraphs
– Gregory Gutin, Khee Meng Koh, Eng Guan Tay, Anders Yeo
- 2001
|
|
28
|
ET AL: XHTML 1.0 : The Extensible HyperText Markup Language (Second Edition
– S PEMBERTON
|
