dblp.uni-trier.dewww.uni-trier.de

Peter Balsiger

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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
5EEPeter Balsiger, Alain Heuerding: Comparison of Theorem Provers for Modal Logics - Introduction and Summary. TABLEAUX 1998: 25-26
4EEPeter 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
2EEL. Grisoni, Alexandre Heubi, Peter Balsiger, Fausto Pellandini: Implementation of a micro power 15-bit "floating-point" A/D converter. ISLPED 1996: 247-252
1EEAlexandre Heubi, Peter Balsiger, Fausto Pellandini: Micro power "relative precision" 13 bits cyclic RSD A/D converter. ISLPED 1996: 253-257

Coauthor Index

1Huib Eggenhuisen [3]
2Paul Gardien [3]
3L. Grisoni [2]
4Alexandre Heubi [1] [2]
5Alain Heuerding [4] [5] [6]
6John Jansen [3]
7Désirée de Lang [3]
8Fausto Pellandini [1] [2]
9Stefan Schwendimann [4] [6]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)