Peter Balsiger

According to our database, Peter Balsiger authored at least 7 papers between 1991 and 2000.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2000

A Benchmark Method for the Propositional Modal Logics K, KT, S4.

Peter Balsiger, Alain Heuerding, Stefan Schwendimann

J. Autom. Reason., 2000

1998

Logics Workbench 1.0.

Peter Balsiger, Alain Heuerding, Stefan Schwendimann

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1998

Comparison of Theorem Provers for Modal Logics - Introduction and Summary.

Peter Balsiger, Alain Heuerding

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1998

1997

Swiss TopVision, the Trial With Interactive Content.

Désirée de Lang, Peter Balsiger, Huib Eggenhuisen, Paul Gardien, John Jansen

Proceedings of the Multimedia Applications, Services and Techniques, 1997

1996

Micro power "relative precision" 13 bits cyclic RSD A/D converter.

Alexandre Heubi, Peter Balsiger, Fausto Pellandini

Proceedings of the 1996 International Symposium on Low Power Electronics and Design, 1996

Implementation of a micro power 15-bit "floating-point" A/D converter.

L. Grisoni, Alexandre Heubi, Peter Balsiger, Fausto Pellandini

Proceedings of the 1996 International Symposium on Low Power Electronics and Design, 1996

1991

On the automated symbolic design of wave digital filters.

Michael Ansorge, U. Sjöström, I. Defilippis, Peter Balsiger, Fausto Pellandini

Proceedings of the 1991 International Conference on Acoustics, 1991