Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8473895 | Providing diverse solutions using design space exploration | Wolfram Schulte, Nikolaj S. Bjorner, Eunsuk Kang | 2013-06-25 |
| 7822853 | Stabilization of distributed systems | Wolfram Schulte | 2010-10-26 |