Vojtech Forejt
Active 2006–2025
- Also published as
- Vojtěch Forejt
- 41
- Papers
- 1,769
- Citations
- 23
- h-index
- 27
- 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
- University of Oxford16.6%
- RWTH Aachen University12.8%
- Technische Universität Dresden11.8%
- Masaryk University7.2%
- Technical University of Munich6.9%
- Saarland University6.7%
- Other38%
Fields
- Computer Science88.5%
- Engineering4%
- Decision Sciences3.5%
- Biochemistry, Genetics and Molecular Biology1.5%
- Economics, Econometrics and Finance0.7%
- Business, Management and Accounting0.4%
- Other1.4%
Topics
- Formal Methods in Verification33.7%
- Software Reliability and Analysis Research10.5%
- Advanced Software Engineering Methodologies7.9%
- Software Testing and Debugging Techniques7.4%
- Logic, Reasoning, and Knowledge6.1%
- Petri Nets in System Modeling5.9%
- Other28.4%
Frequent coauthors
- Tomás Brázdil15
- Marta Z. Kwiatkowska11
- Antonín Kucera 00019
- David Parker 00019
- Krishnendu Chatterjee7
- Jan Kretínský6
- Aistis Simaitis5
- Taolue Chen 00015
- Václav Brozek5
- Ashutosh Trivedi 00014
- Jan Krcál4
- Mateusz Ujma4
- Gethin Norman3
- James Worrell 00013
- Petr Jancar3
- Stefan Kiefer3
- Antonı́n Kučera2
- Daniel Kroening2
- Ganesh Narayanaswamy2
- Hongyang Qu 00012
- Marta Kwiatkowska2
- Martin Chmelik2
- Petr Novotný 00012
- Rajeev Alur2
All papers
Loading papers…
