| 2026 | MFCS | Quantitative Equational Rewriting. | Besik Dundua, Georg Ehling, Santiago Escobar, Maribel Fernndez, Temur Kutsia |
| 2025 | FSCD | Combining Generalization Algorithms in Regular Collapse-Free Theories. | Mauricio Ayala-Rincn, David M. Cerna, Temur Kutsia, Christophe Ringeissen |
| 2025 | LOPSTR | Higher-Order Pattern Unification Modulo Similarity Relations. | Besik Dundua, Temur Kutsia |
| 2024 | IJCAR | Equational Anti-unification over Absorption Theories. | Mauricio Ayala-Rincn, David M. Cerna, Andres Felipe Gonzalez Barragan, Temur Kutsia |
| 2024 | IJCAR | Solving Quantitative Equations. | Georg Ehling, Temur Kutsia |
| 2023 | IJCAI | Anti-unification and Generalization: A Survey. | David M. Cerna, Temur Kutsia |
| 2022 | CADE | A Framework for Approximate Generalization in Quantitative Theories. | Temur Kutsia, Cleo Pau |
| 2020 | FSCD | Unital Anti-Unification: Type and Algorithms. | David M. Cerna, Temur Kutsia |
| 2020 | FSCD | Constraint Solving over Multiple Similarity Relations. | Besik Dundua, Temur Kutsia, Mircea Marin, Ioana-Cleopatra Pau |
| 2019 | LOPSTR | Solving Proximity Constraints. | Temur Kutsia, Cleo Pau |
| 2019 | SACMAT | A Rule-based Approach to the Decidability of Safety of ABACα. | Mircea Marin, Temur Kutsia, Besik Dundua |
| 2017 | PADL | An Overview of PρLog. | Besik Dundua, Temur Kutsia, Klaus Reisenberger-Hagmayer |
| 2016 | ICLP | P-rho-Log: Combining Logic Programming with Conditional Transformation Systems. | Besik Dundua, Temur Kutsia, Klaus Reisenberger-Hagmayer |
| 2016 | KR | Anti-Unification of Concepts in Description Logic EL. | Boris Konev, Temur Kutsia |
| 2016 | LOPSTR | Nominal Unification of Higher Order Expressions with Recursive Let. | Manfred Schmidt-Schau, Temur Kutsia, Jordi Levy, Mateu Villaret |
| 2016 | RV | Predicting Space Requirements for a Stream Monitor Specification Language. | David M. Cerna, Wolfgang Schreiner, Temur Kutsia |
| 2015 | SYNASC | Lambda Calculus with Regular Types. | Besik Dundua, Mrio Florido, Temur Kutsia |
| 2014 | FLOPS | Constraint Logic Programming for Hedges: A Semantic Reconstruction. | Besik Dundua, Mrio Florido, Temur Kutsia, Mircea Marin |
| 2014 | JELIA | A Library of Anti-unification Algorithms. | Alexander Baumgartner, Temur Kutsia |
| 2014 | WoLLIC | Unranked Second-Order Anti-Unification. | Alexander Baumgartner, Temur Kutsia |
| 2012 | SYNASC | Solving, Reasoning, and Programming in Common Logic. | Temur Kutsia, Mircea Marin |
| 2010 | DLT | Regular Hedge Language Factorization Revisited. | Mircea Marin, Temur Kutsia |
| 2009 | ADBIS | Linear Systems for Regular Hedge Languages. | Mircea Marin, Temur Kutsia |
| 2009 | IRI | Collaborative Schema Construction using Regular Sequence Types. | Jorge Coelho, Mrio Florido, Temur Kutsia |
| 2007 | WISE | Sequence Disunification and Its Application in Collaborative Schema Construction. | Jorge Coelho, Mrio Florido, Temur Kutsia |
| 2005 | LPAR | Matching with Regular Constraints. | Temur Kutsia, Mircea Marin |
| 2005 | LPAR | The Theorema Environment for Interactive Proof Development. | Florina Piroi, Temur Kutsia |
| 2004 | AISC | Solving Equations Involving Sequence Variables and Sequence Functions. | Temur Kutsia |
| 2002 | AISC | Unification with Sequence Variables and Flexible Arity Symbols and Its Extension with Pattern-Terms. | Temur Kutsia |
| 2002 | LPAR | Theorem Proving with Sequence Variables and Flexible Arity Symbols. | Temur Kutsia |