| 9802838 |
Method and apparatus for treating process water |
Alois Gstoettenmayr, Hado Heckmann, Kurt Lukschander, Robert Millner, Helmut Siegl +3 more |
2017-10-31 |
| 9495490 |
Active power dissipation detection based on erroneus clock gating equations |
Christopher M. Abernathy, Maarten J. Boersma, Markus Kaltenbach |
2016-11-15 |
| 9274791 |
Verification of a vector execution unit design |
Maarten J. Boersma, Udo Krautz |
2016-03-01 |
| 9268563 |
Verification of a vector execution unit design |
Maarten J. Boersma, Udo Krautz |
2016-02-23 |
| 9005332 |
Process for producing pig iron or liquid primary steel products |
Kurt Lukschander |
2015-04-14 |
| 8918747 |
Formal verification of a logic design |
Maarten J. Boersma, Udo Krautz |
2014-12-23 |
| 8140315 |
Test bench, method, and computer program product for performing a test case on an integrated circuit |
Joerg Walter, Lothar Felten, Christopher Smith |
2012-03-20 |
| 7335366 |
Attenuated bovine respiratory syncytial virus |
Ursula Buchholz |
2008-02-26 |
| 6921535 |
Attenuated Bovine Respiratory Syncytial virus |
Ursula Buchholz |
2005-07-26 |
