Kai Werther

Publication Activity (10 Years)

Years Active: 1994-2016
Publications (10 Years): 1

Top Topics

Multiresolution

Formal Verification

Software Components

Top Venues

University of Bonn, Germany (PHD)

Education History

University of Bonn, Germany

PHD

Publications

Stefan Kugele, Diego Marmsoler, Nuria Mata, Kai Werther
Verification of component architectures using mode-based contracts. MEMOCODE (2016)
Thomas Lickteig, Kai Werther
How can a Complex Square Root be Computed in an Optimal Way. Comput. Complex. 5 (3/4) (1995)
Felipe Cucker, Marek Karpinski, Pascal Koiran, Thomas Lickteig, Kai Werther
On real Turing machines that toss coins. STOC (1995)
Kai Werther
The Complexity of Sparse Polynomial Interpolation over Finite Fields. Appl. Algebra Eng. Commun. Comput. 5 (1994)