| 2007 |
|---|
| 4 | EE | John Knudsen,
Anders P. Ravn,
Arne Skou:
Design Verification Patterns.
Formal Methods and Hybrid Real-Time Systems 2007: 399-413 |
| 2004 |
|---|
| 3 | EE | Luca Aceto,
Jens A. Hansen,
Anna Ingólfsdóttir,
Jacob Johnsen,
John Knudsen:
The Complexity of Checking Consistency of Pedigree Information and Related Problems.
J. Comput. Sci. Technol. 19(1): 42-59 (2004) |
| 2003 |
|---|
| 2 | EE | Daniel Gudbjartsson,
Jens A. Hansen,
Anna Ingólfsdóttir,
Jacob Johnsen,
John Knudsen:
Single Point Algorithms in Genetic Linkage Analysis.
EUROCAST 2003: 372-383 |
| 1 | EE | Luca Aceto,
Jens A. Hansen,
Anna Ingólfsdóttir,
Jacob Johnsen,
John Knudsen:
The Complexity of Checking Consistency of Pedigree Information and Related Problems.
ICTCS 2003: 174-187 |
