Vajih Montaghami

Publication Activity (10 Years)

Years Active: 2008-2017
Publications (10 Years): 2

Top Topics

Relational Model

Database Technology

Mechanical Properties

Top Venues

Publications

Vajih Montaghami, Derek Rayside
Bordeaux: A Tool for Thinking Outside the Box. FASE (2017)
Vajih Montaghami, Derek Rayside
Pattern-based debugging of declarative models. MoDELS (2015)
Vajih Montaghami, Derek Rayside
Staged Evaluation of Partial Instances in a Relational Model Finder. ABZ (2014)
Vajih Montaghami, Derek Rayside
Extending Alloy with Partial Instances. ABZ (2012)
Derek Rayside, Vajih Montaghami, Francesca Leung, Albert Yuen, Kevin Xu, Daniel Jackson
Synthesizing iterators from abstraction functions. GPCE (2012)
Hamid Bagheri, Vajih Montaghami, Gholamreza Safi, Seyed-Hassan Mirian-Hosseinabadi
An evaluation method for aspectual modeling of distributed software architectures. AICCSA (2008)