B. Rederlechner, J. Keller:
A Note on Correctness Proofs for Overflow Detection Logic in Adders for d-th Complement Numbers
/jucs_3_10/a_note_on_correctness

page 1121 - 1125
Vol.3 / Issue 10

K. Echtle, J. Keller:
J.UCS Special Issue on Dependability Evaluation and Validation
/jucs_5_10/dependability_evaluation_and_validation

page 632 - 632
Vol.5 / Issue 10

J. Keller, T. Ungerer:
J.UCS Special Issue on Multithreaded Processors and Chip-Multiprocessors
/jucs_6_10/j_ucs_special_issue

page 906 - 907
Vol.6 / Issue 10