Andreas Abel
Active 2000–2024
- ORCID
- 0000-0003-0420-4492
- 6
- Papers
- 165
- Citations
- 4
- h-index
- 4
- 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 Science78.1%
- Engineering9.4%
- Physics and Astronomy6.3%
- Decision Sciences5.2%
- Business, Management and Accounting1%
Topics
- Logic, programming, and type systems29.2%
- Formal Methods in Verification21%
- Logic, Reasoning, and Knowledge20.5%
- Chaos control and synchronization4.1%
- Chaos-based Image/Signal Encryption4.1%
- Model-Driven Software Engineering Techniques4.1%
- Other16.9%
Frequent coauthors
- Andrew Kennedy2
- Benjamin Pierce2
- Chad Nester2
- Gavin Bierman2
- Ilya Sergey2
- James Chapman2
- Jesper Cockx2
- John Hughes2
- Kevin Hammond2
- Krzysztof Czarnecki2
- Nada Amin2
- Peter Dybjer2
- Philip Wadler2
- Roman Kireev2
- Ulf Norell2
- Aaron Courville1
- Abbott Michael Gordon1
- Adam Barwell1
- Adam Chlipala1
- Adam Paszke1
- Adrien Bennetot1
- Aggelos Karayannidis1
- Aggelos Kiayias1
- Alan Schmitt1
All papers
Loading papers…
