Besik Dundua

31 papers B 2C 5Misc 2Journal 9Unranked 10
YearRankTypeTitle / Venue / Authors
2026 B conf
Lambda Galore.
FoSSaCS
Mariangiola Dezani-Ciancaglini, Besik Dundua, Furio Honsell
2026 — ed.
Logics in Artificial Intelligence - 19th European Conference, JELIA 2025, Kutaisi, Georgia, September 1-4, 2025, Proceedings, Part I
JELIA (1)
Giovanni Casini, Besik Dundua, Temur Kutsia
2026 — ed.
Logics in Artificial Intelligence - 19th European Conference, JELIA 2025, Kutaisi, Georgia, September 1-4, 2025, Proceedings, Part II
JELIA (2)
Giovanni Casini, Besik Dundua, Temur Kutsia
2026 J jnl
Sensible Intersection Type Theories.
CoRR
Mariangiola Dezani-Ciancaglini, Besik Dundua, Paola Giannini, Furio Honsell
2025 C conf
Higher-Order Pattern Unification Modulo Similarity Relations.
LOPSTR
Besik Dundua, Temur Kutsia
2025 J jnl
Higher-Order Pattern Unification Modulo Similarity Relations.
CoRR
Besik Dundua, Temur Kutsia
2025 — conf
Similarity-Based Constraint Solving Modulo Commutativity: A Unified Framework.
FUZZ
Besik Dundua, Demetre Labadze, Tornike Tsereteli
2024 J jnl
Prenex universal first-order safety properties.
Inf. Process. Lett.
Besik Dundua, Ioane Kapanadze, Helmut Seidl
2023 — book
Handbook of Formal Analysis and Verification in Cryptography
Sedat Akleylek, Besik Dundua
2023 — conf
PDAN Light: An Improved Attention Network for Action Detection.
IEA/AIE (1)
David García-Retuerta, Besik Dundua, Mariam Dedabrishvili
2023 C ed.
Unity of Logic and Computation - 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, Proceedings
CiE
Gianluca Della Vedova, Besik Dundua, Steffen Lempp, Florin Manea
2022 J jnl
Regular matching problems for infinite trees.
Log. Methods Comput. Sci.
Carlos Camino, Volker Diekert, Besik Dundua, Mircea Marin, Géraud Sénizergues
2021 J jnl
PρLog: a system for rule-based programming.
CoRR
Besik Dundua
2021 — conf
Smartphone Sensor-Based Fall Detection Using Machine Learning Algorithms.
IEA/AIE (1)
Mariam Dedabrishvili, Besik Dundua, Natia Mamaiashvili
2021 J jnl
Variadic equational matching in associative and commutative theories.
J. Symb. Comput.
Besik Dundua, Temur Kutsia, Mircea Marin
2020 — conf
A Rule-Based System for Computation and Deduction in Mathematica.
WRLA
Mircea Marin, Besik Dundua, Temur Kutsia
2020 B conf
Constraint Solving over Multiple Similarity Relations.
FSCD
Besik Dundua, Temur Kutsia, Mircea Marin, Ioana-Cleopatra Pau
2020 J jnl
Regular matching problems for infinite trees.
CoRR
Carlos Camino, Volker Diekert, Besik Dundua, Mircea Marin, Géraud Sénizergues
2019 C conf
A Rule-based Approach to the Decidability of Safety of ABACα.
SACMAT
Mircea Marin, Temur Kutsia, Besik Dundua
2019 — conf
Unranked Nominal Unification.
TbiLLC
Besik Dundua, Temur Kutsia, Mikheil Rukhaia
2019 C conf
Variadic Equational Matching.
CICM
Besik Dundua, Temur Kutsia, Mircea Marin
2018 J jnl
Pattern-based calculi with finitary matching.
Log. J. IGPL
Sandra Alves, Besik Dundua, Mário Florido, Temur Kutsia
2017 C conf
An Overview of PρLog.
PADL
Besik Dundua, Temur Kutsia, Klaus Reisenberger-Hagmayer
2016 — conf
A Constraint Solver for Equations over Sequences and Contexts.
ICCSAMA
Mariam Beriashvili, Besik Dundua
2016 — conf
A rewrite-based computational model for functional logic programming.
SCSS
Mircea Marin, Temur Kutsia, Besik Dundua
2016 — conf
P-rho-Log: Combining Logic Programming with Conditional Transformation Systems.
ICLP (Technical Communications)
Besik Dundua, Temur Kutsia, Klaus Reisenberger-Hagmayer
2015 J jnl
CLP(H): Constraint Logic Programming for Hedges.
CoRR
Besik Dundua, Mário Florido, Temur Kutsia, Mircea Marin
2015 Misc conf
Lambda Calculus with Regular Types.
SYNASC
Besik Dundua, Mário Florido, Temur Kutsia
2014 Misc conf
Constraint Logic Programming for Hedges: A Semantic Reconstruction.
FLOPS
Besik Dundua, Mário Florido, Temur Kutsia, Mircea Marin
2010 — conf
A Rule-Based Approach to XML Processing and Web Reasoning.
RR
Jorge Coelho, Besik Dundua, Mário Florido, Temur Kutsia
2009 — conf
Strategies in PRholog
WRS
Besik Dundua, Temur Kutsia, Mircea Marin