Iverson, Vicki
Documents Indexed: | 1 Publication since 2009 |
Co-Authors: | 2 Co-Authors with 1 Joint Publication |
28 Co-Co-Authors |
Cited by 5 Authors
3 | Tentrup, Leander |
1 | de Moura, Leonardo |
1 | Hamadi, Youssef |
1 | Hecking-Harbusch, Jesko |
1 | Wintersteiger, Christoph M. |
Cited in 2 Serials
1 | Formal Methods in System Design |
1 | Journal of Satisfiability, Boolean Modeling and Computation |
Cited in 3 Fields
4 | Computer science (68-XX) |
1 | Mathematical logic and foundations (03-XX) |
1 | Game theory, economics, finance, and other social and behavioral sciences (91-XX) |