#### Filter Results:

#### Publication Year

2005

2015

#### Publication Type

#### Co-author

#### Publication Venue

#### Key Phrases

Learn More

- M. Claus
- Proceedings of the 2005 European Conference on…
- 2005

This paper presents a new geometrical motivated approach to analyse resistive networks decomposable into two 3-pole subnetworks. Especially, networks composed of two MOSTs or BJTs that can have more than three operating points are analysed with this method. All results are verified additionally with a homotopy method realisable with standard circuit… (More)

We present an automated verification of the well-known modal logic cube in Isabelle/HOL, in which we prove the inclusion relations between the cube's logics using automated reasoning tools. Prior work addresses this problem but without restriction to the modal logic cube, and using encodings in first-order logic in combination with first-order automated… (More)

- Christoph Benzmüller, Maximilian Claus, Nik Sultana
- PxTP@CADE
- 2015

We present an automated verification of the well-known modal logic cube in Isabelle/HOL, in which we prove the inclusion relations between the cube's logics using automated reasoning tools. Prior work addresses this problem but without restriction to the modal logic cube, and using encodings in first-order logic in combination with first-order automated… (More)

- ‹
- 1
- ›