Ajmal Hussain

According to our database, Ajmal Hussain authored at least 3 papers between 2008 and 2010.

Collaborative distances:

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

2010

Verifying Monoid and Group Morphisms over Strongly Connected Algebraic Automata.

Nazir Ahmad Zafar, Ajmal Hussain, Amir Ali

J. Softw. Eng. Appl., 2010

2009

Refinement in Formal Proof of Equivalence in Morphisms over Strongly Connected Algebraic Automata.

Nazir Ahmad Zafar, Ajmal Hussain, Amir Ali

J. Softw. Eng. Appl., 2009

2008

Formal Proof of Equivalence in Endomorphisms and Automorphisms over Strongly Connected Automata.

Nazir Ahmad Zafar, Ajmal Hussain, Amir Ali

Proceedings of the International Conference on Computer Science and Software Engineering, 2008