Get started
Author

Besik Dundua

Observed names: BESIK DUNDUA, Besik DUNDUA, Dundua, Besik
Observed institutions: University of Stuttgart, Tbilisi State University, Johannes Kepler University of Linz, Universidade do Porto, Kutaisi International University, University of Georgia, International Black Sea University, Sokhumi State University
ORCID: 0000-0003-4754-4163
Observed ORCIDs: 0000-0003-4754-4163, 0009-0006-7513-4232
OpenAlex ID: A5039986302
A Rule-based Approach to the Decidability of Safety of ABACα
2019 · Mircea Marin, Temur Kutsia, et al. · ACM Symposium on Access Control Models and Technologies (SACMAT) · 11
A Rule-Based Approach to XML Processing and Web Reasoning
2010 · Jorge Coelho, Besik Dundua, et al. · Lecture notes in computer science · 9
An Overview of P $$\rho $$ Log
2016 · Besik Dundua, Temur Kutsia, et al. · Lecture notes in computer science · 7
Towards Integrating Attribute-Based Access Control into Ontologies
2019 · Besik Dundua, Mikheil Rukhaia · IEEE Ukraine Conference on Electrical and Computer Engineering (UKRCON) · 6
Strategies in PRholog
2010 · Besik Dundua, Temur Kutsia, et al. · Electronic Proceedings in Theoretical Computer Science · 6
Constraint Solving over Multiple Similarity Relations
2020 · Dundua, Besik, Kutsia, Temur, et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 5
PDF
CLP(H):Constraint logic programming for hedges
2015 · BESIK DUNDUA, MÁRIO FLORIDO, et al. · Theory and Practice of Logic Programming · 5
PDF
Constraint Logic Programming for Hedges: A Semantic Reconstruction
2014 · Besik Dundua, Mário Florido, et al. · Lecture notes in computer science · 5
Handbook of Formal Analysis and Verification in Cryptography
2023 · Sedat Akleylek, Besik Dundua · CRC Press eBooks · 4
Smartphone Sensor-Based Fall Detection Using Machine Learning Algorithms
2021 · Mariam Dedabrishvili, Besik Dundua, et al. · Lecture notes in computer science · 4
Pattern-based calculi with finitary matching
2017 · Sandra Alves, Besik Dundua, et al. · Logic Journal of IGPL · 4
PDF
An Overview of PρLog.
2017 · Besik Dundua, Temur Kutsia, et al. · Practical Aspects of Declarative Languages · 4
Strategies in PρLog
2010 · Besik Dundua, Temur Kutsia, et al. · 4
Unity of Logic and Computation: 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24–28, 2023, Proceedings
2023 · Gianluca Della Vedova, Besik Dundua, et al. · Lecture notes in computer science · 3
Regular matching problems for infinite trees
2022 · Carlos Camino, Volker Diekert, et al. · Logical Methods in Computer Science · 2
PDF
Specification and Analysis of ABAC Policies in a Rule-Based Framework
2020 · Besik Dundua, Temur Kutsia, et al. · Springer proceedings in mathematics & statistics · 2
Extending the $$\rho $$Log Calculus with Proximity Relations
2020 · Besik Dundua, Temur Kutsia, et al. · Springer proceedings in mathematics & statistics · 2
Variadic Equational Matching
2019 · Besik Dundua, Temur Kutsia, et al. · Lecture notes in computer science · 2
Logics in Artificial Intelligence: 19th European Conference, JELIA 2025, Kutaisi, Georgia, September 1–4, 2025, Proceedings, Part I
2025 · Giovanni Casini, Besik Dundua, et al. · Lecture notes in computer science · 1
Higher-Order Pattern Unification Modulo Similarity Relations
2025 · Dundua, Besik, Kutsia, Temur · arXiv (Cornell University) · 1
PDF
Unranked Nominal Unification
2022 · Besik Dundua, Temur Kutsia, et al. · Lecture notes in computer science · 1
Variadic equational matching in associative and commutative theories
2021 · Besik Dundua, Temur Kutsia, et al. · Journal of Symbolic Computation · 1
PDF
Unranked tableaux calculus for web related applications
2017 · Besik Dundua, Lia Kurtanidze, et al. · IEEE Ukraine Conference on Electrical and Computer Engineering (UKRCON) · 1
PρLog for Access Control
2017 · Besik DUNDUA, Khimuri RUKHAIA, et al. · Journal of Technical Science and Technologies · 1
PDF
A Constraint Solver for Equations over Sequences and Contexts
2016 · Mariam Beriashvili, Besik Dundua · Advances in intelligent systems and computing · 1
Works count: 46
Citation count: 93
H-index: 5
I10-index: 1
Year
Topic
Type