Iterative Solution of Linear Equations on a Parallel Processor System. - Victor Konrad; Yehuda Wallach (IEEE Trans. Computers, 1977)

On Block-Parallel Methods for Solving Linear Equations. - Yehuda Wallach; Victor Konrad (IEEE Trans. Computers, 1980)

Efficient Computation of the Maximum of the Sum of Two Sequences and Applications. - Victor Konrad (IEEE Trans. Computers, 1986)

Analog property checkers: a DDR2 case study. - Kevin D. Jones; Victor Konrad; Dejan Nickovic (Formal Methods Syst. Des., 2010)