| Answering questions about unanswered questions of stack overflow M Asaduzzaman, AS Mashiyat, CK Roy, KA Schneider 2013 10th Working Conference on Mining Software Repositories (MSR), 97-100, 2013 | 267 | 2013 |
| Bangla off-line handwritten character recognition using superimposed matrices AS Mashiyat, AS Mehadi, KH Talukder Proc. 7th International Conf. on Computer and Information Technology, 610-614, 2004 | 22 | 2004 |
| Modeling and verifying timed compensable workflows and an application to health care AS Mashiyat, F Rabbi, W MacCaull Formal Methods for Industrial Critical Systems: 16th International Workshop …, 2011 | 12 | 2011 |
| An automated translator for model checking time constrained workflow systems AS Mashiyat, F Rabbi, H Wang, W MacCaull Formal Methods for Industrial Critical Systems: 15th International Workshop …, 2010 | 12 | 2010 |
| Towards workflow verification N Leyla, AS Mashiyat, H Wang, W MacCaull Proceedings of the 2010 Conference of the Center for Advanced Studies on …, 2010 | 11 | 2010 |
| Roy, and Kevin A Schneider. Answering questions about unanswered questions of stack overflow M Asaduzzaman, AS Mashiyat, K Chanchal Proceedings of the 10th Working Conference on Mining Software Repositories …, 0 | 11 | |
| Using developer conversations to resolve uncertainty in software development: A position paper AS Mashiyat, M Famelis, R Salay, M Chechik Proceedings of the 4th International Workshop on Recommendation Systems for …, 2014 | 10 | 2014 |
| Workflow verification with divine N Leyla, A Mashiyat, H Wang, W MacCaull 8th International Workshop on Parallel and Distributed Methods in …, 2009 | 7 | 2009 |
| Model checking workflow monitors and its application to a pain management process F Rabbi, AS Mashiyat, W MacCaull Foundations of Health Informatics Engineering and Systems: First …, 2012 | 5 | 2012 |
| Verification of time-constrained workflows in a distributed memory environment AS Mashiyat M. Sc. Thesis, St. Francis Xavier University (May 2011), 2012 | 3 | 2012 |
| Design And Implementation of a Model of a Specification Language for Formal Verification AS Mashiyat, MR Rahman, KH Talukder | | |
