K. Wagner

发表

Turing-Berechenbarkeit in linearer Zeit

K. Wagner, 1975, Acta Cybern..

The Complexity of Problems Concerning Graphs with Regularities (Extended Abstract)

K. Wagner, K. Wagner, 1984, MFCS.

REACTOR CONTROL SYSTEMS WITH MOVING DETECTORS AND THEIR PERSPECTIVES

K. Wagner, P. Kovanic, 1964 .

MULI. Multi Level Dialog System. Multi Level Dialog Language. Sprach- und Systembeschreibung

K. Wagner, I. Schnarre, P. Namneck, 1973 .

Design Validation: Formal Verification vs. Simulation vs. Functional Testing

K. Wagner, T. Powell, Bernd Koenemann, 1996, VTS.

Knowledge-intensive problem solving processes in collaborative environments

K. Wagner, D. Mirtschink, 2003, ISPE CE.

INSTRUMENTATION FOR NUCLEAR POWER PLANT CONTROL IN CZECHOSLOVAK SOCIALIST REPUBLIC.

K. Wagner, P. Stirsky, P. Kovanic, 1970 .

PHYSICAL EXPERIMENTS INVOLVED IN THE PROGRAM OF THE START-UP OF THE FIRST CZECHOSLOVAK NUCLEAR POWER PLANT A-1.

K. Wagner, I. Paulicka, M. Vorisek, 1971 .

BIST: Advantages or Limitations?

K. Wagner, T. Powell, Bernd Koenemann, 1996, VTS.