8
Publications
381
Citations
8
H-Index
2009
Active since
Affiliations
Matthias Westphal is an author at University of Freiburg specializing in computer science, engineering, and automated reasoning.
Top concepts
EngineeringComputer ScienceDesignAutomated ReasoningCombinatorial OptimizationPlanningRoboticsFormal MethodsComputational GeometryArtificial Intelligence
Publications per year
2009–2017
8
8
Rows per page
1–5 of 8