Vesa Halava
Active 1997–2026
- Affiliations
- University of TurkuTurku Centre for Computer ScienceThis 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.
- ORCID
- 0000-0003-3633-4902
- 72
- Papers
- 484
- Citations
- 13
- h-index
- 17
- i10-index
Self-citations are included in these numbers.
Citations per year
Citations
- 1 year (2 citations) is not shown (dated before this author's first paper)
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 Science87.8%
- Mathematics5.7%
- Biochemistry, Genetics and Molecular Biology3.4%
- Agricultural and Biological Sciences1.1%
- Engineering0.8%
- Economics, Econometrics and Finance0.4%
- Other0.8%
Topics
- semigroups and automata theory31%
- Algorithms and Data Compression12.3%
- DNA and Biological Computing11%
- Formal Methods in Verification7.7%
- Logic, programming, and type systems7.5%
- Computability, Logic, AI Algorithms6.1%
- Other24.4%
Frequent coauthors
- Tero Harju48
- Mika Hirvensalo11
- Juhani Karhumäki9
- Tomi Kärki8
- Igor Potapov7
- Michel Latteux6
- Reino Niskanen6
- Esa Sahla5
- Yuri V. Matiyasevich4
- Hendrik Jan Hoogeboom3
- Dirk Nowotka2
- Jarkko Kari 00012
- Lucian Ilie2
- Olivier Finkel2
- Paul Bell2
- Ronald de Wolf2
- Stepan Holub2
- François Nicolas1
- Grzegorz Rozenberg1
- Julien Cassaigne1
- Mari Ernvall1
- Michel Rigo1
- Mikhail V. Volkov 00011
- Patrice Séébold1
All papers
Loading papers…
