Warwick Harvey
Active 1997–2008
- 17
- Papers
- 614
- Citations
- 11
- h-index
- 12
- i10-index
Self-citations are included in these numbers.
Citations per year
Citations
Citation sources
Countries
This corpus build does not record which country the citing authors are in, so the country breakdown is not computed. The other breakdowns below are unaffected.
Institutions
- University of St Andrews25.7%
- Monash University14.4%
- KU Leuven11.6%
- The University of Melbourne9.6%
- Data618.4%
- Centre National de la Recherche Scientifique6.3%
- Other24%
Fields
- Computer Science88.7%
- Engineering5.9%
- Decision Sciences1.5%
- Business, Management and Accounting0.7%
- Physics and Astronomy0.7%
- Biochemistry, Genetics and Molecular Biology0.5%
- Other2%
Topics
- Constraint Satisfaction and Optimization29.1%
- Logic, programming, and type systems9.4%
- Model-Driven Software Engineering Techniques9.2%
- Formal Methods in Verification9.1%
- Data Management and Algorithms8.5%
- Logic, Reasoning, and Knowledge6.8%
- Other27.9%
Frequent coauthors
- Peter J. Stuckey10
- Kim Marriott5
- Maria J. García de la Banda5
- Bart Demoen4
- Alan Borning2
- Ian P. Gent2
- Tom W. Kelsey2
- Alan M. Frisch1
- Bernadette Martínez Hernández1
- Chiu Wo Choi1
- Christopher Jefferson1
- David Overton1
- Ian Miguel1
- J. H. M. Lee1
- Joachim Schimpf1
- Kish Shen1
- Mark Wallace 00011
- Meinolf Sellmann1
- Steve Linton1
- Thorsten Jan Winterer1
All papers
Loading papers…
