Stefan Friedrich

From MaRDI portal
Person:1405994

Available identifiers

zbMath Open friedrich.stefan-rMaRDI QIDQ1405994

List of research outcomes





PublicationDate of PublicationType
Modeling a hardware synthesis methodology in Isabelle2024-07-05Paper
Parameterizing robust manipulator controllers under approximate inverse dynamics: a double-Youla approach2019-11-01Paper
https://portal.mardi4nfdi.de/entity/Q34107032006-11-30Paper
https://portal.mardi4nfdi.de/entity/Q34107042006-11-30Paper
https://portal.mardi4nfdi.de/entity/Q48188172004-09-24Paper
https://portal.mardi4nfdi.de/entity/Q47384652004-08-11Paper
Global Small Solutions of the Vlasov-Norstrom System2004-07-12Paper
Bytecode verification by model checking2003-09-09Paper
https://portal.mardi4nfdi.de/entity/Q44843312003-06-12Paper
Combining WS1S and HOL2002-07-22Paper

Research outcomes over time

This page was built for person: Stefan Friedrich

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1405994&oldid=6043040"
Powered by MediaWiki