Mai Ajspur

According to our database, Mai Ajspur authored at least 7 papers between 2012 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2019

A Decomposed Fourier-Motzkin Elimination Framework to Derive Vessel Capacity Models.

Mai Lise Ajspur, Rune Møller Jensen, Kent Høj Andersen

Proceedings of the Computational Logistics - 10th International Conference, 2019

2018

Optimised determinisation and completion of finite tree automata.

John P. Gallagher, Mai Ajspur, Bishoksan Kafle

J. Log. Algebraic Methods Program., 2018

The Standard Capacity Model: Towards a Polyhedron Representation of Container Vessel Capacity.

Rune Møller Jensen, Mai Lise Ajspur

Proceedings of the Computational Logistics - 9th International Conference, 2018

2015

An Optimised Algorithm for Determinisation and Completion of Finite Tree Automata.

John P. Gallagher, Mai Ajspur, Bishoksan Kafle

CoRR, 2015

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

Tableaux-Based Decision Method for Single-Agent Linear Time Synchronous Temporal Epistemic Logics with Interacting Time and Knowledge.

Mai Ajspur, Valentin Goranko

Proceedings of the Logic and Its Applications, 5th Indian Conference, 2013

2012

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