Personal tools
You are here: Home / People / Muhammad Taimoor Khan / Publications
 

Publications

File DK Report 2011-05, M.T. Khan
A Type Checker for MiniMaple
File M.T. Khan and W. Schreiner. Towards a Behavioral Analysis of Computer Algebra Programs (Extended Abstract)
In Proceedings of the 23rd Nordic Workshop on Programming Theory (NWPT'11), Västerås, Sweden, P. Pettersson and C. Seceleanu, editors, ISSN 1404-3041, pp. 42--44, October 2011
File DK-Report 2011-13, M.T. Khan
Towards a Behavioral Analysis of Computer Algebra Programs
File DK-Report 2012-01, M.T. Khan
Formal Semantics of MiniMaple
File DK-Report 2012-06, M.T. Khan
Formal Semantics of a Specification Language for MiniMaple
File M.T. Khan and W. Schreiner. Towards the Formal Specification and Verification of Maple Programs.
Intelligent Computer Mathematics, Johan Jeuring, John A. Campbell, Jacques Carette, Gabriel Dos Reis, Petr Sojka, Makarius Wenzel, Volker Sorge (ed.), Lecture Notes in Artificial Intelligence (LNAI) 7362, pp. 231-247. July 2012. Springer-Verlag, Berlin/Heidelberg, ISBN 978-3-642-31373-8.
File M.T. Khan and W. Schreiner. On Formal Specification of Maple Programs.
Intelligent Computer Mathematics, Johan Jeuring, John A. Campbell, Jacques Carette, Gabriel Dos Reis, Petr Sojka, Makarius Wenzel, Volker Sorge (ed.), Lecture Notes in Artificial Intelligence (LNAI) 7362, pp. 443-447. July 2012. Springer-Verlag, Berlin/Heidelberg, ISBN 978-3-642-31373-8.
File M.T. Khan, On the Formal Semantics of MiniMaple and its Specification Language
In: Proceedings of the 10th International Conference on Frontiers of Information Technology (FIT), 2012, pp. 169-174, IEEE Computer Society. DOI 10.1109/FIT.2012.38
File DK Report 2013-02, M.T. Khan
Translation of MiniMaple to Why3ML
File M.T. Khan and W. Schreiner, A Verification Framework for MiniMaple Programs.
ACM Communications in Computer Algebra, 47(3), ?-?, 2013, Accepted extended abstract from ISSAC 2013 poster presentation.
File DK Report 2013-06, M.T. Khan
On the Formal Verification of Maple Programs.
File DK Report 2014-03, M. T. Khan
On the Soundness of the Translation of MiniMaple to Why3ML
File M. T. Khan. Formal Specification and Verification of Computer Algebra Software.
PhD Thesis, submitted 2014. Examiners: Wolfgang Schreiner, Renaud Rioboo.