Aurélien Pardon
Active 2008–2012
- 4
- Papers
- 10
- Citations
- 2
- h-index
- 0
- 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 Science100%
Topics
- Logic, programming, and type systems33.3%
- Logic, Reasoning, and Knowledge19%
- Distributed systems and fault tolerance9.5%
- Homotopy and Cohomology in Algebraic Topology9.5%
- Model-Driven Software Engineering Techniques9.5%
- Formal Methods in Verification4.8%
- Other14.3%
Frequent coauthors
All papers
Loading papers…
