Immler, Fabian
Author ID: | immler.fabian |
Published as: | Immler, Fabian |
Videos: | carmin.tv |
Documents Indexed: | 9 Publications since 2012 |
Co-Authors: | 8 Co-Authors with 7 Joint Publications |
115 Co-Co-Authors |
all
top 5
Co-Authors
2 | single-authored |
2 | Hölzl, Johannes |
2 | Traut, Christoph |
1 | Althoff, Matthias |
1 | Maletzky, Alexander |
1 | Rädle, Jonas |
1 | Rizaldi, Albert |
1 | Schürmann, Bastian |
1 | Wenzel, Makarius |
Serials
2 | Journal of Automated Reasoning |
all
top 5
Fields
Publications by Year
all
top 5
Cited by 94 Authors
all
top 5
Cited in 14 Serials
all
top 5