Browse by Supervisor

Baker, Josef B. (2012). A linear grammar approach for the analysis of mathematical documents. University of Birmingham. Ph.D.

Sadawi, Noureddin (2013). A rule-based approach for recognition of chemical structure diagrams. University of Birmingham. Ph.D.

Shenaiber, Nourah (2015). Analyzing the selection of the herbrand base process for building a Smart Semantic Tree Theorem Prover. University of Birmingham. Ph.D.

Mahesar, Quratul-ain (2014). Computing relatively large algebraic structures by automated theory exploration. University of Birmingham. Ph.D.

Almomen, Randa (2018). Context classification for improved semantic understanding of mathematical formulae. University of Birmingham. Ph.D.

Xia, Fubiao (2013). Designated confirmer signatures: modelling, design and analysis. University of Birmingham. Ph.D.

Sabeghi Saroui, Behrang (2015). Recognition of mathematical handwriting on whiteboards. University of Birmingham. Ph.D.