Kai Werther
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
1995–2016
Best venue rank
A*
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | MEMOCODE | Verification of component architectures using mode-based contracts. | Stefan Kugele, Diego Marmsoler, Nria Mata, Kai Werther |
| 1995 | STOC | On real Turing machines that toss coins. | Felipe Cucker, Marek Karpinski, Pascal Koiran, Thomas Lickteig, Kai Werther |