Otto, Carsten
Documents Indexed: | 6 Publications since 2008 |
Co-Authors: | 15 Co-Authors with 6 Joint Publications |
112 Co-Co-Authors |
all
top 5
Co-Authors
Serials
1 | Journal of Automated Reasoning |
Fields
6 | Computer science (68-XX) |
Publications by Year
all
top 5
Cited by 123 Authors
all
top 5
Cited in 13 Serials
all
top 5