John Knudsen

Publication Activity (10 Years)

Years Active: 2003-2007
Publications (10 Years): 0

Publications

John Knudsen, Anders P. Ravn, Arne Skou
Design Verification Patterns. Formal Methods and Hybrid Real-Time Systems (2007)
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) (2004)
Daniel Gudbjartsson, Jens A. Hansen, Anna Ingólfsdóttir, Jacob Johnsen, John Knudsen
Single Point Algorithms in Genetic Linkage Analysis. EUROCAST (2003)
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)