Peter Balsiger

Publication Activity (10 Years)

Years Active: 1991-2000
Publications (10 Years): 0

Publications

Peter Balsiger, Alain Heuerding, Stefan Schwendimann
A Benchmark Method for the Propositional Modal Logics K, KT, S4. J. Autom. Reason. 24 (3) (2000)
Peter Balsiger, Alain Heuerding, Stefan Schwendimann
Logics Workbench 1.0. TABLEAUX (1998)
Peter Balsiger, Alain Heuerding
Comparison of Theorem Provers for Modal Logics - Introduction and Summary. TABLEAUX (1998)
Désirée de Lang, Peter Balsiger, Huib Eggenhuisen, Paul Gardien, John Jansen
Swiss TopVision, the Trial With Interactive Content. ECMAST (1997)
Alexandre Heubi, Peter Balsiger, Fausto Pellandini
Micro power "relative precision" 13 bits cyclic RSD A/D converter. ISLPED (1996)
L. Grisoni, Alexandre Heubi, Peter Balsiger, Fausto Pellandini
Implementation of a micro power 15-bit "floating-point" A/D converter. ISLPED (1996)
Michael Ansorge, U. Sjöström, I. Defilippis, Peter Balsiger, Fausto Pellandini
On the automated symbolic design of wave digital filters. ICASSP (1991)