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

2004

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

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

J. Comput. Sci. Technol., 2004

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