Andreas Pfandler is an author at TU Wien specializing in engineering, computer science, and automated reasoning.
Top concepts
EngineeringComputer ScienceAutomated ReasoningComputational ComplexityStatisticsFormal MethodsMechanism DesignFormal VerificationCombinatorial OptimizationPolitics
Publications per year
2012–2021
9
9
Rows per page
1–5 of 9