Ahmed Shah Mashiyat
University of Toronto(CA)
Publications by Year
Research Areas
Business Process Modeling and Analysis, Formal Methods in Verification, Semantic Web and Ontologies, Service-Oriented Architecture and Web Services, Logic, programming, and type systems
Most-Cited Works
- → Answering questions about unanswered questions of Stack Overflow(2013)216 cited
- → Modeling and Verifying Timed Compensable Workflows and an Application to Health Care(2011)9 cited
- → Using developer conversations to resolve uncertainty in software development: a position paper(2014)7 cited
- → Towards workflow verification(2010)7 cited
- → An Automated Translator for Model Checking Time Constrained Workflow Systems(2010)7 cited
- → Model Checking Workflow Monitors and Its Application to a Pain Management Process(2012)5 cited
- → Towards a tableau based high performance automated theorem prover(2010)2 cited
- → A Tableau Based Automated Theorem Prover Using High Performance Computing(2012)
- → Contents(2013)