Get started
Author

Mikheil Rukhaia

PROOFTOOL: a GUI for the GAPT Framework
2013 · Cvetan Dunchev, Alexander Leitsch, et al. · Electronic Proceedings in Theoretical Computer Science · 18
Cut-Elimination and Proof Schemata
2015 · Cvetan Dunchev, Alexander Leitsch, et al. · Lecture notes in computer science · 15
Understanding Resolution Proofs through Herbrand’s Theorem
2013 · Stefan Hetzl, Tomer Libal, et al. · Lecture notes in computer science · 13
Advanced Proof Viewing in ProofTool
2014 · Tomer Libal, Martin Riener, et al. · Electronic Proceedings in Theoretical Computer Science · 12
Semantics and Formal Analysis of Lingua Franca CPS Specifications in Rewriting Logic
2025 · Mircea Marin, Peter Csaba Ölveczky, et al. · Lecture notes in computer science · 10
Towards Integrating Attribute-Based Access Control into Ontologies
2019 · Besik Dundua, Mikheil Rukhaia · IEEE Ukraine Conference on Electrical and Computer Engineering (UKRCON) · 6
Insights Into the Enantioseparation of Polyhalogenated 4,4′‐Bipyridines With a Cellulose Tris(3,5‐Dimethylphenylcarbamate)‐Based Chiral Column by Using Supercritical Fluid Chromatography
2025 · Emmanuelle Lipka, Roberto Dallocchio, et al. · Electrophoresis · 3
PDF
Efficient Verification of Lingua Franca Programs
2026 · Peter Csaba Ölveczky, Mario Reja, et al. · Lecture notes in computer science · 2
Specification and Analysis of ABAC Policies in a Rule-Based Framework
2020 · Besik Dundua, Temur Kutsia, et al. · Springer proceedings in mathematics & statistics · 2
System Feature Description: Importing Refutations into the GAPT Framework.
2012 · Cvetan Dunchev, Alexander Leitsch, et al. · 2
Artifact for [LF-MC: An Efficient Verifier for Lingua Franca] submitted to QEST+FORMATS 2026
2026 · Reja, Mario, Rukhaia, Mikheil, et al. · Zenodo (CERN European Organization for Nuclear Research) · 1
Enumerating All Maximal Clique-Partitions of an Undirected Graph
2023 · Mircea Marin, Temur Kutsia, et al. · Electronic Proceedings in Theoretical Computer Science · 1
PDF
Unranked Nominal Unification
2022 · Besik Dundua, Temur Kutsia, et al. · Lecture notes in computer science · 1
Towards Unranked Fuzzy Theory
2020 · Anriette Bishara, Mikheil Rukhaia · IEEE International Conference on System Analysis & Intelligent Computing (SAIC) · 1
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
LF-Mc: An Efficient Verifier for Lingua Franca
2026 · Mario Reja, Mikheil Rukhaia, et al. · Lecture notes in computer science
Artifact for [Efficient Verification of Lingua Franca Programs] submitted to TACAS 2026
2026 · Reja, Mario, Rukhaia, Mikheil, et al. · Zenodo (CERN European Organization for Nuclear Research)
Project Presentation: Recursive Functions and Engineering Probabilistic Ontologies
2023 · Irakli Chitaia, Roland Omanadze, et al. · IEEE International Conference on eScience
Unranked Fuzzy Logic and Reasoning
2022 · Anriette Michel Fouad Bishara, Mikheil Rukhaia · Studies in computational intelligence
Reasoning Methods in Semantic Web
2018 · Anriette Michel Fouad Bishara, Lia Kurtanidze, et al. · International Journal of Engineering and Applied Sciences (IJEAS)
Splitting and Focusing for Full Propositional Linear Logic in the Calculus of Structures
2017 · Chaudhuri, Kaustuv, Guenot, Nicolas, et al. · HAL
About Cut-Elimination in Schematic Proofs
2013 · Mikheil Rukhaia
Works count: 23
Citation count: 89
H-index: 6
I10-index: 5
Year
Topic
Type