On the automated symbolic design of wave digital filters. - Michael Ansorge; U. Sjöström; I. Defilippis; Peter Balsiger; Fausto Pellandini (ICASSP, 1991)

Implementation of a micro power 15-bit "floating-point" A/D converter. - L. Grisoni; Alexandre Heubi; Peter Balsiger; Fausto Pellandini (ISLPED, 1996)

Micro power "relative precision" 13 bits cyclic RSD A/D converter. - Alexandre Heubi; Peter Balsiger; Fausto Pellandini (ISLPED, 1996)

Swiss TopVision, the Trial With Interactive Content. - Désirée de Lang; Peter Balsiger; Huib Eggenhuisen; Paul Gardien; John Jansen (ECMAST, 1997)

Comparison of Theorem Provers for Modal Logics - Introduction and Summary. - Peter Balsiger; Alain Heuerding (TABLEAUX, 1998)

Logics Workbench 1.0. - Peter Balsiger; Alain Heuerding; Stefan Schwendimann (TABLEAUX, 1998)

A Benchmark Method for the Propositional Modal Logics K, KT, S4. - Peter Balsiger; Alain Heuerding; Stefan Schwendimann (J. Autom. Reason., 2000)