Tableau-based decision procedure for the multi-agent epistemic logic with all coalitional operators for common and distributed knowledge. - Mai Ajspur; Valentin Goranko; Dmitry Shkatov (CoRR, 2012)

Tableaux-Based Decision Method for Single-Agent Linear Time Synchronous Temporal Epistemic Logics with Interacting Time and Knowledge. - Mai Ajspur; Valentin Goranko (ICLA, 2013)

Tableau-based decision procedure for the multiagent epistemic logic with all coalitional operators for common and distributed knowledge. - Mai Ajspur; Valentin Goranko; Dmitry Shkatov (Log. J. IGPL, 2013)

An Optimised Algorithm for Determinisation and Completion of Finite Tree Automata. - John P. Gallagher; Mai Ajspur; Bishoksan Kafle (CoRR, 2015)

The Standard Capacity Model: Towards a Polyhedron Representation of Container Vessel Capacity. - Rune Møller Jensen; Mai Lise Ajspur (ICCL, 2018)

Optimised determinisation and completion of finite tree automata. - John P. Gallagher; Mai Ajspur; Bishoksan Kafle (J. Log. Algebraic Methods Program., 2018)

A Decomposed Fourier-Motzkin Elimination Framework to Derive Vessel Capacity Models. - Mai Lise Ajspur; Rune Møller Jensen; Kent Høj Andersen (ICCL, 2019)