2
Publications
95
Citations
2
H-Index
2014
Active since
Affiliations
Tewodros A. Beyene is an author at Microsoft Research (United Kingdom) specializing in automated reasoning, formal verification, and algorithmic game theory.
Top concepts
GamesBusinessEngineeringGame TheoryGraph TheoryFormal MethodsComputer ScienceMechanism DesignLogic ProgrammingAutomated Reasoning
Publications per year
2014–2014
2
2
Rows per page
1–2 of 2