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
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
Co-authors
9 total
Besik Dundua
Besik Dundua
Kutaisi International University
David M. Cerna
David M. Cerna
Czech Academy of Sciences Institute of Computer Science
Mateu Villaret Auselle
Mateu Villaret Auselle
Universitat de Girona
Laura Kovacs
Laura Kovacs
TU Wien, Vienna, Austria
Mauricio Ayala Rincon
Mauricio Ayala Rincon
Professor of Computer Science and Mathematics, Universidade de Brasilia
Daniele Nantes-Sobrinho
Daniele Nantes-Sobrinho
Researcher, Imperial College London and Professor of Mathematics, University of Brasília
Manfred Schmidt-Schauß
Manfred Schmidt-Schauß
Professor für Informatik, Goethe-University Frankfurt
Maribel Fernandez
Maribel Fernandez
Professor of Computer Science, King's College London