Issued Patents All Time
Showing 1–11 of 11 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11907828 | Deep neural network on field-programmable gate array | Dionysios Diamantopoulos, Raphael Polig | 2024-02-20 |
| 11630696 | Messaging for a hardware acceleration system | Dionysios Diamantopoulos, Burkhard Ringlein, Christoph Hagleitner | 2023-04-18 |
| 11521705 | Random sequence generation for gene simulations | Raphael Polig | 2022-12-06 |
| 11515005 | Interactive-aware clustering of stable states | Matteo Manica, Raphael Polig, Maria Rodriguez Martinez | 2022-11-29 |
| 11177042 | Genetic disease modeling | Roland Mathis, Maria Rodriguez Martinez | 2021-11-16 |
| 11150926 | Native code generation for cloud services | Raphael Polig, Matteo Manica, Roland Mathis | 2021-10-19 |
| 10970449 | Learning framework for software-hardware model generation and verification | Rajdeep Mukherjee, Raphael Polig | 2021-04-06 |
| 10169495 | Method for verifying hardware/software co-designs | — | 2019-01-01 |
| 9996637 | Method for verifying hardware/software co-designs | — | 2018-06-12 |
| 9436582 | Calculating an immediate parent assertion statement for program verification | Viresh Paruthi | 2016-09-06 |
| 8688608 | Verifying correctness of regular expression transformations that use a post-processor | Kubilay Atasu, Jason R. Baumgartner, Christoph Hagleitner | 2014-04-01 |