Peter Van Weert
Active 2005–2009
- Affiliations
- KU LeuvenThis corpus build does not record the country of an author's affiliations, so none is shown here. It does not mean these institutions have no country.
- 11
- Papers
- 187
- Citations
- 8
- h-index
- 7
- 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
Fields
- Computer Science91.1%
- Decision Sciences2.2%
- Arts and Humanities1.1%
- Earth and Planetary Sciences1.1%
- Engineering1.1%
- Medicine1.1%
- Other2.2%
Topics
- Logic, programming, and type systems21.6%
- Constraint Satisfaction and Optimization15.6%
- Logic, Reasoning, and Knowledge10.1%
- Model-Driven Software Engineering Techniques10.1%
- Formal Methods in Verification8.7%
- Distributed systems and fault tolerance6.9%
- Other27.1%
Frequent coauthors
All papers
Loading papers…
