Mikheil Rukhaia

11 papers B 2Journal 1Unranked 8
YearRankTypeTitle / Venue / Authors
2026 — conf
Efficient Verification of Lingua Franca Programs.
TACAS (2)
Peter Csaba Ölveczky, Mario Reja, Mikheil Rukhaia, Kyungmin Bae, Mircea Marin
2025 — conf
Semantics and Formal Analysis of Lingua Franca CPS Specifications in Rewriting Logic.
Rebeca for Actor Analysis in Action
Mircea Marin, Peter Csaba Ölveczky, Mario Reja, Mikheil Rukhaia, Kyungmin Bae
2023 — conf
Enumerating All Maximal Clique-Partitions of an Undirected Graph.
FROM
Mircea Marin, Temur Kutsia, Cleo Pau, Mikheil Rukhaia
2023 B conf
Project Presentation: Recursive Functions and Engineering Probabilistic Ontologies.
e-Science
Irakli O. Chitaia, Roland Sh. Omanadze, Mikheil Rukhaia
2019 — conf
Unranked Nominal Unification.
TbiLLC
Besik Dundua, Temur Kutsia, Mikheil Rukhaia
2014 — conf
Advanced Proof Viewing in ProofTool.
UITP
Tomer Libal, Martin Riener, Mikheil Rukhaia
2013 J jnl
CERES for First-Order Schemata
CoRR
Cvetan Dunchev, Alexander Leitsch, Mikheil Rukhaia, Daniel Weller
2013 — conf
Cut-Elimination and Proof Schemata.
TbiLLC
Cvetan Dunchev, Alexander Leitsch, Mikheil Rukhaia, Daniel Weller
2013 B conf
Understanding Resolution Proofs through Herbrand's Theorem.
TABLEAUX
Stefan Hetzl, Tomer Libal, Martin Riener, Mikheil Rukhaia
2012 — conf
PROOFTOOL: a GUI for the GAPT Framework.
UITP
Cvetan Dunchev, Alexander Leitsch, Tomer Libal, Martin Riener, Mikheil Rukhaia, Daniel Weller, Bruno Woltzenlogel Paleo
2012 — conf
System Feature Description: Importing Refutations into the GAPT Framework.
PxTP
Cvetan Dunchev, Alexander Leitsch, Tomer Libal, Martin Riener, Mikheil Rukhaia, Daniel Weller, Bruno Woltzenlogel Paleo