Temur Kutsia
Scholar

Temur Kutsia

Google Scholar ID: IsntQmgAAAAJ
Research Institute for Symbolic Computation, Johannes Kepler University Linz
Unification and anti-unificationrule-based programmingrewritingsymbolic constraint solvingautomated reasoning
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,534
 
H-index
20
 
i10-index
49
 
Publications
20
 
Co-authors
32
list available
Contact
No contact links provided.
Publications
6 items
Anti-Unification Completeness Analysis in PVS
2026
Cited
0
Generalization of Variadic Structures with Binders: A Tool for Structural Code Comparison
2025
Cited
0
Graded Quantitative Narrowing
2025
Cited
0
Higher-Order Pattern Unification Modulo Similarity Relations
2025
Cited
0
Generalization Problems with Atom-Variables in Languages with Binders and Equational Theories
2025
Cited
0
Nominal Anti-Unification
International Conference on Rewriting Techniques and Applications · 2015
Cited
13
Resume (English only)
Co-authors
32 total
Co-author 1
Co-author 1
Co-author 2
Co-author 2
Besik Dundua
Besik Dundua
Kutaisi International University
David M. Cerna
David M. Cerna
Czech Academy of Sciences Institute of Computer Science
Co-author 5
Co-author 5
Co-author 6
Co-author 6
Mateu Villaret Auselle
Mateu Villaret Auselle
Universitat de Girona
Co-author 8
Co-author 8