John Knudsen

According to our database, John Knudsen authored at least 3 papers between 2003 and 2007.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2007

Design Verification Patterns.

John Knudsen, Anders P. Ravn, Arne Skou

Proceedings of the Formal Methods and Hybrid Real-Time Systems, 2007

2003

The Complexity of Checking Consistency of Pedigree Information and Related Problems.

Luca Aceto, Jens A. Hansen, Anna Ingólfsdóttir, Jacob Johnsen, John Knudsen

Proceedings of the Theoretical Computer Science, 8th Italian Conference, 2003

Single Point Algorithms in Genetic Linkage Analysis.

Daniel Gudbjartsson, Jens A. Hansen, Anna Ingólfsdóttir, Jacob Johnsen, John Knudsen

Proceedings of the Computer Aided Systems Theory, 2003