Kai Werther

According to our database, Kai Werther authored at least 5 papers between 1994 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2016

Verification of component architectures using mode-based contracts.

Stefan Kugele, Diego Marmsoler, Nuria Mata, Kai Werther

Proceedings of the 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, 2016

1995

How can a Complex Square Root be Computed in an Optimal Way.

Thomas Lickteig, Kai Werther

Comput. Complex., 1995

On real Turing machines that toss coins.

Felipe Cucker, Marek Karpinski, Pascal Koiran, Thomas Lickteig, Kai Werther

Proceedings of the Twenty-Seventh Annual ACM Symposium on Theory of Computing, 1995

1994

Exakte Lernbarkeit algebraischer und kombinatorischer Objekte.

Kai Werther

PhD thesis, 1994

The Complexity of Sparse Polynomial Interpolation over Finite Fields.

Kai Werther

Appl. Algebra Eng. Commun. Comput., 1994