| Cut-elimination and proof schemata C Dunchev, A Leitsch, M Rukhaia, D Weller International Tbilisi Symposium on Logic, Language, and Computation, 117-136, 2013 | 31 | 2013 |
| PROOFTOOL: a GUI for the GAPT framework C Dunchev, A Leitsch, T Libal, M Riener, M Rukhaia, D Weller, ... arXiv preprint arXiv:1307.1942, 2013 | 23 | 2013 |
| Understanding resolution proofs through Herbrand’s theorem S Hetzl, T Libal, M Riener, M Rukhaia International Conference on Automated Reasoning with Analytic Tableaux and …, 2013 | 19 | 2013 |
| Ceres for first-order schemata C Dunchev, A Leitsch, M Rukhaia, D Weller arXiv preprint arXiv:1303.4257, 2013 | 18 | 2013 |
| Advanced proof viewing in ProofTool T Libal, M Riener, M Rukhaia arXiv preprint arXiv:1410.8218, 2014 | 13 | 2014 |
| Towards integrating attribute-based access control into ontologies B Dundua, M Rukhaia 2019 IEEE 2nd Ukraine Conference on Electrical and Computer Engineering …, 2019 | 11 | 2019 |
| Unranked tableaux calculus for web related applications B Dundua, L Kurtanidze, M Rukhaia 2017 IEEE First Ukraine Conference on Electrical and Computer Engineering …, 2017 | 6 | 2017 |
| System Feature Description: Importing Refutations into the GAPT Framework. C Dunchev, A Leitsch, T Libal, M Riener, M Rukhaia, D Weller, BW Paleo PxTP, 51-57, 2012 | 6 | 2012 |
| CERES in proof schemata M Rukhaia Technische Universität Wien, 2012 | 6 | 2012 |
| About Cut-Elimination in Schematic Proofs: A Monograph M Rukhaia LAP LAMBERT Academic Publishing, 2013 | 4 | 2013 |
| Towards unranked fuzzy theory A Bishara, M Rukhaia 2020 IEEE 2nd International Conference on System Analysis & Intelligent …, 2020 | 2 | 2020 |
| Ceres and fast cut-elimination M Rukhaia, G Kutaisi na, 2009 | 2 | 2009 |
| Specification and analysis of abac policies in a rule-based framework B Dundua, T Kutsia, M Marin, M Rukhaia International Conference on Applications of Mathematics and Informatics in …, 2019 | 1 | 2019 |
| PρLog for Access Control B Dundua, K Rukhaia, M RUKHAIA, L Tibua Journal of Technical Science and Technologies 5 (2), 41-44, 2016 | 1 | 2016 |
| Ceres for propositional proof schemata C Dunchev, A Leitsch, M Rukhaia, D Weller Technical report, Vienna University of Technology, 2012 | 1 | 2012 |
| Probabilized Unranked Sequent Calculus M Bishara, L Kurtanidze, M Rukhaia, L Tibua Logic and Applications LAP 2024, 13, 2024 | | 2024 |
| Project Presentation: Recursive Functions and Engineering Probabilistic Ontologies I Chitaia, R Omanadze, M Rukhaia 2023 IEEE 19th International Conference on e-Science (e-Science), 1-2, 2023 | | 2023 |
| Enumerating All Maximal Clique-Partitions of an Undirected Graph M Marin, T Kutsia, C Pau, M Rukhaia arXiv preprint arXiv:2309.13800, 2023 | | 2023 |
| Specification and Analysis of ABAC B Dundua, T Kutsia, M Marin, M Rukhaia Applications of Mathematics and Informatics in Natural Sciences and …, 2020 | | 2020 |
| Unranked Fuzzy Logic and Reasoning AMF Bishara, M Rukhaia IEEE International Conference on System Analysis & Intelligent Computing …, 2020 | | 2020 |
