Jan Kretínský
Active 2008–2026
- Affiliations
- Technical University of MunichThis 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-0002-8122-2881
- 157
- Papers
- 2,082
- Citations
- 27
- h-index
- 58
- 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 Science89.4%
- Engineering4.3%
- Decision Sciences2%
- Biochemistry, Genetics and Molecular Biology1.2%
- Business, Management and Accounting0.5%
- Physics and Astronomy0.5%
- Other2%
Topics
- Formal Methods in Verification34.9%
- Logic, programming, and type systems9.7%
- Software Testing and Debugging Techniques8.6%
- Software Reliability and Analysis Research7.7%
- Advanced Software Engineering Methodologies6%
- Model-Driven Software Engineering Techniques5.5%
- Other27.8%
Frequent coauthors
- Maximilian Weininger31
- Tobias Meggendorfer22
- Pranav Ashok14
- Salomon Sickert13
- Tomás Brázdil13
- Kush Grover12
- Nikola Benes12
- Javier Esparza11
- Debraj Chakraborty 000210
- Jan Krcál10
- Krishnendu Chatterjee10
- Milan Ceska 000210
- Sabine Rieder10
- Sudeep Kanav10
- Muqsit Azeem9
- Stefanie Mohr9
- Julia Eisentraut8
- David Parker 00017
- Jirí Srba7
- Nils Jansen 00017
- Antonín Kucera 00016
- Vojtech Forejt6
- Kim G. Larsen5
- Kim Guldstrand Larsen5
All papers
Loading papers…
