Victor Konrad

According to our database, Victor Konrad authored at least 4 papers between 1977 and 2010.

Collaborative distances:

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

2010

Analog property checkers: a DDR2 case study.

Kevin D. Jones, Victor Konrad, Dejan Nickovic

Formal Methods Syst. Des., 2010

1986

Efficient Computation of the Maximum of the Sum of Two Sequences and Applications.

Victor Konrad

IEEE Trans. Computers, 1986

1980

On Block-Parallel Methods for Solving Linear Equations.

Yehuda Wallach, Victor Konrad

IEEE Trans. Computers, 1980

1977

Iterative Solution of Linear Equations on a Parallel Processor System.

Victor Konrad, Yehuda Wallach

IEEE Trans. Computers, 1977