Besik Dundua
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
9
Active years
2014–2026
Best venue rank
B
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FOSSACS | Lambda Galore. | Mariangiola Dezani-Ciancaglini, Besik Dundua, Furio Honsell |
| 2026 | MFCS | Quantitative Equational Rewriting. | Besik Dundua, Georg Ehling, Santiago Escobar, Maribel Fernndez, Temur Kutsia |
| 2025 | LOPSTR | Higher-Order Pattern Unification Modulo Similarity Relations. | Besik Dundua, Temur Kutsia |
| 2020 | FSCD | Constraint Solving over Multiple Similarity Relations. | Besik Dundua, Temur Kutsia, Mircea Marin, Ioana-Cleopatra 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 |
| 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 |