Katrak, Cyrus
Documents Indexed: | 1 Publication since 2008 |
Co-Authors: | 4 Co-Authors with 1 Joint Publication |
50 Co-Co-Authors |
Co-Authors
0 | single-authored |
1 | Bongio, Jeremy |
1 | Lin, Hai |
1 | Lynch, Christopher A. |
1 | McGgregor, Ralph Eric |
Serials
Publications by Year
Cited by 2 Authors
1 | Janičić, Predrag |
1 | Narboux, Julien |
Cited in 1 Serial
1 | Journal of Automated Reasoning |
Cited in 1 Field
1 | Computer science (68-XX) |