Domain-specific Model Checking with Bogor SAnToS Laboratory, Kansas State University, USA US Army Research Office (ARO)
Automated Analysis and Code Generation for Domain-Specific Models
LinkedPPI: Enabling Intutive, Integrative Protein-Protein Interaction Discovery Laleh Kazemzadeh, Maulik R.Kamdar, Oya D.Beyan, Stefan Decker, Frank Barry.