Behzad Bordbar

ACM/IEEE International Conference on Model Driven Engineering Languages and Systems · 2007

A researcher in the Science corpus: 1 paper; trusts 1 researcher and is trusted by 0 researchers here, as inferred from the citation graph.

Whom Behzad Bordbar trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

  1. Daniel Jackson

Papers from Behzad Bordbar's perspective

Ordered by how strongly the researchers Behzad Bordbar trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Software Abstractions - Logic, Language, and Analysis
  2. Concepts, Techniques, and Models of Computer Programming
  3. Software Reflexion Models: Bridging the Gap between Design and Implementation (IEEE Trans. Software Eng.)
  4. The structure and value of modularity in software design (ESEC/FSE-9)
  5. BerkMin: A fast and robust SAT-solver (Proceedings 2002 Design, Automation and Test in Europe Conference and Exhibition)
  6. An Extensible SAT-solver (International Conference on Theory and Applications of Satisfiability Testing)
  7. Problem frames: analyzing and structuring software development problems (Software testing, verification & reliability)
  8. Computational complexity and the classification of finite simple groups
  9. Exploring the Structure of Complex Software Designs: An Empirical Study of Open Source and Proprietary Code (Management Sciences)
  10. Applying the design structure matrix to system decomposition and integration problems: a review and new directions (IEEE Trans. Engineering Management)

Their papers