 | 2000 |
|---|
| 6 |       | Peter Balsiger,
Alain Heuerding,
Stefan Schwendimann:
A Benchmark Method for the Propositional Modal Logics K, KT, S4.
J. Autom. Reasoning 24(3): 297-317 (2000) |
| 1998 |
|---|
| 5 |  | Peter Balsiger,
Alain Heuerding:
Comparison of Theorem Provers for Modal Logics - Introduction and Summary.
TABLEAUX 1998: 25-26 |
| 4 | | Peter Balsiger,
Alain Heuerding,
Stefan Schwendimann:
Logics Workbench 1.0.
TABLEAUX 1998: 35-37 |
| 1997 |
|---|
| 3 | | Désirée de Lang,
Peter Balsiger,
Huib Eggenhuisen,
Paul Gardien,
John Jansen:
Swiss TopVision, the Trial With Interactive Content.
ECMAST 1997: 571-580 |
| 1996 |
|---|
| 2 | | L. Grisoni,
Alexandre Heubi,
Peter Balsiger,
Fausto Pellandini:
Implementation of a micro power 15-bit "floating-point" A/D converter.
ISLPED 1996: 247-252 |
| 1 | | Alexandre Heubi,
Peter Balsiger,
Fausto Pellandini:
Micro power "relative precision" 13 bits cyclic RSD A/D converter.
ISLPED 1996: 253-257 |
