Kai Weber
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2005–2018
Best venue rank
A
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | CW | Training an FCN with Synthetic Images for Component Segmentation with Applications in Orientation Estimation and Image Inpainting. | Achim Rehberger, Kai Weber, Yvonne Jung |
| 2018 | SAT | CryptoMiniSat Switches-Optimization for Solving Cryptographic Instances. | Anastasia-Maria Leventi-Peetz, Oliver Zendel, Werner Lennartz, Kai Weber |
| 2008 | ASPDAC | Verifying full-custom multipliers by Boolean equivalence checking and an arithmetic bit level proof. | Udo Krautz, Markus Wedler, Wolfgang Kunz, Kai Weber, Christian Jacobi, Matthias Pflanz |
| 2006 | DATE | Evaluating coverage of error detection logic for soft errors using formal methods. | Udo Krautz, Matthias Pflanz, Christian Jacobi, Hans-Werner Tast, Kai Weber, Heinrich Theodor Vierhaus |
| 2005 | DATE | Automatic Formal Verification of Fused-Multiply-Add FPUs. | Christian Jacobi, Kai Weber, Viresh Paruthi, Jason Baumgartner |