K. Wagner

Publication Activity (10 Years)

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

Publications

K. Wagner, D. Mirtschink
Knowledge-intensive problem solving processes in collaborative environments. ISPE CE (2003)
Bernd Koenemann, J. Monzel, T. Powell, N. Saxena, K. Wagner
Design Validation: Formal Verification vs. Simulation vs. Functional Testing. VTS (1996)
Bernd Koenemann, J. Monzel, T. Powell, N. Saxena, K. Wagner
BIST: Advantages or Limitations? VTS (1996)
K. Wagner
The Complexity of Problems Concerning Graphs with Regularities (Extended Abstract). MFCS (1984)
K. Wagner
Turing-Berechenbarkeit in linearer Zeit. Acta Cybern. 2 (3) (1975)