Roman Kuznets
- Artificial Intelligence top 10%
- Computational Theory and Mathematics top 5%
- Philosophy
- Computer Networks and Communications
- Experimental and Cognitive Psychology
- Co-authors
- Sergei ArtëmovThomas StuderKai BrünnlerMelvin FittingBryan RenneLutz StraßburgerSamuel R. BussUlrich Schmid
- Topics
- Logic, Reasoning, and Knowledge (25 papers)Logic, programming, and type systems (15 papers)Advanced Algebra and Logic (11 papers)
- Journals
- Theoretical Computer ScienceJournal of Computer and System SciencesTheory of Computing Systems
- Partner nations
- SwitzerlandAustriaUnited States
In The Last Decade
Roman Kuznets
23 papers receiving 184 citations
Peers
Comparison fields: 5 of 12
- Artificial Intelligence 183
- Computational Theory and Mathematics 103
- Philosophy 10
- Computer Networks and Communications 5
- Experimental and Cognitive Psychology 4
Countries citing papers authored by Roman Kuznets
This map shows the geographic impact of Roman Kuznets'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 Roman Kuznets with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Roman Kuznets more than expected).
Fields of papers citing papers by Roman Kuznets
This network shows the impact of papers produced by Roman Kuznets. 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 Roman Kuznets. The network helps show where Roman Kuznets may publish in the future.
Co-authorship network of co-authors of Roman Kuznets
This figure shows the co-authorship network connecting the top 25 collaborators of Roman Kuznets. A scholar is included among the top collaborators of Roman Kuznets based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Roman Kuznets. Roman Kuznets is excluded from the visualization to improve readability, since they are connected to all nodes in the network.
All Works
| # | Work | Indexed citations |
|---|---|---|
| 1 | 0 | |
| 2 | 0 | |
| 3 | 1 | |
| 4 | 3 | |
| 5 | Interpolation for Intermediate Logics via Hyper- and Linear Nested Sequents. | 1 |
| 6 | 4 | |
| 7 | 6 | |
| 8 | 3 | |
| 9 | 7 | |
| 10 | 11 | |
| 11 | Justifications, Ontology, and Conservativity. | 10 |
| 12 | Dialogues games for classical logic (short paper) | 2 |
| 13 | 4 | |
| 14 | A syntactic realization theorem for justification logics | 8 |
| 15 | 7 | |
| 16 | Justified belief change | 8 |
| 17 | A Note on the Use of Sum in the Logic of Proofs | 2 |
| 18 | 19 | |
| 19 | Complexity issues in justification logic | 26 |
| 20 | 17 |
About Roman Kuznets
Roman Kuznets is a scholar working on Computational Theory and Mathematics, Artificial Intelligence and Philosophy, having authored 25 papers that have together received 188 indexed citations. Recurring topics across this work include Logic, Reasoning, and Knowledge (25 papers), Logic, programming, and type systems (15 papers) and Advanced Algebra and Logic (11 papers). The work is most often cited by research in Computational Theory and Mathematics (103 citations), Artificial Intelligence (183 citations) and Philosophy (10 citations). Roman Kuznets has collaborated with scholars based in Switzerland, Austria and United States. Frequent co-authors include Sergei Artëmov, Thomas Studer, Kai Brünnler, Melvin Fitting, Bryan Renne, Lutz Straßburger, Samuel R. Buss, Ulrich Schmid, Hans van Ditmarsch and Sara L. Uckelman. Their work appears in journals such as Theoretical Computer Science, Journal of Computer and System Sciences and Theory of Computing 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.