Temur Kutsia

767 total citations
53 papers, 205 citations indexed

About

Temur Kutsia is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications. According to data from OpenAlex, Temur Kutsia has authored 53 papers receiving a total of 205 indexed citations (citations by other indexed papers that have themselves been cited), including 47 papers in Artificial Intelligence, 27 papers in Computational Theory and Mathematics and 13 papers in Computer Networks and Communications. Recurrent topics in Temur Kutsia's work include Logic, programming, and type systems (34 papers), semigroups and automata theory (13 papers) and Logic, Reasoning, and Knowledge (13 papers). Temur Kutsia is often cited by papers focused on Logic, programming, and type systems (34 papers), semigroups and automata theory (13 papers) and Logic, Reasoning, and Knowledge (13 papers). Temur Kutsia collaborates with scholars based in Austria, Spain and Georgia. Temur Kutsia's co-authors include Jordi Levy, Mateu Villaret, Bruno Buchberger, Tudor Jebelean, Alexander Baumgärtner, Laura Kovács, Florina Piroi, Markus Rosenkranz, Koji Nakagawa and Boris Konev and has published in prestigious journals such as SHILAP Revista de lepidopterología, Lecture notes in computer science and Information and Computation.

In The Last Decade

Temur Kutsia

43 papers receiving 179 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name h Career Trend Papers Cites
Temur Kutsia Austria 7 175 105 47 27 19 53 205
Uwe Waldmann Germany 7 148 0.8× 125 1.2× 19 0.4× 25 0.9× 15 0.8× 30 174
Witold Charatonik Poland 8 139 0.8× 127 1.2× 36 0.8× 13 0.5× 11 0.6× 31 166
Sophie Tison France 7 161 0.9× 148 1.4× 41 0.9× 18 0.7× 11 0.6× 30 199
Paulo A. S. Veloso Brazil 7 131 0.7× 88 0.8× 42 0.9× 15 0.6× 16 0.8× 51 166
Alban Ponse Netherlands 9 185 1.1× 202 1.9× 22 0.5× 21 0.8× 9 0.5× 46 243
Andrzej S. Murawski United Kingdom 10 278 1.6× 218 2.1× 30 0.6× 27 1.0× 21 1.1× 41 299
Vincent van Oostrom Netherlands 9 174 1.0× 145 1.4× 23 0.5× 25 0.9× 10 0.5× 26 201
Silvia Ghilezan Serbia 9 138 0.8× 97 0.9× 34 0.7× 11 0.4× 10 0.5× 36 165
Horatiu Cirstea France 10 223 1.3× 133 1.3× 59 1.3× 34 1.3× 26 1.4× 42 244
Florian Rabe Germany 8 153 0.9× 118 1.1× 50 1.1× 11 0.4× 10 0.5× 36 203

Countries citing papers authored by Temur Kutsia

Since Specialization
Citations

This map shows the geographic impact of Temur Kutsia'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 Temur Kutsia with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Temur Kutsia more than expected).

Fields of papers citing papers by Temur Kutsia

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Temur Kutsia. 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 Temur Kutsia. The network helps show where Temur Kutsia may publish in the future.

Co-authorship network of co-authors of Temur Kutsia

This figure shows the co-authorship network connecting the top 25 collaborators of Temur Kutsia. A scholar is included among the top collaborators of Temur Kutsia 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 Temur Kutsia. Temur Kutsia is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
2.
Ayala-Rincón, Maurício, et al.. (2024). Certified First-Order AC-Unification and Applications. Journal of Automated Reasoning. 68(4).
3.
Kutsia, Temur, et al.. (2023). Anti-unification and Generalization: A Survey. 6563–6573. 2 indexed citations
4.
Schmidt-Schauß, Manfred, et al.. (2022). Nominal Unification and Matching of Higher Order Expressions with Recursive Let. Fundamenta Informaticae. 185(3). 247–283.
5.
Kutsia, Temur. (2021). Proceedings of the 9th International Symposium on Symbolic Computation in Software Science. Electronic Proceedings in Theoretical Computer Science. 342.
6.
Kutsia, Temur, et al.. (2020). Higher-order pattern generalization modulo equational theories. Mathematical Structures in Computer Science. 30(6). 627–663. 1 indexed citations
7.
Kutsia, Temur, et al.. (2019). Idempotent Anti-unification. ACM Transactions on Computational Logic. 21(2). 1–32. 3 indexed citations
8.
Droste, Manfred, et al.. (2019). McCarthy-Kleene fuzzy automata and MSO logics. Information and Computation. 272. 104499–104499. 2 indexed citations
9.
Davenport, James H. & Temur Kutsia. (2018). Symbolic computation in software science. Journal of Symbolic Computation. 90. 1–2. 2 indexed citations
10.
Kutsia, Temur, et al.. (2017). An Overview of PρLog.. 34–49. 2 indexed citations
11.
Konev, Boris & Temur Kutsia. (2016). Anti-unification of concepts in description logic EL. Principles of Knowledge Representation and Reasoning. 227–236. 3 indexed citations
12.
Kutsia, Temur, et al.. (2014). Regular expression order-sorted unification and matching. Journal of Symbolic Computation. 67. 42–67. 4 indexed citations
13.
Kutsia, Temur. (2010). Symbolic computation in software science: Foreword from the editor. Journal of Symbolic Computation. 45(5). 499–500. 1 indexed citations
14.
Kutsia, Temur. (2008). Flat matching. Journal of Symbolic Computation. 43(12). 858–873. 4 indexed citations
15.
Kutsia, Temur. (2007). Solving equations with sequence variables and sequence functions. Journal of Symbolic Computation. 42(3). 352–388. 14 indexed citations
16.
Buchberger, Bruno, Tudor Jebelean, Laura Kovács, et al.. (2005). Theorema: Towards computer-aided mathematical theory exploration. Journal of Applied Logic. 4(4). 470–504. 51 indexed citations
17.
Kutsia, Temur. (2005). Context Sequence Matching for XML.. 103–119. 1 indexed citations
18.
Kutsia, Temur, et al.. (2003). On the Implementation of a Rule-Based Programming System and Some of its Applications. 3 indexed citations
19.
Kutsia, Temur, et al.. (2003). Programming with Transformation Rules. 1 indexed citations
20.
Kutsia, Temur. (2002). Pattern Unification with Sequence Variables, Flexible Arity Symbols.. Electronic Notes in Theoretical Computer Science. 66. 52–69.

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.

Explore authors with similar magnitude of impact

Breakdown of academic impact, for papers by Uwe Waldmann Breakdown of academic impact, for papers by Witold Charatonik Breakdown of academic impact, for papers by Sophie Tison Breakdown of academic impact, for papers by Paulo A. S. Veloso Breakdown of academic impact, for papers by Alban Ponse Breakdown of academic impact, for papers by Andrzej S. Murawski Breakdown of academic impact, for papers by Vincent van Oostrom Breakdown of academic impact, for papers by Silvia Ghilezan Breakdown of academic impact, for papers by Horatiu Cirstea Breakdown of academic impact, for papers by Florian Rabe
Rankless by CCL
2026