Scheben, Christoph
| Author ID: | scheben.christoph  |
| Published as: | Scheben, Christoph |
| Documents Indexed: | 2 Publications since 2006 |
| Co-Authors: | 5 Co-Authors with 1 Joint Publication |
| 79 Co-Co-Authors |
Co-Authors
| 1 | single-authored |
| 1 | Beckert, Bernhard |
| 1 | Bruns, Daniel |
| 1 | Klebanov, Vladimir |
| 1 | Schmitt, Peter H. |
| 1 | Ulbrich, Mattias |
Serials
Publications by Year
all
top 5
Cited by 6 Authors
| 1 | de Boer, Frank S. |
| 1 | De Gouw, Stijn |
| 1 | Klebanov, Vladimir |
| 1 | Rot, Jurriaan |
| 1 | Rümmer, Philipp |
| 1 | Ulbrich, Mattias |
Cited in 2 Serials
| 1 | Journal of Automated Reasoning |
| 1 | Formal Methods in System Design |
Cited in 2 Fields
| 2 | Computer science (68-XX) |
| 1 | Mathematical logic and foundations (03-XX) |
