Conservative Circuit Simulation on Shared-Memory Multiprocessors. - Jörg Keller 001; Thomas Rauber; Bernd Rederlechner (Workshop on Parallel and Distributed Simulation, 1996)

A Note on Correctness Proofs for Overflow Detection Logic in Adders for d-th Complement Numbers. - Bernd Rederlechner; Jörg Keller 001 (J. Univers. Comput. Sci., 1997)

Scalability Analysis for Conservative Simulation of Logical Circuits. - Jörg Keller 001; Thomas Rauber; Bernd Rederlechner (VLSI Design, 1999)