default search action

combined dblp search
author search
venue search
publication search

ask others

Ahmed Shah Mashiyat

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2014
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/MashiyatFSC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/MashiyatFSC14
Ahmed Shah Mashiyat, Michalis Famelis, Rick Salay, Marsha Chechik:
Using developer conversations to resolve uncertainty in software development: a position paper. RSSE@ICSE 2014: 1-5
2013
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/msr/AsaduzzamanMRS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/msr/AsaduzzamanMRS13
Muhammad Asaduzzaman, Ahmed Shah Mashiyat, Chanchal K. Roy, Kevin A. Schneider:
Answering questions about unanswered questions of stack overflow. MSR 2013: 97-100
2012
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/jcp/IslamMKK12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcp/IslamMKK12
Md Zahidul Islam, Ahmed Shah Mashiyat, Kashif Nizam Khan, S. M. Masud Karim:
A Tableau Based Automated Theorem Prover Using High Performance Computing. J. Comput. 7(3): 597-607 (2012)
2011
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/fhies/RabbiMM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fhies/RabbiMM11
Fazle Rabbi, Ahmed Shah Mashiyat, Wendy MacCaull:
Model Checking Workflow Monitors and Its Application to a Pain Management Process. FHIES 2011: 111-128
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/MashiyatRM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/MashiyatRM11
Ahmed Shah Mashiyat, Fazle Rabbi, Wendy MacCaull:
Modeling and Verifying Timed Compensable Workflows and an Application to Health Care. FMICS 2011: 244-259
2010
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/cascon/LeylaMWM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cascon/LeylaMWM10
Nazia Leyla, Ahmed Shah Mashiyat, Hao Wang, Wendy MacCaull:
Towards workflow verification. CASCON 2010: 253-267
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/MashiyatRWM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/MashiyatRWM10
Ahmed Shah Mashiyat, Fazle Rabbi, Hao Wang, Wendy MacCaull:
An Automated Translator for Model Checking Time Constrained Workflow Systems. FMICS 2010: 99-114

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.