On distributed logic simulation using time warp - Herbert Bauer; Christian Sporrer; Thomas H. Krodel (Forschungsberichte, TU Munich, 1992)

Corolla partitioning for distributed logic simulation of VLSI circuits - Christian Sporrer; Herbert Bauer (Forschungsberichte, TU Munich, 1993)

Reducing rollback overhead in time warp based distributed simulation with optimized incremental state saving - Herbert Bauer; Christian Sporrer (Forschungsberichte, TU Munich, 1993)

Dynamic load balancing of a multi-cluster simulator on a network of workstations. - Rolf Schlagenhaft; Martin K. Ruhwandl; Christian Sporrer; Herbert Bauer (PADS, 1995)

Verfahren zur Schaltungspartitionierung für die parallele Logiksimulation. - Christian Sporrer (Shaker, 1995)

A machine-readable specification of analog circuits for integration into a validation flow. - Mingyu Ma 002; Lars Hedrich; Christian Sporrer (FDL, 2011)

ASDeX: a formal specification for analog circuit enabling a full automated design validation. - Mingyu Ma 002; Lars Hedrich; Christian Sporrer (Des. Autom. Embed. Syst., 2014)