Jan Křetínský
Impact in
- Software top 5%
- Software Reliability and Analysis Research
- Model-Driven Software Engineering Techniques
- Software Testing and Debugging Techniques
-
- Formal Methods in Verification
- Petri Nets in System Modeling
Papers in
-
- Formal Methods in Verification 34
- semigroups and automata theory 7
- Petri Nets in System Modeling 4
-
- Logic, programming, and type systems 14
- Logic, Reasoning, and Knowledge 9
- AI-based Problem Solving and Planning 4
- Co-authors
- Tomǎš Brázdil (5 shared papers)Vojtěch Forejt (3 shared papers)Antonı́n Kučera (4 shared papers)Nikola Beneš (6 shared papers)Krishnendu Chatterjee (4 shared papers)Jiřı́ Srba (4 shared papers)Kim G. Larsen (4 shared papers)Maximilian Weininger (8 shared papers)
In The Last Decade
Jan Křetínský
41 papers receiving 215 citations
Peers
Comparison fields: 5 of 37
- Software 73
- Computational Theory and Mathematics 159
- Artificial Intelligence 138
- Hardware and Architecture 15
- Management Science and Operations Research 20
Countries citing papers authored by Jan Křetínský
This map shows the geographic impact of Jan Křetínský's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Jan Křetínský with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Jan Křetínský more than expected).
Fields of papers citing papers by Jan Křetínský
This network shows the impact of papers produced by Jan Křetínský. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Jan Křetínský. The network helps show where Jan Křetínský may publish in the future.
Co-authors
The 25 scholars most cited alongside Jan Křetínský, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.
All Works
Showing the 20 most-cited of 43 papers — load more, or switch the sort, to bring in the rest.
| # | Work | ||
|---|---|---|---|
| 1 | 2021 | 24 | |
| 2 | 2009 | 23 | |
| 3 | 2008 | 23 | |
| 4 | 2009 | 12 | |
| 5 | 2015 | 11 | |
| 6 | 2015 | 11 | |
| 7 | 2016 | 11 | |
| 8 | 2020 | 10 | |
| 9 | 2016 | 10 | |
| 10 | 2013 | 8 | |
| 11 | 2017 | 7 | |
| 12 | 2017 | 6 | |
| 13 | 2022 | 6 | |
| 14 | 2012 | 5 | |
| 15 | 2016 | 5 | |
| 16 | 2015 | 5 | |
| 17 | 2022 | 4 | |
| 18 | 2021 | 4 | |
| 19 | 2023 | 3 | |
| 20 | 2020 | 3 |
About Jan Křetínský
Jan Křetínský is a scholar working on Computational Theory and Mathematics, Artificial Intelligence, Software, Management Science and Operations Research and Computer Networks and Communications, having authored 43 papers that have together received 226 indexed citations. Recurring topics across this work include Formal Methods in Verification (34 papers), Logic, programming, and type systems (14 papers), Logic, Reasoning, and Knowledge (9 papers), semigroups and automata theory (7 papers), Software Reliability and Analysis Research (6 papers), Software Testing and Debugging Techniques (4 papers), AI-based Problem Solving and Planning (4 papers) and Petri Nets in System Modeling (4 papers). The work is most often cited by research in Software (73 citations), Computational Theory and Mathematics (159 citations), Artificial Intelligence (138 citations), Hardware and Architecture (15 citations) and Management Science and Operations Research (20 citations). Jan Křetínský has collaborated with scholars based in Germany, Czechia and Austria. Frequent co-authors include Tomǎš Brázdil, Vojtěch Forejt, Antonı́n Kučera, Nikola Beneš, Krishnendu Chatterjee, Jiřı́ Srba, Kim G. Larsen, Maximilian Weininger, Salomon Sickert and Javier Esparza. Their work appears in journals such as Information and Computation, Formal Methods in System Design, International Journal on Software Tools for Technology Transfer, Acta Informatica and Nonlinear Analysis Hybrid Systems.
Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.