List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Modeling a hardware synthesis methodology in Isabelle | 2024-07-05 | Paper |
| Parameterizing robust manipulator controllers under approximate inverse dynamics: a double-Youla approach International Journal of Robust and Nonlinear Control | 2019-11-01 | Paper |
| scientific article; zbMATH DE number 5076772 (Why is no real title available?) | 2006-11-30 | Paper |
| scientific article; zbMATH DE number 5076773 (Why is no real title available?) | 2006-11-30 | Paper |
| scientific article; zbMATH DE number 2102730 (Why is no real title available?) | 2004-09-24 | Paper |
| scientific article; zbMATH DE number 2087621 (Why is no real title available?) | 2004-08-11 | Paper |
| Global Small Solutions of the Vlasov-Norstrom System | 2004-07-12 | Paper |
| Bytecode verification by model checking Journal of Automated Reasoning | 2003-09-09 | Paper |
| scientific article; zbMATH DE number 1927414 (Why is no real title available?) | 2003-06-12 | Paper |
| Combining WS1S and HOL | 2002-07-22 | Paper |
Research outcomes over time
This page was built for person: Stefan Friedrich
