Strategies in PRholog - Besik Dundua; Temur Kutsia; Mircea Marin (WRS, 2009)

A Rule-Based Approach to XML Processing and Web Reasoning. - Jorge Coelho 001; Besik Dundua; Mário Florido; Temur Kutsia (RR, 2010)

Constraint Logic Programming for Hedges: A Semantic Reconstruction. - Besik Dundua; Mário Florido; Temur Kutsia; Mircea Marin (FLOPS, 2014)

Lambda Calculus with Regular Types. - Besik Dundua; Mário Florido; Temur Kutsia (SYNASC, 2015)

CLP(H): Constraint Logic Programming for Hedges. - Besik Dundua; Mário Florido; Temur Kutsia; Mircea Marin (CoRR, 2015)

A Constraint Solver for Equations over Sequences and Contexts. - Mariam Beriashvili; Besik Dundua (ICCSAMA, 2016)

P-rho-Log: Combining Logic Programming with Conditional Transformation Systems. - Besik Dundua; Temur Kutsia; Klaus Reisenberger-Hagmayer (ICLP (Technical Communications), 2016)

A rewrite-based computational model for functional logic programming. - Mircea Marin; Temur Kutsia; Besik Dundua (SCSS, 2016)

CLP(H): Constraint logic programming for hedges. - Besik Dundua; Mário Florido; Temur Kutsia; Mircea Marin (Theory Pract. Log. Program., 2016)

An Overview of PρLog. - Besik Dundua; Temur Kutsia; Klaus Reisenberger-Hagmayer (PADL, 2017)

Pattern-based calculi with finitary matching. - Sandra Alves; Besik Dundua; Mário Florido; Temur Kutsia (Log. J. IGPL, 2018)

Variadic Equational Matching. - Besik Dundua; Temur Kutsia; Mircea Marin (CICM, 2019)

A Rule-based Approach to the Decidability of Safety of ABACα. - Mircea Marin; Temur Kutsia; Besik Dundua (SACMAT, 2019)

Unranked Nominal Unification. - Besik Dundua; Temur Kutsia; Mikheil Rukhaia (TbiLLC, 2019)

Constraint Solving over Multiple Similarity Relations. - Besik Dundua; Temur Kutsia; Mircea Marin; Ioana-Cleopatra Pau (FSCD, 2020)

A Rule-Based System for Computation and Deduction in Mathematica. - Mircea Marin; Besik Dundua; Temur Kutsia (WRLA@ETAPS, 2020)

Smartphone Sensor-Based Fall Detection Using Machine Learning Algorithms. - Mariam Dedabrishvili; Besik Dundua; Natia Mamaiashvili (IEA/AIE (1), 2021)

PρLog: a system for rule-based programming. - Besik Dundua (CoRR, 2021)

Variadic equational matching in associative and commutative theories. - Besik Dundua; Temur Kutsia; Mircea Marin (J. Symb. Comput., 2021)

Regular matching problems for infinite trees. - Carlos Camino; Volker Diekert; Besik Dundua; Mircea Marin; Géraud Sénizergues (Log. Methods Comput. Sci., 2022)

PDAN Light: An Improved Attention Network for Action Detection. - David García-Retuerta; Besik Dundua; Mariam Dedabrishvili (IEA/AIE (1), 2023)

Prenex universal first-order safety properties. - Besik Dundua; Ioane Kapanadze; Helmut Seidl (Inf. Process. Lett., 2024)

Higher-Order Pattern Unification Modulo Similarity Relations. - Besik Dundua; Temur Kutsia (CoRR, 2025)