Amir Ali

Semantics transformation of NFA to Z notation by constructing union of regular languages

N. Zafar, N. Sabir, Amir Ali, 2008 .

A Refinement : Integration of Algebraic Automata and Z Conforming Some Important Structures

Nazir Ahmad Zafar, N. Zafar, Ajmal Hussain, 2022 .

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

Nazir Ahmad Zafar, Amir Ali, Ajmal Hussain, 2008, 2008 International Conference on Computer Science and Software Engineering.

Verifying Monoid and Group Morphisms over Strongly Connected Algebraic Automata

Nazir Ahmad Zafar, Amir Ali, Ajmal Hussain, 2010, J. Softw. Eng. Appl..

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

Nazir Ahmad Zafar, Amir Ali, Ajmal Hussain, 2009, J. Softw. Eng. Appl..